xref: /petsc/src/tao/unconstrained/impls/lmvm/lmvm.c (revision 8da10b61361faa46a29b7b095062f39615d87c9a)
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;
164d6623b4SAlp Dener   PetscInt                     stepType, nupdates;
17de6ffafeSAlp Dener   PetscBool                    recycle;
18e4cb33bbSBarry Smith   TaoConvergedReason           reason = TAO_CONTINUE_ITERATING;
19e4cb33bbSBarry Smith   TaoLineSearchConvergedReason ls_status = TAOLINESEARCH_CONTINUE_ITERATING;
20a7e14dcfSSatish Balay 
21a7e14dcfSSatish Balay   PetscFunctionBegin;
22a7e14dcfSSatish Balay 
23a7e14dcfSSatish Balay   if (tao->XL || tao->XU || tao->ops->computebounds) {
24a7e14dcfSSatish Balay     ierr = PetscPrintf(((PetscObject)tao)->comm,"WARNING: Variable bounds have been set but will be ignored by lmvm algorithm\n");CHKERRQ(ierr);
25a7e14dcfSSatish Balay   }
26a7e14dcfSSatish Balay 
27a7e14dcfSSatish Balay   /*  Check convergence criteria */
28a7e14dcfSSatish Balay   ierr = TaoComputeObjectiveAndGradient(tao, tao->solution, &f, tao->gradient);CHKERRQ(ierr);
29a9603a14SPatrick Farrell   ierr = TaoGradientNorm(tao, tao->gradient,NORM_2,&gnorm);CHKERRQ(ierr);
30a9603a14SPatrick Farrell 
3187f595a5SBarry Smith   if (PetscIsInfOrNanReal(f) || PetscIsInfOrNanReal(gnorm)) SETERRQ(PETSC_COMM_SELF,1, "User provided compute function generated Inf or NaN");
32a7e14dcfSSatish Balay 
338931d482SJason Sarich   ierr = TaoMonitor(tao, tao->niter, f, gnorm, 0.0, step, &reason);CHKERRQ(ierr);
3487f595a5SBarry Smith   if (reason != TAO_CONTINUE_ITERATING) PetscFunctionReturn(0);
35a7e14dcfSSatish Balay 
36a7e14dcfSSatish Balay   /*  Set initial scaling for the function */
37a7e14dcfSSatish Balay   if (f != 0.0) {
38a7e14dcfSSatish Balay     delta = 2.0 * PetscAbsScalar(f) / (gnorm*gnorm);
3987f595a5SBarry Smith   } else {
40a7e14dcfSSatish Balay     delta = 2.0 / (gnorm*gnorm);
41a7e14dcfSSatish Balay   }
42a7e14dcfSSatish Balay   ierr = MatLMVMSetDelta(lmP->M,delta);CHKERRQ(ierr);
43a7e14dcfSSatish Balay 
44a7e14dcfSSatish Balay   /*  Set counter for gradient/reset steps */
45de6ffafeSAlp Dener   ierr = MatLMVMGetRecycleFlag(lmP->M, &recycle);CHKERRQ(ierr);
46de6ffafeSAlp Dener   if (!recycle) {
47a7e14dcfSSatish Balay     lmP->bfgs = 0;
48a7e14dcfSSatish Balay     lmP->sgrad = 0;
49a7e14dcfSSatish Balay     lmP->grad = 0;
50e6770958SAlp Dener     ierr = MatLMVMReset(lmP->M); CHKERRQ(ierr);
51de6ffafeSAlp Dener   }
52a7e14dcfSSatish Balay 
53a7e14dcfSSatish Balay   /*  Have not converged; continue with Newton method */
54a7e14dcfSSatish Balay   while (reason == TAO_CONTINUE_ITERATING) {
55a7e14dcfSSatish Balay     /*  Compute direction */
56a7e14dcfSSatish Balay     ierr = MatLMVMUpdate(lmP->M,tao->solution,tao->gradient);CHKERRQ(ierr);
57a7e14dcfSSatish Balay     ierr = MatLMVMSolve(lmP->M, tao->gradient, lmP->D);CHKERRQ(ierr);
58a7e14dcfSSatish Balay 
59a7e14dcfSSatish Balay     /*  Check for success (descent direction) */
60a7e14dcfSSatish Balay     ierr = VecDot(lmP->D, tao->gradient, &gdx);CHKERRQ(ierr);
61a7e14dcfSSatish Balay     if ((gdx <= 0.0) || PetscIsInfOrNanReal(gdx)) {
62a7e14dcfSSatish Balay       /* Step is not descent or direction produced not a number
63a7e14dcfSSatish Balay          We can assert bfgsUpdates > 1 in this case because
64a7e14dcfSSatish Balay          the first solve produces the scaled gradient direction,
65a7e14dcfSSatish Balay          which is guaranteed to be descent
66a7e14dcfSSatish Balay 
67a7e14dcfSSatish Balay          Use steepest descent direction (scaled)
68a7e14dcfSSatish Balay       */
69a7e14dcfSSatish Balay 
70a7e14dcfSSatish Balay       if (f != 0.0) {
71a7e14dcfSSatish Balay         delta = 2.0 * PetscAbsScalar(f) / (gnorm*gnorm);
7287f595a5SBarry Smith       } else {
73a7e14dcfSSatish Balay         delta = 2.0 / (gnorm*gnorm);
74a7e14dcfSSatish Balay       }
75a7e14dcfSSatish Balay       ierr = MatLMVMSetDelta(lmP->M, delta);CHKERRQ(ierr);
76a7e14dcfSSatish Balay       ierr = MatLMVMReset(lmP->M);CHKERRQ(ierr);
77a7e14dcfSSatish Balay       ierr = MatLMVMUpdate(lmP->M, tao->solution, tao->gradient);CHKERRQ(ierr);
78a7e14dcfSSatish Balay       ierr = MatLMVMSolve(lmP->M,tao->gradient, lmP->D);CHKERRQ(ierr);
79a7e14dcfSSatish Balay 
80a7e14dcfSSatish Balay       /* On a reset, the direction cannot be not a number; it is a
81a7e14dcfSSatish Balay          scaled gradient step.  No need to check for this condition. */
82a7e14dcfSSatish Balay       ++lmP->sgrad;
83a7e14dcfSSatish Balay       stepType = LMVM_SCALED_GRADIENT;
8487f595a5SBarry Smith     } else {
854d6623b4SAlp Dener       ierr = MatLMVMGetUpdates(lmP->M, &nupdates); CHKERRQ(ierr);
864d6623b4SAlp Dener       if (1 == nupdates) {
87a7e14dcfSSatish Balay         /*  The first BFGS direction is always the scaled gradient */
88a7e14dcfSSatish Balay         ++lmP->sgrad;
89a7e14dcfSSatish Balay         stepType = LMVM_SCALED_GRADIENT;
9087f595a5SBarry Smith       } else {
91a7e14dcfSSatish Balay         ++lmP->bfgs;
92a7e14dcfSSatish Balay         stepType = LMVM_BFGS;
93a7e14dcfSSatish Balay       }
94a7e14dcfSSatish Balay     }
95a7e14dcfSSatish Balay     ierr = VecScale(lmP->D, -1.0);CHKERRQ(ierr);
96a7e14dcfSSatish Balay 
97a7e14dcfSSatish Balay     /*  Perform the linesearch */
98a7e14dcfSSatish Balay     fold = f;
99a7e14dcfSSatish Balay     ierr = VecCopy(tao->solution, lmP->Xold);CHKERRQ(ierr);
100a7e14dcfSSatish Balay     ierr = VecCopy(tao->gradient, lmP->Gold);CHKERRQ(ierr);
101a7e14dcfSSatish Balay 
102a7e14dcfSSatish Balay     ierr = TaoLineSearchApply(tao->linesearch, tao->solution, &f, tao->gradient, lmP->D, &step,&ls_status);CHKERRQ(ierr);
103a7e14dcfSSatish Balay     ierr = TaoAddLineSearchCounts(tao);CHKERRQ(ierr);
104a7e14dcfSSatish Balay 
10587f595a5SBarry Smith     while (ls_status != TAOLINESEARCH_SUCCESS && ls_status != TAOLINESEARCH_SUCCESS_USER && (stepType != LMVM_GRADIENT)) {
106a7e14dcfSSatish Balay       /*  Linesearch failed */
1075e43d397SAlp Dener       ierr = PetscInfo(lmP, "WARNING: Linesearch failed!\n"); CHKERRQ(ierr);
108a7e14dcfSSatish Balay       /*  Reset factors and use scaled gradient step */
109a7e14dcfSSatish Balay       f = fold;
110a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Xold, tao->solution);CHKERRQ(ierr);
111a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Gold, tao->gradient);CHKERRQ(ierr);
112a7e14dcfSSatish Balay 
113a7e14dcfSSatish Balay       switch(stepType) {
114a7e14dcfSSatish Balay       case LMVM_BFGS:
115a7e14dcfSSatish Balay         /*  Failed to obtain acceptable iterate with BFGS step */
116a7e14dcfSSatish Balay         /*  Attempt to use the scaled gradient direction */
117a7e14dcfSSatish Balay 
118a7e14dcfSSatish Balay         if (f != 0.0) {
119a7e14dcfSSatish Balay           delta = 2.0 * PetscAbsScalar(f) / (gnorm*gnorm);
12087f595a5SBarry Smith         } else {
121a7e14dcfSSatish Balay           delta = 2.0 / (gnorm*gnorm);
122a7e14dcfSSatish Balay         }
123a7e14dcfSSatish Balay         ierr = MatLMVMSetDelta(lmP->M, delta);CHKERRQ(ierr);
124a7e14dcfSSatish Balay         ierr = MatLMVMReset(lmP->M);CHKERRQ(ierr);
125a7e14dcfSSatish Balay         ierr = MatLMVMUpdate(lmP->M, tao->solution, tao->gradient);CHKERRQ(ierr);
126a7e14dcfSSatish Balay         ierr = MatLMVMSolve(lmP->M, tao->gradient, lmP->D);CHKERRQ(ierr);
127a7e14dcfSSatish Balay 
128a7e14dcfSSatish Balay         /* On a reset, the direction cannot be not a number; it is a
129a7e14dcfSSatish Balay            scaled gradient step.  No need to check for this condition. */
1304d6623b4SAlp Dener         --lmP->bfgs;
131a7e14dcfSSatish Balay         ++lmP->sgrad;
132a7e14dcfSSatish Balay         stepType = LMVM_SCALED_GRADIENT;
133a7e14dcfSSatish Balay         break;
134a7e14dcfSSatish Balay 
135a7e14dcfSSatish Balay       case LMVM_SCALED_GRADIENT:
136a7e14dcfSSatish Balay         /* The scaled gradient step did not produce a new iterate;
137a7e14dcfSSatish Balay            attempt to use the gradient direction.
138a7e14dcfSSatish Balay            Need to make sure we are not using a different diagonal scaling */
139a7e14dcfSSatish Balay         ierr = MatLMVMSetDelta(lmP->M, 1.0);CHKERRQ(ierr);
140a7e14dcfSSatish Balay         ierr = MatLMVMReset(lmP->M);CHKERRQ(ierr);
141a7e14dcfSSatish Balay         ierr = MatLMVMUpdate(lmP->M, tao->solution, tao->gradient);CHKERRQ(ierr);
142a7e14dcfSSatish Balay         ierr = MatLMVMSolve(lmP->M, tao->gradient, lmP->D);CHKERRQ(ierr);
143a7e14dcfSSatish Balay 
1444d6623b4SAlp Dener         --lmP->sgrad;
145a7e14dcfSSatish Balay         ++lmP->grad;
146a7e14dcfSSatish Balay         stepType = LMVM_GRADIENT;
147a7e14dcfSSatish Balay         break;
148a7e14dcfSSatish Balay       }
149a7e14dcfSSatish Balay       ierr = VecScale(lmP->D, -1.0);CHKERRQ(ierr);
150a7e14dcfSSatish Balay 
151a7e14dcfSSatish Balay       /*  Perform the linesearch */
152a7e14dcfSSatish Balay       ierr = TaoLineSearchApply(tao->linesearch, tao->solution, &f, tao->gradient, lmP->D, &step, &ls_status);CHKERRQ(ierr);
153a7e14dcfSSatish Balay       ierr = TaoAddLineSearchCounts(tao);CHKERRQ(ierr);
154a7e14dcfSSatish Balay     }
155a7e14dcfSSatish Balay 
15687f595a5SBarry Smith     if (ls_status != TAOLINESEARCH_SUCCESS && ls_status != TAOLINESEARCH_SUCCESS_USER) {
157a7e14dcfSSatish Balay       /*  Failed to find an improving point */
158a7e14dcfSSatish Balay       f = fold;
159a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Xold, tao->solution);CHKERRQ(ierr);
160a7e14dcfSSatish Balay       ierr = VecCopy(lmP->Gold, tao->gradient);CHKERRQ(ierr);
161a7e14dcfSSatish Balay       step = 0.0;
162a7e14dcfSSatish Balay       reason = TAO_DIVERGED_LS_FAILURE;
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++;
1708931d482SJason Sarich     ierr = TaoMonitor(tao,tao->niter,f,gnorm,0.0,step,&reason);CHKERRQ(ierr);
171a7e14dcfSSatish Balay   }
172a7e14dcfSSatish Balay   PetscFunctionReturn(0);
173a7e14dcfSSatish Balay }
17487f595a5SBarry Smith 
175441846f8SBarry Smith static PetscErrorCode TaoSetUp_LMVM(Tao tao)
176a7e14dcfSSatish Balay {
177a7e14dcfSSatish Balay   TAO_LMVM       *lmP = (TAO_LMVM *)tao->data;
178a7e14dcfSSatish Balay   PetscInt       n,N;
179a7e14dcfSSatish Balay   PetscErrorCode ierr;
180a9603a14SPatrick Farrell   KSP            H0ksp;
181a7e14dcfSSatish Balay 
182a7e14dcfSSatish Balay   PetscFunctionBegin;
183a7e14dcfSSatish Balay   /* Existence of tao->solution checked in TaoSetUp() */
184a7e14dcfSSatish Balay   if (!tao->gradient) {ierr = VecDuplicate(tao->solution,&tao->gradient);CHKERRQ(ierr);  }
185a7e14dcfSSatish Balay   if (!tao->stepdirection) {ierr = VecDuplicate(tao->solution,&tao->stepdirection);CHKERRQ(ierr);  }
186a7e14dcfSSatish Balay   if (!lmP->D) {ierr = VecDuplicate(tao->solution,&lmP->D);CHKERRQ(ierr);  }
187a7e14dcfSSatish Balay   if (!lmP->Xold) {ierr = VecDuplicate(tao->solution,&lmP->Xold);CHKERRQ(ierr);  }
188a7e14dcfSSatish Balay   if (!lmP->Gold) {ierr = VecDuplicate(tao->solution,&lmP->Gold);CHKERRQ(ierr);  }
189a7e14dcfSSatish Balay 
190a7e14dcfSSatish Balay   /*  Create matrix for the limited memory approximation */
191a7e14dcfSSatish Balay   ierr = VecGetLocalSize(tao->solution,&n);CHKERRQ(ierr);
192a7e14dcfSSatish Balay   ierr = VecGetSize(tao->solution,&N);CHKERRQ(ierr);
193a7e14dcfSSatish Balay   ierr = MatCreateLMVM(((PetscObject)tao)->comm,n,N,&lmP->M);CHKERRQ(ierr);
194a7e14dcfSSatish Balay   ierr = MatLMVMAllocateVectors(lmP->M,tao->solution);CHKERRQ(ierr);
195a9603a14SPatrick Farrell 
196a9603a14SPatrick Farrell   /* If the user has set a matrix to solve as the initial H0, set the options prefix here, and set up the KSP */
197a9603a14SPatrick Farrell   if (lmP->H0) {
198a9603a14SPatrick Farrell     const char *prefix;
199a9603a14SPatrick Farrell     PC H0pc;
200a9603a14SPatrick Farrell 
201a9603a14SPatrick Farrell     ierr = MatLMVMSetH0(lmP->M, lmP->H0);CHKERRQ(ierr);
202a9603a14SPatrick Farrell     ierr = MatLMVMGetH0KSP(lmP->M, &H0ksp);CHKERRQ(ierr);
203a9603a14SPatrick Farrell 
204a9603a14SPatrick Farrell     ierr = TaoGetOptionsPrefix(tao, &prefix);CHKERRQ(ierr);
205a9603a14SPatrick Farrell     ierr = KSPSetOptionsPrefix(H0ksp, prefix);CHKERRQ(ierr);
206a9603a14SPatrick Farrell     ierr = PetscObjectAppendOptionsPrefix((PetscObject)H0ksp, "tao_h0_");CHKERRQ(ierr);
207a9603a14SPatrick Farrell     ierr = KSPGetPC(H0ksp, &H0pc);CHKERRQ(ierr);
208a9603a14SPatrick Farrell     ierr = PetscObjectAppendOptionsPrefix((PetscObject)H0pc,  "tao_h0_");CHKERRQ(ierr);
209a9603a14SPatrick Farrell 
210a9603a14SPatrick Farrell     ierr = KSPSetFromOptions(H0ksp);CHKERRQ(ierr);
211a9603a14SPatrick Farrell     ierr = KSPSetUp(H0ksp);CHKERRQ(ierr);
212a9603a14SPatrick Farrell   }
213a9603a14SPatrick Farrell 
214a7e14dcfSSatish Balay   PetscFunctionReturn(0);
215a7e14dcfSSatish Balay }
216a7e14dcfSSatish Balay 
217a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
218441846f8SBarry Smith static PetscErrorCode TaoDestroy_LMVM(Tao tao)
219a7e14dcfSSatish Balay {
220a7e14dcfSSatish Balay   TAO_LMVM       *lmP = (TAO_LMVM *)tao->data;
221a7e14dcfSSatish Balay   PetscErrorCode ierr;
2227a93b6fcSAlp Dener   PetscBool      recycle;
223a7e14dcfSSatish Balay 
224a7e14dcfSSatish Balay   PetscFunctionBegin;
22537bd4e68SAlp Dener   if (lmP->M) {
226*8da10b61SAlp Dener     ierr = MatLMVMGetRecycleFlag(lmP->M, &recycle); CHKERRQ(ierr);
2275e43d397SAlp Dener     if (recycle) {
228bc1971f5SAlp Dener       ierr = PetscInfo(lmP->M, "WARNING: TaoDestroy() called when LMVM recycling is enabled!\n"); CHKERRQ(ierr);
2295e43d397SAlp Dener     }
23037bd4e68SAlp Dener   }
2317a93b6fcSAlp Dener 
232a7e14dcfSSatish Balay   if (tao->setupcalled) {
233a7e14dcfSSatish Balay     ierr = VecDestroy(&lmP->Xold);CHKERRQ(ierr);
234a7e14dcfSSatish Balay     ierr = VecDestroy(&lmP->Gold);CHKERRQ(ierr);
235a7e14dcfSSatish Balay     ierr = VecDestroy(&lmP->D);CHKERRQ(ierr);
236a7e14dcfSSatish Balay     ierr = MatDestroy(&lmP->M);CHKERRQ(ierr);
237a7e14dcfSSatish Balay   }
238a9603a14SPatrick Farrell 
239a9603a14SPatrick Farrell   if (lmP->H0) {
240a9603a14SPatrick Farrell     ierr = PetscObjectDereference((PetscObject)lmP->H0);CHKERRQ(ierr);
241a9603a14SPatrick Farrell   }
242a9603a14SPatrick Farrell 
243a7e14dcfSSatish Balay   ierr = PetscFree(tao->data);CHKERRQ(ierr);
244a9603a14SPatrick Farrell 
245a7e14dcfSSatish Balay   PetscFunctionReturn(0);
246a7e14dcfSSatish Balay }
247a7e14dcfSSatish Balay 
248a7e14dcfSSatish Balay /*------------------------------------------------------------*/
2494416b707SBarry Smith static PetscErrorCode TaoSetFromOptions_LMVM(PetscOptionItems *PetscOptionsObject,Tao tao)
250a7e14dcfSSatish Balay {
251a7e14dcfSSatish Balay   PetscErrorCode ierr;
252a7e14dcfSSatish Balay 
253a7e14dcfSSatish Balay   PetscFunctionBegin;
2541a1499c8SBarry Smith   ierr = PetscOptionsHead(PetscOptionsObject,"Limited-memory variable-metric method for unconstrained optimization");CHKERRQ(ierr);
255114d2d62SAlp Dener   ierr = TaoLineSearchSetFromOptions(tao->linesearch);CHKERRQ(ierr);
256288b7216SAlp Dener   ierr = PetscOptionsTail();CHKERRQ(ierr);
257a7e14dcfSSatish Balay   PetscFunctionReturn(0);
258a7e14dcfSSatish Balay }
259a7e14dcfSSatish Balay 
260a7e14dcfSSatish Balay /*------------------------------------------------------------*/
261441846f8SBarry Smith static PetscErrorCode TaoView_LMVM(Tao tao, PetscViewer viewer)
262a7e14dcfSSatish Balay {
263a7e14dcfSSatish Balay   TAO_LMVM       *lm = (TAO_LMVM *)tao->data;
264de6ffafeSAlp Dener   PetscBool      isascii, recycle;
2654d6623b4SAlp Dener   PetscInt       recycled_its;
266a7e14dcfSSatish Balay   PetscErrorCode ierr;
267a7e14dcfSSatish Balay 
268a7e14dcfSSatish Balay   PetscFunctionBegin;
269a7e14dcfSSatish Balay   ierr = PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii);CHKERRQ(ierr);
270a7e14dcfSSatish Balay   if (isascii) {
271a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
272a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPrintf(viewer, "BFGS steps: %D\n", lm->bfgs);CHKERRQ(ierr);
273a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPrintf(viewer, "Scaled gradient steps: %D\n", lm->sgrad);CHKERRQ(ierr);
274a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPrintf(viewer, "Gradient steps: %D\n", lm->grad);CHKERRQ(ierr);
275de6ffafeSAlp Dener     ierr = MatLMVMGetRecycleFlag(lm->M, &recycle);CHKERRQ(ierr);
276de6ffafeSAlp Dener     if (recycle) {
277288b7216SAlp Dener       ierr = PetscViewerASCIIPrintf(viewer, "Recycle: on\n");CHKERRQ(ierr);
2784d6623b4SAlp Dener       recycled_its = lm->bfgs + lm->sgrad + lm->grad;
2794d6623b4SAlp Dener       ierr = PetscViewerASCIIPrintf(viewer, "Total recycled iterations: %D\n", recycled_its);CHKERRQ(ierr);
280a0bfee83SAlp Dener     }
281a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
282a7e14dcfSSatish Balay   }
283a7e14dcfSSatish Balay   PetscFunctionReturn(0);
284a7e14dcfSSatish Balay }
285a7e14dcfSSatish Balay 
286a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
287a7e14dcfSSatish Balay 
2884aa34175SJason Sarich /*MC
2894aa34175SJason Sarich      TAOLMVM - Limited Memory Variable Metric method is a quasi-Newton
2904aa34175SJason Sarich      optimization solver for unconstrained minimization. It solves
2914aa34175SJason Sarich      the Newton step
2924aa34175SJason Sarich               Hkdk = - gk
2934aa34175SJason Sarich 
2944aa34175SJason Sarich      using an approximation Bk in place of Hk, where Bk is composed using
2954aa34175SJason Sarich      the BFGS update formula. A More-Thuente line search is then used
2964aa34175SJason Sarich      to computed the steplength in the dk direction
2974aa34175SJason Sarich   Options Database Keys:
2984aa34175SJason Sarich +     -tao_lmm_vectors - number of vectors to use for approximation
2994aa34175SJason Sarich .     -tao_lmm_scale_type - "none","scalar","broyden"
3004aa34175SJason Sarich .     -tao_lmm_limit_type - "none","average","relative","absolute"
3014aa34175SJason Sarich .     -tao_lmm_rescale_type - "none","scalar","gl"
3024aa34175SJason Sarich .     -tao_lmm_limit_mu - mu limiting factor
3034aa34175SJason Sarich .     -tao_lmm_limit_nu - nu limiting factor
3044aa34175SJason Sarich .     -tao_lmm_delta_min - minimum delta value
3054aa34175SJason Sarich .     -tao_lmm_delta_max - maximum delta value
3064aa34175SJason Sarich .     -tao_lmm_broyden_phi - phi factor for Broyden scaling
3074aa34175SJason Sarich .     -tao_lmm_scalar_alpha - alpha factor for scalar scaling
3084aa34175SJason Sarich .     -tao_lmm_rescale_alpha - alpha factor for rescaling diagonal
3094aa34175SJason Sarich .     -tao_lmm_rescale_beta - beta factor for rescaling diagonal
3104aa34175SJason Sarich .     -tao_lmm_scalar_history - amount of history for scalar scaling
3114aa34175SJason Sarich .     -tao_lmm_rescale_history - amount of history for rescaling diagonal
3123faadb29SAlp Dener .     -tao_lmm_eps - rejection tolerance
3133faadb29SAlp Dener -     -tao_lmm_recycle - enable recycling LMVM updates between TaoSolve() calls
3144aa34175SJason Sarich 
3151eb8069cSJason Sarich   Level: beginner
3164aa34175SJason Sarich M*/
3174aa34175SJason Sarich 
318728e0ed0SBarry Smith PETSC_EXTERN PetscErrorCode TaoCreate_LMVM(Tao tao)
319a7e14dcfSSatish Balay {
320a7e14dcfSSatish Balay   TAO_LMVM       *lmP;
3218caf6e8cSBarry Smith   const char     *morethuente_type = TAOLINESEARCHMT;
322a7e14dcfSSatish Balay   PetscErrorCode ierr;
323a7e14dcfSSatish Balay 
324a7e14dcfSSatish Balay   PetscFunctionBegin;
325a7e14dcfSSatish Balay   tao->ops->setup = TaoSetUp_LMVM;
326a7e14dcfSSatish Balay   tao->ops->solve = TaoSolve_LMVM;
327a7e14dcfSSatish Balay   tao->ops->view = TaoView_LMVM;
328a7e14dcfSSatish Balay   tao->ops->setfromoptions = TaoSetFromOptions_LMVM;
329a7e14dcfSSatish Balay   tao->ops->destroy = TaoDestroy_LMVM;
330a7e14dcfSSatish Balay 
3313c9e27cfSGeoffrey Irving   ierr = PetscNewLog(tao,&lmP);CHKERRQ(ierr);
332a7e14dcfSSatish Balay   lmP->D = 0;
333a7e14dcfSSatish Balay   lmP->M = 0;
334a7e14dcfSSatish Balay   lmP->Xold = 0;
335a7e14dcfSSatish Balay   lmP->Gold = 0;
336a9603a14SPatrick Farrell   lmP->H0   = NULL;
337a7e14dcfSSatish Balay 
338a7e14dcfSSatish Balay   tao->data = (void*)lmP;
3396552cf8aSJason Sarich   /* Override default settings (unless already changed) */
3406552cf8aSJason Sarich   if (!tao->max_it_changed) tao->max_it = 2000;
3416552cf8aSJason Sarich   if (!tao->max_funcs_changed) tao->max_funcs = 4000;
342a7e14dcfSSatish Balay 
343a7e14dcfSSatish Balay   ierr = TaoLineSearchCreate(((PetscObject)tao)->comm,&tao->linesearch);CHKERRQ(ierr);
34463b15415SAlp Dener   ierr = PetscObjectIncrementTabLevel((PetscObject)tao->linesearch, (PetscObject)tao, 1);CHKERRQ(ierr);
345a7e14dcfSSatish Balay   ierr = TaoLineSearchSetType(tao->linesearch,morethuente_type);CHKERRQ(ierr);
346441846f8SBarry Smith   ierr = TaoLineSearchUseTaoRoutines(tao->linesearch,tao);CHKERRQ(ierr);
3475d527766SPatrick Farrell   ierr = TaoLineSearchSetOptionsPrefix(tao->linesearch,tao->hdr.prefix);CHKERRQ(ierr);
348a7e14dcfSSatish Balay   PetscFunctionReturn(0);
349a7e14dcfSSatish Balay }
350