الرئيسية

مسابقة دكتوراه 2016Université des Sciences et de la Technologie Houari Boumediène (USTHB) — الموضوع 09

مسابقة تخصص · Recherche Opérationnelle

Formation Doctorale ROM, Concours d'accès — Épreuve d'Aide à la décision, U.S.T.H.B., Faculté de Mathématiques, Département de Recherche Opérationnelle — 30 Octobre 2016.

التمرين 2

Exercice 2 — Solution efficace et scalarisation multiobjectif

#multiobjective-optimization#efficiency#scalarization#pareto-optimality

Soit x0x^0 une solution réalisable de X={xRn:Ax=b,x0}X = \{x \in \mathbb{R}^n : Ax=b, x \geq 0\} et (P)(P) le problème multi-objectif min{Cx:xX}\min\{Cx : x \in X\}CRr×nC \in \mathbb{R}^{r \times n}. Montrer que x0x^0 est une solution efficiente si et seulement si il existe un vecteur λR+r{0}\lambda \in \mathbb{R}_+^r \setminus \{0\} tel que λTCx0λTCx\lambda^T Cx^0 \leq \lambda^T Cx pour tout xXx \in X.

الحل

C'est la caractérisation classique par scalarisation pondérée.

\Rightarrow : si x0x^0 est efficiente, le cône des directions d'amélioration strictes n'intersecte pas le cône négatif des critères. Par séparation convexe, il existe λ0\lambda \geq 0, λ0\lambda \neq 0 tel que λTCx0λTCx\lambda^TCx^0 \leq \lambda^TCx pour tout xx.

\Leftarrow : si un tel λ\lambda existe et s'il existait xx dominant strictement x0x^0, alors CxCx0Cx \leq Cx^0 composante par composante avec au moins une stricte, d'où λTCx<λTCx0\lambda^TCx \lt \lambda^TCx^0, contradiction.

x0 efficiente     λR+r{0}:λTCx0λTCx,xX\boxed{x^0 \text{ efficiente } \iff \exists \lambda \in \mathbb{R}_+^r \setminus \{0\} : \lambda^TCx^0 \leq \lambda^TCx, \forall x \in X}

التمرين 3

Exercice 3 — Ordonnancement par binômes, coloration et chaînes de Markov

#graph-theory#scheduling#graph-coloring#markov-chains#dynamic-programming

Partie B.

  1. Dans une entreprise, les ouvriers OO doivent exécuter des tâches du projet. Chaque ouvrier ne peut être affecté qu'à une tâche par semaine. Modéliser le nombre minimum de semaines nécessaires pour terminer toutes les tâches avec un outil de théorie des graphes.
  2. Soit G=(V,E)G=(V,E) simple, connexe, non orienté. Notons χ(G)\chi(G) le nombre chromatique, ω(G)\omega(G) la taille d'une clique maximum, α(G)\alpha(G) la taille d'un plus grand stable et θ(G)\theta(G) la cardinalité d'une partition minimum en cliques. a. Montrer que ω(G)χ(G)\omega(G) \leq \chi(G) et en déduire α(G)θ(G)\alpha(G) \leq \theta(G). b. Montrer que χ(G)α(G)V(G)\chi(G)\alpha(G) \geq |V(G)|. c. Montrer que χ(G)Δ(G)+1\chi(G) \leq \Delta(G)+1. d. Montrer qu'un graphe planaire est 5-colorable et que K5K_5 n'est pas planaire.
  3. Chaîne de Markov sur E={1,,7}E=\{1,\ldots,7\} de matrice donnée. Dessiner le graphe, donner les classes fermées, dire si la chaîne est irréductible, calculer certaines probabilités de non-retour/premier passage, classer les états, calculer la matrice potentielle et de premier passage, puis PP^\infty.
الحل

1.

Le problème se modélise par une coloration de graphe d'incompatibilité des tâches, ou un ordonnancement en couches : chaque semaine correspond à une couleur/partie stable. Le nombre minimal de semaines est le nombre chromatique du graphe d'incompatibilité.

2.

(a) Toute clique impose des couleurs distinctes, donc ω(G)χ(G)\omega(G) \leq \chi(G). En passant au complémentaire : α(G)=ω(Gˉ)χ(Gˉ)=θ(G)\alpha(G) = \omega(\bar{G}) \leq \chi(\bar{G}) = \theta(G).

(b) Une coloration à χ(G)\chi(G) couleurs partitionne VV en χ(G)\chi(G) stables, chacun de taille au plus α(G)\alpha(G), donc Vχ(G)α(G)|V| \leq \chi(G)\alpha(G).

(c) Greedy coloring : χ(G)Δ(G)+1\chi(G) \leq \Delta(G)+1.

(d) Pour les planaires, résultat des 5 couleurs. K5K_5 n'est pas planaire par Euler.

3.

Analyse standard de chaîne de Markov finie : graphe des transitions, classes de communication, états transitoires/récurrents, probabilités de premier passage via systèmes linéaires, matrice potentielle N=(IQ)1N=(I-Q)^{-1} pour les transitoires, puis PP^\infty à partir des classes fermées.