xref: /petsc/src/tao/bound/impls/bncg/bncg.c (revision c4b75bccfe5bcbbfb1eb60f6996a18ddf23ce09b)
1ac9112b8SAlp Dener #include <petsctaolinesearch.h>
2ac9112b8SAlp Dener #include <../src/tao/bound/impls/bncg/bncg.h>
3ac9112b8SAlp Dener 
4ac9112b8SAlp Dener #define CG_FletcherReeves       0
5ac9112b8SAlp Dener #define CG_PolakRibiere         1
6ac9112b8SAlp Dener #define CG_PolakRibierePlus     2
7ac9112b8SAlp Dener #define CG_HestenesStiefel      3
8ac9112b8SAlp Dener #define CG_DaiYuan              4
9ac9112b8SAlp Dener #define CG_Types                5
10ac9112b8SAlp Dener 
11ac9112b8SAlp Dener static const char *CG_Table[64] = {"fr", "pr", "prp", "hs", "dy"};
12ac9112b8SAlp Dener 
1361be54a6SAlp Dener #define CG_AS_NONE       0
1461be54a6SAlp Dener #define CG_AS_BERTSEKAS  1
1561be54a6SAlp Dener #define CG_AS_SIZE       2
16ac9112b8SAlp Dener 
1761be54a6SAlp Dener static const char *CG_AS_TYPE[64] = {"none", "bertsekas"};
18ac9112b8SAlp Dener 
19c0f10754SAlp Dener PetscErrorCode TaoBNCGSetRecycleFlag(Tao tao, PetscBool recycle)
20c0f10754SAlp Dener {
21c0f10754SAlp Dener   TAO_BNCG                     *cg = (TAO_BNCG*)tao->data;
22c0f10754SAlp Dener 
23c0f10754SAlp Dener   PetscFunctionBegin;
24c0f10754SAlp Dener   cg->recycle = recycle;
25c0f10754SAlp Dener   PetscFunctionReturn(0);
26c0f10754SAlp Dener }
27c0f10754SAlp Dener 
2861be54a6SAlp Dener PetscErrorCode TaoBNCGEstimateActiveSet(Tao tao, PetscInt asType)
2961be54a6SAlp Dener {
3061be54a6SAlp Dener   PetscErrorCode               ierr;
3161be54a6SAlp Dener   TAO_BNCG                     *cg = (TAO_BNCG *)tao->data;
3261be54a6SAlp Dener 
3361be54a6SAlp Dener   PetscFunctionBegin;
3461be54a6SAlp Dener   ierr = ISDestroy(&cg->inactive_old);CHKERRQ(ierr);
3561be54a6SAlp Dener   if (cg->inactive_idx) {
3661be54a6SAlp Dener     ierr = ISDuplicate(cg->inactive_idx, &cg->inactive_old);CHKERRQ(ierr);
3761be54a6SAlp Dener     ierr = ISCopy(cg->inactive_idx, cg->inactive_old);CHKERRQ(ierr);
3861be54a6SAlp Dener   }
3961be54a6SAlp Dener   switch (asType) {
4061be54a6SAlp Dener   case CG_AS_NONE:
4161be54a6SAlp Dener     ierr = ISDestroy(&cg->inactive_idx);CHKERRQ(ierr);
4261be54a6SAlp Dener     ierr = VecWhichInactive(tao->XL, tao->solution, cg->unprojected_gradient, tao->XU, PETSC_TRUE, &cg->inactive_idx);CHKERRQ(ierr);
4361be54a6SAlp Dener     ierr = ISDestroy(&cg->active_idx);CHKERRQ(ierr);
4461be54a6SAlp Dener     ierr = ISComplementVec(cg->inactive_idx, tao->solution, &cg->active_idx);CHKERRQ(ierr);
4561be54a6SAlp Dener     break;
4661be54a6SAlp Dener 
4761be54a6SAlp Dener   case CG_AS_BERTSEKAS:
4861be54a6SAlp Dener     /* Use gradient descent to estimate the active set */
4961be54a6SAlp Dener     ierr = VecCopy(cg->unprojected_gradient, cg->W);CHKERRQ(ierr);
5061be54a6SAlp Dener     ierr = VecScale(cg->W, -1.0);CHKERRQ(ierr);
51*c4b75bccSAlp Dener     ierr = TaoEstimateActiveBounds(tao->solution, tao->XL, tao->XU, cg->unprojected_gradient, cg->W, cg->work, cg->as_step, &cg->as_tol, &cg->active_lower, &cg->active_upper, &cg->active_fixed, &cg->active_idx, &cg->inactive_idx);CHKERRQ(ierr);
52*c4b75bccSAlp Dener     break;
5361be54a6SAlp Dener 
5461be54a6SAlp Dener   default:
5561be54a6SAlp Dener     break;
5661be54a6SAlp Dener   }
5761be54a6SAlp Dener   PetscFunctionReturn(0);
5861be54a6SAlp Dener }
5961be54a6SAlp Dener 
6061be54a6SAlp Dener PetscErrorCode TaoBNCGBoundStep(Tao tao, Vec step)
6161be54a6SAlp Dener {
6261be54a6SAlp Dener   PetscErrorCode               ierr;
6361be54a6SAlp Dener   TAO_BNCG                     *cg = (TAO_BNCG *)tao->data;
6461be54a6SAlp Dener 
6561be54a6SAlp Dener   PetscFunctionBegin;
6661be54a6SAlp Dener   switch (cg->as_type) {
6761be54a6SAlp Dener   case CG_AS_NONE:
68*c4b75bccSAlp Dener     if (cg->active_idx) {
69*c4b75bccSAlp Dener       ierr = VecISSet(step, cg->active_idx, 0.0);CHKERRQ(ierr);
70*c4b75bccSAlp Dener     }
7161be54a6SAlp Dener     break;
7261be54a6SAlp Dener 
7361be54a6SAlp Dener   case CG_AS_BERTSEKAS:
74*c4b75bccSAlp Dener     ierr = TaoBoundStep(tao->solution, tao->XL, tao->XU, cg->active_lower, cg->active_upper, cg->active_fixed, 1.0, step);CHKERRQ(ierr);
7561be54a6SAlp Dener     break;
7661be54a6SAlp Dener 
7761be54a6SAlp Dener   default:
7861be54a6SAlp Dener     break;
7961be54a6SAlp Dener   }
8061be54a6SAlp Dener   PetscFunctionReturn(0);
8161be54a6SAlp Dener }
8261be54a6SAlp Dener 
83ac9112b8SAlp Dener static PetscErrorCode TaoSolve_BNCG(Tao tao)
84ac9112b8SAlp Dener {
85ac9112b8SAlp Dener   TAO_BNCG                     *cg = (TAO_BNCG*)tao->data;
86ac9112b8SAlp Dener   PetscErrorCode               ierr;
87ac9112b8SAlp Dener   TaoLineSearchConvergedReason ls_status = TAOLINESEARCH_CONTINUE_ITERATING;
88*c4b75bccSAlp Dener   PetscReal                    step=1.0,gnorm,gnorm2,gd,ginner,beta,dnorm,resnorm;
89ac9112b8SAlp Dener   PetscReal                    gd_old,gnorm2_old,f_old;
90ac9112b8SAlp Dener   PetscBool                    cg_restart;
91*c4b75bccSAlp Dener   PetscInt                     nDiff;
92ac9112b8SAlp Dener 
93ac9112b8SAlp Dener   PetscFunctionBegin;
94ac9112b8SAlp Dener   /*   Project the current point onto the feasible set */
95ac9112b8SAlp Dener   ierr = TaoComputeVariableBounds(tao);CHKERRQ(ierr);
96ac9112b8SAlp Dener   ierr = TaoLineSearchSetVariableBounds(tao->linesearch,tao->XL,tao->XU);CHKERRQ(ierr);
97ac9112b8SAlp Dener 
98ac9112b8SAlp Dener   /* Project the initial point onto the feasible region */
99*c4b75bccSAlp Dener   ierr = TaoBoundSolution(tao->XL,tao->XU,tao->solution, &nDiff);CHKERRQ(ierr);
100ac9112b8SAlp Dener 
101c0f10754SAlp Dener   if (!cg->recycle) {
10211eb65dcSAlp Dener     /*  Solver is not being recycled so just compute the objective function and criteria */
103c0f10754SAlp Dener     ierr = TaoComputeObjectiveAndGradient(tao, tao->solution, &cg->f, cg->unprojected_gradient);CHKERRQ(ierr);
10411eb65dcSAlp Dener   } else {
10511eb65dcSAlp Dener     /* We are recycling, so we have to compute ||g_old||^2 for use in the CG step calculation */
10611eb65dcSAlp Dener     ierr = VecDot(cg->G_old, cg->G_old, &gnorm2_old);CHKERRQ(ierr);
107c0f10754SAlp Dener   }
108ac9112b8SAlp Dener   ierr = VecNorm(cg->unprojected_gradient,NORM_2,&gnorm);CHKERRQ(ierr);
109c0f10754SAlp Dener   if (PetscIsInfOrNanReal(cg->f) || PetscIsInfOrNanReal(gnorm)) SETERRQ(PETSC_COMM_SELF,1, "User provided compute function generated Inf or NaN");
110ac9112b8SAlp Dener 
11161be54a6SAlp Dener   /* Estimate the active set and compute the projected gradient */
11261be54a6SAlp Dener   ierr = VecCopy(cg->unprojected_gradient, cg->W);CHKERRQ(ierr);
11361be54a6SAlp Dener   ierr = VecScale(cg->W, -1.0);CHKERRQ(ierr);
11461be54a6SAlp Dener   ierr = TaoBNCGEstimateActiveSet(tao, cg->as_type);CHKERRQ(ierr);
11561be54a6SAlp Dener 
116ac9112b8SAlp Dener   /* Project the gradient and calculate the norm */
11761be54a6SAlp Dener   ierr = VecCopy(cg->unprojected_gradient, tao->gradient);CHKERRQ(ierr);
11861be54a6SAlp Dener   ierr = VecISSet(tao->gradient, cg->active_idx, 0.0);CHKERRQ(ierr);
119ac9112b8SAlp Dener   ierr = VecNorm(tao->gradient,NORM_2,&gnorm);CHKERRQ(ierr);
120ac9112b8SAlp Dener   gnorm2 = gnorm*gnorm;
121ac9112b8SAlp Dener 
122ac9112b8SAlp Dener   /* Convergence check */
123e031d6f5SAlp Dener   tao->niter = 0;
124ac9112b8SAlp Dener   tao->reason = TAO_CONTINUE_ITERATING;
12561be54a6SAlp Dener   ierr = VecFischer(tao->solution, cg->unprojected_gradient, tao->XL, tao->XU, cg->W);CHKERRQ(ierr);
12661be54a6SAlp Dener   ierr = VecNorm(cg->W, NORM_2, &resnorm);CHKERRQ(ierr);
12761be54a6SAlp Dener   ierr = TaoLogConvergenceHistory(tao, cg->f, resnorm, 0.0, tao->ksp_its);CHKERRQ(ierr);
12861be54a6SAlp Dener   ierr = TaoMonitor(tao, tao->niter, cg->f, resnorm, 0.0, step);CHKERRQ(ierr);
129ac9112b8SAlp Dener   ierr = (*tao->ops->convergencetest)(tao,tao->cnvP);CHKERRQ(ierr);
130ac9112b8SAlp Dener   if (tao->reason != TAO_CONTINUE_ITERATING) PetscFunctionReturn(0);
131ac9112b8SAlp Dener 
132ac9112b8SAlp Dener   /* Start optimization iterations */
133e031d6f5SAlp Dener   cg->ls_fails = cg->broken_ortho = cg->descent_error = 0;
134ac9112b8SAlp Dener   cg->resets = -1;
135ac9112b8SAlp Dener   while (tao->reason == TAO_CONTINUE_ITERATING) {
136ac9112b8SAlp Dener     /* Check restart conditions for using steepest descent */
137*c4b75bccSAlp Dener     ++tao->niter;
138ac9112b8SAlp Dener     cg_restart = PETSC_FALSE;
139ac9112b8SAlp Dener     ierr = VecDot(tao->gradient, cg->G_old, &ginner);CHKERRQ(ierr);
140937a31a1SAlp Dener     ierr = VecNorm(tao->stepdirection, NORM_2, &dnorm);CHKERRQ(ierr);
141*c4b75bccSAlp Dener     if (tao->niter == 1 && !cg->recycle && dnorm != 0.0) {
142937a31a1SAlp Dener       /* 1) First iteration, with recycle disabled, and a non-zero previous step */
143ac9112b8SAlp Dener       cg_restart = PETSC_TRUE;
144ac9112b8SAlp Dener     } else if (PetscAbsScalar(ginner) >= cg->eta * gnorm2) {
145ac9112b8SAlp Dener       /* 2) Gradients are far from orthogonal */
146ac9112b8SAlp Dener       cg_restart = PETSC_TRUE;
147*c4b75bccSAlp Dener       ++cg->broken_ortho;
148ac9112b8SAlp Dener     }
149ac9112b8SAlp Dener 
150ac9112b8SAlp Dener     /* Compute CG step */
151ac9112b8SAlp Dener     if (cg_restart) {
152ac9112b8SAlp Dener       beta = 0.0;
153*c4b75bccSAlp Dener       ++cg->resets;
154ac9112b8SAlp Dener     } else {
155ac9112b8SAlp Dener       switch (cg->cg_type) {
156ac9112b8SAlp Dener       case CG_FletcherReeves:
157ac9112b8SAlp Dener         beta = gnorm2 / gnorm2_old;
158ac9112b8SAlp Dener         break;
159ac9112b8SAlp Dener 
160ac9112b8SAlp Dener       case CG_PolakRibiere:
161ac9112b8SAlp Dener         beta = (gnorm2 - ginner) / gnorm2_old;
162ac9112b8SAlp Dener         break;
163ac9112b8SAlp Dener 
164ac9112b8SAlp Dener       case CG_PolakRibierePlus:
165ac9112b8SAlp Dener         beta = PetscMax((gnorm2-ginner)/gnorm2_old, 0.0);
166ac9112b8SAlp Dener         break;
167ac9112b8SAlp Dener 
168ac9112b8SAlp Dener       case CG_HestenesStiefel:
169ac9112b8SAlp Dener         ierr = VecDot(tao->gradient, tao->stepdirection, &gd);CHKERRQ(ierr);
170ac9112b8SAlp Dener         ierr = VecDot(cg->G_old, tao->stepdirection, &gd_old);CHKERRQ(ierr);
171ac9112b8SAlp Dener         beta = (gnorm2 - ginner) / (gd - gd_old);
172ac9112b8SAlp Dener         break;
173ac9112b8SAlp Dener 
174ac9112b8SAlp Dener       case CG_DaiYuan:
175ac9112b8SAlp Dener         ierr = VecDot(tao->gradient, tao->stepdirection, &gd);CHKERRQ(ierr);
176ac9112b8SAlp Dener         ierr = VecDot(cg->G_old, tao->stepdirection, &gd_old);CHKERRQ(ierr);
177ac9112b8SAlp Dener         beta = gnorm2 / (gd - gd_old);
178ac9112b8SAlp Dener         break;
179ac9112b8SAlp Dener 
180ac9112b8SAlp Dener       default:
181ac9112b8SAlp Dener         beta = 0.0;
182ac9112b8SAlp Dener         break;
183ac9112b8SAlp Dener       }
184ac9112b8SAlp Dener     }
185ac9112b8SAlp Dener 
186ac9112b8SAlp Dener     /*  Compute the direction d=-g + beta*d */
187ac9112b8SAlp Dener     ierr = VecAXPBY(tao->stepdirection, -1.0, beta, tao->gradient);CHKERRQ(ierr);
18861be54a6SAlp Dener     ierr = TaoBNCGBoundStep(tao, tao->stepdirection);CHKERRQ(ierr);
18961be54a6SAlp Dener     if (cg->inactive_old) {
19011eb65dcSAlp Dener       /* Compute which new indexes that were active before became inactive this iteration */
19161be54a6SAlp Dener       ierr = ISDestroy(&cg->new_inactives);CHKERRQ(ierr);
19261be54a6SAlp Dener       ierr = ISDifference(cg->inactive_old, cg->inactive_idx, &cg->new_inactives);
19311eb65dcSAlp Dener       /* Selectively reset the CG step those freshly inactive variables to be the gradient descent direction */
19461be54a6SAlp Dener       ierr = VecGetSubVector(tao->stepdirection, cg->new_inactives, &cg->inactive_step);CHKERRQ(ierr);
19561be54a6SAlp Dener       ierr = VecGetSubVector(tao->gradient, cg->new_inactives, &cg->inactive_grad);CHKERRQ(ierr);
19661be54a6SAlp Dener       ierr = VecCopy(cg->inactive_grad, cg->inactive_step);CHKERRQ(ierr);
19761be54a6SAlp Dener       ierr = VecScale(cg->inactive_step, -1.0);CHKERRQ(ierr);
19861be54a6SAlp Dener       ierr = VecRestoreSubVector(tao->stepdirection, cg->new_inactives, &cg->inactive_step);CHKERRQ(ierr);
19961be54a6SAlp Dener       ierr = VecRestoreSubVector(tao->gradient, cg->new_inactives, &cg->inactive_grad);CHKERRQ(ierr);
20061be54a6SAlp Dener     }
201ac9112b8SAlp Dener 
202ac9112b8SAlp Dener     /* Verify that this is a descent direction */
203ac9112b8SAlp Dener     ierr = VecDot(tao->gradient, tao->stepdirection, &gd);CHKERRQ(ierr);
204ac9112b8SAlp Dener     ierr = VecNorm(tao->stepdirection, NORM_2, &dnorm);
205ac9112b8SAlp Dener     if (gd > -cg->rho*PetscPowReal(dnorm, cg->pow)) {
206ac9112b8SAlp Dener       /* Not a descent direction, so we reset back to projected gradient descent */
207ac9112b8SAlp Dener       ierr = VecAXPBY(tao->stepdirection, -1.0, 0.0, tao->gradient);CHKERRQ(ierr);
208*c4b75bccSAlp Dener       ++cg->resets;
209*c4b75bccSAlp Dener       ++cg->descent_error;
210ac9112b8SAlp Dener     }
211ac9112b8SAlp Dener 
212ac9112b8SAlp Dener     /* Store solution and gradient info before it changes */
213ac9112b8SAlp Dener     ierr = VecCopy(tao->solution, cg->X_old);CHKERRQ(ierr);
214ac9112b8SAlp Dener     ierr = VecCopy(tao->gradient, cg->G_old);CHKERRQ(ierr);
215ac9112b8SAlp Dener     ierr = VecCopy(cg->unprojected_gradient, cg->unprojected_gradient_old);CHKERRQ(ierr);
216ac9112b8SAlp Dener     gnorm2_old = gnorm2;
217c0f10754SAlp Dener     f_old = cg->f;
218ac9112b8SAlp Dener 
219ac9112b8SAlp Dener     /* Perform bounded line search */
220*c4b75bccSAlp Dener     step = 1.0;
221c0f10754SAlp Dener     ierr = TaoLineSearchApply(tao->linesearch, tao->solution, &cg->f, cg->unprojected_gradient, tao->stepdirection, &step, &ls_status);CHKERRQ(ierr);
222ac9112b8SAlp Dener     ierr = TaoAddLineSearchCounts(tao);CHKERRQ(ierr);
223ac9112b8SAlp Dener 
224ac9112b8SAlp Dener     /*  Check linesearch failure */
225ac9112b8SAlp Dener     if (ls_status != TAOLINESEARCH_SUCCESS && ls_status != TAOLINESEARCH_SUCCESS_USER) {
226*c4b75bccSAlp Dener       ++cg->ls_fails;
227ac9112b8SAlp Dener       /* Restore previous point */
228ac9112b8SAlp Dener       gnorm2 = gnorm2_old;
229c0f10754SAlp Dener       cg->f = f_old;
230ac9112b8SAlp Dener       ierr = VecCopy(cg->X_old, tao->solution);CHKERRQ(ierr);
231ac9112b8SAlp Dener       ierr = VecCopy(cg->G_old, tao->gradient);CHKERRQ(ierr);
232ac9112b8SAlp Dener       ierr = VecCopy(cg->unprojected_gradient_old, cg->unprojected_gradient);CHKERRQ(ierr);
233ac9112b8SAlp Dener 
234*c4b75bccSAlp Dener       /* Fall back on the gradient descent step */
23561be54a6SAlp Dener       ierr = VecCopy(tao->gradient, tao->stepdirection);CHKERRQ(ierr);
236ac9112b8SAlp Dener       ierr = VecScale(tao->stepdirection, -1.0);CHKERRQ(ierr);
237*c4b75bccSAlp Dener       ierr = TaoBNCGBoundStep(tao, tao->stepdirection);CHKERRQ(ierr);
238ac9112b8SAlp Dener 
239*c4b75bccSAlp Dener       step = 1.0;
240c0f10754SAlp Dener       ierr = TaoLineSearchApply(tao->linesearch, tao->solution, &cg->f, cg->unprojected_gradient, tao->stepdirection, &step, &ls_status);CHKERRQ(ierr);
241ac9112b8SAlp Dener       ierr = TaoAddLineSearchCounts(tao);CHKERRQ(ierr);
242ac9112b8SAlp Dener 
243ac9112b8SAlp Dener       if (ls_status != TAOLINESEARCH_SUCCESS && ls_status != TAOLINESEARCH_SUCCESS_USER){
244*c4b75bccSAlp Dener         ++cg->ls_fails;
245ac9112b8SAlp Dener         /* Restore previous point */
246ac9112b8SAlp Dener         gnorm2 = gnorm2_old;
247c0f10754SAlp Dener         cg->f = f_old;
248ac9112b8SAlp Dener         ierr = VecCopy(cg->X_old, tao->solution);CHKERRQ(ierr);
249ac9112b8SAlp Dener         ierr = VecCopy(cg->G_old, tao->gradient);CHKERRQ(ierr);
250ac9112b8SAlp Dener         ierr = VecCopy(cg->unprojected_gradient_old, cg->unprojected_gradient);CHKERRQ(ierr);
251ac9112b8SAlp Dener 
252ac9112b8SAlp Dener         /* Nothing left to do but fail out of the optimization */
253ac9112b8SAlp Dener         step = 0.0;
254ac9112b8SAlp Dener         tao->reason = TAO_DIVERGED_LS_FAILURE;
255ac9112b8SAlp Dener       }
256ac9112b8SAlp Dener     }
257ac9112b8SAlp Dener 
258*c4b75bccSAlp Dener     if (tao->reason != TAO_DIVERGED_LS_FAILURE) {
25961be54a6SAlp Dener       /* Estimate the active set at the new solution */
26061be54a6SAlp Dener       ierr = TaoBNCGEstimateActiveSet(tao, cg->as_type);CHKERRQ(ierr);
26161be54a6SAlp Dener 
262ac9112b8SAlp Dener       /* Compute the projected gradient and its norm */
26361be54a6SAlp Dener       ierr = VecCopy(cg->unprojected_gradient, tao->gradient);CHKERRQ(ierr);
26461be54a6SAlp Dener       ierr = VecISSet(tao->gradient, cg->active_idx, 0.0);CHKERRQ(ierr);
265ac9112b8SAlp Dener       ierr = VecNorm(tao->gradient,NORM_2,&gnorm);CHKERRQ(ierr);
266ac9112b8SAlp Dener       gnorm2 = gnorm*gnorm;
267*c4b75bccSAlp Dener     }
268ac9112b8SAlp Dener 
269ac9112b8SAlp Dener     /* Convergence test */
27061be54a6SAlp Dener     ierr = VecFischer(tao->solution, cg->unprojected_gradient, tao->XL, tao->XU, cg->W);CHKERRQ(ierr);
27161be54a6SAlp Dener     ierr = VecNorm(cg->W, NORM_2, &resnorm);CHKERRQ(ierr);
27261be54a6SAlp Dener     ierr = TaoLogConvergenceHistory(tao, cg->f, resnorm, 0.0, tao->ksp_its);CHKERRQ(ierr);
27361be54a6SAlp Dener     ierr = TaoMonitor(tao, tao->niter, cg->f, resnorm, 0.0, step);CHKERRQ(ierr);
274ac9112b8SAlp Dener     ierr = (*tao->ops->convergencetest)(tao,tao->cnvP);CHKERRQ(ierr);
275ac9112b8SAlp Dener   }
276ac9112b8SAlp Dener   PetscFunctionReturn(0);
277ac9112b8SAlp Dener }
278ac9112b8SAlp Dener 
279ac9112b8SAlp Dener static PetscErrorCode TaoSetUp_BNCG(Tao tao)
280ac9112b8SAlp Dener {
281ac9112b8SAlp Dener   TAO_BNCG         *cg = (TAO_BNCG*)tao->data;
282ac9112b8SAlp Dener   PetscErrorCode ierr;
283ac9112b8SAlp Dener 
284ac9112b8SAlp Dener   PetscFunctionBegin;
285*c4b75bccSAlp Dener   if (!tao->gradient) {
286*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->solution,&tao->gradient);CHKERRQ(ierr);
287*c4b75bccSAlp Dener   }
288*c4b75bccSAlp Dener   if (!tao->stepdirection) {
289*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->solution,&tao->stepdirection);CHKERRQ(ierr);
290*c4b75bccSAlp Dener   }
291*c4b75bccSAlp Dener   if (!cg->W) {
292*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->solution,&cg->W);CHKERRQ(ierr);
293*c4b75bccSAlp Dener   }
294*c4b75bccSAlp Dener   if (!cg->work) {
295*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->solution,&cg->work);CHKERRQ(ierr);
296*c4b75bccSAlp Dener   }
297*c4b75bccSAlp Dener   if (!cg->X_old) {
298*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->solution,&cg->X_old);CHKERRQ(ierr);
299*c4b75bccSAlp Dener   }
300*c4b75bccSAlp Dener   if (!cg->G_old) {
301*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->gradient,&cg->G_old);CHKERRQ(ierr);
302*c4b75bccSAlp Dener   }
303*c4b75bccSAlp Dener   if (!cg->unprojected_gradient) {
304*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->gradient,&cg->unprojected_gradient);CHKERRQ(ierr);
305*c4b75bccSAlp Dener   }
306*c4b75bccSAlp Dener   if (!cg->unprojected_gradient_old) {
307*c4b75bccSAlp Dener     ierr = VecDuplicate(tao->gradient,&cg->unprojected_gradient_old);CHKERRQ(ierr);
308*c4b75bccSAlp Dener   }
309ac9112b8SAlp Dener   PetscFunctionReturn(0);
310ac9112b8SAlp Dener }
311ac9112b8SAlp Dener 
312ac9112b8SAlp Dener static PetscErrorCode TaoDestroy_BNCG(Tao tao)
313ac9112b8SAlp Dener {
314ac9112b8SAlp Dener   TAO_BNCG       *cg = (TAO_BNCG*) tao->data;
315ac9112b8SAlp Dener   PetscErrorCode ierr;
316ac9112b8SAlp Dener 
317ac9112b8SAlp Dener   PetscFunctionBegin;
318ac9112b8SAlp Dener   if (tao->setupcalled) {
31961be54a6SAlp Dener     ierr = VecDestroy(&cg->W);CHKERRQ(ierr);
320*c4b75bccSAlp Dener     ierr = VecDestroy(&cg->work);CHKERRQ(ierr);
321ac9112b8SAlp Dener     ierr = VecDestroy(&cg->X_old);CHKERRQ(ierr);
322ac9112b8SAlp Dener     ierr = VecDestroy(&cg->G_old);CHKERRQ(ierr);
323ac9112b8SAlp Dener     ierr = VecDestroy(&cg->unprojected_gradient);CHKERRQ(ierr);
324ac9112b8SAlp Dener     ierr = VecDestroy(&cg->unprojected_gradient_old);CHKERRQ(ierr);
325ac9112b8SAlp Dener   }
326ac9112b8SAlp Dener   ierr = PetscFree(tao->data);CHKERRQ(ierr);
327ac9112b8SAlp Dener   PetscFunctionReturn(0);
328ac9112b8SAlp Dener }
329ac9112b8SAlp Dener 
330ac9112b8SAlp Dener static PetscErrorCode TaoSetFromOptions_BNCG(PetscOptionItems *PetscOptionsObject,Tao tao)
331ac9112b8SAlp Dener  {
332ac9112b8SAlp Dener     TAO_BNCG       *cg = (TAO_BNCG*)tao->data;
333ac9112b8SAlp Dener     PetscErrorCode ierr;
334ac9112b8SAlp Dener 
335ac9112b8SAlp Dener     PetscFunctionBegin;
336ac9112b8SAlp Dener     ierr = TaoLineSearchSetFromOptions(tao->linesearch);CHKERRQ(ierr);
337ac9112b8SAlp Dener     ierr = PetscOptionsHead(PetscOptionsObject,"Nonlinear Conjugate Gradient method for unconstrained optimization");CHKERRQ(ierr);
33861be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_eta","restart tolerance", "", cg->eta,&cg->eta,NULL);CHKERRQ(ierr);
33961be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_rho","descent direction tolerance", "", cg->rho,&cg->rho,NULL);CHKERRQ(ierr);
34061be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_pow","descent direction exponent", "", cg->pow,&cg->pow,NULL);CHKERRQ(ierr);
34161be54a6SAlp Dener     ierr = PetscOptionsEList("-tao_bncg_type","cg formula", "", CG_Table, CG_Types, CG_Table[cg->cg_type], &cg->cg_type,NULL);CHKERRQ(ierr);
34261be54a6SAlp Dener     ierr = PetscOptionsEList("-tao_bncg_as_type","active set estimation method", "", CG_AS_TYPE, CG_AS_SIZE, CG_AS_TYPE[cg->cg_type], &cg->cg_type,NULL);CHKERRQ(ierr);
34361be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_delta_min","minimum delta value", "", cg->delta_min,&cg->delta_min,NULL);CHKERRQ(ierr);
34461be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_delta_max","maximum delta value", "", cg->delta_max,&cg->delta_max,NULL);CHKERRQ(ierr);
34561be54a6SAlp Dener     ierr = PetscOptionsBool("-tao_bncg_recycle","enable recycling the existing solution and gradient at the start of a new solve","",cg->recycle,&cg->recycle,NULL);CHKERRQ(ierr);
34661be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_as_tol", "initial tolerance used when estimating actively bounded variables","",cg->as_tol,&cg->as_tol,NULL);CHKERRQ(ierr);
34761be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_as_step", "step length used when estimating actively bounded variables","",cg->as_step,&cg->as_step,NULL);CHKERRQ(ierr);
348ac9112b8SAlp Dener    ierr = PetscOptionsTail();CHKERRQ(ierr);
349ac9112b8SAlp Dener    PetscFunctionReturn(0);
350ac9112b8SAlp Dener }
351ac9112b8SAlp Dener 
352ac9112b8SAlp Dener static PetscErrorCode TaoView_BNCG(Tao tao, PetscViewer viewer)
353ac9112b8SAlp Dener {
354ac9112b8SAlp Dener   PetscBool      isascii;
355ac9112b8SAlp Dener   TAO_BNCG       *cg = (TAO_BNCG*)tao->data;
356ac9112b8SAlp Dener   PetscErrorCode ierr;
357ac9112b8SAlp Dener 
358ac9112b8SAlp Dener   PetscFunctionBegin;
359ac9112b8SAlp Dener   ierr = PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii);CHKERRQ(ierr);
360ac9112b8SAlp Dener   if (isascii) {
361ac9112b8SAlp Dener     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
362ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "CG Type: %s\n", CG_Table[cg->cg_type]);CHKERRQ(ierr);
363ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "Resets: %i\n", cg->resets);CHKERRQ(ierr);
364ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "  Broken ortho: %i\n", cg->broken_ortho);CHKERRQ(ierr);
365ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "  Not a descent dir.: %i\n", cg->descent_error);CHKERRQ(ierr);
366ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "Line search fails: %i\n", cg->ls_fails);CHKERRQ(ierr);
367ac9112b8SAlp Dener     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
368ac9112b8SAlp Dener   }
369ac9112b8SAlp Dener   PetscFunctionReturn(0);
370ac9112b8SAlp Dener }
371ac9112b8SAlp Dener 
372ac9112b8SAlp Dener /*MC
373ac9112b8SAlp Dener      TAOBNCG -   Bound-constrained Nonlinear Conjugate Gradient method.
374ac9112b8SAlp Dener 
375ac9112b8SAlp Dener    Options Database Keys:
376*c4b75bccSAlp Dener +      -tao_bncg_recycle - enable recycling the latest calculated gradient vector in subsequent TaoSolve() calls
377*c4b75bccSAlp Dener .      -tao_bncg_eta <r> - restart tolerance
37861be54a6SAlp Dener .      -tao_bncg_type <taocg_type> - cg formula
379*c4b75bccSAlp Dener .      -tao_bncg_as_type <none,bertsekas> - active set estimation method
380*c4b75bccSAlp Dener .      -tao_bncg_as_tol <r> - tolerance used in Bertsekas active-set estimation
381*c4b75bccSAlp Dener .      -tao_bncg_as_step <r> - trial step length used in Bertsekas active-set estimation
38261be54a6SAlp Dener .      -tao_bncg_delta_min <r> - minimum delta value
38361be54a6SAlp Dener -      -tao_bncg_delta_max <r> - maximum delta value
384ac9112b8SAlp Dener 
385ac9112b8SAlp Dener   Notes:
386ac9112b8SAlp Dener      CG formulas are:
387ac9112b8SAlp Dener          "fr" - Fletcher-Reeves
388ac9112b8SAlp Dener          "pr" - Polak-Ribiere
389ac9112b8SAlp Dener          "prp" - Polak-Ribiere-Plus
390ac9112b8SAlp Dener          "hs" - Hestenes-Steifel
391ac9112b8SAlp Dener          "dy" - Dai-Yuan
392ac9112b8SAlp Dener   Level: beginner
393ac9112b8SAlp Dener M*/
394ac9112b8SAlp Dener 
395ac9112b8SAlp Dener 
396ac9112b8SAlp Dener PETSC_EXTERN PetscErrorCode TaoCreate_BNCG(Tao tao)
397ac9112b8SAlp Dener {
398ac9112b8SAlp Dener   TAO_BNCG       *cg;
399ac9112b8SAlp Dener   const char     *morethuente_type = TAOLINESEARCHMT;
400ac9112b8SAlp Dener   PetscErrorCode ierr;
401ac9112b8SAlp Dener 
402ac9112b8SAlp Dener   PetscFunctionBegin;
403ac9112b8SAlp Dener   tao->ops->setup = TaoSetUp_BNCG;
404ac9112b8SAlp Dener   tao->ops->solve = TaoSolve_BNCG;
405ac9112b8SAlp Dener   tao->ops->view = TaoView_BNCG;
406ac9112b8SAlp Dener   tao->ops->setfromoptions = TaoSetFromOptions_BNCG;
407ac9112b8SAlp Dener   tao->ops->destroy = TaoDestroy_BNCG;
408ac9112b8SAlp Dener 
409ac9112b8SAlp Dener   /* Override default settings (unless already changed) */
410ac9112b8SAlp Dener   if (!tao->max_it_changed) tao->max_it = 2000;
411ac9112b8SAlp Dener   if (!tao->max_funcs_changed) tao->max_funcs = 4000;
412ac9112b8SAlp Dener 
413ac9112b8SAlp Dener   /*  Note: nondefault values should be used for nonlinear conjugate gradient  */
414ac9112b8SAlp Dener   /*  method.  In particular, gtol should be less that 0.5; the value used in  */
415ac9112b8SAlp Dener   /*  Nocedal and Wright is 0.10.  We use the default values for the  */
416ac9112b8SAlp Dener   /*  linesearch because it seems to work better. */
417ac9112b8SAlp Dener   ierr = TaoLineSearchCreate(((PetscObject)tao)->comm, &tao->linesearch);CHKERRQ(ierr);
418ac9112b8SAlp Dener   ierr = PetscObjectIncrementTabLevel((PetscObject)tao->linesearch, (PetscObject)tao, 1);CHKERRQ(ierr);
419ac9112b8SAlp Dener   ierr = TaoLineSearchSetType(tao->linesearch, morethuente_type);CHKERRQ(ierr);
420ac9112b8SAlp Dener   ierr = TaoLineSearchUseTaoRoutines(tao->linesearch, tao);CHKERRQ(ierr);
421ac9112b8SAlp Dener   ierr = TaoLineSearchSetOptionsPrefix(tao->linesearch,tao->hdr.prefix);CHKERRQ(ierr);
422ac9112b8SAlp Dener 
423ac9112b8SAlp Dener   ierr = PetscNewLog(tao,&cg);CHKERRQ(ierr);
424ac9112b8SAlp Dener   tao->data = (void*)cg;
425ac9112b8SAlp Dener   cg->rho = 1e-4;
426ac9112b8SAlp Dener   cg->pow = 2.1;
427ac9112b8SAlp Dener   cg->eta = 0.5;
428ac9112b8SAlp Dener   cg->delta_min = 1e-7;
429ac9112b8SAlp Dener   cg->delta_max = 100;
43061be54a6SAlp Dener   cg->as_step = 0.001;
43161be54a6SAlp Dener   cg->as_tol = 0.001;
43261be54a6SAlp Dener   cg->as_type = CG_AS_BERTSEKAS;
433ac9112b8SAlp Dener   cg->cg_type = CG_DaiYuan;
434c0f10754SAlp Dener   cg->recycle = PETSC_FALSE;
435ac9112b8SAlp Dener   PetscFunctionReturn(0);
436ac9112b8SAlp Dener }
437