CMAEvolutionStrategyOptimizer Class

Represents an optimizer that implements the Covariance Matrix Adaptation Evolution Strategy (CMA-ES).

Definition

Namespace: Numerics.NET.Optimization
Assembly: Numerics.NET (in Numerics.NET.dll) Version: 9.1.0
C#
public class CMAEvolutionStrategyOptimizer : PopulationBasedOptimizer<Population<Candidate>, Candidate>
Inheritance
Object  →  ManagedIterativeAlgorithm<Vector<Double>, Double, OptimizationSolutionReport<Vector<Double>>>  →  MultidimensionalOptimizer<Vector<Double>, OptimizationSolutionReport<Vector<Double>>>  →  PopulationBasedOptimizer<Vector<Double>, Population<Candidate>, Candidate>  →  PopulationBasedOptimizer<Population<Candidate>, Candidate>  →  CMAEvolutionStrategyOptimizer

Remarks

CMA-ES is a stochastic, derivative-free optimization algorithm for difficult optimization problems in continuous domains. It adapts the full covariance matrix of a normal search distribution.

Use the CMAEvolutionStrategyOptimizer class to find an extremum of an objective function through population-based evolutionary optimization. The algorithm maintains a population of candidate solutions and creates new candidates through sampling from a multivariate normal distribution.

The main advantage of this method is its robustness and ability to find global optima for non-convex, non-linear, and multimodal functions. It requires minimal tuning of control parameters and does not use gradient information.

The objective function must be supplied as a multivariate function delegate to the ObjectiveFunction property.

Before the algorithm is run, you must set the LowerBounds and UpperBounds properties to specify the search space constraints. The ExtremumType property specifies whether a minimum or a maximum of the objective function is desired.

Example

The following example attempts to find a minimum for the Rastrigin function using the CMA-ES optimizer.

The Rastrigin function is a challenging test problem for global optimization algorithms. The function has many local minima, which makes it tricky for an optimizer to find the global minimum.

C#
// Define the Rastrigin function
Func<Vector<double>, double> rastrigin = (x) =>
{
    int n = x.Length;
    double A = 10;
    double sum = A * n;
    for (int i = 0; i < n; i++)
    {
        sum += x[i] * x[i] - A * Math.Cos(2 * Math.PI * x[i]);
    }
    return sum;
};

// Define the initial guess
Vector<double> initialGuess = Vector.Create<double>(2, 2);

// Create the optimizer
var optimizer = new CMAEvolutionStrategyOptimizer(
    objectiveFunction: rastrigin,
    initialGuess: initialGuess
);

// Run the optimization
optimizer.FindMinimum();

// Get the result
Vector<double> solution = optimizer.Extremum;
double value = optimizer.ValueAtExtremum;

Constructors

Properties

BoundaryHandling Gets or sets the boundary handling strategy for the optimizer.
ConvergenceTests Gets the collection of convergence tests for the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
Dimensions Gets or sets the number of dimensions of the optimization problem.
(Inherited from PopulationBasedOptimizer<TPopulation, TCandidate>)
DiversityTest Gets the convergence test that measures population diversity.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
EstimatedError Gets a value indicating the size of the absolute error of the result.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
EvaluationsNeeded Gets the number of evaluations needed to execute the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
EvaluationsRemaining Gets the number of evaluations still available.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
Extremum Gets or sets the current best approximation to the extremum.
(Inherited from MultidimensionalOptimizer<T, TReport>)
ExtremumType Gets or sets the type of extremum.
(Inherited from MultidimensionalOptimizer<T, TReport>)
HasConstraints Gets a value indicating whether the optimizer has constraints.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
HasSharedDegreeOfParallelism Indicates whether the degree of parallelism is a property that is shared across instances.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
InitialGuess Gets or sets the initial value for the iteration.
(Inherited from MultidimensionalOptimizer<T, TReport>)
InitializationType Gets or sets the method used to initialize the population.
(Inherited from PopulationBasedOptimizer<TPopulation, TCandidate>)
InitialStepSize Gets or sets the initial step size
IterationsNeeded Gets the number of iterations needed by the algorithm to reach the desired accuracy.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
IterationsRemaining Gets the number of iterations remaining.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
LowerBounds Gets or sets the vector of lower bounds for the solution.
(Inherited from PopulationBasedOptimizer<TPopulation, TCandidate>)
MaxDegreeOfParallelism Gets or sets the maximum degree of parallelism enabled by this instance.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
MaxEvaluations Gets or sets the maximum number of evaluations during the calculation.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
MaxIterationsGets or sets the maximum number of iterations to use when approximating the roots of the target function.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
MinIterations Gets or sets the minimum iterations that have to be performed.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ObjectiveFunction Gets or sets the objective function.
(Inherited from MultidimensionalOptimizer<T, TReport>)
ParallelOptions Gets or sets the configuration for the parallel behavior of the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
Population Gets the current population of solutions.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
PopulationConvergenceTest Gets the convergence test that uses the population's coefficient of variation.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
PopulationSize Gets or sets the population size used in the algorithm.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
Random Gets or sets the random number generator used by the optimizer.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
Result Gets the result of an algorithm after it has executed.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
SolutionReport Gets the result of an algorithm after it has executed.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
Status Gets the AlgorithmStatus following an execution of the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ThrowExceptionOnFailure Gets or sets whether to throw an exception when the algorithm fails to converge.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
UpperBounds Gets or sets the upper bounds for the solution.
(Inherited from PopulationBasedOptimizer<TPopulation, TCandidate>)
UseActiveCMA Gets or sets a value indicating whether to use active CMA.
UseDiagonalCovarianceMatrix Gets or sets a value indicating whether to use a diagonal covariance matrix.
ValueAtExtremum Gets or sets the current value of the objective function.
(Inherited from MultidimensionalOptimizer<T, TReport>)
Values Gets the function values of the current population.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
ValueTest Gets the SimpleConvergenceTest<T> that uses the value of the target functions.
(Inherited from MultidimensionalOptimizer<T, TReport>)

