Optimization[Minimize]  minimize an objective function, possibly subject to constraints
Optimization[Maximize]  maximize an objective function, possibly subject to constraints

Calling Sequence


Minimize(obj, constr, bd, opts)
Maximize(obj, constr, bd, opts)
Minimize(opfobj, ineqcon, eqcon, opfbd, opts)
Maximize(opfobj, ineqcon, eqcon, opfbd, opts)


Parameters


obj



algebraic; objective function

constr



(optional) set(relation) or list(relation); constraints

bd



(optional) sequence of name = range; bounds for one or more variables

opfobj



procedure; objective function

ineqcon



(optional) set(procedure) or list(procedure) ; inequality constraints

eqcon



(optional) set(procedure) or list(procedure); equality constraints

opfbd



(optional) sequence of ranges; bounds for all variables

opts



(optional) equation(s) of the form option = value where option is one of assume, feasibilitytolerance, infinitebound, initialpoint, iterationlimit, optimalitytolerance, or output; specify options for the Minimize or Maximize command





Description


•

The Minimize command computes a
local
minimum
of an
objective function
, possibly subject to
constraints
. If the problem is
convex
(for example, when the objective function and constraints are linear), the solution will also be a
global
minimum. The Maximize command is similar to the Minimize command except that it computes a local
maximum
. The algorithms that both commands use assume the objective function and constraints are twice continuously differentiable.


Both commands accept the
optimization
problem in algebraic or operator form. See the Optimization/AlgebraicForm and Optimization/OperatorForm help pages. These commands work by calling other commands in the Optimization package based on the form of the input. Setting infolevel[Optimization] to an integer value greater than 0 will give information about the solution process as the commands are called.

•

The first two calling sequences use the algebraic form of input. The first parameter obj is the objective function, which must be an algebraic expression.


The second parameter constr is optional and is a set or list of relations (of type `<=` or `=`) involving the problem variables. The problem variables are the indeterminates of type name found in obj and constr. They can also be specified using the variables option.


Bounds, bd, on one or more of the variables are given as additional arguments, each of the form where varname is a variable name and is its range.


Inequality and equality constraints are provided using the optional ineqcon and eqcon parameters. An inequality constraint, , is specified by a procedure v in ineqcon that has the same form as opfobj and returns the lefthand side value of the constraint. Similarly, an equality constraint is specified by a procedure w in eqcon. Either ineqcon or eqcon can be empty.

•

For either form of input, nonnegativity of the variables is not assumed by default, but can be specified using the assume = nonnegative option. Bounds can include values having type infinity.

•

Maple returns the solution as a list containing the final minimum (or maximum) value and a point (the extremum). If the output = solutionmodule option is provided, then a module is returned. See the Optimization/Solution help page for more information.



Options



The opts argument can contain one or more of the following options. The list below contains the options applicable to most or all of the Optimization package commands called by Minimize or Maximize. Additional options accepted by specific commands can also be passed to Minimize and Maximize. For a full list of options, see the Optimization/Options help page. Each target command uses a variety of internal solvers. If an option is not used by a particular solver, a warning will be issued.

•

assume = nonnegative  Assume that all variables are nonnegative.

•

feasibilitytolerance = realcons(positive)  Set the maximum absolute allowable constraint violation.

•

infinitebound = realcons(positive)  Set any value greater than the infinitebound value to be equivalent to infinity during the computation.

•

initialpoint = set(equation), list(equation), or list(numeric)  Use the provided initial point, which is a set or list of equations (for algebraic form input) or a list of exactly values (for operator form input).

•

iterationlimit = posint  Set the maximum number of iterations performed by the algorithm.

•

optimalitytolerance = realcons(positive)  Set the tolerance that determines whether an optimal point has been found. This option is not available for linear or quadratic problems.

•

variables = list(name) or set(name)  Specify the problem variables when the objective function is in algebraic form.



Notes


•

The Minimize and Maximize commands use various methods implemented in a builtin library provided by the Numerical Algorithms Group (NAG). The solvers are iterative in nature and require an initial point. The quality of the solution can depend greatly on the point chosen, especially for nonlinear problems. It is recommended that you provide a point using the initialpoint option. Otherwise, a point is automatically generated.


The computation is performed in floatingpoint. Therefore, all data provided must have type realcons and all returned solutions are floatingpoint, even if the problem is specified with exact values. For more information about numeric computation in the Optimization package, see the Optimization/Computation help page.


Although the assume = nonnegative option is accepted, general assumptions are not supported by commands in the Optimization package.



Examples


>


 (1) 
>


 (2) 
>


 (3) 
>


 (4) 
>


 (5) 
>


 (6) 


See Also


Optimization/AlgebraicForm, Optimization/Computation, Optimization/MatrixForm, Optimization/OperatorForm, Optimization/Options, Optimization/Solution, Optimization[LPSolve], Optimization[LSSolve], Optimization[NLPSolve], Optimization[QPSolve], realcons

