Solver

abstract class Solver(evaluator: EvaluatorIfc, maximumIterations: Int, var replicationsPerEvaluation: ReplicationPerEvaluationIfc, name: String? = null) : IdentityIfc, CompareSolutionsIfc, SolutionEmitterIfc

A solver is an iterative algorithm that searches for the optimal solution to a defined problem. In this abstract base class, the algorithm is conceptualized as having a main iterative loop. The loop is the main loop that ultimately determines the convergence of the algorithm and recommended solution. Some algorithms have "inner" loops". In general, inner loops are used to control localized search for solutions. If an algorithm has additional inner loops, these can be embedded within the main loop via the subclassing process.

Specialized implementations may have specific methods for determining stopping criteria; however, to avoid the execution of a large number of iterations, the iterative process has a specified maximum number of iterations.

Within the context of simulation optimization, the supplied evaluator promises to execute requests for evaluations of the simulation model at particular design points (as determined by the algorithm). In addition, because of the stochastic nature of the evaluation, the solver may request one or more replications for its evaluation requests. The number of replications may dynamically change, and thus the user needs to supply a function to determine the number of replications per evaluation. Within the framework of the hooks for subclasses, the user could specify more complex procedures for determining the number of replications per evaluation.

Parameters

maximumIterations

the maximum number of iterations permitted for the main loop. This must be greater than 0.

replicationsPerEvaluation

the function controlling how many replications are requested for each evaluation

evaluator

the reference to the evaluator for evaluating responses from the model

name

a name to help with identifying the solver when multiple solvers are used on a problem

Inheritors

Constructors

Link copied to clipboard
constructor(evaluator: EvaluatorIfc, maximumIterations: Int, replicationsPerEvaluation: Int = defaultReplicationsPerEvaluation, name: String? = null)

A solver is an iterative algorithm that searches for the optimal solution to a defined problem. In this abstract base class, the algorithm is conceptualized as having a main iterative loop. The loop is the main loop that ultimately determines the convergence of the algorithm and recommended solution. Some algorithms have "inner" loops". In general, inner loops are used to control localized search for solutions. If an algorithm has additional inner loops, these can be embedded within the main loop via the subclassing process.

constructor(evaluator: EvaluatorIfc, maximumIterations: Int, replicationsPerEvaluation: ReplicationPerEvaluationIfc, name: String? = null)

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard

The best solution found so far in the search. Some algorithms may allow the current solution to vary from the best solution due to randomness or other search needs (e.g., explore bad areas with the hope of getting better). The algorithm should ensure the updating of the best solution found across any iteration.

Link copied to clipboard

Represents the current point (input settings) of the solver during its iterative process.

Link copied to clipboard

The current (or last) solution that was accepted as a possible solution to recommend for the solver. It is the responsibility of the subclass to determine the current solution.

Link copied to clipboard
open override val emitter: Emitter<Solution>
Link copied to clipboard

Indicates whether the solver allows infeasible requests to be sent to the evaluator. The default is false. That is, the solver is allowed to send infeasible problem requests for evaluation by the evaluator.

Link copied to clipboard
open override val id: Int
Link copied to clipboard

The initial point associated with the initial solution.

Link copied to clipboard

Returns the number of times the main iteration function was called.

Link copied to clipboard

Allow the status of the iterative process to be accessible

Link copied to clipboard
open override var label: String?
Link copied to clipboard

The maximum number of iterations when sampling for an input feasible point

Link copied to clipboard

The maximum number of iterations permitted for the main loop. This must be greater than 0.

Link copied to clipboard
open override val name: String
Link copied to clipboard

The user can supply a function that will generate a neighbor for the evaluation process. If supplied, this function will be used instead of the pre-defined generateNeighbor() function. The user may also override the generateNeighbor() function when developing subclasses.

Link copied to clipboard

Counts the number of times that a new current solution replaced the current best solution. This can be used to measure how often an iteration results in a better solution being found.

Link copied to clipboard

The difference between the previous solution's penalized objective function value and the current solution's penalized objective function value.

Link copied to clipboard

The previous point in the solution process. It is associated with the previous solution.

Link copied to clipboard

The previous solution in the sequence of solutions.

Link copied to clipboard

A convenience property to access the problem being solved

Link copied to clipboard

If true, updates to the current solution will be captured automatically to memory. The default is false.

Link copied to clipboard

The user can supply a comparator for comparing whether one solution is smaller, equal to, or larger than another solution. If supplied, this function will be used instead of the implemented compare() function. The user can supply a function or override the compare function to specialize how solutions are compared.

Link copied to clipboard

A variable representing an instance of the SolutionQualityEvaluatorIfc interface. It is used to assess and evaluate the quality of a given solution. The variable can hold a nullable implementation of the interface.

Link copied to clipboard

A read-only view of the solutions evaluated by the solver. Not all solvers retain past solutions. Also, in general, the evaluator will have access to a cache of solutions.

Link copied to clipboard

An initial starting point for the solver. If supplied, this point will be used instead of the returned value of the startingPoint() function. The default is null, which indicates that the function should be called to obtain the initial starting point.

Link copied to clipboard

The difference between the previous solution's unpenalized objective function value and the current solution's unpenalized objective function value.

Functions

Link copied to clipboard
open override fun compare(first: Solution, second: Solution): Int

Recognizing the need to be able to compare solutions that may have sampling error, the user can override this function to provide more extensive comparison or supply an instance of the CompareSolutionsIfc interface via the solutionComparer property Returns -1 if first is less than the second solution, 0 if the solutions are to be considered equivalent, and 1 if the first is larger than the second solution.

Link copied to clipboard
fun endIterations(msg: String? = null)

Note that the iterations can only be ended before running all iterations or before running the next iteration. Use stopIterations() to cause a graceful completion of inner and outer iterations.

Link copied to clipboard

Generates a random neighbor of the current point that satisfies input feasibility constraints. The method attempts to generate a feasible point by randomizing the input variables of the current point. If a feasible point cannot be generated within a maximum number of iterations, an exception is thrown.

Link copied to clipboard

Checks if the iterative process has additional iterations to execute. This does not check other stopping criteria related to solution quality or convergence. This is about how many iterations have been executed from the maximum specified.

Link copied to clipboard

Causes the solver to be initialized. It will then be in a state that allows for the running of the iterations.

Link copied to clipboard

Causes the solver to run all iterations until its stopping criteria is met or the maximum number of iterations has been reached.

Link copied to clipboard

Runs the next iteration. Only valid if the solver has been initialized and there are additional iterations to run.

Link copied to clipboard
fun stopIterations(msg: String? = null)

Causes a graceful stopping of the iterative processes for the solver. The inner process will complete its current iteration, and then no more outer iterations will start.

Link copied to clipboard
open override fun toString(): String