problem.cc
Go to the documentation of this file.
1 /******************************************************************************
2 Copyright (c) 2017, Alexander W Winkler. All rights reserved.
3 
4 Redistribution and use in source and binary forms, with or without
5 modification, are permitted provided that the following conditions are met:
6 
7 * Redistributions of source code must retain the above copyright notice, this
8  list of conditions and the following disclaimer.
9 
10 * Redistributions in binary form must reproduce the above copyright notice,
11  this list of conditions and the following disclaimer in the documentation
12  and/or other materials provided with the distribution.
13 
14 * Neither the name of the copyright holder nor the names of its
15  contributors may be used to endorse or promote products derived from
16  this software without specific prior written permission.
17 
18 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19 AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
21 DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
22 FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
24 SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
25 CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
26 OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 ******************************************************************************/
29 
30 #include <ifopt/problem.h>
31 #include <iostream>
32 #include <iomanip>
33 
34 
35 namespace ifopt {
36 
38  :constraints_("constraint-sets", false),
39  costs_("cost-terms", true)
40 {
41  variables_ = std::make_shared<Composite>("variable-sets", false);
42 }
43 
44 void
46 {
47  variables_->AddComponent(variable_set);
48 }
49 
50 void
52 {
53  constraint_set->LinkWithVariables(variables_);
54  constraints_.AddComponent(constraint_set);
55 }
56 
57 void
59 {
60  cost_set->LinkWithVariables(variables_);
61  costs_.AddComponent(cost_set);
62 }
63 
64 int
66 {
67  return variables_->GetRows();
68 }
69 
72 {
73  return variables_->GetBounds();
74 }
75 
78 {
79  return variables_->GetValues();
80 }
81 
82 void
83 Problem::SetVariables (const double* x)
84 {
85  variables_->SetVariables(ConvertToEigen(x));
86 }
87 
88 double
90 {
91  VectorXd g = VectorXd::Zero(1);
92  if (HasCostTerms()) {
93  SetVariables(x);
94  g = costs_.GetValues();
95  }
96  return g(0);
97 }
98 
101 {
103  if (HasCostTerms()) {
104  SetVariables(x);
105  jac = costs_.GetJacobian();
106  }
107 
108  return jac.row(0).transpose();
109 }
110 
113 {
114  return constraints_.GetBounds();
115 }
116 
117 int
119 {
120  return GetBoundsOnConstraints().size();
121 }
122 
125 {
126  SetVariables(x);
127  return constraints_.GetValues();
128 }
129 
130 bool
132 {
133  return costs_.GetRows()>0;
134 }
135 
136 void
137 Problem::EvalNonzerosOfJacobian (const double* x, double* values)
138 {
139  SetVariables(x);
141 
142  jac.makeCompressed(); // so the valuePtr() is dense and accurate
143  std::copy(jac.valuePtr(), jac.valuePtr() + jac.nonZeros(), values);
144 }
145 
148 {
149  return constraints_.GetJacobian();
150 }
151 
152 void
154 {
155  x_prev.push_back(variables_->GetValues());
156 }
157 
160 {
161  return variables_;
162 }
163 
164 void
166 {
167  variables_->SetVariables(x_prev.at(iter));
168 }
169 
170 void
172 {
173  variables_->SetVariables(x_prev.at(GetIterationCount()-1));
174 }
175 
176 void
178 {
179  using namespace std;
180  cout << "\n"
181  << "************************************************************\n"
182  << " IFOPT - Interface to Nonlinear Optimizers (v2.0)\n"
183  << " \u00a9 Alexander W. Winkler\n"
184  << " https://github.com/ethz-adrl/ifopt\n"
185  << "************************************************************"
186  << "\n"
187  << "Legend:\n"
188  << "c - number of variables, constraints or cost terms" << std::endl
189  << "i - indices of this set in overall problem" << std::endl
190  << "v - number of [violated variable- or constraint-bounds] or [cost term value]"
191  << "\n\n"
192  << std::right
193  << std::setw(33) << ""
194  << std::setw(5) << "c "
195  << std::setw(16) << "i "
196  << std::setw(11) << "v "
197  << std::left
198  << "\n";
199 
200  variables_->PrintAll();
202  costs_.PrintAll();
203 };
204 
206 Problem::ConvertToEigen(const double* x) const
207 {
208  return Eigen::Map<const VectorXd>(x,GetNumberOfOptimizationVariables());
209 }
210 
211 } /* namespace opt */
212 
std::vector< VectorXd > x_prev
the pure variables for every iteration.
Definition: problem.h:244
Problem()
Creates a optimization problem with no variables, costs or constraints.
Definition: problem.cc:37
Composite::Ptr variables_
Definition: problem.h:240
VecBound GetBounds() const override
Returns the "bounds" of this component.
Definition: composite.cc:191
void SetOptVariables(int iter)
Sets the optimization variables to those at iteration iter.
Definition: problem.cc:165
int GetIterationCount() const
The number of iterations it took to solve the problem.
Definition: problem.h:232
void AddCostSet(CostTerm::Ptr cost_set)
Add a cost term to the optimization problem.
Definition: problem.cc:58
std::shared_ptr< Composite > Ptr
Definition: composite.h:164
Component::Jacobian Jacobian
Definition: problem.h:100
void PrintAll() const
Definition: composite.cc:209
VecBound GetBoundsOnConstraints() const
The upper and lower bound of each individual constraint.
Definition: problem.cc:112
double EvaluateCostFunction(const double *x)
The scalar cost for current optimization variables x.
Definition: problem.cc:89
Composite constraints_
Definition: problem.h:241
VectorXd GetVariableValues() const
The current value of the optimization variables.
Definition: problem.cc:77
Component::VectorXd VectorXd
Definition: problem.h:101
VectorXd EvaluateCostFunctionGradient(const double *x)
The column-vector of derivatives of the cost w.r.t. each variable.
Definition: problem.cc:100
std::shared_ptr< Component > Ptr
Definition: composite.h:65
void SaveCurrent()
Saves the current values of the optimization variables in x_prev.
Definition: problem.cc:153
bool HasCostTerms() const
True if the optimization problem includes a cost, false if merely a feasibility problem is defined...
Definition: problem.cc:131
VecBound GetBoundsOnOptimizationVariables() const
The maximum and minimum value each optimization variable is allowed to have.
Definition: problem.cc:71
Component::VecBound VecBound
Definition: problem.h:99
void PrintCurrent() const
Prints the variables, costs and constraints.
Definition: problem.cc:177
VectorXd GetValues() const override
Returns the "values" of whatever this component represents.
Definition: composite.cc:136
void SetVariables(const double *x)
Updates the variables with the values of the raw pointer x.
Definition: problem.cc:83
void AddComponent(const Component::Ptr &)
Adds a component to this composite.
Definition: composite.cc:104
Jacobian GetJacobianOfConstraints() const
The sparse-matrix representation of Jacobian of the constraints.
Definition: problem.cc:147
std::shared_ptr< ConstraintSet > Ptr
void SetOptVariablesFinal()
Sets the optimization variables to those of the final iteration.
Definition: problem.cc:171
common namespace for all elements in this library.
Definition: bounds.h:33
Jacobian GetJacobian() const override
Returns derivatives of each row w.r.t. the variables.
Definition: composite.cc:164
void EvalNonzerosOfJacobian(const double *x, double *values)
Extracts those entries from constraint Jacobian that are not zero.
Definition: problem.cc:137
VectorXd ConvertToEigen(const double *x) const
Definition: problem.cc:206
void AddConstraintSet(ConstraintSet::Ptr constraint_set)
Add a set of multiple constraints to the optimization problem.
Definition: problem.cc:51
int GetNumberOfConstraints() const
The number of individual constraints.
Definition: problem.cc:118
VectorXd EvaluateConstraints(const double *x)
Each constraint value g(x) for current optimization variables x.
Definition: problem.cc:124
void AddVariableSet(VariableSet::Ptr variable_set)
Add one individual set of variables to the optimization problem.
Definition: problem.cc:45
Composite costs_
Definition: problem.h:242
int GetRows() const
Returns the number of rows of this component.
Definition: composite.cc:44
Composite::Ptr GetOptVariables() const
Read/write access to the current optimization variables.
Definition: problem.cc:159
int GetNumberOfOptimizationVariables() const
The number of optimization variables.
Definition: problem.cc:65


ifopt
Author(s): Alexander W. Winkler
autogenerated on Fri May 17 2019 02:29:49