alpaqa dll
Nonconvex constrained optimization
Loading...
Searching...
No Matches
alm-driver.hpp
Go to the documentation of this file.
1#pragma once
2
6
7#include "options.hpp"
8#include "problem.hpp"
9#include "results.hpp"
10
11template <class InnerSolver>
12auto make_alm_solver(InnerSolver &&inner_solver, Options &opts) {
13 // Settings for the ALM solver
14 using ALMSolver = alpaqa::ALMSolver<InnerSolver>;
15 typename ALMSolver::Params alm_param;
16 alm_param.max_iter = 200;
17 alm_param.tolerance = 1e-8;
18 alm_param.dual_tolerance = 1e-8;
19 alm_param.print_interval = 1;
20 alm_param.print_precision = 1;
21 set_params(alm_param, "alm", opts);
22 return ALMSolver{alm_param, std::forward<InnerSolver>(inner_solver)};
23}
24
26
27template <class InnerSolver>
29 // Settings for the solver
30 typename InnerSolver::Params solver_param;
31 solver_param.max_iter = 50'000;
32 solver_param.print_interval = 0;
33 solver_param.stop_crit = alpaqa::PANOCStopCrit::ProjGradUnitNorm;
34 set_params(solver_param, "solver", opts);
35
36 if constexpr (requires { typename InnerSolver::Direction; }) {
37 // Settings for the direction provider
38 using Direction = typename InnerSolver::Direction;
39 typename Direction::DirectionParams dir_param;
40 typename Direction::AcceleratorParams accel_param;
41 set_params(dir_param, "dir", opts);
42 set_params(accel_param, "accel", opts);
43 return InnerSolver{
44 solver_param,
45 Direction{{
46 .accelerator = accel_param,
47 .direction = dir_param,
48 }},
49 };
50 } else {
51 return InnerSolver{solver_param};
52 }
53}
54
55template <class Solver>
57 std::ostream &os, unsigned N_exp) {
58
59 solver.os = &os;
60
61 // Initial guess
62 vec x = problem.initial_guess_x, y = problem.initial_guess_y;
63 // Final penalties
64 vec Σ = vec::Constant(problem.problem.get_num_constraints(),
66
67 // Solve the problem
68 auto stats = solver(problem.problem, x, y, Σ);
69
70 // Solve the problems again to average runtimes
71 auto avg_duration = stats.elapsed_time;
72 os.setstate(std::ios_base::badbit); // suppress output
73 for (unsigned i = 0; i < N_exp; ++i) {
74 x = problem.initial_guess_x;
75 y = problem.initial_guess_y;
76 auto s = solver(problem.problem, x, y);
77 if (s.status == alpaqa::SolverStatus::Interrupted) {
78 os.clear();
79 os << "\rInterrupted after " << i << " runs" << std::endl;
80 N_exp = i;
81 break;
82 }
83 avg_duration += s.elapsed_time;
84 }
85 os.clear();
86 avg_duration /= (N_exp + 1);
87
88 solver.os = &std::cout;
89
90 // Store the evaluation counters
91 auto evals = *problem.evaluations;
92
93 // Results
94 real_t final_γ = 0, final_h = 0;
95 if constexpr (requires { stats.inner.final_γ; })
96 final_γ = stats.inner.final_γ;
97 if constexpr (requires { stats.inner.final_h; })
98 final_h = stats.inner.final_h;
99 decltype(SolverResults::extra) extra{};
100 if constexpr (requires { stats.inner.linesearch_failures; })
101 extra.emplace_back(
102 "linesearch_failures",
103 static_cast<index_t>(stats.inner.linesearch_failures));
104 if constexpr (requires { stats.inner.linesearch_backtracks; })
105 extra.emplace_back(
106 "linesearch_backtracks",
107 static_cast<index_t>(stats.inner.linesearch_backtracks));
108 if constexpr (requires { stats.inner.stepsize_backtracks; })
109 extra.emplace_back(
110 "stepsize_backtracks",
111 static_cast<index_t>(stats.inner.stepsize_backtracks));
112 if constexpr (requires { stats.inner.direction_failures; })
113 extra.emplace_back(
114 "direction_failures",
115 static_cast<index_t>(stats.inner.direction_failures));
116 if constexpr (requires { stats.inner.direction_update_rejected; })
117 extra.emplace_back(
118 "direction_update_rejected",
119 static_cast<index_t>(stats.inner.direction_update_rejected));
120 if constexpr (requires { stats.inner.accelerated_step_rejected; })
121 extra.emplace_back(
122 "accelerated_step_rejected",
123 static_cast<index_t>(stats.inner.accelerated_step_rejected));
124 if constexpr (requires { stats.inner.direction_failures; })
125 extra.emplace_back(
126 "direction_failures",
127 static_cast<index_t>(stats.inner.direction_failures));
128 if constexpr (requires { stats.inner.direction_update_rejected; })
129 extra.emplace_back(
130 "direction_update_rejected",
131 static_cast<index_t>(stats.inner.direction_update_rejected));
132 return SolverResults{
133 .status = enum_name(stats.status),
134 .success = stats.status == alpaqa::SolverStatus::Converged,
135 .evals = evals,
136 .duration = avg_duration,
137 .solver = solver.get_name(),
138 .h = final_h,
139 .δ = stats.δ,
140 .ε = stats.ε,
141 .γ = final_γ,
142 .Σ = stats.norm_penalty,
143 .solution = x,
144 .multipliers = y,
145 .multipliers_bounds = vec(0),
146 .penalties = Σ,
147 .outer_iter = static_cast<index_t>(stats.outer_iterations),
148 .inner_iter = static_cast<index_t>(stats.inner.iterations),
149 .extra = std::move(extra),
150 };
151}
auto make_inner_solver(Options &opts)
SolverResults run_alm_solver(LoadedProblem &problem, Solver &solver, std::ostream &os, unsigned N_exp)
auto make_alm_solver(InnerSolver &&inner_solver, Options &opts)
Augmented Lagrangian Method solver.
Definition alm.hpp:69
length_t get_num_constraints() const
[Required] Number of constraints.
#define USING_ALPAQA_CONFIG(Conf)
Definition config.hpp:77
std::string_view enum_name(Ipopt::ApplicationReturnStatus s)
@ ProjGradUnitNorm
∞-norm of the projected gradient with unit step size:
EigenConfigd DefaultConfig
Definition config.hpp:31
@ Interrupted
Solver was interrupted by the user.
@ Converged
Converged and reached given tolerance.
constexpr const auto NaN
Definition config.hpp:114
void set_params(T &t, std::string_view prefix, Options &opts)
Definition options.hpp:126
vec initial_guess_y
Multipliers g.
Definition problem.hpp:31
vec initial_guess_x
Unknowns.
Definition problem.hpp:30
alpaqa::TypeErasedProblem< config_t > problem
Definition problem.hpp:25
std::shared_ptr< alpaqa::EvalCounter > evaluations
Definition problem.hpp:29
std::vector< std::pair< std::string, any_stat_t > > extra
Definition results.hpp:38