xref: /petsc/include/petsctaolinesearch.h (revision 3e6fa7ea8e5fd4baed9b6005d5159317cde144c5)
1a4963045SJacob Faibussowitsch #pragma once
221ec2d5cSBarry Smith 
320f4b53cSBarry Smith /* SUBMANSEC = Tao */
420f4b53cSBarry Smith 
520f4b53cSBarry Smith /*S
620f4b53cSBarry Smith    TaoLineSearch - PETSc object that manages line searches for the `Tao` optimization solves
720f4b53cSBarry Smith 
820f4b53cSBarry Smith    Level: intermediate
920f4b53cSBarry Smith 
101cc06b55SBarry Smith .seealso: [](ch_tao), `TaoLineSearchType`, `Tao`, `TaoCreate()`, `TaoDestroy()`, `TaoSetType()`, `TaoType`
1120f4b53cSBarry Smith S*/
1221ec2d5cSBarry Smith typedef struct _p_TaoLineSearch *TaoLineSearch;
13b54963c9SStefano Zampini 
14b54963c9SStefano Zampini #include <petsctao.h>
15b54963c9SStefano Zampini 
1620f4b53cSBarry Smith /*E
1720f4b53cSBarry Smith    TaoLineSearchConvergedReason - reason a `TaoLineSearch` completed
1820f4b53cSBarry Smith 
1920f4b53cSBarry Smith    Values:
2020f4b53cSBarry Smith + `TAOLINESEARCH_FAILED_ASCENT`       - initial line search step * g is not descent direction
2120f4b53cSBarry Smith . `TAOLINESEARCH_FAILED_INFORNAN`     - function evaluation gives `Inf` or `Nan` value
2220f4b53cSBarry Smith . `TAOLINESEARCH_FAILED_BADPARAMETER` - negative value set as parameter
2320f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_MAXFCN`       - maximum number of function evaluation reached
2420f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_UPPERBOUND`   - step is at upper bound
2520f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_LOWERBOUND`   - step is at lower bound
2620f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_RTOL`         - range of uncertainty is smaller than given tolerance
2720f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_USER`         - user can set this reason to stop line search
2820f4b53cSBarry Smith . `TAOLINESEARCH_HALTED_OTHER`        - any other reason
2920f4b53cSBarry Smith - `TAOLINESEARCH_SUCCESS`             - successful line search
3020f4b53cSBarry Smith 
3120f4b53cSBarry Smith    Level: beginner
3220f4b53cSBarry Smith 
331cc06b55SBarry Smith .seealso: [](ch_tao), `Tao`, `TaoLineSearch`, `TaoSolve()`, `TaoGetConvergedReason()`, `KSPConvergedReason`, `SNESConvergedReason`
3420f4b53cSBarry Smith E*/
3521ec2d5cSBarry Smith typedef enum {
3621ec2d5cSBarry Smith   TAOLINESEARCH_FAILED_INFORNAN     = -1,
3721ec2d5cSBarry Smith   TAOLINESEARCH_FAILED_BADPARAMETER = -2,
3821ec2d5cSBarry Smith   TAOLINESEARCH_FAILED_ASCENT       = -3,
3921ec2d5cSBarry Smith   TAOLINESEARCH_CONTINUE_ITERATING  = 0,
4021ec2d5cSBarry Smith   TAOLINESEARCH_SUCCESS             = 1,
4121ec2d5cSBarry Smith   TAOLINESEARCH_SUCCESS_USER        = 2,
4221ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_OTHER        = 3,
4321ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_MAXFCN       = 4,
4421ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_UPPERBOUND   = 5,
4521ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_LOWERBOUND   = 6,
4621ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_RTOL         = 7,
4721ec2d5cSBarry Smith   TAOLINESEARCH_HALTED_USER         = 8
48e4cb33bbSBarry Smith } TaoLineSearchConvergedReason;
49*1404853cSMatthew G. Knepley PETSC_EXTERN const char *const *TaoLineSearchConvergedReasons;
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 
671cc06b55SBarry 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 
88ce78bad3SBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchSetOptionsPrefix(TaoLineSearch, const char[]);
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);
121