BrentDerivativeOptimizer Class

Represents a one-dimensional optimizer based on Brent's algorithm using derivatives.

Definition

Namespace: Extreme.Mathematics.Optimization
Assembly: Extreme.Numerics (in Extreme.Numerics.dll) Version: 8.1.23
C#
public sealed class BrentDerivativeOptimizer : OneDimensionalOptimizer
Inheritance
Object  →  ManagedIterativeAlgorithm<Double, Double, SolutionReport<Double, Double>>  →  ManagedIterativeAlgorithm<Double>  →  OneDimensionalOptimizer  →  BrentDerivativeOptimizer

Remarks

Use the BrentDerivativeOptimizer class to find an extremum of a function when its derivative function is known. This method is often preferred, especially when the derivative function is easier to evaluate than the objective function itself.

The ObjectiveFunction property must be set to a function of one variable that evaluates the objective function. The DerivativeOfObjectiveFunction property must be set to a function of one variable that evaluates the derivative of the objective function. The ExtremumType property specifies whether a maximum or a minimum of the objective function is requested.

The algorithm itself runs in two phases. In the bracketing phase, a search is made for an interval that is known to contain an extremum. This step is performed automatically when the algorithm is run. You can run it manually by calling one of the FindBracket() methods. You can check the validity of a bracketing interval by inspecting the IsBracketValid property.

Once a bracketing interval has been found, the location phase begins. The exact location of the extremum is found by successively narrowing the bracketing interval. This phase always converges for continuous functions. The FindExtremum() method performs the location phase, and returns the best approximation to the extremum. Alternatively, one of the FindMaximum(Func<Double, Double>, Double) or FindMinimum(Func<Double, Double>, Double) methods can be used. This has the advantage that the objective function as well as an initial guess can be supplied with the method call.

The Extremum property returns the best approximation to the extremum. The ValueAtExtremum property returns the value of the objective function at the extremum. The Status property is a AlgorithmStatus value that indicates the outcome of the algorithm. A value of Normal shows normal termination. A value of Divergent usually indicates that a bracketing interval could not be found.

Convergence is tested using a simple convergence test based on the uncertainty in the location of the approximate extremum. The SolutionTest property returns a SimpleConvergenceTest<T> object that allows you to specify the desired Tolerance and specific ConvergenceCriterion.

The algorithm uses a variation of Brent's algorithm that uses the value of the derivative to make decisions during the location phase. Except in cases where the function value is more expensive to calculate than the derivative, this method does not have a real advantage over the method that does not use derivatives.

Constructors

BrentDerivativeOptimizer() Constructs a new BrentDerivativeOptimizer object.
BrentDerivativeOptimizer(ExtremumType) Constructs a new BrentDerivativeOptimizer object for the specified type of extremum.

Properties

ConvergenceTests Gets the collection of convergence tests for the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
DerivativeOfObjectiveFunction Gets or sets the derivative of the objective function.
(Inherited from OneDimensionalOptimizer)
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>)
Extremum Gets the approximation to the extremum after the algorithm has run.
(Inherited from OneDimensionalOptimizer)
ExtremumType Gets or sets the type of extremum.
(Inherited from OneDimensionalOptimizer)
HasSharedDegreeOfParallelism Indicates whether the degree of parallelism is a property that is shared across instances.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
IsBracketValid Gets whether the algorithm's current bracket is valid.
(Inherited from OneDimensionalOptimizer)
IterationsNeeded Gets the number of iterations needed by the algorithm to reach the desired accuracy.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
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 OneDimensionalOptimizer)
ObjectiveFunctionWithDerivative Gets or sets a function that computes the value of the objective function and its derivative.
(Inherited from OneDimensionalOptimizer)
ParallelOptions Gets or sets the configuration for the parallel behavior of the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
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>)
SolutionTest Gets the convergence test that uses the solution of the optimization.
(Inherited from OneDimensionalOptimizer)
Status Gets the AlgorithmStatus following an execution of the algorithm.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
SymbolicObjectiveFunction Gets or sets the objective function.
(Inherited from OneDimensionalOptimizer)
ThrowExceptionOnFailure Gets or sets a value indicating whether to throw an exception when the algorithm fails to converge.
(Inherited from ManagedIterativeAlgorithm<T, TError, TReport>)
ValueAtExtremum Gets the value of the objective function at the approximation to the extremum after the algorithm has run.
(Inherited from OneDimensionalOptimizer)

Methods

EqualsDetermines whether the specified object is equal to the current object.
(Inherited from Object)
FindBracket() Finds an interval that brackets the extremum, starting from the interval [0,1].
(Inherited from OneDimensionalOptimizer)
FindBracket(Double) Finds an interval that brackets the extremum, starting from an interval of unit width centered around the specified point.
(Inherited from OneDimensionalOptimizer)
FindBracket(Double, Double) Finds an interval that brackets the extremum, starting from an interval with the specified bounds.
(Inherited from OneDimensionalOptimizer)
FindBracket(Double, Double, Double) Finds an interval that brackets the extremum, starting from an interval with the specified bounds and interior point.
(Inherited from OneDimensionalOptimizer)
FindExtremum Searches for an extremum.
(Inherited from OneDimensionalOptimizer)
FindMaximum(Func<Double, Double>, Double) Computes a maximum of the specified function.
(Inherited from OneDimensionalOptimizer)
FindMaximum(Func<Double, Double>, Double, Double) Computes a maximum of the specified function.
(Inherited from OneDimensionalOptimizer)
FindMinimum(Func<Double, Double>, Double) Computes a minimum of the specified function.
(Inherited from OneDimensionalOptimizer)
FindMinimum(Func<Double, Double>, Double, Double) Computes a minimum of the specified function.
(Inherited from OneDimensionalOptimizer)
GetHashCodeServes as the default hash function.
(Inherited from Object)
GetTypeGets the Type of the current instance.
(Inherited from Object)
ToStringReturns a string that represents the current object.
(Inherited from Object)

See Also