xref: /petsc/src/tao/linesearch/impls/gpcglinesearch/gpcglinesearch.c (revision 9566063d113dddea24716c546802770db7481bc0)
1af0996ceSBarry Smith #include <petsc/private/taolinesearchimpl.h>
2aaa7dc30SBarry Smith #include <../src/tao/linesearch/impls/gpcglinesearch/gpcglinesearch.h>
3a7e14dcfSSatish Balay 
4a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
5a7e14dcfSSatish Balay 
6a7e14dcfSSatish Balay static PetscErrorCode TaoLineSearchDestroy_GPCG(TaoLineSearch ls)
7a7e14dcfSSatish Balay {
88caf6e8cSBarry Smith   TaoLineSearch_GPCG *ctx = (TaoLineSearch_GPCG *)ls->data;
9a7e14dcfSSatish Balay 
10a7e14dcfSSatish Balay   PetscFunctionBegin;
11*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&ctx->W1));
12*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&ctx->W2));
13*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&ctx->Gold));
14*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&ctx->x));
15*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(ls->data));
16a7e14dcfSSatish Balay   PetscFunctionReturn(0);
17a7e14dcfSSatish Balay }
18a7e14dcfSSatish Balay 
19a7e14dcfSSatish Balay /*------------------------------------------------------------*/
20a7e14dcfSSatish Balay static PetscErrorCode TaoLineSearchView_GPCG(TaoLineSearch ls, PetscViewer viewer)
21a7e14dcfSSatish Balay {
22a7e14dcfSSatish Balay   PetscBool      isascii;
23f06e3bfaSBarry Smith 
24a7e14dcfSSatish Balay   PetscFunctionBegin;
25*9566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&isascii));
26a7e14dcfSSatish Balay   if (isascii) {
27*9566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer," GPCG Line search"));
28a7e14dcfSSatish Balay   }
29a7e14dcfSSatish Balay   PetscFunctionReturn(0);
30a7e14dcfSSatish Balay }
31a7e14dcfSSatish Balay 
32a7e14dcfSSatish Balay /*------------------------------------------------------------*/
33f06e3bfaSBarry Smith static PetscErrorCode TaoLineSearchApply_GPCG(TaoLineSearch ls, Vec x, PetscReal *f, Vec g, Vec s)
34a7e14dcfSSatish Balay {
358caf6e8cSBarry Smith   TaoLineSearch_GPCG *neP = (TaoLineSearch_GPCG *)ls->data;
36a7e14dcfSSatish Balay   PetscInt           i;
37a7e14dcfSSatish Balay   PetscBool          g_computed=PETSC_FALSE; /* to prevent extra gradient computation */
38a7e14dcfSSatish Balay   PetscReal          d1,finit,actred,prered,rho, gdx;
39a7e14dcfSSatish Balay 
40a7e14dcfSSatish Balay   PetscFunctionBegin;
41a7e14dcfSSatish Balay   /* ls->stepmin - lower bound for step */
42a7e14dcfSSatish Balay   /* ls->stepmax - upper bound for step */
43a7e14dcfSSatish Balay   /* ls->rtol     - relative tolerance for an acceptable step */
44a7e14dcfSSatish Balay   /* ls->ftol     - tolerance for sufficient decrease condition */
45a7e14dcfSSatish Balay   /* ls->gtol     - tolerance for curvature condition */
46a7e14dcfSSatish Balay   /* ls->nfeval   - number of function evaluations */
47a7e14dcfSSatish Balay   /* ls->nfeval   - number of function/gradient evaluations */
48a7e14dcfSSatish Balay   /* ls->max_funcs  - maximum number of function evaluations */
49a7e14dcfSSatish Balay 
50*9566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchMonitor(ls, 0, *f, 0.0));
512a0dac07SAlp Dener 
52a7e14dcfSSatish Balay   ls->reason = TAOLINESEARCH_CONTINUE_ITERATING;
53a7e14dcfSSatish Balay   ls->step = ls->initstep;
54a7e14dcfSSatish Balay   if (!neP->W2) {
55*9566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(x,&neP->W2));
56*9566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(x,&neP->W1));
57*9566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(x,&neP->Gold));
58a7e14dcfSSatish Balay     neP->x = x;
59*9566063dSJacob Faibussowitsch     PetscCall(PetscObjectReference((PetscObject)neP->x));
60f06e3bfaSBarry Smith   } else if (x != neP->x) {
61*9566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&neP->x));
62*9566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&neP->W1));
63*9566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&neP->W2));
64*9566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&neP->Gold));
65*9566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(x,&neP->W1));
66*9566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(x,&neP->W2));
67*9566063dSJacob Faibussowitsch     PetscCall(VecDuplicate(x,&neP->Gold));
68*9566063dSJacob Faibussowitsch     PetscCall(PetscObjectDereference((PetscObject)neP->x));
69a7e14dcfSSatish Balay     neP->x = x;
70*9566063dSJacob Faibussowitsch     PetscCall(PetscObjectReference((PetscObject)neP->x));
71a7e14dcfSSatish Balay   }
72a7e14dcfSSatish Balay 
73*9566063dSJacob Faibussowitsch   PetscCall(VecDot(g,s,&gdx));
74a7e14dcfSSatish Balay   if (gdx > 0) {
75*9566063dSJacob Faibussowitsch      PetscCall(PetscInfo(ls,"Line search error: search direction is not descent direction. dot(g,s) = %g\n",(double)gdx));
76a7e14dcfSSatish Balay     ls->reason = TAOLINESEARCH_FAILED_ASCENT;
77a7e14dcfSSatish Balay     PetscFunctionReturn(0);
78a7e14dcfSSatish Balay   }
79*9566063dSJacob Faibussowitsch   PetscCall(VecCopy(x,neP->W2));
80*9566063dSJacob Faibussowitsch   PetscCall(VecCopy(g,neP->Gold));
81a7e14dcfSSatish Balay   if (ls->bounded) {
82f06e3bfaSBarry Smith     /* Compute the smallest steplength that will make one nonbinding variable  equal the bound */
83*9566063dSJacob Faibussowitsch     PetscCall(VecStepBoundInfo(x,s,ls->lower,ls->upper,&rho,&actred,&d1));
84a7e14dcfSSatish Balay     ls->step = PetscMin(ls->step,d1);
85a7e14dcfSSatish Balay   }
86a7e14dcfSSatish Balay   rho=0; actred=0;
87a7e14dcfSSatish Balay 
88a7e14dcfSSatish Balay   if (ls->step < 0) {
89*9566063dSJacob Faibussowitsch     PetscCall(PetscInfo(ls,"Line search error: initial step parameter %g< 0\n",(double)ls->step));
90a7e14dcfSSatish Balay     ls->reason = TAOLINESEARCH_HALTED_OTHER;
91a7e14dcfSSatish Balay     PetscFunctionReturn(0);
92a7e14dcfSSatish Balay   }
93a7e14dcfSSatish Balay 
94a7e14dcfSSatish Balay   /* Initialization */
95a7e14dcfSSatish Balay   finit = *f;
96a7e14dcfSSatish Balay   for (i=0; i< ls->max_funcs; i++) {
97a7e14dcfSSatish Balay     /* Force the step to be within the bounds */
98a7e14dcfSSatish Balay     ls->step = PetscMax(ls->step,ls->stepmin);
99a7e14dcfSSatish Balay     ls->step = PetscMin(ls->step,ls->stepmax);
100a7e14dcfSSatish Balay 
101*9566063dSJacob Faibussowitsch     PetscCall(VecCopy(x,neP->W2));
102*9566063dSJacob Faibussowitsch     PetscCall(VecAXPY(neP->W2,ls->step,s));
103a7e14dcfSSatish Balay     if (ls->bounded) {
104a7e14dcfSSatish Balay       /* Make sure new vector is numerically within bounds */
105*9566063dSJacob Faibussowitsch       PetscCall(VecMedian(neP->W2,ls->lower,ls->upper,neP->W2));
106a7e14dcfSSatish Balay     }
107a7e14dcfSSatish Balay 
108a7e14dcfSSatish Balay     /* Gradient is not needed here.  Unless there is a separate
109a7e14dcfSSatish Balay        gradient routine, compute it here anyway to prevent recomputing at
110a7e14dcfSSatish Balay        the end of the line search */
111a7e14dcfSSatish Balay     if (ls->hasobjective) {
112*9566063dSJacob Faibussowitsch       PetscCall(TaoLineSearchComputeObjective(ls,neP->W2,f));
113a7e14dcfSSatish Balay       g_computed=PETSC_FALSE;
114a7e14dcfSSatish Balay     } else if (ls->usegts) {
115*9566063dSJacob Faibussowitsch       PetscCall(TaoLineSearchComputeObjectiveAndGTS(ls,neP->W2,f,&gdx));
116a7e14dcfSSatish Balay       g_computed=PETSC_FALSE;
117a7e14dcfSSatish Balay     } else {
118*9566063dSJacob Faibussowitsch       PetscCall(TaoLineSearchComputeObjectiveAndGradient(ls,neP->W2,f,g));
119a7e14dcfSSatish Balay       g_computed=PETSC_TRUE;
120a7e14dcfSSatish Balay     }
121a7e14dcfSSatish Balay 
122*9566063dSJacob Faibussowitsch     PetscCall(TaoLineSearchMonitor(ls, i+1, *f, ls->step));
1232a0dac07SAlp Dener 
124a7e14dcfSSatish Balay     if (0 == i) {
125a7e14dcfSSatish Balay         ls->f_fullstep = *f;
126a7e14dcfSSatish Balay     }
127a7e14dcfSSatish Balay 
128a7e14dcfSSatish Balay     actred = *f - finit;
129*9566063dSJacob Faibussowitsch     PetscCall(VecCopy(neP->W2,neP->W1));
130*9566063dSJacob Faibussowitsch     PetscCall(VecAXPY(neP->W1,-1.0,x));    /* W1 = W2 - X */
131*9566063dSJacob Faibussowitsch     PetscCall(VecDot(neP->W1,neP->Gold,&prered));
132a7e14dcfSSatish Balay 
1331118d4bcSLisandro Dalcin     if (PetscAbsReal(prered)<1.0e-100) prered=1.0e-12;
134a7e14dcfSSatish Balay     rho = actred/prered;
135a7e14dcfSSatish Balay 
136a7e14dcfSSatish Balay     /*
137a7e14dcfSSatish Balay        If sufficient progress has been obtained, accept the
138a7e14dcfSSatish Balay        point.  Otherwise, backtrack.
139a7e14dcfSSatish Balay     */
140a7e14dcfSSatish Balay 
141a7e14dcfSSatish Balay     if (actred > 0) {
142*9566063dSJacob Faibussowitsch       PetscCall(PetscInfo(ls,"Step resulted in ascent, rejecting.\n"));
143a7e14dcfSSatish Balay       ls->step = (ls->step)/2;
144a7e14dcfSSatish Balay     } else if (rho > ls->ftol) {
145a7e14dcfSSatish Balay       break;
146a7e14dcfSSatish Balay     } else{
147a7e14dcfSSatish Balay       ls->step = (ls->step)/2;
148a7e14dcfSSatish Balay     }
149a7e14dcfSSatish Balay 
150a7e14dcfSSatish Balay     /* Convergence testing */
151a7e14dcfSSatish Balay 
152a7e14dcfSSatish Balay     if (ls->step <= ls->stepmin || ls->step >= ls->stepmax) {
153a7e14dcfSSatish Balay       ls->reason = TAOLINESEARCH_HALTED_OTHER;
154*9566063dSJacob Faibussowitsch       PetscCall(PetscInfo(ls,"Rounding errors may prevent further progress.  May not be a step satisfying\n"));
155*9566063dSJacob Faibussowitsch       PetscCall(PetscInfo(ls,"sufficient decrease and curvature conditions. Tolerances may be too small.\n"));
156a7e14dcfSSatish Balay      break;
157a7e14dcfSSatish Balay     }
158a7e14dcfSSatish Balay     if (ls->step == ls->stepmax) {
159*9566063dSJacob Faibussowitsch       PetscCall(PetscInfo(ls,"Step is at the upper bound, stepmax (%g)\n",(double)ls->stepmax));
160a7e14dcfSSatish Balay       ls->reason = TAOLINESEARCH_HALTED_UPPERBOUND;
161a7e14dcfSSatish Balay       break;
162a7e14dcfSSatish Balay     }
163a7e14dcfSSatish Balay     if (ls->step == ls->stepmin) {
164*9566063dSJacob Faibussowitsch       PetscCall(PetscInfo(ls,"Step is at the lower bound, stepmin (%g)\n",(double)ls->stepmin));
165a7e14dcfSSatish Balay       ls->reason = TAOLINESEARCH_HALTED_LOWERBOUND;
166a7e14dcfSSatish Balay       break;
167a7e14dcfSSatish Balay     }
168a7e14dcfSSatish Balay     if ((ls->nfeval+ls->nfgeval) >= ls->max_funcs) {
169*9566063dSJacob Faibussowitsch       PetscCall(PetscInfo(ls,"Number of line search function evals (%D) > maximum (%D)\n",ls->nfeval+ls->nfgeval,ls->max_funcs));
170a7e14dcfSSatish Balay       ls->reason = TAOLINESEARCH_HALTED_MAXFCN;
171a7e14dcfSSatish Balay       break;
172a7e14dcfSSatish Balay     }
173a7e14dcfSSatish Balay     if ((neP->bracket) && (ls->stepmax - ls->stepmin <= ls->rtol*ls->stepmax)) {
174*9566063dSJacob Faibussowitsch       PetscCall(PetscInfo(ls,"Relative width of interval of uncertainty is at most rtol (%g)\n",(double)ls->rtol));
175a7e14dcfSSatish Balay       ls->reason = TAOLINESEARCH_HALTED_RTOL;
176a7e14dcfSSatish Balay       break;
177a7e14dcfSSatish Balay     }
178a7e14dcfSSatish Balay   }
179*9566063dSJacob Faibussowitsch   PetscCall(PetscInfo(ls,"%D function evals in line search, step = %g\n",ls->nfeval+ls->nfgeval,(double)ls->step));
180a7e14dcfSSatish Balay   /* set new solution vector and compute gradient if necessary */
181*9566063dSJacob Faibussowitsch   PetscCall(VecCopy(neP->W2, x));
182a31dc708SJason Sarich   if (ls->reason == TAOLINESEARCH_CONTINUE_ITERATING) {
183a31dc708SJason Sarich     ls->reason = TAOLINESEARCH_SUCCESS;
184a31dc708SJason Sarich   }
185a7e14dcfSSatish Balay   if (!g_computed) {
186*9566063dSJacob Faibussowitsch     PetscCall(TaoLineSearchComputeGradient(ls,x,g));
187a7e14dcfSSatish Balay   }
188a7e14dcfSSatish Balay   PetscFunctionReturn(0);
189a7e14dcfSSatish Balay }
190a7e14dcfSSatish Balay 
191a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
19290b6438dSAlp Dener 
19390b6438dSAlp Dener /*MC
19490b6438dSAlp Dener    TAOLINESEARCHGPCG - Special line-search method for the Gradient-Projected Conjugate Gradient (TAOGPCG) algorithm.
19590b6438dSAlp Dener    Should not be used with any other algorithm.
19690b6438dSAlp Dener 
19790b6438dSAlp Dener    Level: developer
19890b6438dSAlp Dener 
19990b6438dSAlp Dener .keywords: Tao, linesearch
20090b6438dSAlp Dener M*/
201728e0ed0SBarry Smith PETSC_EXTERN PetscErrorCode TaoLineSearchCreate_GPCG(TaoLineSearch ls)
202a7e14dcfSSatish Balay {
2038caf6e8cSBarry Smith   TaoLineSearch_GPCG *neP;
204a7e14dcfSSatish Balay 
205a7e14dcfSSatish Balay   PetscFunctionBegin;
206a7e14dcfSSatish Balay   ls->ftol                = 0.05;
207a7e14dcfSSatish Balay   ls->rtol                = 0.0;
208a7e14dcfSSatish Balay   ls->gtol                = 0.0;
209a7e14dcfSSatish Balay   ls->stepmin             = 1.0e-20;
210a7e14dcfSSatish Balay   ls->stepmax             = 1.0e+20;
211a7e14dcfSSatish Balay   ls->nfeval              = 0;
212a7e14dcfSSatish Balay   ls->max_funcs           = 30;
213a7e14dcfSSatish Balay   ls->step                = 1.0;
214a7e14dcfSSatish Balay 
215*9566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(ls,&neP));
216a7e14dcfSSatish Balay   neP->bracket            = 0;
217a7e14dcfSSatish Balay   neP->infoc              = 1;
218a7e14dcfSSatish Balay   ls->data = (void*)neP;
219a7e14dcfSSatish Balay 
22083c8fe1dSLisandro Dalcin   ls->ops->setup = NULL;
22183c8fe1dSLisandro Dalcin   ls->ops->reset = NULL;
222a7e14dcfSSatish Balay   ls->ops->apply = TaoLineSearchApply_GPCG;
223a7e14dcfSSatish Balay   ls->ops->view  = TaoLineSearchView_GPCG;
224a7e14dcfSSatish Balay   ls->ops->destroy = TaoLineSearchDestroy_GPCG;
22583c8fe1dSLisandro Dalcin   ls->ops->setfromoptions = NULL;
2264664e3ffSStefano Zampini   ls->ops->monitor = NULL;
227a7e14dcfSSatish Balay   PetscFunctionReturn(0);
228a7e14dcfSSatish Balay }
229