NAG Library Function Document
nag_opt_bounds_qa_no_deriv (e04jcc)
1 Purpose
nag_opt_bounds_qa_no_deriv (e04jcc) is an easy-to-use algorithm that uses methods of quadratic approximation to find a minimum of an objective function over , subject to fixed lower and upper bounds on the independent variables . Derivatives of are not required.
The function is intended for functions that are continuous and that have continuous first and second derivatives (although it will usually work even if the derivatives have occasional discontinuities). Efficiency is maintained for large .
2 Specification
#include <nag.h> |
#include <nage04.h> |
void |
nag_opt_bounds_qa_no_deriv (
Integer n,
Integer npt,
double x[],
const double bl[],
const double bu[],
double rhobeg,
double rhoend,
Integer maxcal,
double *f,
Integer *nf,
Nag_Comm *comm,
NagError *fail) |
|
3 Description
nag_opt_bounds_qa_no_deriv (e04jcc) is applicable to problems of the form:
where
is a nonlinear scalar function whose derivatives may be unavailable, and where the bound vectors are elements of
. Relational operators between vectors are interpreted elementwise.
Fixing variables (that is, setting for some ) is allowed in nag_opt_bounds_qa_no_deriv (e04jcc).
You must supply a function to calculate the value of at any given point .
The method used by nag_opt_bounds_qa_no_deriv (e04jcc) is based on BOBYQA, the method of Bound Optimization BY Quadratic Approximation described in
Powell (2009). In particular, each iteration of nag_opt_bounds_qa_no_deriv (e04jcc) generates a quadratic approximation
to
that agrees with
at
automatically chosen interpolation points. The value of
is a constant prescribed by you. Updates to the independent variables mostly occur from approximate solutions to trust-region subproblems, using the current quadratic model.
4 References
Powell M J D (2009) The BOBYQA algorithm for bound constrained optimization without derivatives
Report DAMTP 2009/NA06 University of Cambridge
http://www.damtp.cam.ac.uk/user/na/NA_papers/NA2009_06.pdf5 Arguments
- 1:
objfun – function, supplied by the userExternal Function
objfun must evaluate the objective function
at a specified vector
.
The specification of
objfun is:
void |
objfun (Integer n,
const double x[],
double *f,
Nag_Comm *comm, Integer *inform)
|
|
- 1:
n – IntegerInput
On entry: , the number of independent variables.
- 2:
x[n] – const doubleInput
On entry: , the vector at which the objective function is to be evaluated.
- 3:
f – double *Output
On exit: must be set to the value of the objective function at
, unless you have specified termination of the current problem using
inform.
- 4:
comm – Nag_Comm *
Pointer to structure of type Nag_Comm; the following members are relevant to
objfun.
- user – double *
- iuser – Integer *
- p – Pointer
The type Pointer will be
void *. Before calling nag_opt_bounds_qa_no_deriv (e04jcc) you may allocate memory and initialize these pointers with various quantities for use by
objfun when called from nag_opt_bounds_qa_no_deriv (e04jcc) (see
Section 3.2.1.1 in the Essential Introduction).
- 5:
inform – Integer *Output
On exit: must be set to a value describing the action to be taken by the solver on return from
objfun. Specifically, if the value is negative the solution of the current problem will terminate immediately; otherwise, computations will continue.
- 2:
n – IntegerInput
On entry: , the number of independent variables.
Constraint:
and , where denotes the number of non-fixed variables.
- 3:
npt – IntegerInput
On entry: , the number of interpolation conditions imposed on the quadratic approximation at each iteration.
Suggested value:
, where denotes the number of non-fixed variables.
Constraint:
, where denotes the number of non-fixed variables.
- 4:
x[n] – doubleInput/Output
On entry: an estimate of the position of the minimum. If any component is out-of-bounds it is replaced internally by the bound it violates.
On exit: the lowest point found during the calculations. Thus, if
NE_NOERROR on exit,
x is the position of the minimum.
- 5:
bl[n] – const doubleInput
- 6:
bu[n] – const doubleInput
On entry: the fixed vectors of bounds: the lower bounds
and the upper bounds
, respectively. To signify that a variable is unbounded you should choose a large scalar
appropriate to your problem, then set the lower bound on that variable to
and the upper bound to
. For well-scaled problems
may be suitable, where
denotes the largest positive model number (see
nag_real_largest_number (X02ALC)).
Constraints:
- if is to be fixed at , then ;
- otherwise , for .
- 7:
rhobeg – doubleInput
On entry: an initial lower bound on the value of the trust-region radius.
Suggested value:
rhobeg should be about one tenth of the greatest expected overall change to a variable: the initial quadratic model will be constructed by taking steps from the initial
x of length
rhobeg along each coordinate direction.
Constraints:
- ;
- .
- 8:
rhoend – doubleInput
On entry: a final lower bound on the value of the trust-region radius.
Suggested value:
rhoend should indicate the absolute accuracy that is required in the final values of the variables.
Constraint:
.
- 9:
monfun – function, supplied by the userExternal Function
monfun may be used to monitor the optimization process. It is invoked every time a new trust-region radius is chosen.
If no monitoring is required,
monfun may be specified as NULLFN.
The specification of
monfun is:
void |
monfun (Integer n,
Integer nf,
const double x[],
double f,
double rho,
Nag_Comm *comm, Integer *inform)
|
|
- 1:
n – IntegerInput
On entry: , the number of independent variables.
- 2:
nf – IntegerInput
On entry: the cumulative number of calls made to
objfun.
- 3:
x[n] – const doubleInput
On entry: the current best point.
- 4:
f – doubleInput
On entry: the value of
objfun at
x.
- 5:
rho – doubleInput
On entry: a lower bound on the current trust-region radius.
- 6:
comm – Nag_Comm *
Pointer to structure of type Nag_Comm; the following members are relevant to
monfun.
- user – double *
- iuser – Integer *
- p – Pointer
The type Pointer will be
void *. Before calling nag_opt_bounds_qa_no_deriv (e04jcc) you may allocate memory and initialize these pointers with various quantities for use by
monfun when called from nag_opt_bounds_qa_no_deriv (e04jcc) (see
Section 3.2.1.1 in the Essential Introduction).
- 7:
inform – Integer *Output
On exit: must be set to a value describing the action to be taken by the solver on return from
monfun. Specifically, if the value is negative the solution of the current problem will terminate immediately; otherwise, computations will continue.
- 10:
maxcal – IntegerInput
On entry: the maximum permitted number of calls to
objfun.
Constraint:
.
- 11:
f – double *Output
On exit: the function value at the lowest point found (
x).
- 12:
nf – Integer *Output
On exit: unless
NE_RESCUE_FAILED,
NE_TOO_MANY_FEVALS,
NE_TR_STEP_FAILED or
NE_USER_STOP on exit, the total number of calls made to
objfun.
- 13:
comm – Nag_Comm *Communication Structure
-
The NAG communication argument (see
Section 3.2.1.1 in the Essential Introduction).
- 14:
fail – NagError *Input/Output
-
The NAG error argument (see
Section 3.6 in the Essential Introduction).
nag_opt_bounds_qa_no_deriv (e04jcc) returns with
NE_NOERROR if the final trust-region radius has reached its lower bound
rhoend.
6 Error Indicators and Warnings
- NE_ALLOC_FAIL
-
Dynamic memory allocation failed.
- NE_BAD_PARAM
-
On entry, argument had an illegal value.
- NE_BOUND
-
On entry, , , and .
Constraint: if in coordinate , then .
- NE_INT
-
On entry, .
Constraint: .
There were unequal bounds.
Constraint: .
There were unequal bounds and on entry.
Constraint: .
- NE_INTERNAL_ERROR
-
An internal error has occurred in this function. Check the function call and any array sizes. If the call is correct then please contact
NAG for assistance.
- NE_REAL
-
On entry, .
Constraint: .
On entry, .
Constraint: .
- NE_REAL_2
-
On entry, and .
Constraint: .
- NE_RESCUE_FAILED
-
A rescue procedure has been called in order to correct damage from rounding errors when computing an update to a quadratic approximation of
, but no further progess could be made. Check your specification of
objfun and whether the function needs rescaling. Try a different initial
x.
- NE_TOO_MANY_FEVALS
-
The function evaluations limit was reached:
objfun has been called
maxcal times.
- NE_TR_STEP_FAILED
-
The predicted reduction in a trust-region step was non-positive. Check your specification of
objfun and whether the function needs rescaling. Try a different initial
x.
- NE_USER_STOP
-
User-supplied monitoring function requested termination.
User-supplied objective function requested termination.
7 Accuracy
Experience shows that, in many cases, on successful termination the
-norm distance from the best point
to a local minimum of
is less than
, unless
rhoend is so small that such accuracy is unattainable.
8 Parallelism and Performance
nag_opt_bounds_qa_no_deriv (e04jcc) is not threaded by NAG in any implementation.
nag_opt_bounds_qa_no_deriv (e04jcc) makes calls to BLAS and/or LAPACK routines, which may be threaded within the vendor library used by this implementation. Consult the documentation for the vendor library for further information.
Please consult the
Users' Note for your implementation for any additional implementation-specific information.
For each invocation of nag_opt_bounds_qa_no_deriv (e04jcc), local workspace arrays of fixed length are allocated internally. The total size of these arrays amounts to
double elements and
Integer elements, where
denotes the number of non-fixed variables; that is, the total size is
. If you follow the recommendation for the choice of
npt on entry, this total size reduces to
.
Usually the total number of function evaluations (
nf) is substantially less than
, and often, if
on entry,
nf is only of magnitude
or less.
10 Example
This example involves the minimization of
subject to
starting from the initial guess
.
10.1 Program Text
Program Text (e04jcce.c)
10.2 Program Data
None.
10.3 Program Results
Program Results (e04jcce.r)