Voir la source de Algorithme des directions alternées

L''''algorithme des directions alternées''' (l'ADA ou l'algorithme des DA) est un algorithme de résolution de problèmes d'[[Optimisation (mathématiques)|optimisation]] ''décomposables'', qui cherche à adapter l'[[algorithme du lagrangien augmenté]] à ce contexte, alors que cet algorithme détruit cette décomposabilité. Il est typiquement utilisé pour minimiser la somme de deux fonctions (souvent [[Fonction convexe|convexes]]) dépendant de variables différentes couplées par une contrainte affine :
{{Centrer|<math>
\left\{\begin{array}{l}
\textstyle\inf_{(x,y)}\;f(x)+g(y)\\
Ax+By=c,
\end{array}\right.
</math>}}
où <math>f:\R^n\to\R\cup\{+\infty\}</math> et <math>g:\R^m\to\R\cup\{+\infty\}</math>, <math>A\in\R^{p\times n}</math>, <math>B\in\R^{p\times m}</math> et <math>c\in\R^p</math>. L’algorithme suppose implicitement que minimiser <math>f</math> ou <math>g</math> seul est facile.

C'est un algorithme trouvant rapidement une solution avec peu de précision, mais qui demande beaucoup d'itérations pour déterminer une solution avec précision.

L'algorithme est utilisé dans des domaines très variés dans lesquels la précision de la solution importe peu : technique d'[[apprentissage statistique]], [[machine à vecteurs de support]], régularisation <math>\ell_1</math> des problèmes de moindres-carrés, [[régression logistique]] creuse, ''etc''.

== Le problème à résoudre ==

On se place dans le contexte donné en introduction, à savoir celui où l'on cherche à minimiser la somme de deux fonctions dépendant de variables différentes couplées par une contrainte affine :
{{Ancre|problème-p}}
{{Centrer|<math>
(P)\qquad
\left\{\begin{array}{l}
\textstyle\inf_{(x,y)}\;f(x)+g(y)\\
Ax+By=c,
\end{array}\right.
</math>}}
où <math>f:\R^n\to\R\cup\{+\infty\}</math> et <math>g:\R^m\to\R\cup\{+\infty\}</math>, <math>A\in\R^{p\times n}</math>, <math>B\in\R^{p\times m}</math> et <math>c\in\R^p</math>.

{{souligner|Exemple 1}}. On peut utiliser l'algorithme des DA pour minimiser la somme de deux fonctions convexes <math>f+g:\R^n\to\R\cup\{+\infty\}</math> par duplication des variables :
{{Centrer|<math>
\left\{\begin{array}{l}
\textstyle\inf_{(x,y)}\;f(x)+g(y)\\
x=y.
\end{array}\right.
</math>}}

{{souligner|Exemple 2}}, qui tire parti du fait que les fonctions peuvent prendre des valeurs infinies. On cherche à minimiser une fonction <math>f:\R^n\to\R</math> sur un ensemble <math>X\subset\R^n</math>. Comme ce problème revient à minimiser <math>f+\mathcal{I}_X</math>, où <math>\mathcal{I}_X</math> est la [[Fonction indicatrice (analyse convexe)|fonction indicatrice]] de <math>X</math>, on se ramène au problème de l'exemple 1, traitant de la minimisation d'une somme de deux fonctions.

== L'algorithme ==

L'algorithme se présente le mieux en le voyant comme une modification de l'[[algorithme du lagrangien augmenté]], cherchant à préserver la décomposabilité supposée des fonctions <math>f</math> et <math>g</math>. Nous commençons donc par rappeler celui-ci.

=== L'algorithme du lagrangien augmenté ===

Le [[lagrangien augmenté]], associé au problème [[#problème-p|<math>(P)</math> ci-dessus]], est la fonction 
{{Centrer|<math>
\ell_r:\R^n\times\R^m\times\R^p\to\R\cup\{+\infty\},
</math>}}
dont la valeur en <math>(x,y,\lambda)\in\R^n\times\R^m\times\R^p</math> s'écrit
{{Centrer|<math>
\ell_r(x,y,\lambda)=f(x)+g(y)+\lambda^\top(Ax+By-c)+\frac{r}{2}\|Ax+By-c\|^2_2,
</math>}}
où <math>r\geqslant0</math> est le ''paramètre d'augmentation''. Si <math>r=0</math> on retrouve le [[Lagrangien (optimisation)|lagrangien]] du problème.

Une [[itération]] de l'[[algorithme du lagrangien augmenté]] fait passer d'une estimation <math>\lambda_k\in\R^p</math> d'un multiplicateur optimal à l'estimation suivante <math>\lambda_{k+1}\in\R^p</math> en deux étapes :
{{Centrer|<math>
\begin{array}{c}
\textstyle
(x_{k+1},y_{k+1})\in\operatorname{arg\,min}_{(x,y)\in\R^n\times\R^m}\ell_r(x,y,\lambda_k),\\
\lambda_{k+1}=\lambda_k+r_k(Ax_{k+1}+By_{k+1}-c).
\end{array}
</math>}}

L'inconvénient de la première étape est de devoir minimiser le lagrangien augmenté ''simultanément'' en <math>x</math> et <math>y</math>, alors que le terme de pénalisation quadratique de la contrainte couple ces variables (il n'est pas possible de faire la minimisation séparément en <math>x</math> et en <math>y</math>). C'est à cet inconvénient que remédie l'algorithme des DA.

=== L'algorithme des directions alternées ===

{{Théorème|Algorithme des directions alternées|Une itération passe d'un quadruplet <math>(x_k,y_k,\lambda_k,r_k)\in\R^n\times\R^m\times\R^p\times\R</math> au suivant <math>(x_{k+1},y_{k+1},\lambda_{k+1},r_{k+1})</math> comme suit.
# ''Minimisation en <math>x</math>'' : <math>x_{k+1}\in\operatorname{arg\,min}_{x\in\R^n}\,\ell_{r_k}(x,y_k,\lambda_k)</math>.
# ''Minimisation en <math>y</math>'' : <math>y_{k+1}\in\operatorname{arg\,min}_{y\in\R^m}\,\ell_{r_k}(x_{k+1},y,\lambda_k)</math>.
# ''Nouvelle variable duale'' : <math>\lambda_{k+1}:=\lambda_k+r_k\, (Ax_{k+1}+By_{k+1}-c)</math>.
# ''Test d'arrêt'' : <math>Ax_{k+1}+By_{k+1}\simeq c</math>.
# ''Nouveau paramètre d'augmentation'' : <math>r_{k+1}</math>.}}

Remarques.
* C'est la minimisation séparée en <math>x</math> et <math>y</math> qui permet de faire de la décomposition lorsque <math>f</math> et <math>g</math> sont séparables.
* Si l'on minimisait d'abord en <math>y</math> puis en <math>x</math> avant de mettre à jour <math>\lambda</math>, on obtiendrait des itérés différents.
* L'algorithme des DA est un algorithme lent, si l'on veut une solution précise (il vaut mieux alors utiliser des algorithmes tenant compte des [[Dérivée seconde|dérivées secondes]] ou d'une approximation de celles-ci), mais rapide si l'on se contente d'une précision modérée.
* On attribue généralement cet algorithme à Glowinski et Marocco (1975), ainsi qu'à Gabay et Mercier (1976).

=== Interprétations ===

L'algorithme peut se voir comme une [[méthode de Gauss-Seidel]] par bloc, tronquée à une seule passe, pour minimiser le lagrangien augmenté, avant de modifier le multiplicateur<ref>Cette interprétation remonte au moins à Fortin et Glowinski (1982).</ref>. Cependant aucun résultat de convergence n'utilise cette interprétation, si bien qu'elle est contestée par certains<ref>Voir par exemple Eckstein (2012), dans le {{3e|paragraphe}} de l'introduction.</ref>.

L'algorithme peut être vu comme réalisant une composition d'[[Application non expansive|opérateurs contractants]]<ref>C'est ce que font Lions et Mercier (1979), Fortin et Glowinski (1982), Lawrence et Spingarn (1987), Eckstein (1989), Eckstein et Bertsekas (1992), Eckstein et Ferris (1998).</ref>.

L'algorithme peut aussi être vu comme un cas particulier de l'[[algorithme de Douglas-Rachford]]<ref>Voir Gabay (1983).</ref>, qui est lui-même un cas particulier de l'[[algorithme proximal]]<ref>Voir Lawrence et Spingarn (1987) et Eckstein et Bertsekas (1992).</ref>.

== Convergence ==
{{…}}

== Exemples d'utilisation ==
{{…}}

== Annexes ==

=== Notes ===

{{références|colonnes=2}}

=== Références ===

* {{en}} J. Eckstein (1989). ''Splitting Methods for Monotone Operators with Applications to Parallel Optimization''. Thèse de doctorat, Massachusetts Institute of Technology.
* {{en}} J. Eckstein (2012). Augmented Lagrangian and alternating direction methods for convex optimization: a tutorial and some illustrative computational results. RRR 32-2012, Department of Management Science and Information Systems (MSIS) and RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway, NJ 08854-8003.
* {{en}} J. Eckstein, D. P. Bertsekas (1992). On the Douglas-Rachford splitting method and the proximal point algorithm for maximal monotone operators. ''Mathematical Programming'', 55, 293–318.
* {{en}} J. Eckstein, M. C. Ferris (1998). Operator-splitting methods for monotone affine variational inequalities, with a parallel application to optimal control. ''INFORMS Journal on Computing'', 10, 218–235.
* M. Fortin, R. Glowinski (1982). ''Méthodes de Lagrangien Augmenté – Applications à la Résolution Numérique de Problèmes aux Limites''. Méthodes Mathématiques de l’Informatique 9. Dunod, Paris.
* {{en}} D. Gabay (1983). Applications of the method of multipliers to variational inequalities. In M. Fortin, R. Glowinski, éditeurs, ''Augmented Lagrangian Methods: Applications to the Numerical Solution of Boundary-Value Problems'', pages 299–331. North-Holland, Ams- terdam.
* {{en}} D. Gabay, B. Mercier (1976). {{lang|en|A dual algorithm for the solution of nonlinear variational problems via finite-element approximations}}. ''{{lang|en|Computers and Mathematics with Applications}}'', 2, 17–40.
* R. Glowinski, A. Marocco (1975). Sur l’approximation, par éléments finis d’ordre un, et la résolution, par pénalisation dualité, d’une classe de problèmes de Dirichlet non linéaires. ''Revue Française d’Automatique, Informatique et Recherche Opérationnelle'', R-9, 41–76.
* {{en}} J. Lawrence, J. E. Spingarn (1987). On fixed points of nonexpansive piecewise isometric mappings. ''Proc. London Math. Soc.'', 55, 605–624.
* {{en}} P.-L. Lions, B. Mercier (1979). Splitting algorithms for the sum of two nonlinear operators. ''SIAM Journal on Numerical Analysis'', 16, 964–979.

{{Portail|Mathématiques|informatique théorique}}

[[Catégorie:Algorithme d'optimisation|Directions alternees]]
[[Catégorie:Analyse convexe]]

[[en:Augmented Lagrangian method#Alternating direction method of multipliers]]