xref: /petsc/src/tao/unconstrained/impls/neldermead/neldermead.c (revision 48a46eb9bd028bec07ec0f396b1a3abb43f14558)
1aaa7dc30SBarry Smith #include <../src/tao/unconstrained/impls/neldermead/neldermead.h>
2aaa7dc30SBarry Smith #include <petscvec.h>
3a7e14dcfSSatish Balay 
440244768SBarry Smith /*------------------------------------------------------------*/
59371c9d4SSatish Balay static PetscErrorCode NelderMeadSort(TAO_NelderMead *nm) {
640244768SBarry Smith   PetscReal *values  = nm->f_values;
740244768SBarry Smith   PetscInt  *indices = nm->indices;
840244768SBarry Smith   PetscInt   dim     = nm->N + 1;
940244768SBarry Smith   PetscInt   i, j, index;
1040244768SBarry Smith   PetscReal  val;
1140244768SBarry Smith 
1240244768SBarry Smith   PetscFunctionBegin;
1340244768SBarry Smith   for (i = 1; i < dim; i++) {
1440244768SBarry Smith     index = indices[i];
1540244768SBarry Smith     val   = values[index];
169371c9d4SSatish Balay     for (j = i - 1; j >= 0 && values[indices[j]] > val; j--) { indices[j + 1] = indices[j]; }
1740244768SBarry Smith     indices[j + 1] = index;
1840244768SBarry Smith   }
1940244768SBarry Smith   PetscFunctionReturn(0);
2040244768SBarry Smith }
2140244768SBarry Smith 
2240244768SBarry Smith /*------------------------------------------------------------*/
239371c9d4SSatish Balay static PetscErrorCode NelderMeadReplace(TAO_NelderMead *nm, PetscInt index, Vec Xmu, PetscReal f) {
2440244768SBarry Smith   PetscFunctionBegin;
2540244768SBarry Smith   /*  Add new vector's fraction of average */
269566063dSJacob Faibussowitsch   PetscCall(VecAXPY(nm->Xbar, nm->oneOverN, Xmu));
279566063dSJacob Faibussowitsch   PetscCall(VecCopy(Xmu, nm->simplex[index]));
2840244768SBarry Smith   nm->f_values[index] = f;
2940244768SBarry Smith 
309566063dSJacob Faibussowitsch   PetscCall(NelderMeadSort(nm));
3140244768SBarry Smith 
3240244768SBarry Smith   /*  Subtract last vector from average */
339566063dSJacob Faibussowitsch   PetscCall(VecAXPY(nm->Xbar, -nm->oneOverN, nm->simplex[nm->indices[nm->N]]));
3440244768SBarry Smith   PetscFunctionReturn(0);
3540244768SBarry Smith }
3640244768SBarry Smith 
37a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
389371c9d4SSatish Balay static PetscErrorCode TaoSetUp_NM(Tao tao) {
39a7e14dcfSSatish Balay   TAO_NelderMead *nm = (TAO_NelderMead *)tao->data;
4053506e15SBarry Smith   PetscInt        n;
41a7e14dcfSSatish Balay 
42a7e14dcfSSatish Balay   PetscFunctionBegin;
439566063dSJacob Faibussowitsch   PetscCall(VecGetSize(tao->solution, &n));
4453506e15SBarry Smith   nm->N        = n;
4553506e15SBarry Smith   nm->oneOverN = 1.0 / n;
469566063dSJacob Faibussowitsch   PetscCall(VecDuplicateVecs(tao->solution, nm->N + 1, &nm->simplex));
479566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nm->N + 1, &nm->f_values));
489566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nm->N + 1, &nm->indices));
499566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution, &nm->Xbar));
509566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution, &nm->Xmur));
519566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution, &nm->Xmue));
529566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(tao->solution, &nm->Xmuc));
53a7e14dcfSSatish Balay 
5483c8fe1dSLisandro Dalcin   tao->gradient = NULL;
55a7e14dcfSSatish Balay   tao->step     = 0;
56a7e14dcfSSatish Balay   PetscFunctionReturn(0);
57a7e14dcfSSatish Balay }
58a7e14dcfSSatish Balay 
59a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
609371c9d4SSatish Balay static PetscErrorCode TaoDestroy_NM(Tao tao) {
61a7e14dcfSSatish Balay   TAO_NelderMead *nm = (TAO_NelderMead *)tao->data;
6253506e15SBarry Smith 
63a7e14dcfSSatish Balay   PetscFunctionBegin;
64a7e14dcfSSatish Balay   if (tao->setupcalled) {
659566063dSJacob Faibussowitsch     PetscCall(VecDestroyVecs(nm->N + 1, &nm->simplex));
669566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&nm->Xmuc));
679566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&nm->Xmue));
689566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&nm->Xmur));
699566063dSJacob Faibussowitsch     PetscCall(VecDestroy(&nm->Xbar));
70a7e14dcfSSatish Balay   }
719566063dSJacob Faibussowitsch   PetscCall(PetscFree(nm->indices));
729566063dSJacob Faibussowitsch   PetscCall(PetscFree(nm->f_values));
739566063dSJacob Faibussowitsch   PetscCall(PetscFree(tao->data));
74a7e14dcfSSatish Balay   PetscFunctionReturn(0);
75a7e14dcfSSatish Balay }
76a7e14dcfSSatish Balay 
77a7e14dcfSSatish Balay /*------------------------------------------------------------*/
789371c9d4SSatish Balay static PetscErrorCode TaoSetFromOptions_NM(Tao tao, PetscOptionItems *PetscOptionsObject) {
79a7e14dcfSSatish Balay   TAO_NelderMead *nm = (TAO_NelderMead *)tao->data;
80a7e14dcfSSatish Balay 
81a7e14dcfSSatish Balay   PetscFunctionBegin;
82d0609cedSBarry Smith   PetscOptionsHeadBegin(PetscOptionsObject, "Nelder-Mead options");
839566063dSJacob Faibussowitsch   PetscCall(PetscOptionsReal("-tao_nm_lamda", "initial step length", "", nm->lamda, &nm->lamda, NULL));
849566063dSJacob Faibussowitsch   PetscCall(PetscOptionsReal("-tao_nm_mu", "mu", "", nm->mu_oc, &nm->mu_oc, NULL));
85a7e14dcfSSatish Balay   nm->mu_ic = -nm->mu_oc;
86a7e14dcfSSatish Balay   nm->mu_r  = nm->mu_oc * 2.0;
87a7e14dcfSSatish Balay   nm->mu_e  = nm->mu_oc * 4.0;
88d0609cedSBarry Smith   PetscOptionsHeadEnd();
89a7e14dcfSSatish Balay   PetscFunctionReturn(0);
90a7e14dcfSSatish Balay }
91a7e14dcfSSatish Balay 
92a7e14dcfSSatish Balay /*------------------------------------------------------------*/
939371c9d4SSatish Balay static PetscErrorCode TaoView_NM(Tao tao, PetscViewer viewer) {
94a7e14dcfSSatish Balay   TAO_NelderMead *nm = (TAO_NelderMead *)tao->data;
95a7e14dcfSSatish Balay   PetscBool       isascii;
96a7e14dcfSSatish Balay 
97a7e14dcfSSatish Balay   PetscFunctionBegin;
989566063dSJacob Faibussowitsch   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &isascii));
99a7e14dcfSSatish Balay   if (isascii) {
1009566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPushTab(viewer));
10163a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "expansions: %" PetscInt_FMT "\n", nm->nexpand));
10263a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "reflections: %" PetscInt_FMT "\n", nm->nreflect));
10363a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "inside contractions: %" PetscInt_FMT "\n", nm->nincontract));
10463a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "outside contractionss: %" PetscInt_FMT "\n", nm->noutcontract));
10563a3b9bcSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPrintf(viewer, "Shrink steps: %" PetscInt_FMT "\n", nm->nshrink));
1069566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIPopTab(viewer));
107a7e14dcfSSatish Balay   }
108a7e14dcfSSatish Balay   PetscFunctionReturn(0);
109a7e14dcfSSatish Balay }
110a7e14dcfSSatish Balay 
111a7e14dcfSSatish Balay /*------------------------------------------------------------*/
1129371c9d4SSatish Balay static PetscErrorCode TaoSolve_NM(Tao tao) {
113a7e14dcfSSatish Balay   TAO_NelderMead *nm = (TAO_NelderMead *)tao->data;
114a7e14dcfSSatish Balay   PetscReal      *x;
1158931d482SJason Sarich   PetscInt        i;
116a7e14dcfSSatish Balay   Vec             Xmur = nm->Xmur, Xmue = nm->Xmue, Xmuc = nm->Xmuc, Xbar = nm->Xbar;
117a7e14dcfSSatish Balay   PetscReal       fr, fe, fc;
118a7e14dcfSSatish Balay   PetscInt        shrink;
119a7e14dcfSSatish Balay   PetscInt        low, high;
120a7e14dcfSSatish Balay 
121a7e14dcfSSatish Balay   PetscFunctionBegin;
122a7e14dcfSSatish Balay   nm->nshrink      = 0;
123a7e14dcfSSatish Balay   nm->nreflect     = 0;
124a7e14dcfSSatish Balay   nm->nincontract  = 0;
125a7e14dcfSSatish Balay   nm->noutcontract = 0;
126a7e14dcfSSatish Balay   nm->nexpand      = 0;
127a7e14dcfSSatish Balay 
128*48a46eb9SPierre Jolivet   if (tao->XL || tao->XU || tao->ops->computebounds) PetscCall(PetscInfo(tao, "WARNING: Variable bounds have been set but will be ignored by NelderMead algorithm\n"));
129a7e14dcfSSatish Balay 
1309566063dSJacob Faibussowitsch   PetscCall(VecCopy(tao->solution, nm->simplex[0]));
1319566063dSJacob Faibussowitsch   PetscCall(TaoComputeObjective(tao, nm->simplex[0], &nm->f_values[0]));
132a7e14dcfSSatish Balay   nm->indices[0] = 0;
133a7e14dcfSSatish Balay   for (i = 1; i < nm->N + 1; i++) {
1349566063dSJacob Faibussowitsch     PetscCall(VecCopy(tao->solution, nm->simplex[i]));
1359566063dSJacob Faibussowitsch     PetscCall(VecGetOwnershipRange(nm->simplex[i], &low, &high));
136a7e14dcfSSatish Balay     if (i - 1 >= low && i - 1 < high) {
1379566063dSJacob Faibussowitsch       PetscCall(VecGetArray(nm->simplex[i], &x));
138a7e14dcfSSatish Balay       x[i - 1 - low] += nm->lamda;
1399566063dSJacob Faibussowitsch       PetscCall(VecRestoreArray(nm->simplex[i], &x));
140a7e14dcfSSatish Balay     }
141a7e14dcfSSatish Balay 
1429566063dSJacob Faibussowitsch     PetscCall(TaoComputeObjective(tao, nm->simplex[i], &nm->f_values[i]));
143a7e14dcfSSatish Balay     nm->indices[i] = i;
144a7e14dcfSSatish Balay   }
145a7e14dcfSSatish Balay 
146a7e14dcfSSatish Balay   /*  Xbar  = (Sum of all simplex vectors - worst vector)/N */
1479566063dSJacob Faibussowitsch   PetscCall(NelderMeadSort(nm));
1489566063dSJacob Faibussowitsch   PetscCall(VecSet(Xbar, 0.0));
149*48a46eb9SPierre Jolivet   for (i = 0; i < nm->N; i++) PetscCall(VecAXPY(Xbar, 1.0, nm->simplex[nm->indices[i]]));
1509566063dSJacob Faibussowitsch   PetscCall(VecScale(Xbar, nm->oneOverN));
1513ecd9318SAlp Dener   tao->reason = TAO_CONTINUE_ITERATING;
152a7e14dcfSSatish Balay   while (1) {
153e1e80dc8SAlp Dener     /* Call general purpose update function */
154dbbe0bcdSBarry Smith     PetscTryTypeMethod(tao, update, tao->niter, tao->user_update);
155d643b47cSToby Isaac     ++tao->niter;
156a7e14dcfSSatish Balay     shrink = 0;
1579566063dSJacob Faibussowitsch     PetscCall(VecCopy(nm->simplex[nm->indices[0]], tao->solution));
1589566063dSJacob Faibussowitsch     PetscCall(TaoLogConvergenceHistory(tao, nm->f_values[nm->indices[0]], nm->f_values[nm->indices[nm->N]] - nm->f_values[nm->indices[0]], 0.0, tao->ksp_its));
1599566063dSJacob Faibussowitsch     PetscCall(TaoMonitor(tao, tao->niter, nm->f_values[nm->indices[0]], nm->f_values[nm->indices[nm->N]] - nm->f_values[nm->indices[0]], 0.0, 1.0));
160dbbe0bcdSBarry Smith     PetscUseTypeMethod(tao, convergencetest, tao->cnvP);
1613ecd9318SAlp Dener     if (tao->reason != TAO_CONTINUE_ITERATING) break;
162a7e14dcfSSatish Balay 
163a7e14dcfSSatish Balay     /* x(mu) = (1 + mu)Xbar - mu*X_N+1 */
1649566063dSJacob Faibussowitsch     PetscCall(VecAXPBYPCZ(Xmur, 1 + nm->mu_r, -nm->mu_r, 0, Xbar, nm->simplex[nm->indices[nm->N]]));
1659566063dSJacob Faibussowitsch     PetscCall(TaoComputeObjective(tao, Xmur, &fr));
166a7e14dcfSSatish Balay 
167a7e14dcfSSatish Balay     if (nm->f_values[nm->indices[0]] <= fr && fr < nm->f_values[nm->indices[nm->N - 1]]) {
168a7e14dcfSSatish Balay       /*  reflect */
169a7e14dcfSSatish Balay       nm->nreflect++;
1709566063dSJacob Faibussowitsch       PetscCall(PetscInfo(0, "Reflect\n"));
1719566063dSJacob Faibussowitsch       PetscCall(NelderMeadReplace(nm, nm->indices[nm->N], Xmur, fr));
17253506e15SBarry Smith     } else if (fr < nm->f_values[nm->indices[0]]) {
173a7e14dcfSSatish Balay       /*  expand */
174a7e14dcfSSatish Balay       nm->nexpand++;
1759566063dSJacob Faibussowitsch       PetscCall(PetscInfo(0, "Expand\n"));
1769566063dSJacob Faibussowitsch       PetscCall(VecAXPBYPCZ(Xmue, 1 + nm->mu_e, -nm->mu_e, 0, Xbar, nm->simplex[nm->indices[nm->N]]));
1779566063dSJacob Faibussowitsch       PetscCall(TaoComputeObjective(tao, Xmue, &fe));
178a7e14dcfSSatish Balay       if (fe < fr) {
1799566063dSJacob Faibussowitsch         PetscCall(NelderMeadReplace(nm, nm->indices[nm->N], Xmue, fe));
180a7e14dcfSSatish Balay       } else {
1819566063dSJacob Faibussowitsch         PetscCall(NelderMeadReplace(nm, nm->indices[nm->N], Xmur, fr));
182a7e14dcfSSatish Balay       }
183a7e14dcfSSatish Balay     } else if (nm->f_values[nm->indices[nm->N - 1]] <= fr && fr < nm->f_values[nm->indices[nm->N]]) {
184a7e14dcfSSatish Balay       /* outside contraction */
185a7e14dcfSSatish Balay       nm->noutcontract++;
1869566063dSJacob Faibussowitsch       PetscCall(PetscInfo(0, "Outside Contraction\n"));
1879566063dSJacob Faibussowitsch       PetscCall(VecAXPBYPCZ(Xmuc, 1 + nm->mu_oc, -nm->mu_oc, 0, Xbar, nm->simplex[nm->indices[nm->N]]));
188a7e14dcfSSatish Balay 
1899566063dSJacob Faibussowitsch       PetscCall(TaoComputeObjective(tao, Xmuc, &fc));
190a7e14dcfSSatish Balay       if (fc <= fr) {
1919566063dSJacob Faibussowitsch         PetscCall(NelderMeadReplace(nm, nm->indices[nm->N], Xmuc, fc));
19253506e15SBarry Smith       } else shrink = 1;
193a7e14dcfSSatish Balay     } else {
194a7e14dcfSSatish Balay       /* inside contraction */
195a7e14dcfSSatish Balay       nm->nincontract++;
1969566063dSJacob Faibussowitsch       PetscCall(PetscInfo(0, "Inside Contraction\n"));
1979566063dSJacob Faibussowitsch       PetscCall(VecAXPBYPCZ(Xmuc, 1 + nm->mu_ic, -nm->mu_ic, 0, Xbar, nm->simplex[nm->indices[nm->N]]));
1989566063dSJacob Faibussowitsch       PetscCall(TaoComputeObjective(tao, Xmuc, &fc));
199a7e14dcfSSatish Balay       if (fc < nm->f_values[nm->indices[nm->N]]) {
2009566063dSJacob Faibussowitsch         PetscCall(NelderMeadReplace(nm, nm->indices[nm->N], Xmuc, fc));
20153506e15SBarry Smith       } else shrink = 1;
202a7e14dcfSSatish Balay     }
203a7e14dcfSSatish Balay 
204a7e14dcfSSatish Balay     if (shrink) {
205a7e14dcfSSatish Balay       nm->nshrink++;
2069566063dSJacob Faibussowitsch       PetscCall(PetscInfo(0, "Shrink\n"));
207a7e14dcfSSatish Balay 
208a7e14dcfSSatish Balay       for (i = 1; i < nm->N + 1; i++) {
2099566063dSJacob Faibussowitsch         PetscCall(VecAXPBY(nm->simplex[nm->indices[i]], 1.5, -0.5, nm->simplex[nm->indices[0]]));
2109566063dSJacob Faibussowitsch         PetscCall(TaoComputeObjective(tao, nm->simplex[nm->indices[i]], &nm->f_values[nm->indices[i]]));
211a7e14dcfSSatish Balay       }
2129566063dSJacob Faibussowitsch       PetscCall(VecAXPBY(Xbar, 1.5 * nm->oneOverN, -0.5, nm->simplex[nm->indices[0]]));
213a7e14dcfSSatish Balay 
214a7e14dcfSSatish Balay       /*  Add last vector's fraction of average */
2159566063dSJacob Faibussowitsch       PetscCall(VecAXPY(Xbar, nm->oneOverN, nm->simplex[nm->indices[nm->N]]));
2169566063dSJacob Faibussowitsch       PetscCall(NelderMeadSort(nm));
217a7e14dcfSSatish Balay       /*  Subtract new last vector from average */
2189566063dSJacob Faibussowitsch       PetscCall(VecAXPY(Xbar, -nm->oneOverN, nm->simplex[nm->indices[nm->N]]));
219a7e14dcfSSatish Balay     }
220a7e14dcfSSatish Balay   }
221a7e14dcfSSatish Balay   PetscFunctionReturn(0);
222a7e14dcfSSatish Balay }
223a7e14dcfSSatish Balay 
224a7e14dcfSSatish Balay /* ---------------------------------------------------------- */
2251eb8069cSJason Sarich /*MC
2261eb8069cSJason Sarich  TAONM - Nelder-Mead solver for derivative free, unconstrained minimization
2271eb8069cSJason Sarich 
2281eb8069cSJason Sarich  Options Database Keys:
2291eb8069cSJason Sarich + -tao_nm_lamda - initial step length
230a2b725a8SWilliam Gropp - -tao_nm_mu - expansion/contraction factor
2311eb8069cSJason Sarich 
2321eb8069cSJason Sarich  Level: beginner
2331eb8069cSJason Sarich M*/
2341eb8069cSJason Sarich 
2359371c9d4SSatish Balay PETSC_EXTERN PetscErrorCode TaoCreate_NM(Tao tao) {
236a7e14dcfSSatish Balay   TAO_NelderMead *nm;
237a7e14dcfSSatish Balay 
238a7e14dcfSSatish Balay   PetscFunctionBegin;
2399566063dSJacob Faibussowitsch   PetscCall(PetscNewLog(tao, &nm));
240a7e14dcfSSatish Balay   tao->data = (void *)nm;
241a7e14dcfSSatish Balay 
242a7e14dcfSSatish Balay   tao->ops->setup          = TaoSetUp_NM;
243a7e14dcfSSatish Balay   tao->ops->solve          = TaoSolve_NM;
244a7e14dcfSSatish Balay   tao->ops->view           = TaoView_NM;
245a7e14dcfSSatish Balay   tao->ops->setfromoptions = TaoSetFromOptions_NM;
246a7e14dcfSSatish Balay   tao->ops->destroy        = TaoDestroy_NM;
247a7e14dcfSSatish Balay 
2486552cf8aSJason Sarich   /* Override default settings (unless already changed) */
2496552cf8aSJason Sarich   if (!tao->max_it_changed) tao->max_it = 2000;
2506552cf8aSJason Sarich   if (!tao->max_funcs_changed) tao->max_funcs = 4000;
251a7e14dcfSSatish Balay 
25283c8fe1dSLisandro Dalcin   nm->simplex = NULL;
253a7e14dcfSSatish Balay   nm->lamda   = 1;
254a7e14dcfSSatish Balay 
255a7e14dcfSSatish Balay   nm->mu_ic = -0.5;
256a7e14dcfSSatish Balay   nm->mu_oc = 0.5;
257a7e14dcfSSatish Balay   nm->mu_r  = 1.0;
258a7e14dcfSSatish Balay   nm->mu_e  = 2.0;
259a7e14dcfSSatish Balay 
260a7e14dcfSSatish Balay   PetscFunctionReturn(0);
261a7e14dcfSSatish Balay }
262