xref: /petsc/include/petsctaolinesearch.h (revision 1cc06b555e92f8ec64db10330b8bbd830e5bc876)
16524c165SJacob Faibussowitsch #ifndef PETSCTAOLINESEARCH_H
23028902dSLisandro Dalcin #define PETSCTAOLINESEARCH_H
321ec2d5cSBarry Smith 
420f4b53cSBarry Smith /* SUBMANSEC = Tao */
520f4b53cSBarry Smith 
620f4b53cSBarry Smith /*S
720f4b53cSBarry Smith    TaoLineSearch - PETSc object that manages line searches for the `Tao` optimization solves
820f4b53cSBarry Smith 
920f4b53cSBarry Smith    Level: intermediate
1020f4b53cSBarry Smith 
11*1cc06b55SBarry Smith .seealso: [](ch_tao), `TaoLineSearchType`, `Tao`, `TaoCreate()`, `TaoDestroy()`, `TaoSetType()`, `TaoType`
1220f4b53cSBarry Smith S*/
1321ec2d5cSBarry Smith typedef struct _p_TaoLineSearch *TaoLineSearch;
14b54963c9SStefano Zampini 
15b54963c9SStefano Zampini #include <petsctao.h>
16b54963c9SStefano Zampini 
1720f4b53cSBarry Smith /*E
1820f4b53cSBarry Smith     TaoLineSearchConvergedReason - reason a `TaoLineSearch` completed
1920f4b53cSBarry Smith 
2020f4b53cSBarry Smith    Values:
2120f4b53cSBarry Smith + `TAOLINESEARCH_FAILED_ASCENT` - initial line search step * g is not descent direction
2220f4b53cSBarry Smith . `TAOLINESEARCH_FAILED_INFORNAN` - function evaluation gives `Inf` or `Nan` value
2320f4b53cSBarry Smith . `TAOLINESEARCH_FAILED_BADPARAMETER` - negative value set as parameter
2420f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_MAXFCN` - maximum number of function evaluation reached
2520f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_UPPERBOUND` - step is at upper bound
2620f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_LOWERBOUND` - step is at lower bound
2720f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_RTOL` - range of uncertainty is smaller than given tolerance
2820f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_USER` - user can set this reason to stop line search
2920f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_OTHER` - any other reason
3020f4b53cSBarry Smith - `TAOLINESEARCH_SUCCESS` - successful line search
3120f4b53cSBarry Smith 
3220f4b53cSBarry Smith    Level: beginner
3320f4b53cSBarry Smith 
34*1cc06b55SBarry Smith .seealso: [](ch_tao), `Tao`, `TaoLineSearch`, `TaoSolve()`, `TaoGetConvergedReason()`, `KSPConvergedReason`, `SNESConvergedReason`
3520f4b53cSBarry Smith E*/
3621ec2d5cSBarry Smith typedef enum {
3721ec2d5cSBarry Smith   TAOLINESEARCH_FAILED_INFORNAN     = -1,
3821ec2d5cSBarry Smith   TAOLINESEARCH_FAILED_BADPARAMETER = -2,
3921ec2d5cSBarry Smith   TAOLINESEARCH_FAILED_ASCENT       = -3,
4021ec2d5cSBarry Smith   TAOLINESEARCH_CONTINUE_ITERATING  = 0,
4121ec2d5cSBarry Smith   TAOLINESEARCH_SUCCESS             = 1,
4221ec2d5cSBarry Smith   TAOLINESEARCH_SUCCESS_USER        = 2,
4321ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_OTHER        = 3,
4421ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_MAXFCN       = 4,
4521ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_UPPERBOUND   = 5,
4621ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_LOWERBOUND   = 6,
4721ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_RTOL         = 7,
4821ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_USER         = 8
49e4cb33bbSBarry Smith } TaoLineSearchConvergedReason;
5021ec2d5cSBarry Smith 
5120f4b53cSBarry Smith /*J
5220f4b53cSBarry Smith         TaoLineSearchType - String with the name of a `TaoLineSearch` method
5320f4b53cSBarry Smith 
5420f4b53cSBarry Smith    Values:
5520f4b53cSBarry Smith +   `TAOLINESEARCHUNIT` -  "unit" do not perform a line search and always accept unit step length
5620f4b53cSBarry Smith .   `TAOLINESEARCHMT` - "more-thuente" line search with a cubic model enforcing the strong Wolfe/curvature condition
5720f4b53cSBarry Smith .   `TAOLINESEARCHGPCG` - "gpcg"
5820f4b53cSBarry Smith .   `TAOLINESEARCHARMIJO` - "armijo" simple backtracking line search enforcing only the sufficient decrease condition
5920f4b53cSBarry Smith .   `TAOLINESEARCHOWARMIJO` - "owarmijo"
6020f4b53cSBarry Smith -   `TAOLINESEARCHIPM` - "ipm"
6120f4b53cSBarry Smith 
6220f4b53cSBarry Smith   Options Database Key:
6320f4b53cSBarry Smith .  -tao_ls_type <type> - select which method Tao should use at runtime
6420f4b53cSBarry Smith 
6520f4b53cSBarry Smith   Level: beginner
6620f4b53cSBarry Smith 
67*1cc06b55SBarry Smith .seealso: [](ch_tao), `Tao`, `TaoLineSearch`, `TaoLineSearchSetType()`, `TaoCreate()`, `TaoSetType()`
6820f4b53cSBarry Smith J*/
69dedfbcbeSJed Brown typedef const char *TaoLineSearchType;
708caf6e8cSBarry Smith #define TAOLINESEARCHUNIT     "unit"
718caf6e8cSBarry Smith #define TAOLINESEARCHMT       "more-thuente"
728caf6e8cSBarry Smith #define TAOLINESEARCHGPCG     "gpcg"
738caf6e8cSBarry Smith #define TAOLINESEARCHARMIJO   "armijo"
748caf6e8cSBarry Smith #define TAOLINESEARCHOWARMIJO "owarmijo"
758caf6e8cSBarry Smith #define TAOLINESEARCHIPM      "ipm"
7621ec2d5cSBarry Smith 
7721ec2d5cSBarry Smith PETSC_EXTERN PetscClassId      TAOLINESEARCH_CLASSID;
7821ec2d5cSBarry Smith PETSC_EXTERN PetscFunctionList TaoLineSearchList;
7921ec2d5cSBarry Smith 
8021ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchCreate(MPI_Comm, TaoLineSearch *);
8121ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetFromOptions(TaoLineSearch);
8221ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetUp(TaoLineSearch);
8321ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchDestroy(TaoLineSearch *);
842a0dac07SAlp Dener PETSC_EXTERN PetscErrorCode TaoLineSearchMonitor(TaoLineSearch, PetscInt, PetscReal, PetscReal);
8521ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchView(TaoLineSearch, PetscViewer);
86fe2efc57SMark PETSC_EXTERN PetscErrorCode TaoLineSearchViewFromOptions(TaoLineSearch, PetscObject, const char[]);
87fbe0838dSJason Sarich 
8821ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetOptionsPrefix(TaoLineSearch, const char prefix[]);
8921ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchReset(TaoLineSearch);
90b54963c9SStefano Zampini PETSC_EXTERN PetscErrorCode TaoLineSearchAppendOptionsPrefix(TaoLineSearch, const char[]);
91b54963c9SStefano Zampini PETSC_EXTERN PetscErrorCode TaoLineSearchGetOptionsPrefix(TaoLineSearch, const char *[]);
92e4cb33bbSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchApply(TaoLineSearch, Vec, PetscReal *, Vec, Vec, PetscReal *, TaoLineSearchConvergedReason *);
9321ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchGetStepLength(TaoLineSearch, PetscReal *);
9421ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchGetStartingVector(TaoLineSearch, Vec *);
9521ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchGetStepDirection(TaoLineSearch, Vec *);
9621ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetInitialStepLength(TaoLineSearch, PetscReal);
97e4cb33bbSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchGetSolution(TaoLineSearch, Vec, PetscReal *, Vec, PetscReal *, TaoLineSearchConvergedReason *);
9821ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchGetFullStepObjective(TaoLineSearch, PetscReal *);
9921ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchGetNumberFunctionEvaluations(TaoLineSearch, PetscInt *, PetscInt *, PetscInt *);
10021ec2d5cSBarry Smith 
101dedfbcbeSJed Brown PETSC_EXTERN PetscErrorCode TaoLineSearchGetType(TaoLineSearch, TaoLineSearchType *);
102dedfbcbeSJed Brown PETSC_EXTERN PetscErrorCode TaoLineSearchSetType(TaoLineSearch, TaoLineSearchType);
10321ec2d5cSBarry Smith 
104441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchIsUsingTaoRoutines(TaoLineSearch, PetscBool *);
10521ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetObjectiveAndGTSRoutine(TaoLineSearch, PetscErrorCode (*)(TaoLineSearch, Vec, Vec, PetscReal *, PetscReal *, void *), void *);
10621ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetObjectiveRoutine(TaoLineSearch, PetscErrorCode (*)(TaoLineSearch, Vec, PetscReal *, void *), void *);
10721ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetGradientRoutine(TaoLineSearch, PetscErrorCode (*)(TaoLineSearch, Vec, Vec, void *), void *);
10821ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetObjectiveAndGradientRoutine(TaoLineSearch, PetscErrorCode (*)(TaoLineSearch, Vec, PetscReal *, Vec, void *), void *);
10921ec2d5cSBarry Smith 
11021ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchComputeObjective(TaoLineSearch, Vec, PetscReal *);
11121ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchComputeGradient(TaoLineSearch, Vec, Vec);
11221ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchComputeObjectiveAndGradient(TaoLineSearch, Vec, PetscReal *, Vec);
11321ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchComputeObjectiveAndGTS(TaoLineSearch, Vec, PetscReal *, PetscReal *);
11421ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetVariableBounds(TaoLineSearch, Vec, Vec);
11521ec2d5cSBarry Smith 
11621ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchInitializePackage(void);
11721ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchFinalizePackage(void);
11821ec2d5cSBarry Smith 
11921ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchRegister(const char[], PetscErrorCode (*)(TaoLineSearch));
120b54963c9SStefano Zampini PETSC_EXTERN PetscErrorCode TaoLineSearchUseTaoRoutines(TaoLineSearch, Tao);
12121ec2d5cSBarry Smith 
12221ec2d5cSBarry Smith #endif
123