alpaqa no-casadi-dep
Nonconvex constrained optimization
Loading...
Searching...
No Matches
ipopt-driver.cpp
Go to the documentation of this file.
1#ifdef ALPAQA_WITH_IPOPT
2
5#include <IpIpoptApplication.hpp>
6
7#include <stdexcept>
8#include <string>
9
10#include "results.hpp"
11#include "solver-driver.hpp"
12
13namespace {
14
15SolverResults run_ipopt_solver(auto &problem,
16 Ipopt::SmartPtr<Ipopt::IpoptApplication> &solver,
17 std::ostream &os, unsigned N_exp) {
18 // Ipopt problem adapter
19 using Problem = alpaqa::IpoptAdapter;
20 Ipopt::SmartPtr<Ipopt::TNLP> nlp = new Problem(problem.problem);
21 auto *my_nlp = dynamic_cast<Problem *>(GetRawPtr(nlp));
22
23 USING_ALPAQA_CONFIG(Problem::config_t);
24
25 // Dimensions
26 length_t n = problem.problem.get_n(), m = problem.problem.get_m();
27
28 // Initial guess
29 if (auto sz = problem.initial_guess_x.size(); sz != n)
30 throw std::invalid_argument(
31 "Invalid size for initial_guess_x (expected " + std::to_string(n) +
32 ", but got " + std::to_string(sz) + ")");
33 if (auto sz = problem.initial_guess_y.size(); sz != m)
34 throw std::invalid_argument(
35 "Invalid size for initial_guess_y (expected " + std::to_string(m) +
36 ", but got " + std::to_string(sz) + ")");
37 my_nlp->initial_guess = problem.initial_guess_x;
38 my_nlp->initial_guess_multipliers = problem.initial_guess_y;
39 if (auto sz = problem.initial_guess_w.size(); sz > 0) {
40 if (sz != n * 2)
41 throw std::invalid_argument(
42 "Invalid size for initial_guess_w (expected " +
43 std::to_string(n * 2) + ", but got " + std::to_string(sz) +
44 ")");
45 my_nlp->initial_guess_bounds_multipliers_l =
46 problem.initial_guess_w.bottomRows(n);
47 my_nlp->initial_guess_bounds_multipliers_u =
48 problem.initial_guess_w.topRows(n);
49 }
50
51 // Solve the problem
52 auto t0 = std::chrono::steady_clock::now();
53 auto status = solver->OptimizeTNLP(nlp);
54 auto t1 = std::chrono::steady_clock::now();
55
56 // Solve the problems again to average runtimes
57 using ns = std::chrono::nanoseconds;
58 auto avg_duration = duration_cast<ns>(t1 - t0);
59 os.setstate(std::ios_base::badbit);
60 for (unsigned i = 0; i < N_exp; ++i) {
61 my_nlp->initial_guess = problem.initial_guess_x;
62 my_nlp->initial_guess_multipliers = problem.initial_guess_y;
63
64 auto t0 = std::chrono::steady_clock::now();
65 solver->OptimizeTNLP(nlp);
66 auto t1 = std::chrono::steady_clock::now();
67 avg_duration += duration_cast<ns>(t1 - t0);
68 }
69 os.clear();
70 avg_duration /= (N_exp + 1);
71 auto evals = *problem.evaluations;
72
73 // Results
74 auto &nlp_res = my_nlp->results;
75 if (nlp_res.status == Ipopt::SolverReturn::UNASSIGNED) {
76 nlp_res.solution_x.resize(n);
77 nlp_res.solution_y.resize(m);
78 }
79 SolverResults results{
80 .status = std::string(enum_name(status)),
81 .success = status == Ipopt::Solve_Succeeded,
82 .evals = evals,
83 .duration = avg_duration,
84 .solver = "Ipopt",
85 .h = 0,
86 .δ = nlp_res.infeasibility,
87 .ε = nlp_res.nlp_error,
88 .γ = 0,
89 .Σ = 0,
90 .solution = nlp_res.solution_x,
91 .multipliers = nlp_res.solution_y,
92 .multipliers_bounds = vec(n * 2), // see below
93 .penalties = vec::Zero(n),
94 .outer_iter = nlp_res.iter_count,
95 .inner_iter = nlp_res.iter_count,
96 .extra = {},
97 };
98 if (nlp_res.status != Ipopt::SolverReturn::UNASSIGNED)
99 results.multipliers_bounds << nlp_res.solution_z_L,
100 nlp_res.solution_z_U;
101 return results;
102}
103
104auto make_ipopt_solver(Options &opts) {
105 using namespace Ipopt;
106
107 // We are using the factory, since this allows us to compile this
108 // example with an Ipopt Windows DLL
109 SmartPtr<IpoptApplication> app = IpoptApplicationFactory();
110 app->RethrowNonIpoptException(true);
111
112 app->Options()->SetNumericValue("tol", 1e-8);
113 app->Options()->SetNumericValue("constr_viol_tol", 1e-8);
114 app->Options()->SetStringValue("linear_solver", "mumps");
115 // app->Options()->SetStringValue("print_timing_statistics", "yes");
116 // app->Options()->SetStringValue("timing_statistics", "yes");
117 app->Options()->SetStringValue("hessian_approximation", "exact");
118
119 set_params(*app, "solver", opts);
120
121 // Initialize the IpoptApplication and process the options
122 ApplicationReturnStatus status = app->Initialize();
123 if (status != Solve_Succeeded)
124 throw std::runtime_error("Error during Ipopt initialization: " +
125 std::string(enum_name(status)));
126
127 return app;
128}
129
130template <class LoadedProblem>
131SharedSolverWrapper make_ipopt_drive_impl(std::string_view direction,
132 Options &opts) {
133 if (!direction.empty())
134 throw std::invalid_argument(
135 "Ipopt solver does not support any directions");
136 auto solver = make_ipopt_solver(opts);
137 unsigned N_exp = 0;
138 set_params(N_exp, "num_exp", opts);
139 return std::make_shared<SolverWrapper>(
140 [solver{std::move(solver)}, N_exp](
141 LoadedProblem &problem, std::ostream &os) mutable -> SolverResults {
142 return run_ipopt_solver(problem, solver, os, N_exp);
143 });
144}
145
146} // namespace
147
148SharedSolverWrapper make_ipopt_driver(std::string_view direction,
149 Options &opts) {
150 static constexpr bool valid_config =
151 std::is_same_v<LoadedProblem::config_t, alpaqa::IpoptAdapter::config_t>;
152 if constexpr (valid_config)
153 return make_ipopt_drive_impl<LoadedProblem>(direction, opts);
154 else
155 throw std::invalid_argument(
156 "Ipopt solver only supports double precision");
157}
158
159#else
160
161#include "solver-driver.hpp"
162
164 throw std::invalid_argument(
165 "This version of alpaqa was compiled without Ipopt support.");
166}
167
168#endif
Based on https://coin-or.github.io/Ipopt/INTERFACES.html.
#define USING_ALPAQA_CONFIG(Conf)
Definition config.hpp:77
SharedSolverWrapper make_ipopt_driver(std::string_view, Options &)
std::string_view enum_name(Ipopt::ApplicationReturnStatus s)
@ Ipopt
The stopping criterion used by Ipopt, see https://link.springer.com/article/10.1007/s10107-004-0559-y...
typename Conf::length_t length_t
Definition config.hpp:103
typename Conf::vec vec
Definition config.hpp:88
void set_params(T &t, std::string_view prefix, Options &opts)
Definition options.hpp:128
std::shared_ptr< SolverWrapper > SharedSolverWrapper
std::string status
Definition results.hpp:25