xref: /petsc/src/tao/quadratic/impls/gpcg/gpcg.c (revision 63a3b9bc7a1f24f247904ccba9383635fe6abade)
174962610SAlp Dener #include <petscksp.h>
274962610SAlp Dener #include <../src/tao/quadratic/impls/gpcg/gpcg.h>        /*I "gpcg.h" I*/
374962610SAlp Dener 
474962610SAlp Dener static PetscErrorCode GPCGGradProjections(Tao tao);
574962610SAlp Dener static PetscErrorCode GPCGObjectiveAndGradient(TaoLineSearch,Vec,PetscReal*,Vec,void*);
674962610SAlp Dener 
774962610SAlp Dener /*------------------------------------------------------------*/
874962610SAlp Dener static PetscErrorCode TaoDestroy_GPCG(Tao tao)
974962610SAlp Dener {
1074962610SAlp Dener   TAO_GPCG       *gpcg = (TAO_GPCG *)tao->data;
1174962610SAlp Dener 
1274962610SAlp Dener   /* Free allocated memory in GPCG structure */
1374962610SAlp Dener   PetscFunctionBegin;
149566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&gpcg->B));
159566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&gpcg->Work));
169566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&gpcg->X_New));
179566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&gpcg->G_New));
189566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&gpcg->DXFree));
199566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&gpcg->R));
209566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&gpcg->PG));
219566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&gpcg->Hsub));
229566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&gpcg->Hsub_pre));
239566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&gpcg->Free_Local));
249566063dSJacob Faibussowitsch   PetscCall(PetscFree(tao->data));
2574962610SAlp Dener   PetscFunctionReturn(0);
2674962610SAlp Dener }
2774962610SAlp Dener 
2874962610SAlp Dener /*------------------------------------------------------------*/
2974962610SAlp Dener static PetscErrorCode TaoSetFromOptions_GPCG(PetscOptionItems *PetscOptionsObject,Tao tao)
3074962610SAlp Dener {
3174962610SAlp Dener   TAO_GPCG       *gpcg = (TAO_GPCG *)tao->data;
3274962610SAlp Dener   PetscBool      flg;
3374962610SAlp Dener 
3474962610SAlp Dener   PetscFunctionBegin;
35d0609cedSBarry Smith   PetscOptionsHeadBegin(PetscOptionsObject,"Gradient Projection, Conjugate Gradient method for bound constrained optimization");
369566063dSJacob Faibussowitsch   PetscCall(PetscOptionsInt("-tao_gpcg_maxpgits","maximum number of gradient projections per GPCG iterate",NULL,gpcg->maxgpits,&gpcg->maxgpits,&flg));
37d0609cedSBarry Smith   PetscOptionsHeadEnd();
389566063dSJacob Faibussowitsch   PetscCall(KSPSetFromOptions(tao->ksp));
399566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchSetFromOptions(tao->linesearch));
4074962610SAlp Dener   PetscFunctionReturn(0);
4174962610SAlp Dener }
4274962610SAlp Dener 
4374962610SAlp Dener /*------------------------------------------------------------*/
4474962610SAlp Dener static PetscErrorCode TaoView_GPCG(Tao tao, PetscViewer viewer)
4574962610SAlp Dener {
4674962610SAlp Dener   TAO_GPCG       *gpcg = (TAO_GPCG *)tao->data;
4774962610SAlp Dener   PetscBool      isascii;
4874962610SAlp Dener 
4974962610SAlp Dener   PetscFunctionBegin;
509566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&isascii));
5174962610SAlp Dener   if (isascii) {
52*63a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer,"Total PG its: %" PetscInt_FMT ",",gpcg->total_gp_its));
539566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer,"PG tolerance: %g \n",(double)gpcg->pg_ftol));
5474962610SAlp Dener   }
559566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchView(tao->linesearch,viewer));
5674962610SAlp Dener   PetscFunctionReturn(0);
5774962610SAlp Dener }
5874962610SAlp Dener 
5974962610SAlp Dener /* GPCGObjectiveAndGradient()
6074962610SAlp Dener    Compute f=0.5 * x'Hx + b'x + c
6174962610SAlp Dener            g=Hx + b
6274962610SAlp Dener */
6374962610SAlp Dener static PetscErrorCode GPCGObjectiveAndGradient(TaoLineSearch ls, Vec X, PetscReal *f, Vec G, void*tptr)
6474962610SAlp Dener {
6574962610SAlp Dener   Tao            tao = (Tao)tptr;
6674962610SAlp Dener   TAO_GPCG       *gpcg = (TAO_GPCG*)tao->data;
6774962610SAlp Dener   PetscReal      f1,f2;
6874962610SAlp Dener 
6974962610SAlp Dener   PetscFunctionBegin;
709566063dSJacob Faibussowitsch   PetscCall(MatMult(tao->hessian,X,G));
719566063dSJacob Faibussowitsch   PetscCall(VecDot(G,X,&f1));
729566063dSJacob Faibussowitsch   PetscCall(VecDot(gpcg->B,X,&f2));
739566063dSJacob Faibussowitsch   PetscCall(VecAXPY(G,1.0,gpcg->B));
7474962610SAlp Dener   *f=f1/2.0 + f2 + gpcg->c;
7574962610SAlp Dener   PetscFunctionReturn(0);
7674962610SAlp Dener }
7774962610SAlp Dener 
7874962610SAlp Dener /* ---------------------------------------------------------- */
7974962610SAlp Dener static PetscErrorCode TaoSetup_GPCG(Tao tao)
8074962610SAlp Dener {
8174962610SAlp Dener   TAO_GPCG       *gpcg = (TAO_GPCG *)tao->data;
8274962610SAlp Dener 
8374962610SAlp Dener   PetscFunctionBegin;
8474962610SAlp Dener   /* Allocate some arrays */
8574962610SAlp Dener   if (!tao->gradient) {
869566063dSJacob Faibussowitsch       PetscCall(VecDuplicate(tao->solution, &tao->gradient));
8774962610SAlp Dener   }
8874962610SAlp Dener   if (!tao->stepdirection) {
899566063dSJacob Faibussowitsch       PetscCall(VecDuplicate(tao->solution, &tao->stepdirection));
9074962610SAlp Dener   }
9174962610SAlp Dener   if (!tao->XL) {
929566063dSJacob Faibussowitsch       PetscCall(VecDuplicate(tao->solution,&tao->XL));
939566063dSJacob Faibussowitsch       PetscCall(VecSet(tao->XL,PETSC_NINFINITY));
9474962610SAlp Dener   }
9574962610SAlp Dener   if (!tao->XU) {
969566063dSJacob Faibussowitsch       PetscCall(VecDuplicate(tao->solution,&tao->XU));
979566063dSJacob Faibussowitsch       PetscCall(VecSet(tao->XU,PETSC_INFINITY));
9874962610SAlp Dener   }
9974962610SAlp Dener 
1009566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution,&gpcg->B));
1019566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution,&gpcg->Work));
1029566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution,&gpcg->X_New));
1039566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution,&gpcg->G_New));
1049566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution,&gpcg->DXFree));
1059566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution,&gpcg->R));
1069566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution,&gpcg->PG));
10774962610SAlp Dener   /*
10874962610SAlp Dener     if (gpcg->ksp_type == GPCG_KSP_NASH) {
1099566063dSJacob Faibussowitsch         PetscCall(KSPSetType(tao->ksp,KSPNASH));
11074962610SAlp Dener       } else if (gpcg->ksp_type == GPCG_KSP_STCG) {
1119566063dSJacob Faibussowitsch         PetscCall(KSPSetType(tao->ksp,KSPSTCG));
11274962610SAlp Dener       } else {
1139566063dSJacob Faibussowitsch         PetscCall(KSPSetType(tao->ksp,KSPGLTR));
11474962610SAlp Dener       }
11574962610SAlp Dener       if (tao->ksp->ops->setfromoptions) {
11674962610SAlp Dener         (*tao->ksp->ops->setfromoptions)(tao->ksp);
11774962610SAlp Dener       }
11874962610SAlp Dener 
11974962610SAlp Dener     }
12074962610SAlp Dener   */
12174962610SAlp Dener   PetscFunctionReturn(0);
12274962610SAlp Dener }
12374962610SAlp Dener 
12474962610SAlp Dener static PetscErrorCode TaoSolve_GPCG(Tao tao)
12574962610SAlp Dener {
12674962610SAlp Dener   TAO_GPCG                     *gpcg = (TAO_GPCG *)tao->data;
12774962610SAlp Dener   PetscInt                     its;
12874962610SAlp Dener   PetscReal                    actred,f,f_new,gnorm,gdx,stepsize,xtb;
12974962610SAlp Dener   PetscReal                    xtHx;
13074962610SAlp Dener   TaoLineSearchConvergedReason ls_status = TAOLINESEARCH_CONTINUE_ITERATING;
13174962610SAlp Dener 
13274962610SAlp Dener   PetscFunctionBegin;
13374962610SAlp Dener 
1349566063dSJacob Faibussowitsch   PetscCall(TaoComputeVariableBounds(tao));
1359566063dSJacob Faibussowitsch   PetscCall(VecMedian(tao->XL,tao->solution,tao->XU,tao->solution));
1369566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchSetVariableBounds(tao->linesearch,tao->XL,tao->XU));
13774962610SAlp Dener 
13874962610SAlp Dener   /* Using f = .5*x'Hx + x'b + c and g=Hx + b,  compute b,c */
1399566063dSJacob Faibussowitsch   PetscCall(TaoComputeHessian(tao,tao->solution,tao->hessian,tao->hessian_pre));
1409566063dSJacob Faibussowitsch   PetscCall(TaoComputeObjectiveAndGradient(tao,tao->solution,&f,tao->gradient));
1419566063dSJacob Faibussowitsch   PetscCall(VecCopy(tao->gradient, gpcg->B));
1429566063dSJacob Faibussowitsch   PetscCall(MatMult(tao->hessian,tao->solution,gpcg->Work));
1439566063dSJacob Faibussowitsch   PetscCall(VecDot(gpcg->Work, tao->solution, &xtHx));
1449566063dSJacob Faibussowitsch   PetscCall(VecAXPY(gpcg->B,-1.0,gpcg->Work));
1459566063dSJacob Faibussowitsch   PetscCall(VecDot(gpcg->B,tao->solution,&xtb));
14674962610SAlp Dener   gpcg->c=f-xtHx/2.0-xtb;
14774962610SAlp Dener   if (gpcg->Free_Local) {
1489566063dSJacob Faibussowitsch       PetscCall(ISDestroy(&gpcg->Free_Local));
14974962610SAlp Dener   }
1509566063dSJacob Faibussowitsch   PetscCall(VecWhichInactive(tao->XL,tao->solution,tao->gradient,tao->XU,PETSC_TRUE,&gpcg->Free_Local));
15174962610SAlp Dener 
15274962610SAlp Dener   /* Project the gradient and calculate the norm */
1539566063dSJacob Faibussowitsch   PetscCall(VecCopy(tao->gradient,gpcg->G_New));
1549566063dSJacob Faibussowitsch   PetscCall(VecBoundGradientProjection(tao->gradient,tao->solution,tao->XL,tao->XU,gpcg->PG));
1559566063dSJacob Faibussowitsch   PetscCall(VecNorm(gpcg->PG,NORM_2,&gpcg->gnorm));
15674962610SAlp Dener   tao->step=1.0;
15774962610SAlp Dener   gpcg->f = f;
15874962610SAlp Dener 
15974962610SAlp Dener     /* Check Stopping Condition      */
16074962610SAlp Dener   tao->reason = TAO_CONTINUE_ITERATING;
1619566063dSJacob Faibussowitsch   PetscCall(TaoLogConvergenceHistory(tao,f,gpcg->gnorm,0.0,tao->ksp_its));
1629566063dSJacob Faibussowitsch   PetscCall(TaoMonitor(tao,tao->niter,f,gpcg->gnorm,0.0,tao->step));
1639566063dSJacob Faibussowitsch   PetscCall((*tao->ops->convergencetest)(tao,tao->cnvP));
16474962610SAlp Dener 
16574962610SAlp Dener   while (tao->reason == TAO_CONTINUE_ITERATING) {
166e1e80dc8SAlp Dener     /* Call general purpose update function */
167e1e80dc8SAlp Dener     if (tao->ops->update) {
1689566063dSJacob Faibussowitsch       PetscCall((*tao->ops->update)(tao, tao->niter, tao->user_update));
169e1e80dc8SAlp Dener     }
17074962610SAlp Dener     tao->ksp_its=0;
17174962610SAlp Dener 
1729566063dSJacob Faibussowitsch     PetscCall(GPCGGradProjections(tao));
1739566063dSJacob Faibussowitsch     PetscCall(ISGetSize(gpcg->Free_Local,&gpcg->n_free));
17474962610SAlp Dener 
17574962610SAlp Dener     f=gpcg->f; gnorm=gpcg->gnorm;
17674962610SAlp Dener 
1779566063dSJacob Faibussowitsch     PetscCall(KSPReset(tao->ksp));
17874962610SAlp Dener 
17974962610SAlp Dener     if (gpcg->n_free > 0) {
18074962610SAlp Dener       /* Create a reduced linear system */
1819566063dSJacob Faibussowitsch       PetscCall(VecDestroy(&gpcg->R));
1829566063dSJacob Faibussowitsch       PetscCall(VecDestroy(&gpcg->DXFree));
1839566063dSJacob Faibussowitsch       PetscCall(TaoVecGetSubVec(tao->gradient,gpcg->Free_Local, tao->subset_type, 0.0, &gpcg->R));
1849566063dSJacob Faibussowitsch       PetscCall(VecScale(gpcg->R, -1.0));
1859566063dSJacob Faibussowitsch       PetscCall(TaoVecGetSubVec(tao->stepdirection,gpcg->Free_Local,tao->subset_type, 0.0, &gpcg->DXFree));
1869566063dSJacob Faibussowitsch       PetscCall(VecSet(gpcg->DXFree,0.0));
18774962610SAlp Dener 
1889566063dSJacob Faibussowitsch       PetscCall(TaoMatGetSubMat(tao->hessian, gpcg->Free_Local, gpcg->Work, tao->subset_type, &gpcg->Hsub));
18974962610SAlp Dener 
19074962610SAlp Dener       if (tao->hessian_pre == tao->hessian) {
1919566063dSJacob Faibussowitsch         PetscCall(MatDestroy(&gpcg->Hsub_pre));
1929566063dSJacob Faibussowitsch         PetscCall(PetscObjectReference((PetscObject)gpcg->Hsub));
19374962610SAlp Dener         gpcg->Hsub_pre = gpcg->Hsub;
19474962610SAlp Dener       }  else {
1959566063dSJacob Faibussowitsch         PetscCall(TaoMatGetSubMat(tao->hessian, gpcg->Free_Local, gpcg->Work, tao->subset_type, &gpcg->Hsub_pre));
19674962610SAlp Dener       }
19774962610SAlp Dener 
1989566063dSJacob Faibussowitsch       PetscCall(KSPReset(tao->ksp));
1999566063dSJacob Faibussowitsch       PetscCall(KSPSetOperators(tao->ksp,gpcg->Hsub,gpcg->Hsub_pre));
20074962610SAlp Dener 
2019566063dSJacob Faibussowitsch       PetscCall(KSPSolve(tao->ksp,gpcg->R,gpcg->DXFree));
2029566063dSJacob Faibussowitsch       PetscCall(KSPGetIterationNumber(tao->ksp,&its));
20374962610SAlp Dener       tao->ksp_its+=its;
20474962610SAlp Dener       tao->ksp_tot_its+=its;
2059566063dSJacob Faibussowitsch       PetscCall(VecSet(tao->stepdirection,0.0));
2069566063dSJacob Faibussowitsch       PetscCall(VecISAXPY(tao->stepdirection,gpcg->Free_Local,1.0,gpcg->DXFree));
20774962610SAlp Dener 
2089566063dSJacob Faibussowitsch       PetscCall(VecDot(tao->stepdirection,tao->gradient,&gdx));
2099566063dSJacob Faibussowitsch       PetscCall(TaoLineSearchSetInitialStepLength(tao->linesearch,1.0));
21074962610SAlp Dener       f_new=f;
2119566063dSJacob Faibussowitsch       PetscCall(TaoLineSearchApply(tao->linesearch,tao->solution,&f_new,tao->gradient,tao->stepdirection,&stepsize,&ls_status));
21274962610SAlp Dener 
21374962610SAlp Dener       actred = f_new - f;
21474962610SAlp Dener 
21574962610SAlp Dener       /* Evaluate the function and gradient at the new point */
2169566063dSJacob Faibussowitsch       PetscCall(VecBoundGradientProjection(tao->gradient,tao->solution,tao->XL,tao->XU, gpcg->PG));
2179566063dSJacob Faibussowitsch       PetscCall(VecNorm(gpcg->PG, NORM_2, &gnorm));
21874962610SAlp Dener       f=f_new;
2199566063dSJacob Faibussowitsch       PetscCall(ISDestroy(&gpcg->Free_Local));
2209566063dSJacob Faibussowitsch       PetscCall(VecWhichInactive(tao->XL,tao->solution,tao->gradient,tao->XU,PETSC_TRUE,&gpcg->Free_Local));
22174962610SAlp Dener     } else {
22274962610SAlp Dener       actred = 0; gpcg->step=1.0;
22374962610SAlp Dener       /* if there were no free variables, no cg method */
22474962610SAlp Dener     }
22574962610SAlp Dener 
22674962610SAlp Dener     tao->niter++;
22774962610SAlp Dener     gpcg->f=f;gpcg->gnorm=gnorm; gpcg->actred=actred;
2289566063dSJacob Faibussowitsch     PetscCall(TaoLogConvergenceHistory(tao,f,gpcg->gnorm,0.0,tao->ksp_its));
2299566063dSJacob Faibussowitsch     PetscCall(TaoMonitor(tao,tao->niter,f,gpcg->gnorm,0.0,tao->step));
2309566063dSJacob Faibussowitsch     PetscCall((*tao->ops->convergencetest)(tao,tao->cnvP));
23174962610SAlp Dener     if (tao->reason != TAO_CONTINUE_ITERATING) break;
23274962610SAlp Dener   }  /* END MAIN LOOP  */
23374962610SAlp Dener 
23474962610SAlp Dener   PetscFunctionReturn(0);
23574962610SAlp Dener }
23674962610SAlp Dener 
23774962610SAlp Dener static PetscErrorCode GPCGGradProjections(Tao tao)
23874962610SAlp Dener {
23974962610SAlp Dener   TAO_GPCG                       *gpcg = (TAO_GPCG *)tao->data;
24074962610SAlp Dener   PetscInt                       i;
24174962610SAlp Dener   PetscReal                      actred=-1.0,actred_max=0.0, gAg,gtg=gpcg->gnorm,alpha;
24274962610SAlp Dener   PetscReal                      f_new,gdx,stepsize;
24374962610SAlp Dener   Vec                            DX=tao->stepdirection,XL=tao->XL,XU=tao->XU,Work=gpcg->Work;
24474962610SAlp Dener   Vec                            X=tao->solution,G=tao->gradient;
24574962610SAlp Dener   TaoLineSearchConvergedReason lsflag=TAOLINESEARCH_CONTINUE_ITERATING;
24674962610SAlp Dener 
24774962610SAlp Dener   /*
24874962610SAlp Dener      The free, active, and binding variables should be already identified
24974962610SAlp Dener   */
25074962610SAlp Dener   PetscFunctionBegin;
25174962610SAlp Dener   for (i=0;i<gpcg->maxgpits;i++) {
25274962610SAlp Dener     if (-actred <= (gpcg->pg_ftol)*actred_max) break;
2539566063dSJacob Faibussowitsch     PetscCall(VecBoundGradientProjection(G,X,XL,XU,DX));
2549566063dSJacob Faibussowitsch     PetscCall(VecScale(DX,-1.0));
2559566063dSJacob Faibussowitsch     PetscCall(VecDot(DX,G,&gdx));
25674962610SAlp Dener 
2579566063dSJacob Faibussowitsch     PetscCall(MatMult(tao->hessian,DX,Work));
2589566063dSJacob Faibussowitsch     PetscCall(VecDot(DX,Work,&gAg));
25974962610SAlp Dener 
26074962610SAlp Dener     gpcg->gp_iterates++;
26174962610SAlp Dener     gpcg->total_gp_its++;
26274962610SAlp Dener 
26374962610SAlp Dener     gtg=-gdx;
26474962610SAlp Dener     if (PetscAbsReal(gAg) == 0.0) {
26574962610SAlp Dener       alpha = 1.0;
26674962610SAlp Dener     } else {
26774962610SAlp Dener       alpha = PetscAbsReal(gtg/gAg);
26874962610SAlp Dener     }
2699566063dSJacob Faibussowitsch     PetscCall(TaoLineSearchSetInitialStepLength(tao->linesearch,alpha));
27074962610SAlp Dener     f_new=gpcg->f;
2719566063dSJacob Faibussowitsch     PetscCall(TaoLineSearchApply(tao->linesearch,X,&f_new,G,DX,&stepsize,&lsflag));
27274962610SAlp Dener 
27374962610SAlp Dener     /* Update the iterate */
27474962610SAlp Dener     actred = f_new - gpcg->f;
27574962610SAlp Dener     actred_max = PetscMax(actred_max,-(f_new - gpcg->f));
27674962610SAlp Dener     gpcg->f = f_new;
2779566063dSJacob Faibussowitsch     PetscCall(ISDestroy(&gpcg->Free_Local));
2789566063dSJacob Faibussowitsch     PetscCall(VecWhichInactive(XL,X,tao->gradient,XU,PETSC_TRUE,&gpcg->Free_Local));
27974962610SAlp Dener   }
28074962610SAlp Dener 
28174962610SAlp Dener   gpcg->gnorm=gtg;
28274962610SAlp Dener   PetscFunctionReturn(0);
28374962610SAlp Dener } /* End gradient projections */
28474962610SAlp Dener 
28574962610SAlp Dener static PetscErrorCode TaoComputeDual_GPCG(Tao tao, Vec DXL, Vec DXU)
28674962610SAlp Dener {
28774962610SAlp Dener   TAO_GPCG       *gpcg = (TAO_GPCG *)tao->data;
28874962610SAlp Dener 
28974962610SAlp Dener   PetscFunctionBegin;
2909566063dSJacob Faibussowitsch   PetscCall(VecBoundGradientProjection(tao->gradient, tao->solution, tao->XL, tao->XU, gpcg->Work));
2919566063dSJacob Faibussowitsch   PetscCall(VecCopy(gpcg->Work, DXL));
2929566063dSJacob Faibussowitsch   PetscCall(VecAXPY(DXL,-1.0,tao->gradient));
2939566063dSJacob Faibussowitsch   PetscCall(VecSet(DXU,0.0));
2949566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMax(DXL,DXL,DXU));
29574962610SAlp Dener 
2969566063dSJacob Faibussowitsch   PetscCall(VecCopy(tao->gradient,DXU));
2979566063dSJacob Faibussowitsch   PetscCall(VecAXPY(DXU,-1.0,gpcg->Work));
2989566063dSJacob Faibussowitsch   PetscCall(VecSet(gpcg->Work,0.0));
2999566063dSJacob Faibussowitsch   PetscCall(VecPointwiseMin(DXU,gpcg->Work,DXU));
30074962610SAlp Dener   PetscFunctionReturn(0);
30174962610SAlp Dener }
30274962610SAlp Dener 
30374962610SAlp Dener /*------------------------------------------------------------*/
30474962610SAlp Dener /*MC
30574962610SAlp Dener   TAOGPCG - gradient projected conjugate gradient algorithm is an active-set
30674962610SAlp Dener         conjugate-gradient based method for bound-constrained minimization
30774962610SAlp Dener 
30874962610SAlp Dener   Options Database Keys:
30974962610SAlp Dener + -tao_gpcg_maxpgits - maximum number of gradient projections for GPCG iterate
31074962610SAlp Dener - -tao_subset_type - "subvec","mask","matrix-free", strategies for handling active-sets
31174962610SAlp Dener 
31274962610SAlp Dener   Level: beginner
31374962610SAlp Dener M*/
31474962610SAlp Dener PETSC_EXTERN PetscErrorCode TaoCreate_GPCG(Tao tao)
31574962610SAlp Dener {
31674962610SAlp Dener   TAO_GPCG       *gpcg;
31774962610SAlp Dener 
31874962610SAlp Dener   PetscFunctionBegin;
31974962610SAlp Dener   tao->ops->setup = TaoSetup_GPCG;
32074962610SAlp Dener   tao->ops->solve = TaoSolve_GPCG;
32174962610SAlp Dener   tao->ops->view  = TaoView_GPCG;
32274962610SAlp Dener   tao->ops->setfromoptions = TaoSetFromOptions_GPCG;
32374962610SAlp Dener   tao->ops->destroy = TaoDestroy_GPCG;
32474962610SAlp Dener   tao->ops->computedual = TaoComputeDual_GPCG;
32574962610SAlp Dener 
3269566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(tao,&gpcg));
32774962610SAlp Dener   tao->data = (void*)gpcg;
32874962610SAlp Dener 
32974962610SAlp Dener   /* Override default settings (unless already changed) */
33074962610SAlp Dener   if (!tao->max_it_changed) tao->max_it=500;
33174962610SAlp Dener   if (!tao->max_funcs_changed) tao->max_funcs = 100000;
33274962610SAlp Dener #if defined(PETSC_USE_REAL_SINGLE)
33374962610SAlp Dener   if (!tao->gatol_changed) tao->gatol=1e-6;
33474962610SAlp Dener   if (!tao->grtol_changed) tao->grtol=1e-6;
33574962610SAlp Dener #else
33674962610SAlp Dener   if (!tao->gatol_changed) tao->gatol=1e-12;
33774962610SAlp Dener   if (!tao->grtol_changed) tao->grtol=1e-12;
33874962610SAlp Dener #endif
33974962610SAlp Dener 
34074962610SAlp Dener   /* Initialize pointers and variables */
34174962610SAlp Dener   gpcg->n=0;
34274962610SAlp Dener   gpcg->maxgpits = 8;
34374962610SAlp Dener   gpcg->pg_ftol = 0.1;
34474962610SAlp Dener 
34574962610SAlp Dener   gpcg->gp_iterates=0; /* Cumulative number */
34674962610SAlp Dener   gpcg->total_gp_its = 0;
34774962610SAlp Dener 
34874962610SAlp Dener   /* Initialize pointers and variables */
34974962610SAlp Dener   gpcg->n_bind=0;
35074962610SAlp Dener   gpcg->n_free = 0;
35174962610SAlp Dener   gpcg->n_upper=0;
35274962610SAlp Dener   gpcg->n_lower=0;
35374962610SAlp Dener   gpcg->subset_type = TAO_SUBSET_MASK;
35474962610SAlp Dener   gpcg->Hsub=NULL;
35574962610SAlp Dener   gpcg->Hsub_pre=NULL;
35674962610SAlp Dener 
3579566063dSJacob Faibussowitsch   PetscCall(KSPCreate(((PetscObject)tao)->comm, &tao->ksp));
3589566063dSJacob Faibussowitsch   PetscCall(PetscObjectIncrementTabLevel((PetscObject)tao->ksp, (PetscObject)tao, 1));
3599566063dSJacob Faibussowitsch   PetscCall(KSPSetOptionsPrefix(tao->ksp, tao->hdr.prefix));
3609566063dSJacob Faibussowitsch   PetscCall(KSPSetType(tao->ksp,KSPNASH));
36174962610SAlp Dener 
3629566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchCreate(((PetscObject)tao)->comm, &tao->linesearch));
3639566063dSJacob Faibussowitsch   PetscCall(PetscObjectIncrementTabLevel((PetscObject)tao->linesearch, (PetscObject)tao, 1));
3649566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchSetType(tao->linesearch, TAOLINESEARCHGPCG));
3659566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchSetObjectiveAndGradientRoutine(tao->linesearch, GPCGObjectiveAndGradient, tao));
3669566063dSJacob Faibussowitsch   PetscCall(TaoLineSearchSetOptionsPrefix(tao->linesearch,tao->hdr.prefix));
36774962610SAlp Dener   PetscFunctionReturn(0);
36874962610SAlp Dener }
369