xref: /petsc/src/tao/unconstrained/impls/lmvm/lmvm.c (revision 3ecd93180ca3e0505f53284726a9519041077843)
1ba92ff59SBarry Smith #include <petsctaolinesearch.h>
2aaa7dc30SBarry Smith #include <../src/tao/matrix/lmvmmat.h>
3aaa7dc30SBarry Smith #include <../src/tao/unconstrained/impls/lmvm/lmvm.h>
4a7e14dcfSSatish Balay 
5a7e14dcfSSatish Balay #define LMVM_BFGS                0
6a7e14dcfSSatish Balay #define LMVM_SCALED_GRADIENT     1
7a7e14dcfSSatish Balay #define LMVM_GRADIENT            2
8a7e14dcfSSatish Balay 
9441846f8SBarry Smith static PetscErrorCode TaoSolve_LMVM(Tao tao)
10a7e14dcfSSatish Balay {
11a7e14dcfSSatish Balay   TAO_LMVM                     *lmP = (TAO_LMVM *)tao->data;
12a7e14dcfSSatish Balay   PetscReal                    f, fold, gdx, gnorm;
13a7e14dcfSSatish Balay   PetscReal                    step = 1.0;
14a7e14dcfSSatish Balay   PetscReal                    delta;
15a7e14dcfSSatish Balay   PetscErrorCode               ierr;
16*3ecd9318SAlp Dener   PetscInt                     stepType;
17e4cb33bbSBarry Smith   TaoLineSearchConvergedReason ls_status = TAOLINESEARCH_CONTINUE_ITERATING;
18a7e14dcfSSatish Balay 
19a7e14dcfSSatish Balay   PetscFunctionBegin;
20a7e14dcfSSatish Balay 
21a7e14dcfSSatish Balay   if (tao->XL || tao->XU || tao->ops->computebounds) {
22a7e14dcfSSatish Balay     ierr = PetscPrintf(((PetscObject)tao)->comm,"WARNING: Variable bounds have been set but will be ignored by lmvm algorithm\n");CHKERRQ(ierr);
23a7e14dcfSSatish Balay   }
24a7e14dcfSSatish Balay 
25a7e14dcfSSatish Balay   /*  Check convergence criteria */
26a7e14dcfSSatish Balay   ierr = TaoComputeObjectiveAndGradient(tao, tao->solution, &f, tao->gradient);CHKERRQ(ierr);
27a9603a14SPatrick Farrell   ierr = TaoGradientNorm(tao, tao->gradient,NORM_2,&gnorm);CHKERRQ(ierr);
28a9603a14SPatrick Farrell 
2987f595a5SBarry Smith   if (PetscIsInfOrNanReal(f) || PetscIsInfOrNanReal(gnorm)) SETERRQ(PETSC_COMM_SELF,1, "User provided compute function generated Inf or NaN");
30a7e14dcfSSatish Balay 
31*3ecd9318SAlp Dener   tao->reason = TAO_CONTINUE_ITERATING;
32*3ecd9318SAlp Dener   ierr = TaoLogConvergenceHistory(tao,f,gnorm,0.0,tao->ksp_its);CHKERRQ(ierr);
33*3ecd9318SAlp Dener   ierr = TaoMonitor(tao,tao->niter,f,gnorm,0.0,step);CHKERRQ(ierr);
34*3ecd9318SAlp Dener   ierr = (*tao->ops->convergencetest)(tao,tao->cnvP);CHKERRQ(ierr);
35*3ecd9318SAlp Dener   if (tao->reason != TAO_CONTINUE_ITERATING) PetscFunctionReturn(0);
36a7e14dcfSSatish Balay 
37a7e14dcfSSatish Balay   /*  Set initial scaling for the function */
38a7e14dcfSSatish Balay   if (f != 0.0) {
39a7e14dcfSSatish Balay     delta = 2.0 * PetscAbsScalar(f) / (gnorm*gnorm);
4087f595a5SBarry Smith   } else {
41a7e14dcfSSatish Balay     delta = 2.0 / (gnorm*gnorm);
42a7e14dcfSSatish Balay   }
43a7e14dcfSSatish Balay   ierr = MatLMVMSetDelta(lmP->M,delta);CHKERRQ(ierr);
44a7e14dcfSSatish Balay 
45a7e14dcfSSatish Balay   /*  Set counter for gradient/reset steps */
46de6ffafeSAlp Dener   ierr = MatLMVMGetRecycleFlag(lmP->M, &recycle);CHKERRQ(ierr);
47de6ffafeSAlp Dener   if (!recycle) {
48a7e14dcfSSatish Balay     lmP->bfgs = 0;
49a7e14dcfSSatish Balay     lmP->sgrad = 0;
50a7e14dcfSSatish Balay     lmP->grad = 0;
51e6770958SAlp Dener     ierr = MatLMVMReset(lmP->M); CHKERRQ(ierr);
52de6ffafeSAlp Dener   }
53a7e14dcfSSatish Balay 
54a7e14dcfSSatish Balay   /*  Have not converged; continue with Newton method */
55*3ecd9318SAlp Dener   while (tao->reason == TAO_CONTINUE_ITERATING) {
56a7e14dcfSSatish Balay     /*  Compute direction */
57a7e14dcfSSatish Balay     ierr = MatLMVMUpdate(lmP->M,tao->solution,tao->gradient);CHKERRQ(ierr);
58a7e14dcfSSatish Balay     ierr = MatLMVMSolve(lmP->M, tao->gradient, lmP->D);CHKERRQ(ierr);
59a7e14dcfSSatish Balay 
60a7e14dcfSSatish Balay     /*  Check for success (descent direction) */
61a7e14dcfSSatish Balay     ierr = VecDot(lmP->D, tao->gradient, &gdx);CHKERRQ(ierr);
62a7e14dcfSSatish Balay     if ((gdx <= 0.0) || PetscIsInfOrNanReal(gdx)) {
63a7e14dcfSSatish Balay       /* Step is not descent or direction produced not a number
64a7e14dcfSSatish Balay          We can assert bfgsUpdates > 1 in this case because
65a7e14dcfSSatish Balay          the first solve produces the scaled gradient direction,
66a7e14dcfSSatish Balay          which is guaranteed to be descent
67a7e14dcfSSatish Balay 
68a7e14dcfSSatish Balay          Use steepest descent direction (scaled)
69a7e14dcfSSatish Balay       */
70a7e14dcfSSatish Balay 
71a7e14dcfSSatish Balay       if (f != 0.0) {
72a7e14dcfSSatish Balay         delta = 2.0 * PetscAbsScalar(f) / (gnorm*gnorm);
7387f595a5SBarry Smith       } else {
74a7e14dcfSSatish Balay         delta = 2.0 / (gnorm*gnorm);
75a7e14dcfSSatish Balay       }
76a7e14dcfSSatish Balay       ierr = MatLMVMSetDelta(lmP->M, delta);CHKERRQ(ierr);
77a7e14dcfSSatish Balay       ierr = MatLMVMReset(lmP->M);CHKERRQ(ierr);
78a7e14dcfSSatish Balay       ierr = MatLMVMUpdate(lmP->M, tao->solution, tao->gradient);CHKERRQ(ierr);
79a7e14dcfSSatish Balay       ierr = MatLMVMSolve(lmP->M,tao->gradient, lmP->D);CHKERRQ(ierr);
80a7e14dcfSSatish Balay 
81a7e14dcfSSatish Balay       /* On a reset, the direction cannot be not a number; it is a
82a7e14dcfSSatish Balay          scaled gradient step.  No need to check for this condition. */
83a7e14dcfSSatish Balay       ++lmP->sgrad;
84a7e14dcfSSatish Balay       stepType = LMVM_SCALED_GRADIENT;
8587f595a5SBarry Smith     } else {
864d6623b4SAlp Dener       ierr = MatLMVMGetUpdates(lmP->M, &nupdates); CHKERRQ(ierr);
874d6623b4SAlp Dener       if (1 == nupdates) {
88a7e14dcfSSatish Balay         /*  The first BFGS direction is always the scaled gradient */
89a7e14dcfSSatish Balay         ++lmP->sgrad;
90a7e14dcfSSatish Balay         stepType = LMVM_SCALED_GRADIENT;
9187f595a5SBarry Smith       } else {
92a7e14dcfSSatish Balay         ++lmP->bfgs;
93a7e14dcfSSatish Balay         stepType = LMVM_BFGS;
94a7e14dcfSSatish Balay       }
95a7e14dcfSSatish Balay     }
96a7e14dcfSSatish Balay     ierr = VecScale(lmP->D, -1.0);CHKERRQ(ierr);
97a7e14dcfSSatish Balay 
98a7e14dcfSSatish Balay     /*  Perform the linesearch */
99a7e14dcfSSatish Balay     fold = f;
100a7e14dcfSSatish Balay     ierr = VecCopy(tao->solution, lmP->Xold);CHKERRQ(ierr);
101a7e14dcfSSatish Balay     ierr = VecCopy(tao->gradient, lmP->Gold);CHKERRQ(ierr);
102a7e14dcfSSatish Balay 
103a7e14dcfSSatish Balay     ierr = TaoLineSearchApply(tao->linesearch, tao->solution, &f, tao->gradient, lmP->D, &step,&ls_status);CHKERRQ(ierr);
104a7e14dcfSSatish Balay     ierr = TaoAddLineSearchCounts(tao);CHKERRQ(ierr);
105a7e14dcfSSatish Balay 
10687f595a5SBarry Smith     while (ls_status != TAOLINESEARCH_SUCCESS && ls_status != TAOLINESEARCH_SUCCESS_USER && (stepType != LMVM_GRADIENT)) {
107a7e14dcfSSatish Balay       /*  Linesearch failed */
1085e43d397SAlp Dener       ierr = PetscInfo(lmP, "WARNING: Linesearch failed!\n"); CHKERRQ(ierr);
109a7e14dcfSSatish Balay       /*  Reset factors and use scaled gradient step */
110a7e14dcfSSatish Balay       f = fold;
111a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Xold, tao->solution);CHKERRQ(ierr);
112a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Gold, tao->gradient);CHKERRQ(ierr);
113a7e14dcfSSatish Balay 
114a7e14dcfSSatish Balay       switch(stepType) {
115a7e14dcfSSatish Balay       case LMVM_BFGS:
116a7e14dcfSSatish Balay         /*  Failed to obtain acceptable iterate with BFGS step */
117a7e14dcfSSatish Balay         /*  Attempt to use the scaled gradient direction */
118a7e14dcfSSatish Balay 
119a7e14dcfSSatish Balay         if (f != 0.0) {
120a7e14dcfSSatish Balay           delta = 2.0 * PetscAbsScalar(f) / (gnorm*gnorm);
12187f595a5SBarry Smith         } else {
122a7e14dcfSSatish Balay           delta = 2.0 / (gnorm*gnorm);
123a7e14dcfSSatish Balay         }
124a7e14dcfSSatish Balay         ierr = MatLMVMSetDelta(lmP->M, delta);CHKERRQ(ierr);
125a7e14dcfSSatish Balay         ierr = MatLMVMReset(lmP->M);CHKERRQ(ierr);
126a7e14dcfSSatish Balay         ierr = MatLMVMUpdate(lmP->M, tao->solution, tao->gradient);CHKERRQ(ierr);
127a7e14dcfSSatish Balay         ierr = MatLMVMSolve(lmP->M, tao->gradient, lmP->D);CHKERRQ(ierr);
128a7e14dcfSSatish Balay 
129a7e14dcfSSatish Balay         /* On a reset, the direction cannot be not a number; it is a
130a7e14dcfSSatish Balay            scaled gradient step.  No need to check for this condition. */
1314d6623b4SAlp Dener         --lmP->bfgs;
132a7e14dcfSSatish Balay         ++lmP->sgrad;
133a7e14dcfSSatish Balay         stepType = LMVM_SCALED_GRADIENT;
134a7e14dcfSSatish Balay         break;
135a7e14dcfSSatish Balay 
136a7e14dcfSSatish Balay       case LMVM_SCALED_GRADIENT:
137a7e14dcfSSatish Balay         /* The scaled gradient step did not produce a new iterate;
138a7e14dcfSSatish Balay            attempt to use the gradient direction.
139a7e14dcfSSatish Balay            Need to make sure we are not using a different diagonal scaling */
140a7e14dcfSSatish Balay         ierr = MatLMVMSetDelta(lmP->M, 1.0);CHKERRQ(ierr);
141a7e14dcfSSatish Balay         ierr = MatLMVMReset(lmP->M);CHKERRQ(ierr);
142a7e14dcfSSatish Balay         ierr = MatLMVMUpdate(lmP->M, tao->solution, tao->gradient);CHKERRQ(ierr);
143a7e14dcfSSatish Balay         ierr = MatLMVMSolve(lmP->M, tao->gradient, lmP->D);CHKERRQ(ierr);
144a7e14dcfSSatish Balay 
1454d6623b4SAlp Dener         --lmP->sgrad;
146a7e14dcfSSatish Balay         ++lmP->grad;
147a7e14dcfSSatish Balay         stepType = LMVM_GRADIENT;
148a7e14dcfSSatish Balay         break;
149a7e14dcfSSatish Balay       }
150a7e14dcfSSatish Balay       ierr = VecScale(lmP->D, -1.0);CHKERRQ(ierr);
151a7e14dcfSSatish Balay 
152a7e14dcfSSatish Balay       /*  Perform the linesearch */
153a7e14dcfSSatish Balay       ierr = TaoLineSearchApply(tao->linesearch, tao->solution, &f, tao->gradient, lmP->D, &step, &ls_status);CHKERRQ(ierr);
154a7e14dcfSSatish Balay       ierr = TaoAddLineSearchCounts(tao);CHKERRQ(ierr);
155a7e14dcfSSatish Balay     }
156a7e14dcfSSatish Balay 
15787f595a5SBarry Smith     if (ls_status != TAOLINESEARCH_SUCCESS && ls_status != TAOLINESEARCH_SUCCESS_USER) {
158a7e14dcfSSatish Balay       /*  Failed to find an improving point */
159a7e14dcfSSatish Balay       f = fold;
160a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Xold, tao->solution);CHKERRQ(ierr);
161a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Gold, tao->gradient);CHKERRQ(ierr);
162a7e14dcfSSatish Balay       step = 0.0;
163a7e14dcfSSatish Balay       tao->reason = TAO_DIVERGED_LS_FAILURE;
164a7e14dcfSSatish Balay     }
165a9603a14SPatrick Farrell 
166a7e14dcfSSatish Balay     /*  Check for termination */
167a9603a14SPatrick Farrell     ierr = TaoGradientNorm(tao, tao->gradient,NORM_2,&gnorm);CHKERRQ(ierr);
168a9603a14SPatrick Farrell 
1698931d482SJason Sarich     tao->niter++;
170*3ecd9318SAlp Dener     ierr = TaoLogConvergenceHistory(tao,f,gnorm,0.0,tao->ksp_its);CHKERRQ(ierr);
171*3ecd9318SAlp Dener     ierr = TaoMonitor(tao,tao->niter,f,gnorm,0.0,step);CHKERRQ(ierr);
172*3ecd9318SAlp Dener     ierr = (*tao->ops->convergencetest)(tao,tao->cnvP);CHKERRQ(ierr);
173a7e14dcfSSatish Balay   }
174a7e14dcfSSatish Balay   PetscFunctionReturn(0);
175a7e14dcfSSatish Balay }
17687f595a5SBarry Smith 
177441846f8SBarry Smith static PetscErrorCode TaoSetUp_LMVM(Tao tao)
178a7e14dcfSSatish Balay {
179a7e14dcfSSatish Balay   TAO_LMVM       *lmP = (TAO_LMVM *)tao->data;
180a7e14dcfSSatish Balay   PetscInt       n,N;
181a7e14dcfSSatish Balay   PetscErrorCode ierr;
182a9603a14SPatrick Farrell   KSP            H0ksp;
183a7e14dcfSSatish Balay 
184a7e14dcfSSatish Balay   PetscFunctionBegin;
185a7e14dcfSSatish Balay   /* Existence of tao->solution checked in TaoSetUp() */
186a7e14dcfSSatish Balay   if (!tao->gradient) {ierr = VecDuplicate(tao->solution,&tao->gradient);CHKERRQ(ierr);  }
187a7e14dcfSSatish Balay   if (!tao->stepdirection) {ierr = VecDuplicate(tao->solution,&tao->stepdirection);CHKERRQ(ierr);  }
188a7e14dcfSSatish Balay   if (!lmP->D) {ierr = VecDuplicate(tao->solution,&lmP->D);CHKERRQ(ierr);  }
189a7e14dcfSSatish Balay   if (!lmP->Xold) {ierr = VecDuplicate(tao->solution,&lmP->Xold);CHKERRQ(ierr);  }
190a7e14dcfSSatish Balay   if (!lmP->Gold) {ierr = VecDuplicate(tao->solution,&lmP->Gold);CHKERRQ(ierr);  }
191a7e14dcfSSatish Balay 
192a7e14dcfSSatish Balay   /*  Create matrix for the limited memory approximation */
193a7e14dcfSSatish Balay   ierr = VecGetLocalSize(tao->solution,&n);CHKERRQ(ierr);
194a7e14dcfSSatish Balay   ierr = VecGetSize(tao->solution,&N);CHKERRQ(ierr);
195a7e14dcfSSatish Balay   ierr = MatCreateLMVM(((PetscObject)tao)->comm,n,N,&lmP->M);CHKERRQ(ierr);
196a7e14dcfSSatish Balay   ierr = MatLMVMAllocateVectors(lmP->M,tao->solution);CHKERRQ(ierr);
197a9603a14SPatrick Farrell 
198a9603a14SPatrick Farrell   /* If the user has set a matrix to solve as the initial H0, set the options prefix here, and set up the KSP */
199a9603a14SPatrick Farrell   if (lmP->H0) {
200a9603a14SPatrick Farrell     const char *prefix;
201a9603a14SPatrick Farrell     PC H0pc;
202a9603a14SPatrick Farrell 
203a9603a14SPatrick Farrell     ierr = MatLMVMSetH0(lmP->M, lmP->H0);CHKERRQ(ierr);
204a9603a14SPatrick Farrell     ierr = MatLMVMGetH0KSP(lmP->M, &H0ksp);CHKERRQ(ierr);
205a9603a14SPatrick Farrell 
206a9603a14SPatrick Farrell     ierr = TaoGetOptionsPrefix(tao, &prefix);CHKERRQ(ierr);
207a9603a14SPatrick Farrell     ierr = KSPSetOptionsPrefix(H0ksp, prefix);CHKERRQ(ierr);
208a9603a14SPatrick Farrell     ierr = PetscObjectAppendOptionsPrefix((PetscObject)H0ksp, "tao_h0_");CHKERRQ(ierr);
209a9603a14SPatrick Farrell     ierr = KSPGetPC(H0ksp, &H0pc);CHKERRQ(ierr);
210a9603a14SPatrick Farrell     ierr = PetscObjectAppendOptionsPrefix((PetscObject)H0pc,  "tao_h0_");CHKERRQ(ierr);
211a9603a14SPatrick Farrell 
212a9603a14SPatrick Farrell     ierr = KSPSetFromOptions(H0ksp);CHKERRQ(ierr);
213a9603a14SPatrick Farrell     ierr = KSPSetUp(H0ksp);CHKERRQ(ierr);
214a9603a14SPatrick Farrell   }
215a9603a14SPatrick Farrell 
216a7e14dcfSSatish Balay   PetscFunctionReturn(0);
217a7e14dcfSSatish Balay }
218a7e14dcfSSatish Balay 
219a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
220441846f8SBarry Smith static PetscErrorCode TaoDestroy_LMVM(Tao tao)
221a7e14dcfSSatish Balay {
222a7e14dcfSSatish Balay   TAO_LMVM       *lmP = (TAO_LMVM *)tao->data;
223a7e14dcfSSatish Balay   PetscErrorCode ierr;
2247a93b6fcSAlp Dener   PetscBool      recycle;
225a7e14dcfSSatish Balay 
226a7e14dcfSSatish Balay   PetscFunctionBegin;
22737bd4e68SAlp Dener   if (lmP->M) {
2288da10b61SAlp Dener     ierr = MatLMVMGetRecycleFlag(lmP->M, &recycle); CHKERRQ(ierr);
2295e43d397SAlp Dener     if (recycle) {
230bc1971f5SAlp Dener       ierr = PetscInfo(lmP->M, "WARNING: TaoDestroy() called when LMVM recycling is enabled!\n"); CHKERRQ(ierr);
2315e43d397SAlp Dener     }
23237bd4e68SAlp Dener   }
2337a93b6fcSAlp Dener 
234a7e14dcfSSatish Balay   if (tao->setupcalled) {
235a7e14dcfSSatish Balay     ierr = VecDestroy(&lmP->Xold);CHKERRQ(ierr);
236a7e14dcfSSatish Balay     ierr = VecDestroy(&lmP->Gold);CHKERRQ(ierr);
237a7e14dcfSSatish Balay     ierr = VecDestroy(&lmP->D);CHKERRQ(ierr);
238a7e14dcfSSatish Balay     ierr = MatDestroy(&lmP->M);CHKERRQ(ierr);
239a7e14dcfSSatish Balay   }
240a9603a14SPatrick Farrell 
241a9603a14SPatrick Farrell   if (lmP->H0) {
242a9603a14SPatrick Farrell     ierr = PetscObjectDereference((PetscObject)lmP->H0);CHKERRQ(ierr);
243a9603a14SPatrick Farrell   }
244a9603a14SPatrick Farrell 
245a7e14dcfSSatish Balay   ierr = PetscFree(tao->data);CHKERRQ(ierr);
246a9603a14SPatrick Farrell 
247a7e14dcfSSatish Balay   PetscFunctionReturn(0);
248a7e14dcfSSatish Balay }
249a7e14dcfSSatish Balay 
250a7e14dcfSSatish Balay /*------------------------------------------------------------*/
2514416b707SBarry Smith static PetscErrorCode TaoSetFromOptions_LMVM(PetscOptionItems *PetscOptionsObject,Tao tao)
252a7e14dcfSSatish Balay {
253a7e14dcfSSatish Balay   PetscErrorCode ierr;
254a7e14dcfSSatish Balay 
255a7e14dcfSSatish Balay   PetscFunctionBegin;
2561a1499c8SBarry Smith   ierr = PetscOptionsHead(PetscOptionsObject,"Limited-memory variable-metric method for unconstrained optimization");CHKERRQ(ierr);
257114d2d62SAlp Dener   ierr = TaoLineSearchSetFromOptions(tao->linesearch);CHKERRQ(ierr);
258288b7216SAlp Dener   ierr = PetscOptionsTail();CHKERRQ(ierr);
259a7e14dcfSSatish Balay   PetscFunctionReturn(0);
260a7e14dcfSSatish Balay }
261a7e14dcfSSatish Balay 
262a7e14dcfSSatish Balay /*------------------------------------------------------------*/
263441846f8SBarry Smith static PetscErrorCode TaoView_LMVM(Tao tao, PetscViewer viewer)
264a7e14dcfSSatish Balay {
265a7e14dcfSSatish Balay   TAO_LMVM       *lm = (TAO_LMVM *)tao->data;
266de6ffafeSAlp Dener   PetscBool      isascii, recycle;
2674d6623b4SAlp Dener   PetscInt       recycled_its;
268a7e14dcfSSatish Balay   PetscErrorCode ierr;
269a7e14dcfSSatish Balay 
270a7e14dcfSSatish Balay   PetscFunctionBegin;
271a7e14dcfSSatish Balay   ierr = PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii);CHKERRQ(ierr);
272a7e14dcfSSatish Balay   if (isascii) {
273a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
274a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPrintf(viewer, "BFGS steps: %D\n", lm->bfgs);CHKERRQ(ierr);
275a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPrintf(viewer, "Scaled gradient steps: %D\n", lm->sgrad);CHKERRQ(ierr);
276a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPrintf(viewer, "Gradient steps: %D\n", lm->grad);CHKERRQ(ierr);
277de6ffafeSAlp Dener     ierr = MatLMVMGetRecycleFlag(lm->M, &recycle);CHKERRQ(ierr);
278de6ffafeSAlp Dener     if (recycle) {
279288b7216SAlp Dener       ierr = PetscViewerASCIIPrintf(viewer, "Recycle: on\n");CHKERRQ(ierr);
2804d6623b4SAlp Dener       recycled_its = lm->bfgs + lm->sgrad + lm->grad;
2814d6623b4SAlp Dener       ierr = PetscViewerASCIIPrintf(viewer, "Total recycled iterations: %D\n", recycled_its);CHKERRQ(ierr);
282a0bfee83SAlp Dener     }
283a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
284a7e14dcfSSatish Balay   }
285a7e14dcfSSatish Balay   PetscFunctionReturn(0);
286a7e14dcfSSatish Balay }
287a7e14dcfSSatish Balay 
288a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
289a7e14dcfSSatish Balay 
2904aa34175SJason Sarich /*MC
2914aa34175SJason Sarich      TAOLMVM - Limited Memory Variable Metric method is a quasi-Newton
2924aa34175SJason Sarich      optimization solver for unconstrained minimization. It solves
2934aa34175SJason Sarich      the Newton step
2944aa34175SJason Sarich               Hkdk = - gk
2954aa34175SJason Sarich 
2964aa34175SJason Sarich      using an approximation Bk in place of Hk, where Bk is composed using
2974aa34175SJason Sarich      the BFGS update formula. A More-Thuente line search is then used
2984aa34175SJason Sarich      to computed the steplength in the dk direction
2994aa34175SJason Sarich   Options Database Keys:
3004aa34175SJason Sarich +     -tao_lmm_vectors - number of vectors to use for approximation
3014aa34175SJason Sarich .     -tao_lmm_scale_type - "none","scalar","broyden"
3024aa34175SJason Sarich .     -tao_lmm_limit_type - "none","average","relative","absolute"
3034aa34175SJason Sarich .     -tao_lmm_rescale_type - "none","scalar","gl"
3044aa34175SJason Sarich .     -tao_lmm_limit_mu - mu limiting factor
3054aa34175SJason Sarich .     -tao_lmm_limit_nu - nu limiting factor
3064aa34175SJason Sarich .     -tao_lmm_delta_min - minimum delta value
3074aa34175SJason Sarich .     -tao_lmm_delta_max - maximum delta value
3084aa34175SJason Sarich .     -tao_lmm_broyden_phi - phi factor for Broyden scaling
3094aa34175SJason Sarich .     -tao_lmm_scalar_alpha - alpha factor for scalar scaling
3104aa34175SJason Sarich .     -tao_lmm_rescale_alpha - alpha factor for rescaling diagonal
3114aa34175SJason Sarich .     -tao_lmm_rescale_beta - beta factor for rescaling diagonal
3124aa34175SJason Sarich .     -tao_lmm_scalar_history - amount of history for scalar scaling
3134aa34175SJason Sarich .     -tao_lmm_rescale_history - amount of history for rescaling diagonal
3143faadb29SAlp Dener .     -tao_lmm_eps - rejection tolerance
3153faadb29SAlp Dener -     -tao_lmm_recycle - enable recycling LMVM updates between TaoSolve() calls
3164aa34175SJason Sarich 
3171eb8069cSJason Sarich   Level: beginner
3184aa34175SJason Sarich M*/
3194aa34175SJason Sarich 
320728e0ed0SBarry Smith PETSC_EXTERN PetscErrorCode TaoCreate_LMVM(Tao tao)
321a7e14dcfSSatish Balay {
322a7e14dcfSSatish Balay   TAO_LMVM       *lmP;
3238caf6e8cSBarry Smith   const char     *morethuente_type = TAOLINESEARCHMT;
324a7e14dcfSSatish Balay   PetscErrorCode ierr;
325a7e14dcfSSatish Balay 
326a7e14dcfSSatish Balay   PetscFunctionBegin;
327a7e14dcfSSatish Balay   tao->ops->setup = TaoSetUp_LMVM;
328a7e14dcfSSatish Balay   tao->ops->solve = TaoSolve_LMVM;
329a7e14dcfSSatish Balay   tao->ops->view = TaoView_LMVM;
330a7e14dcfSSatish Balay   tao->ops->setfromoptions = TaoSetFromOptions_LMVM;
331a7e14dcfSSatish Balay   tao->ops->destroy = TaoDestroy_LMVM;
332a7e14dcfSSatish Balay 
3333c9e27cfSGeoffrey Irving   ierr = PetscNewLog(tao,&lmP);CHKERRQ(ierr);
334a7e14dcfSSatish Balay   lmP->D = 0;
335a7e14dcfSSatish Balay   lmP->M = 0;
336a7e14dcfSSatish Balay   lmP->Xold = 0;
337a7e14dcfSSatish Balay   lmP->Gold = 0;
338a9603a14SPatrick Farrell   lmP->H0   = NULL;
339a7e14dcfSSatish Balay 
340a7e14dcfSSatish Balay   tao->data = (void*)lmP;
3416552cf8aSJason Sarich   /* Override default settings (unless already changed) */
3426552cf8aSJason Sarich   if (!tao->max_it_changed) tao->max_it = 2000;
3436552cf8aSJason Sarich   if (!tao->max_funcs_changed) tao->max_funcs = 4000;
344a7e14dcfSSatish Balay 
345a7e14dcfSSatish Balay   ierr = TaoLineSearchCreate(((PetscObject)tao)->comm,&tao->linesearch);CHKERRQ(ierr);
34663b15415SAlp Dener   ierr = PetscObjectIncrementTabLevel((PetscObject)tao->linesearch, (PetscObject)tao, 1);CHKERRQ(ierr);
347a7e14dcfSSatish Balay   ierr = TaoLineSearchSetType(tao->linesearch,morethuente_type);CHKERRQ(ierr);
348441846f8SBarry Smith   ierr = TaoLineSearchUseTaoRoutines(tao->linesearch,tao);CHKERRQ(ierr);
3495d527766SPatrick Farrell   ierr = TaoLineSearchSetOptionsPrefix(tao->linesearch,tao->hdr.prefix);CHKERRQ(ierr);
350a7e14dcfSSatish Balay   PetscFunctionReturn(0);
351a7e14dcfSSatish Balay }
352