NAG CL Interface
e04jcc (bounds_​bobyqa_​func)

Note: this function is deprecated. Replaced by e04jdc and e04jec.
e04jdc and e04jec are a part of the new NAG optimization modelling suite (see Section 4.1 in the E04 Chapter Introduction) which allows you to define and solve various problems in a uniform manner. They also offer various algorithmic additions, such as a performance improvement on noisy problems, a possibility to progress towards the solution earlier than after n initial function evaluations, heuristic stopping criteria, recovery from unavailable function evaluations, and various other algorithmic updates and tuning. In addition, e04jec offers a reverse communication interface (see Section 4.2 in the E04 Chapter Introduction) which might be useful in some environments or if you can parallelize your function evaluations.
Settings help

CL Name Style:


1 Purpose

e04jcc is an easy-to-use algorithm that uses methods of quadratic approximation to find a minimum of an objective function F over xRn, subject to fixed lower and upper bounds on the independent variables x1,x2,,xn. Derivatives of F 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 n.

2 Specification

#include <nag.h>
void  e04jcc (
void (*objfun)(Integer n, const double x[], double *f, Nag_Comm *comm, Integer *inform),
Integer n, Integer npt, double x[], const double bl[], const double bu[], double rhobeg, double rhoend,
void (*monfun)(Integer n, Integer nf, const double x[], double f, double rho, Nag_Comm *comm, Integer *inform),
Integer maxcal, double *f, Integer *nf, Nag_Comm *comm, NagError *fail)
The function may be called by the names: e04jcc, nag_opt_bounds_bobyqa_func or nag_opt_bounds_qa_no_deriv.

3 Description

e04jcc is applicable to problems of the form:
minimize xRn F(x)   subject to   x u   and   u ,  
where F is a nonlinear scalar function whose derivatives may be unavailable, and where the bound vectors are elements of Rn. Relational operators between vectors are interpreted elementwise.
Fixing variables (that is, setting i=ui for some i) is allowed in e04jcc.
You must supply a function to calculate the value of F at any given point x.
The method used by e04jcc is based on BOBYQA, the method of Bound Optimization BY Quadratic Approximation described in Powell (2009). In particular, each iteration of e04jcc generates a quadratic approximation Q to F that agrees with F at m automatically chosen interpolation points. The value of m 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 https://www.damtp.cam.ac.uk/user/na/NA_papers/NA2009_06.pdf

5 Arguments

1: objfun function, supplied by the user External Function
objfun must evaluate the objective function F at a specified vector x.
The specification of objfun is:
void  objfun (Integer n, const double x[], double *f, Nag_Comm *comm, Integer *inform)
1: n Integer Input
On entry: n, the number of independent variables.
2: x[n] const double Input
On entry: x, 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 x.
4: comm Nag_Comm *
Pointer to structure of type Nag_Comm; the following members are relevant to objfun.
userdouble *
iuserInteger *
pPointer 
The type Pointer will be void *. Before calling e04jcc you may allocate memory and initialize these pointers with various quantities for use by objfun when called from e04jcc (see Section 3.1.1 in the Introduction to the NAG Library CL Interface).
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.
Note: objfun should not return floating-point NaN (Not a Number) or infinity values, since these are not handled by e04jcc. If your code inadvertently does return any NaNs or infinities, e04jcc is likely to produce unexpected results.
2: n Integer Input
On entry: n, the number of independent variables.
Constraint: n2 and nr2, where nr denotes the number of non-fixed variables.
3: npt Integer Input
On entry: m, the number of interpolation conditions imposed on the quadratic approximation at each iteration.
Suggested value: npt=2×nr+1, where nr denotes the number of non-fixed variables.
Constraint: nr+2npt(nr+1)×(nr+2)2, where nr denotes the number of non-fixed variables.
4: x[n] double Input/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 fail.code= NE_NOERROR on exit, x is the position of the minimum.
5: bl[n] const double Input
6: bu[n] const double Input
On entry: the fixed vectors of bounds: the lower bounds and the upper bounds u, respectively. To signify that a variable is unbounded you should choose a large scalar r appropriate to your problem, then set the lower bound on that variable to -r and the upper bound to r. For well-scaled problems r=rmax14 may be suitable, where rmax denotes the largest positive model number (see X02ALC).
Constraints:
  • if x[i-1] is to be fixed at bl[i-1], thenbl[i-1]=bu[i-1];
  • otherwise bu[i-1]-bl[i-1]2.0×rhobeg, for i=1,2,,n.
