xref: /petsc/src/tao/bound/impls/bncg/bncg.c (revision 11eb65dca7891a9420bdee31b9ef32db58c1cdef)
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);
5161be54a6SAlp Dener     ierr = TaoEstimateActiveBounds(tao->solution, tao->XL, tao->XU, cg->unprojected_gradient, cg->W, cg->as_step, &cg->as_tol, &cg->active_lower, &cg->active_upper, &cg->active_fixed, &cg->active_idx, &cg->inactive_idx);CHKERRQ(ierr);
5261be54a6SAlp Dener 
5361be54a6SAlp Dener   default:
5461be54a6SAlp Dener     break;
5561be54a6SAlp Dener   }
5661be54a6SAlp Dener   PetscFunctionReturn(0);
5761be54a6SAlp Dener }
5861be54a6SAlp Dener 
5961be54a6SAlp Dener PetscErrorCode TaoBNCGBoundStep(Tao tao, Vec step)
6061be54a6SAlp Dener {
6161be54a6SAlp Dener   PetscErrorCode               ierr;
6261be54a6SAlp Dener   TAO_BNCG                     *cg = (TAO_BNCG *)tao->data;
6361be54a6SAlp Dener 
6461be54a6SAlp Dener   PetscFunctionBegin;
6561be54a6SAlp Dener   switch (cg->as_type) {
6661be54a6SAlp Dener   case CG_AS_NONE:
6761be54a6SAlp Dener     if (cg->active_idx) {ierr = VecISSet(step, cg->active_idx, 0.0);CHKERRQ(ierr);}
6861be54a6SAlp Dener     break;
6961be54a6SAlp Dener 
7061be54a6SAlp Dener   case CG_AS_BERTSEKAS:
7161be54a6SAlp Dener     ierr = TaoBoundStep(tao->solution, tao->XL, tao->XU, cg->active_lower, cg->active_upper, cg->active_fixed, step);CHKERRQ(ierr);
7261be54a6SAlp Dener     break;
7361be54a6SAlp Dener 
7461be54a6SAlp Dener   default:
7561be54a6SAlp Dener     break;
7661be54a6SAlp Dener   }
7761be54a6SAlp Dener   PetscFunctionReturn(0);
7861be54a6SAlp Dener }
7961be54a6SAlp Dener 
80ac9112b8SAlp Dener static PetscErrorCode TaoSolve_BNCG(Tao tao)
81ac9112b8SAlp Dener {
82ac9112b8SAlp Dener   TAO_BNCG                     *cg = (TAO_BNCG*)tao->data;
83ac9112b8SAlp Dener   PetscErrorCode               ierr;
84ac9112b8SAlp Dener   TaoLineSearchConvergedReason ls_status = TAOLINESEARCH_CONTINUE_ITERATING;
8561be54a6SAlp Dener   PetscReal                    step=1.0,gnorm,gnorm2,delta,gd,ginner,beta,dnorm,resnorm;
86ac9112b8SAlp Dener   PetscReal                    gd_old,gnorm2_old,f_old;
87ac9112b8SAlp Dener   PetscBool                    cg_restart;
88ac9112b8SAlp Dener 
89ac9112b8SAlp Dener   PetscFunctionBegin;
90ac9112b8SAlp Dener   /*   Project the current point onto the feasible set */
91ac9112b8SAlp Dener   ierr = TaoComputeVariableBounds(tao);CHKERRQ(ierr);
92ac9112b8SAlp Dener   ierr = TaoLineSearchSetVariableBounds(tao->linesearch,tao->XL,tao->XU);CHKERRQ(ierr);
93ac9112b8SAlp Dener 
94ac9112b8SAlp Dener   /* Project the initial point onto the feasible region */
95ac9112b8SAlp Dener   ierr = VecMedian(tao->XL,tao->solution,tao->XU,tao->solution);CHKERRQ(ierr);
96ac9112b8SAlp Dener 
97c0f10754SAlp Dener   if (!cg->recycle) {
98*11eb65dcSAlp Dener     /*  Solver is not being recycled so just compute the objective function and criteria */
99c0f10754SAlp Dener     ierr = TaoComputeObjectiveAndGradient(tao, tao->solution, &cg->f, cg->unprojected_gradient);CHKERRQ(ierr);
100*11eb65dcSAlp Dener   } else {
101*11eb65dcSAlp Dener     /* We are recycling, so we have to compute ||g_old||^2 for use in the CG step calculation */
102*11eb65dcSAlp Dener     ierr = VecDot(cg->G_old, cg->G_old, &gnorm2_old);CHKERRQ(ierr);
103c0f10754SAlp Dener   }
104ac9112b8SAlp Dener   ierr = VecNorm(cg->unprojected_gradient,NORM_2,&gnorm);CHKERRQ(ierr);
105c0f10754SAlp Dener   if (PetscIsInfOrNanReal(cg->f) || PetscIsInfOrNanReal(gnorm)) SETERRQ(PETSC_COMM_SELF,1, "User provided compute function generated Inf or NaN");
106ac9112b8SAlp Dener 
10761be54a6SAlp Dener   /* Estimate the active set and compute the projected gradient */
10861be54a6SAlp Dener   ierr = VecCopy(cg->unprojected_gradient, cg->W);CHKERRQ(ierr);
10961be54a6SAlp Dener   ierr = VecScale(cg->W, -1.0);CHKERRQ(ierr);
11061be54a6SAlp Dener   ierr = TaoBNCGEstimateActiveSet(tao, cg->as_type);CHKERRQ(ierr);
11161be54a6SAlp Dener 
112ac9112b8SAlp Dener   /* Project the gradient and calculate the norm */
11361be54a6SAlp Dener   ierr = VecCopy(cg->unprojected_gradient, tao->gradient);CHKERRQ(ierr);
11461be54a6SAlp Dener   ierr = VecISSet(tao->gradient, cg->active_idx, 0.0);CHKERRQ(ierr);
115ac9112b8SAlp Dener   ierr = VecNorm(tao->gradient,NORM_2,&gnorm);CHKERRQ(ierr);
116ac9112b8SAlp Dener   gnorm2 = gnorm*gnorm;
117ac9112b8SAlp Dener 
118ac9112b8SAlp Dener   /* Convergence check */
119e031d6f5SAlp Dener   tao->niter = 0;
120ac9112b8SAlp Dener   tao->reason = TAO_CONTINUE_ITERATING;
12161be54a6SAlp Dener   ierr = VecFischer(tao->solution, cg->unprojected_gradient, tao->XL, tao->XU, cg->W);CHKERRQ(ierr);
12261be54a6SAlp Dener   ierr = VecNorm(cg->W, NORM_2, &resnorm);CHKERRQ(ierr);
12361be54a6SAlp Dener   ierr = TaoLogConvergenceHistory(tao, cg->f, resnorm, 0.0, tao->ksp_its);CHKERRQ(ierr);
12461be54a6SAlp Dener   ierr = TaoMonitor(tao, tao->niter, cg->f, resnorm, 0.0, step);CHKERRQ(ierr);
125ac9112b8SAlp Dener   ierr = (*tao->ops->convergencetest)(tao,tao->cnvP);CHKERRQ(ierr);
126ac9112b8SAlp Dener   if (tao->reason != TAO_CONTINUE_ITERATING) PetscFunctionReturn(0);
127ac9112b8SAlp Dener 
128ac9112b8SAlp Dener   /* Start optimization iterations */
129e031d6f5SAlp Dener   cg->ls_fails = cg->broken_ortho = cg->descent_error = 0;
130ac9112b8SAlp Dener   cg->resets = -1;
131ac9112b8SAlp Dener   while (tao->reason == TAO_CONTINUE_ITERATING) {
132ac9112b8SAlp Dener     /* Check restart conditions for using steepest descent */
133ac9112b8SAlp Dener     cg_restart = PETSC_FALSE;
134ac9112b8SAlp Dener     ierr = VecDot(tao->gradient, cg->G_old, &ginner);CHKERRQ(ierr);
135937a31a1SAlp Dener     ierr = VecNorm(tao->stepdirection, NORM_2, &dnorm);CHKERRQ(ierr);
1365000ebdeSAlp Dener     if (tao->niter == 0 && !cg->recycle && dnorm != 0.0) {
137937a31a1SAlp Dener       /* 1) First iteration, with recycle disabled, and a non-zero previous step */
138ac9112b8SAlp Dener       cg_restart = PETSC_TRUE;
139ac9112b8SAlp Dener     } else if (PetscAbsScalar(ginner) >= cg->eta * gnorm2) {
140ac9112b8SAlp Dener       /* 2) Gradients are far from orthogonal */
141ac9112b8SAlp Dener       cg_restart = PETSC_TRUE;
142ac9112b8SAlp Dener       cg->broken_ortho++;
143ac9112b8SAlp Dener     }
144ac9112b8SAlp Dener 
145ac9112b8SAlp Dener     /* Compute CG step */
146ac9112b8SAlp Dener     if (cg_restart) {
147ac9112b8SAlp Dener       beta = 0.0;
148ac9112b8SAlp Dener       cg->resets++;
149ac9112b8SAlp Dener     } else {
150ac9112b8SAlp Dener       switch (cg->cg_type) {
151ac9112b8SAlp Dener       case CG_FletcherReeves:
152ac9112b8SAlp Dener         beta = gnorm2 / gnorm2_old;
153ac9112b8SAlp Dener         break;
154ac9112b8SAlp Dener 
155ac9112b8SAlp Dener       case CG_PolakRibiere:
156ac9112b8SAlp Dener         beta = (gnorm2 - ginner) / gnorm2_old;
157ac9112b8SAlp Dener         break;
158ac9112b8SAlp Dener 
159ac9112b8SAlp Dener       case CG_PolakRibierePlus:
160ac9112b8SAlp Dener         beta = PetscMax((gnorm2-ginner)/gnorm2_old, 0.0);
161ac9112b8SAlp Dener         break;
162ac9112b8SAlp Dener 
163ac9112b8SAlp Dener       case CG_HestenesStiefel:
164ac9112b8SAlp Dener         ierr = VecDot(tao->gradient, tao->stepdirection, &gd);CHKERRQ(ierr);
165ac9112b8SAlp Dener         ierr = VecDot(cg->G_old, tao->stepdirection, &gd_old);CHKERRQ(ierr);
166ac9112b8SAlp Dener         beta = (gnorm2 - ginner) / (gd - gd_old);
167ac9112b8SAlp Dener         break;
168ac9112b8SAlp Dener 
169ac9112b8SAlp Dener       case CG_DaiYuan:
170ac9112b8SAlp Dener         ierr = VecDot(tao->gradient, tao->stepdirection, &gd);CHKERRQ(ierr);
171ac9112b8SAlp Dener         ierr = VecDot(cg->G_old, tao->stepdirection, &gd_old);CHKERRQ(ierr);
172ac9112b8SAlp Dener         beta = gnorm2 / (gd - gd_old);
173ac9112b8SAlp Dener         break;
174ac9112b8SAlp Dener 
175ac9112b8SAlp Dener       default:
176ac9112b8SAlp Dener         beta = 0.0;
177ac9112b8SAlp Dener         break;
178ac9112b8SAlp Dener       }
179ac9112b8SAlp Dener     }
180ac9112b8SAlp Dener 
181ac9112b8SAlp Dener     /*  Compute the direction d=-g + beta*d */
182ac9112b8SAlp Dener     ierr = VecAXPBY(tao->stepdirection, -1.0, beta, tao->gradient);CHKERRQ(ierr);
18361be54a6SAlp Dener     ierr = TaoBNCGBoundStep(tao, tao->stepdirection);CHKERRQ(ierr);
18461be54a6SAlp Dener     if (cg->inactive_old) {
185*11eb65dcSAlp Dener       /* Compute which new indexes that were active before became inactive this iteration */
18661be54a6SAlp Dener       ierr = ISDestroy(&cg->new_inactives);CHKERRQ(ierr);
18761be54a6SAlp Dener       ierr = ISDifference(cg->inactive_old, cg->inactive_idx, &cg->new_inactives);
188*11eb65dcSAlp Dener       /* Selectively reset the CG step those freshly inactive variables to be the gradient descent direction */
18961be54a6SAlp Dener       ierr = VecGetSubVector(tao->stepdirection, cg->new_inactives, &cg->inactive_step);CHKERRQ(ierr);
19061be54a6SAlp Dener       ierr = VecGetSubVector(tao->gradient, cg->new_inactives, &cg->inactive_grad);CHKERRQ(ierr);
19161be54a6SAlp Dener       ierr = VecCopy(cg->inactive_grad, cg->inactive_step);CHKERRQ(ierr);
19261be54a6SAlp Dener       ierr = VecScale(cg->inactive_step, -1.0);CHKERRQ(ierr);
19361be54a6SAlp Dener       ierr = VecRestoreSubVector(tao->stepdirection, cg->new_inactives, &cg->inactive_step);CHKERRQ(ierr);
19461be54a6SAlp Dener       ierr = VecRestoreSubVector(tao->gradient, cg->new_inactives, &cg->inactive_grad);CHKERRQ(ierr);
19561be54a6SAlp Dener     }
196ac9112b8SAlp Dener 
197ac9112b8SAlp Dener     /* Verify that this is a descent direction */
198ac9112b8SAlp Dener     ierr = VecDot(tao->gradient, tao->stepdirection, &gd);CHKERRQ(ierr);
199ac9112b8SAlp Dener     ierr = VecNorm(tao->stepdirection, NORM_2, &dnorm);
200ac9112b8SAlp Dener     if (gd > -cg->rho*PetscPowReal(dnorm, cg->pow)) {
201ac9112b8SAlp Dener       /* Not a descent direction, so we reset back to projected gradient descent */
202ac9112b8SAlp Dener       ierr = VecAXPBY(tao->stepdirection, -1.0, 0.0, tao->gradient);CHKERRQ(ierr);
203ac9112b8SAlp Dener       cg->resets++;
204ac9112b8SAlp Dener       cg->descent_error++;
205ac9112b8SAlp Dener     }
206ac9112b8SAlp Dener 
207ac9112b8SAlp Dener     /*  update initial steplength choice */
208ac9112b8SAlp Dener     delta = 1.0;
209ac9112b8SAlp Dener     delta = PetscMax(delta, cg->delta_min);
210ac9112b8SAlp Dener     delta = PetscMin(delta, cg->delta_max);
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 */
220ac9112b8SAlp Dener     ierr = TaoLineSearchSetInitialStepLength(tao->linesearch,delta);CHKERRQ(ierr);
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) {
226ac9112b8SAlp 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 
234ac9112b8SAlp Dener       /* Fall back on the unscaled gradient step */
235ac9112b8SAlp Dener       delta = 1.0;
23661be54a6SAlp Dener       ierr = VecCopy(tao->gradient, tao->stepdirection);CHKERRQ(ierr);
237ac9112b8SAlp Dener       ierr = VecScale(tao->stepdirection, -1.0);CHKERRQ(ierr);
23861be54a6SAlp Dener       ierr = TaoBoundStep(tao->solution, tao->XL, tao->XU, cg->active_lower, cg->active_upper, cg->active_fixed, tao->stepdirection);CHKERRQ(ierr);
239ac9112b8SAlp Dener 
240ac9112b8SAlp Dener       ierr = TaoLineSearchSetInitialStepLength(tao->linesearch,delta);CHKERRQ(ierr);
241c0f10754SAlp Dener       ierr = TaoLineSearchApply(tao->linesearch, tao->solution, &cg->f, cg->unprojected_gradient, tao->stepdirection, &step, &ls_status);CHKERRQ(ierr);
242ac9112b8SAlp Dener       ierr = TaoAddLineSearchCounts(tao);CHKERRQ(ierr);
243ac9112b8SAlp Dener 
244ac9112b8SAlp Dener       if (ls_status != TAOLINESEARCH_SUCCESS && ls_status != TAOLINESEARCH_SUCCESS_USER){
245ac9112b8SAlp Dener         cg->ls_fails++;
246ac9112b8SAlp Dener         /* Restore previous point */
247ac9112b8SAlp Dener         gnorm2 = gnorm2_old;
248c0f10754SAlp Dener         cg->f = f_old;
249ac9112b8SAlp Dener         ierr = VecCopy(cg->X_old, tao->solution);CHKERRQ(ierr);
250ac9112b8SAlp Dener         ierr = VecCopy(cg->G_old, tao->gradient);CHKERRQ(ierr);
251ac9112b8SAlp Dener         ierr = VecCopy(cg->unprojected_gradient_old, cg->unprojected_gradient);CHKERRQ(ierr);
252ac9112b8SAlp Dener 
253ac9112b8SAlp Dener         /* Nothing left to do but fail out of the optimization */
254ac9112b8SAlp Dener         step = 0.0;
255ac9112b8SAlp Dener         tao->reason = TAO_DIVERGED_LS_FAILURE;
256ac9112b8SAlp Dener       }
257ac9112b8SAlp Dener     }
258ac9112b8SAlp Dener 
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;
267ac9112b8SAlp Dener 
268ac9112b8SAlp Dener     /* Convergence test */
269ac9112b8SAlp Dener     tao->niter++;
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;
285ac9112b8SAlp Dener   if (!tao->gradient) {ierr = VecDuplicate(tao->solution,&tao->gradient);CHKERRQ(ierr);}
286ac9112b8SAlp Dener   if (!tao->stepdirection) {ierr = VecDuplicate(tao->solution,&tao->stepdirection);CHKERRQ(ierr);}
28761be54a6SAlp Dener   if (!cg->W) {ierr = VecDuplicate(tao->solution,&cg->W);CHKERRQ(ierr);}
288ac9112b8SAlp Dener   if (!cg->X_old) {ierr = VecDuplicate(tao->solution,&cg->X_old);CHKERRQ(ierr);}
289ac9112b8SAlp Dener   if (!cg->G_old) {ierr = VecDuplicate(tao->gradient,&cg->G_old);CHKERRQ(ierr);}
290ac9112b8SAlp Dener   if (!cg->unprojected_gradient) {ierr = VecDuplicate(tao->gradient,&cg->unprojected_gradient);CHKERRQ(ierr);}
291ac9112b8SAlp Dener   if (!cg->unprojected_gradient_old) {ierr = VecDuplicate(tao->gradient,&cg->unprojected_gradient_old);CHKERRQ(ierr);}
292ac9112b8SAlp Dener   PetscFunctionReturn(0);
293ac9112b8SAlp Dener }
294ac9112b8SAlp Dener 
295ac9112b8SAlp Dener static PetscErrorCode TaoDestroy_BNCG(Tao tao)
296ac9112b8SAlp Dener {
297ac9112b8SAlp Dener   TAO_BNCG       *cg = (TAO_BNCG*) tao->data;
298ac9112b8SAlp Dener   PetscErrorCode ierr;
299ac9112b8SAlp Dener 
300ac9112b8SAlp Dener   PetscFunctionBegin;
301ac9112b8SAlp Dener   if (tao->setupcalled) {
30261be54a6SAlp Dener     ierr = VecDestroy(&cg->W);CHKERRQ(ierr);
303ac9112b8SAlp Dener     ierr = VecDestroy(&cg->X_old);CHKERRQ(ierr);
304ac9112b8SAlp Dener     ierr = VecDestroy(&cg->G_old);CHKERRQ(ierr);
305ac9112b8SAlp Dener     ierr = VecDestroy(&cg->unprojected_gradient);CHKERRQ(ierr);
306ac9112b8SAlp Dener     ierr = VecDestroy(&cg->unprojected_gradient_old);CHKERRQ(ierr);
307ac9112b8SAlp Dener   }
308ac9112b8SAlp Dener   ierr = PetscFree(tao->data);CHKERRQ(ierr);
309ac9112b8SAlp Dener   PetscFunctionReturn(0);
310ac9112b8SAlp Dener }
311ac9112b8SAlp Dener 
312ac9112b8SAlp Dener static PetscErrorCode TaoSetFromOptions_BNCG(PetscOptionItems *PetscOptionsObject,Tao tao)
313ac9112b8SAlp Dener  {
314ac9112b8SAlp Dener     TAO_BNCG       *cg = (TAO_BNCG*)tao->data;
315ac9112b8SAlp Dener     PetscErrorCode ierr;
316ac9112b8SAlp Dener 
317ac9112b8SAlp Dener     PetscFunctionBegin;
318ac9112b8SAlp Dener     ierr = TaoLineSearchSetFromOptions(tao->linesearch);CHKERRQ(ierr);
319ac9112b8SAlp Dener     ierr = PetscOptionsHead(PetscOptionsObject,"Nonlinear Conjugate Gradient method for unconstrained optimization");CHKERRQ(ierr);
32061be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_eta","restart tolerance", "", cg->eta,&cg->eta,NULL);CHKERRQ(ierr);
32161be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_rho","descent direction tolerance", "", cg->rho,&cg->rho,NULL);CHKERRQ(ierr);
32261be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_pow","descent direction exponent", "", cg->pow,&cg->pow,NULL);CHKERRQ(ierr);
32361be54a6SAlp Dener     ierr = PetscOptionsEList("-tao_bncg_type","cg formula", "", CG_Table, CG_Types, CG_Table[cg->cg_type], &cg->cg_type,NULL);CHKERRQ(ierr);
32461be54a6SAlp 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);
32561be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_delta_min","minimum delta value", "", cg->delta_min,&cg->delta_min,NULL);CHKERRQ(ierr);
32661be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_delta_max","maximum delta value", "", cg->delta_max,&cg->delta_max,NULL);CHKERRQ(ierr);
32761be54a6SAlp 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);
32861be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_as_tol", "initial tolerance used when estimating actively bounded variables", "", cg->as_tol, &cg->as_tol,NULL);CHKERRQ(ierr);
32961be54a6SAlp Dener     ierr = PetscOptionsReal("-tao_bncg_as_step", "step length used when estimating actively bounded variables", "", cg->as_step, &cg->as_step,NULL);CHKERRQ(ierr);
330ac9112b8SAlp Dener    ierr = PetscOptionsTail();CHKERRQ(ierr);
331ac9112b8SAlp Dener    PetscFunctionReturn(0);
332ac9112b8SAlp Dener }
333ac9112b8SAlp Dener 
334ac9112b8SAlp Dener static PetscErrorCode TaoView_BNCG(Tao tao, PetscViewer viewer)
335ac9112b8SAlp Dener {
336ac9112b8SAlp Dener   PetscBool      isascii;
337ac9112b8SAlp Dener   TAO_BNCG       *cg = (TAO_BNCG*)tao->data;
338ac9112b8SAlp Dener   PetscErrorCode ierr;
339ac9112b8SAlp Dener 
340ac9112b8SAlp Dener   PetscFunctionBegin;
341ac9112b8SAlp Dener   ierr = PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii);CHKERRQ(ierr);
342ac9112b8SAlp Dener   if (isascii) {
343ac9112b8SAlp Dener     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
344ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "CG Type: %s\n", CG_Table[cg->cg_type]);CHKERRQ(ierr);
345ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "Resets: %i\n", cg->resets);CHKERRQ(ierr);
346ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "  Broken ortho: %i\n", cg->broken_ortho);CHKERRQ(ierr);
347ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "  Not a descent dir.: %i\n", cg->descent_error);CHKERRQ(ierr);
348ac9112b8SAlp Dener     ierr = PetscViewerASCIIPrintf(viewer, "Line search fails: %i\n", cg->ls_fails);CHKERRQ(ierr);
349ac9112b8SAlp Dener     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
350ac9112b8SAlp Dener   }
351ac9112b8SAlp Dener   PetscFunctionReturn(0);
352ac9112b8SAlp Dener }
353ac9112b8SAlp Dener 
354ac9112b8SAlp Dener /*MC
355ac9112b8SAlp Dener      TAOBNCG -   Bound-constrained Nonlinear Conjugate Gradient method.
356ac9112b8SAlp Dener 
357ac9112b8SAlp Dener    Options Database Keys:
35861be54a6SAlp Dener +      -tao_bncg_eta <r> - restart tolerance
35961be54a6SAlp Dener .      -tao_bncg_type <taocg_type> - cg formula
36061be54a6SAlp Dener .      -tao_bncg_delta_min <r> - minimum delta value
36161be54a6SAlp Dener -      -tao_bncg_delta_max <r> - maximum delta value
362ac9112b8SAlp Dener 
363ac9112b8SAlp Dener   Notes:
364ac9112b8SAlp Dener      CG formulas are:
365ac9112b8SAlp Dener          "fr" - Fletcher-Reeves
366ac9112b8SAlp Dener          "pr" - Polak-Ribiere
367ac9112b8SAlp Dener          "prp" - Polak-Ribiere-Plus
368ac9112b8SAlp Dener          "hs" - Hestenes-Steifel
369ac9112b8SAlp Dener          "dy" - Dai-Yuan
370ac9112b8SAlp Dener   Level: beginner
371ac9112b8SAlp Dener M*/
372ac9112b8SAlp Dener 
373ac9112b8SAlp Dener 
374ac9112b8SAlp Dener PETSC_EXTERN PetscErrorCode TaoCreate_BNCG(Tao tao)
375ac9112b8SAlp Dener {
376ac9112b8SAlp Dener   TAO_BNCG       *cg;
377ac9112b8SAlp Dener   const char     *morethuente_type = TAOLINESEARCHMT;
378ac9112b8SAlp Dener   PetscErrorCode ierr;
379ac9112b8SAlp Dener 
380ac9112b8SAlp Dener   PetscFunctionBegin;
381ac9112b8SAlp Dener   tao->ops->setup = TaoSetUp_BNCG;
382ac9112b8SAlp Dener   tao->ops->solve = TaoSolve_BNCG;
383ac9112b8SAlp Dener   tao->ops->view = TaoView_BNCG;
384ac9112b8SAlp Dener   tao->ops->setfromoptions = TaoSetFromOptions_BNCG;
385ac9112b8SAlp Dener   tao->ops->destroy = TaoDestroy_BNCG;
386ac9112b8SAlp Dener 
387ac9112b8SAlp Dener   /* Override default settings (unless already changed) */
388ac9112b8SAlp Dener   if (!tao->max_it_changed) tao->max_it = 2000;
389ac9112b8SAlp Dener   if (!tao->max_funcs_changed) tao->max_funcs = 4000;
390ac9112b8SAlp Dener 
391ac9112b8SAlp Dener   /*  Note: nondefault values should be used for nonlinear conjugate gradient  */
392ac9112b8SAlp Dener   /*  method.  In particular, gtol should be less that 0.5; the value used in  */
393ac9112b8SAlp Dener   /*  Nocedal and Wright is 0.10.  We use the default values for the  */
394ac9112b8SAlp Dener   /*  linesearch because it seems to work better. */
395ac9112b8SAlp Dener   ierr = TaoLineSearchCreate(((PetscObject)tao)->comm, &tao->linesearch);CHKERRQ(ierr);
396ac9112b8SAlp Dener   ierr = PetscObjectIncrementTabLevel((PetscObject)tao->linesearch, (PetscObject)tao, 1);CHKERRQ(ierr);
397ac9112b8SAlp Dener   ierr = TaoLineSearchSetType(tao->linesearch, morethuente_type);CHKERRQ(ierr);
398ac9112b8SAlp Dener   ierr = TaoLineSearchUseTaoRoutines(tao->linesearch, tao);CHKERRQ(ierr);
399ac9112b8SAlp Dener   ierr = TaoLineSearchSetOptionsPrefix(tao->linesearch,tao->hdr.prefix);CHKERRQ(ierr);
400ac9112b8SAlp Dener 
401ac9112b8SAlp Dener   ierr = PetscNewLog(tao,&cg);CHKERRQ(ierr);
402ac9112b8SAlp Dener   tao->data = (void*)cg;
403ac9112b8SAlp Dener   cg->rho = 1e-4;
404ac9112b8SAlp Dener   cg->pow = 2.1;
405ac9112b8SAlp Dener   cg->eta = 0.5;
406ac9112b8SAlp Dener   cg->delta_min = 1e-7;
407ac9112b8SAlp Dener   cg->delta_max = 100;
40861be54a6SAlp Dener   cg->as_step = 0.001;
40961be54a6SAlp Dener   cg->as_tol = 0.001;
41061be54a6SAlp Dener   cg->as_type = CG_AS_BERTSEKAS;
411ac9112b8SAlp Dener   cg->cg_type = CG_DaiYuan;
412c0f10754SAlp Dener   cg->recycle = PETSC_FALSE;
413ac9112b8SAlp Dener   PetscFunctionReturn(0);
414ac9112b8SAlp Dener }
415