Methods

AddConstraint Adds a constraint function g(x) that must satisfy g(x) ≤ 0.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
ClearConstraints Clears all constraint functions.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
EqualsDetermines whether the specified object is equal to the current object.
(Inherited from Object)
Evaluate Evaluates the objective function.
(Inherited from MultidimensionalOptimizer<T, TReport>)
FinalizeAllows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection.
(Inherited from Object)
FindExtremum Searches for an extremum.
(Inherited from MultidimensionalOptimizer<T, TReport>)
FindMaximum Searches for a maximum.
(Inherited from MultidimensionalOptimizer<T, TReport>)
FindMinimum Searches for a minimum.
(Inherited from MultidimensionalOptimizer<T, TReport>)
GetConstraintViolation Gets the total constraint violation for a given solution vector.
(Inherited from PopulationBasedOptimizer<TSolution, TPopulation, TCandidate>)
GetHashCodeServes as the default hash function.
(Inherited from Object)
GetTypeGets the Type of the current instance.
(Inherited from Object)
IncrementEvaluations() Increments the number of evaluations by one.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
IncrementEvaluations(Int32) Increments the number of evaluations by the specified amount.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
InitializePopulation Initializes the population of candidate solutions.
(Overrides PopulationBasedOptimizer<TPopulation, TCandidate>.InitializePopulation())
Iterate Performs one iteration of the algorithm.
(Overrides ManagedIterativeAlgorithm<T, TError, TReport>.Iterate())
Iterated Performs tasks after the iteration is completed, but before the status of the algorithm is finalized.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
MemberwiseCloneCreates a shallow copy of the current Object.
(Inherited from Object)
OnConvergence Performs any tasks after the main algorithm has converged.
(Inherited from MultidimensionalOptimizer<T, TReport>)
OnFailure Performs any tasks after the main algorithm has failed to converge.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
OnInit Performs initialization before the first iteration.
(Overrides MultidimensionalOptimizer<T, TReport>.OnInit())
ReportFailure Records the results of an algorithm in case it fails.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ReportResult Records the results of an algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ReportSuccess Records the results of a algorithm that converged successfully.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ResetEvaluations Resets the number of evaluations to zero.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
Restart Prepares the algorithm to be run again with possibly different inputs.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
Run() Runs the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
Run(ParallelOptions) Runs the algorithm using the specified parallelization options.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
SetResult Sets the results of an algorithm's execution.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
SetValueAtExtremum Sets the value of the objective function at the extremum to the supplied value.
(Inherited from MultidimensionalOptimizer<T, TReport>)
TestConvergence Checks whether the algorithm has converged.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ThreadSafeIncrementEvaluations() Increments the number of evaluations by one.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ThreadSafeIncrementEvaluations(Int32) Increments the number of evaluations by the specified amount.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ThrowConvergenceException Interprets the AlgorithmStatus and throws the appropriate exception.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ToStringReturns a string that represents the current object.
(Inherited from Object)

See Also