Capabilities#
Overview#
Support for a wide array of types of optimisation problems (continuous, integer, single and multi-objective, constrained and unconstrained, with or without derivatives, stochastic, etc.).
A comprehensive library of algorithms, including global and local solvers, meta-heuristics, single and multi-objective algorithms, wrappers for third-party solvers (e.g., NLopt, Ipopt, etc.).
Comprehensive support for coarse-grained parallelisation via the generalised island model. In the island model, multiple optimisation instances run in parallel (possibly on different machines) and exchange information as the optimisation proceeds, improving the overall time-to-solution and allowing to harness the computational power of modern computer architectures (including massively-parallel high-performance clusters).
Support for fine-grained parallelisation (i.e., at the level of single objective function evaluations) in selected algorithms via the batch fitness evaluation framework. This allows to speed-up single optimisations via parallel processing (e.g., multithreading, high-performance clusters, GPUs, SIMD vectorization, etc.).
A library of ready-to-use optimisation problems for algorithmic testing and performance evaluation (Rosenbrock, Rastrigin, Lennard-Jones, etc.).
A library of optimisation-oriented utilities (e.g., hypervolume computation, non-dominated sorting, plotting, etc.).
List of algorithms#
This is the list of user defined algorithms (UDAs) currently
provided with pagmo. These are classes that
can be used to construct a pagmo::algorithm
, which will
then provide a unified interface to access the algorithm’s functionalities.
Generally speaking, algorithms can solve only specific problem classes. In the tables below, we use the following flags to signal which problem types an algorithm can solve:
S = Single-objective
M = Multi-objective
C = Constrained
U = Unconstrained
I = Integer programming
sto = Stochastic
Note that algorithms that do not directly support integer programming will still work on integer problems (i.e., they will optimise the relaxed problem). Note also that it is possible to use meta-problems to turn constrained problems into unconstrained ones, and multi-objective problems into single-objective ones.
Heuristic Global Optimization#
Common Name |
Docs of the C++ class |
Capabilities |
---|---|---|
Extended Ant Colony Optimization (GACO) |
S-CU-I |
|
Differential Evolution (DE) |
S-U |
|
Self-adaptive DE (jDE and iDE) |
S-U |
|
Self-adaptive DE (de_1220 aka pDE) |
S-U |
|
Grey wolf optimizer (GWO) |
S-U |
|
Improved Harmony Search |
SM-CU-I |
|
Particle Swarm Optimization (PSO) |
S-U |
|
Particle Swarm Optimization Generational (GPSO) |
S-U-sto |
|
(N+1)-ES Simple Evolutionary Algorithm |
S-U-sto |
|
Simple Genetic Algorithm |
S-U-I-sto |
|
Corana’s Simulated Annealing (SA) |
S-U |
|
Artificial Bee Colony (ABC) |
S-U |
|
Covariance Matrix Adaptation Evo. Strategy (CMA-ES) |
S-U-sto |
|
Exponential Evolution Strategies (xNES) |
S-U-sto |
|
Non-dominated Sorting GA (NSGA2) |
M-U-I |
|
Multi-objective EA with Decomposition (MOEA/D) |
M-U |
|
Multi-objective EA with Decomposition Generational (GMOEA/D) |
M-U |
|
Multi-objective Hypervolume-based ACO (MHACO) |
M-U-I |
|
Non-dominated Sorting PSO (NSPSO) |
M-U |
Local optimization#
Common Name |
Docs of the C++ class |
Capabilities |
---|---|---|
Compass Search (CS) |
S-CU |
|
COBYLA (from NLopt) |
S-CU |
|
BOBYQA (from NLopt) |
S-U |
|
NEWUOA + bound constraints (from NLopt) |
S-U |
|
PRAXIS (from NLopt) |
S-U |
|
Nelder-Mead simplex (from NLopt) |
S-U |
|
Subplex (from NLopt) |
S-U |
|
MMA (Method of Moving Asymptotes) (from NLopt) |
S-CU |
|
CCSA (from NLopt) |
S-CU |
|
SLSQP (from NLopt) |
S-CU |
|
Low-storage BFGS (from NLopt) |
S-U |
|
Preconditioned truncated Newton (from NLopt) |
S-U |
|
Shifted limited-memory variable-metric (from NLopt) |
S-U |
|
Ipopt |
S-CU |
|
SNOPT (in pagmo_plugins_non_free affiliated package) |
S-CU |
|
WORHP (in pagmo_plugins_non_free affiliated package) |
S-CU |
Meta-algorithms#
Common Name |
Docs of the C++ class |
Capabilities 1 |
---|---|---|
Monotonic Basin Hopping (MBH) |
S-CU |
|
Cstrs Self-Adaptive |
S-C |
|
Augmented Lagrangian algorithm (from NLopt) 2 |
S-CU |
Footnotes
- 1
The capabilities of the meta-algorithms depend also on the capabilities of the algorithms they wrap. If, for instance, a meta-algorithm supporting constrained problems is constructed from an algorithm which does not support constrained problems, the resulting meta-algorithms will not be able to solve constrained problems.
- 2
The Augmented Lagrangian algorithm can be used only in conjunction with other NLopt algorithms.
List of problems#
This is the list of user defined problems (UDPs) currently provided with pagmo.
These are classes that can be used to construct a pagmo::problem
,
which will
then provide a unified interface to access the problem’s functionalities.
In the tables below, we classify optimisation problems according to the following flags:
S = Single-objective
M = Multi-objective
C = Constrained
U = Unconstrained
I = Integer programming
sto = Stochastic
Scalable problems#
Common Name |
Docs of the C++ class |
Type |
---|---|---|
Ackley |
S-U |
|
Golomb Ruler |
S-C-I |
|
Griewank |
S-U |
|
Hock Schittkowski 71 |
S-C |
|
Inventory |
S-U-sto |
|
Lennard Jones |
S-U |
|
Luksan Vlcek 1 |
S-C |
|
Rastrigin |
S-U |
|
MINLP Rastrigin |
S-U-I |
|
Rosenbrock |
S-U |
|
Schwefel |
S-U |
Problem suites#
Common Name |
Docs of the C++ class |
Type |
---|---|---|
CEC2006 |
S-C |
|
CEC2009 |
S-C |
|
CEC2013 |
S-U |
|
CEC2014 |
S-U |
|
ZDT |
M-U |
|
DTLZ |
M-U |
|
WFG |
M-U |
Meta-problems#
Meta-problems are UDPs that take another UDP as input, yielding a new UDP which modifies the behaviour and/or the properties of the original problem in a variety of ways.
Common Name |
Docs of the C++ class |
---|---|
Decompose |
|
Translate |
|
Unconstrain |
List of islands#
This is the list of user defined islands (UDIs)
currently provided with pagmo. These are classes that
can be used to construct a pagmo::island
,
which will then
provide a unified interface to access the island’s functionalities.
In the pagmo jargon, an island is an entity tasked with managing the asynchronous evolution of a population via an algorithm in the generalised island model. Different UDIs enable different parallelisation strategies (e.g., multithreading, multiprocessing, cluster architectures, etc.).
Common Name |
Docs of the C++ class |
---|---|
Thread island |
|
Fork island |
List of batch fitness evaluators#
This is the list of user defined batch fitness
evaluators (UDBFEs)
currently provided with pagmo. These are classes that
can be used to construct a pagmo::bfe
,
which will then
provide a unified interface to access the evaluator’s
functionalities.
In the pagmo jargon, a batch fitness evaluator implements the capability of evaluating a group of decision vectors in a parallel and/or vectorised fashion. Batch fitness evaluators are used to implement fine-grained parallelisation in pagmo (e.g., parallel initialisation of populations, or parallel fitness evaluations within the inner loop of an algorithm).
Common Name |
Docs of the C++ class |
---|---|
Default BFE |
|
Thread BFE |