📚 الرئيسية

مسابقة دكتوراه 2017Université Ferhat Abbas - Sétif 1 — الموضوع 01

مسابقة تخصص · Analyse Numérique & Optimisation

Optimisation et Contrôle, 28/10/2017

التمرين 1

Optimisation quadratique sous contraintes paramétrées

#KKT#optimisation quadratique#contraintes

On considère dans R2\mathbb R^2 un problème de minimisation quadratique

minxCkf(x),\min_{x\in C_k}f(x),

ff et l'ensemble admissible CkC_k dépendent d'un paramètre réel kk.

  1. Représenter graphiquement CkC_k.

  2. Montrer l'existence d'une solution.

  3. Déterminer les points réguliers.

  4. Écrire les conditions de Karush-Kuhn-Tucker.

  5. Déterminer les solutions en fonction de kk.

  6. Donner une interprétation géométrique.

الحل

L'ensemble admissible est fermé. Dans les cas du sujet, il est compact ou bien ff est coercive, donc le théorème de Weierstrass garantit l'existence d'un minimum.

Aux points réguliers, les gradients des contraintes actives sont linéairement indépendants. Les conditions KKT sont

f(x)+iλigi(x)=0,\nabla f(x)+\sum_i\lambda_i\nabla g_i(x)=0,

\qquad\lambda_i\ge0, \qquad\lambda_i g_i(x)=0.$$ On résout les cas intérieur, une contrainte active, puis plusieurs contraintes actives. Lorsque le problème est convexe, toute solution KKT est un minimum global.

التمرين 2

Simplexe, dualité et programmation sur le simplexe

#programmation linéaire#simplexe#dualité
  1. Résoudre par le simplexe

max(x1x2)\max(x_1-x_2)

sous

2x1x24,2x_1-x_2\le4,

x12x22,x_1-2x_2\le2,

x1+x25,x_1+x_2\le5,

avec les conditions de signe du sujet.

  1. Trouver le dual de

maxbTy\max b^Ty

sous

\qquad y\in T_n,$$ où $$T_n=\left\{y\in\mathbb R^n:y\ge0, \sum_{i=1}^ny_i=1\right\}.$$
الحل

Pour le premier problème, on introduit les variables d'écart et on pivote jusqu'à ce que tous les coûts réduits satisfassent le critère d'optimalité.

Pour le second, on associe un multiplicateur z0z\ge0 à BTy0B^Ty\le0 et un multiplicateur libre α\alpha à 1Ty=1\mathbf1^Ty=1. Le lagrangien est

L(y,z,α)=bTyzTBTy+α(11Ty).L(y,z,\alpha)=b^Ty-z^TB^Ty+\alpha(1-\mathbf1^Ty).

La borne supérieure en y0y\ge0 est finie lorsque

bBzα10.b-Bz-\alpha\mathbf1\le0.

Le dual est donc

minαR, z0α\min_{\alpha\in\mathbb R,\ z\ge0}\alpha

sous

Bz+α1b.Bz+\alpha\mathbf1\ge b.