7: rhobeg double Input
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:
  • rhobeg>0.0;
  • rhobegrhoend.
8: rhoend double Input
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: rhoendmacheps, where macheps=nag_machine_precision, the machine precision.
9: monfun function, supplied by the user External 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 Integer Input
On entry: n, the number of independent variables.
2: nf Integer Input
On entry: the cumulative number of calls made to objfun.
3: x[n] const double Input
On entry: the current best point.
4: f double Input
On entry: the value of objfun at x.
5: rho double Input
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.
userdouble *
iuserInteger *
pPointer 
The type Pointer will be void *. Before calling e04jcc you may allocate memory and initialize these pointers with various quantities for use by monfun when called from e04jcc (see Section 3.1.1 in the Introduction to the NAG Library CL Interface).
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 Integer Input
On entry: the maximum permitted number of calls to objfun.
Constraint: maxcal1.
11: f double * Output
On exit: the function value at the lowest point found (x).
12: nf Integer * Output
On exit: unless fail.code= 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 *
The NAG communication argument (see Section 3.1.1 in the Introduction to the NAG Library CL Interface).
14: fail NagError * Input/Output
The NAG error argument (see Section 7 in the Introduction to the NAG Library CL Interface).
e04jcc returns with fail.code= 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.
See Section 3.1.2 in the Introduction to the NAG Library CL Interface for further information.
NE_BAD_PARAM
On entry, argument value had an illegal value.
NE_BOUND
On entry, rhobeg=value, bl[i-1]=value, bu[i-1]=value and i=value.
Constraint: if bl[i-1]bu[i-1] in coordinate i, bu[i-1]-bl[i-1]2×rhobeg.
NE_INT
On entry, maxcal=value.
Constraint: maxcal1.
There were nr=value unequal bounds.
Constraint: nr2.
There were nr=value unequal bounds and npt=value on entry.
Constraint: nr+2npt(nr+1)×(nr+2)2.
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.
See Section 7.5 in the Introduction to the NAG Library CL Interface for further information.
NE_NO_LICENCE
Your licence key may have expired or may not have been installed correctly.
See Section 8 in the Introduction to the NAG Library CL Interface for further information.
NE_REAL
On entry, rhobeg=value.
Constraint: rhobeg>0.0.
On entry, rhoend=value.
Constraint: rhoendmacheps, where macheps=nag_machine_precision, the machine precision.
NE_REAL_2
On entry, rhobeg=value and rhoend=value.
Constraint: rhoendrhobeg.
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 F, 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 x to a local minimum of F is less than 10×rhoend, unless rhoend is so small that such accuracy is unattainable.

8 Parallelism and Performance

Background information to multithreading can be found in the Multithreading documentation.
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 X06 Chapter Introduction for information on how to control and interrogate the OpenMP environment used within this function. Please also consult the Users' Note for your implementation for any additional implementation-specific information.

9 Further Comments

For each invocation of e04jcc, local workspace arrays of fixed length are allocated internally. The total size of these arrays amounts to (npt+6)×(npt+nr)+nr×(3nr+21)2 double elements and nr Integer elements, where nr denotes the number of non-fixed variables; that is, the total size is O(nr4). If you follow the recommendation for the choice of npt on entry, this total size reduces to O(nr2).
Usually the total number of function evaluations (nf) is substantially less than O(nr2), and often, if npt=2×nr+1 on entry, nf is only of magnitude nr or less.

10 Example

This example involves the minimization of
F = (x1+10x2) 2 +5 (x3-x4) 2 + (x2-2x3) 4 +10 (x1-x4) 4  
subject to
-1x1 3, −2x2 0, -1x4 3,  
starting from the initial guess (3,−1,0,1) .

10.1 Program Text

Program Text (e04jcce.c)

10.2 Program Data

None.

10.3 Program Results

Program Results (e04jcce.r)