RO - 00 - Résumé
RO - 00 - Résumé
RO - 00 - Résumé
RO – Résumé
I. Dérivées
1. Ligne de niveau
𝑁𝑐 = {𝑥 ∈ ℝ𝑛 |𝐽(𝑥) = 𝑐}
2. Dérivée première
a. Gradient
𝜕𝐽 𝜕𝐽 ⊤
∇ 𝐽(𝑥0 ) = [ ,…, ]
𝜕𝑥1 𝜕𝑥𝑛
Propriété : Au point 𝑥0 , ∇ 𝐽(𝑥0 ) est ⏊ à la ligne de niveau, son sens va dans le sens de 𝐽 croissant.
b. Dérivée directionnelle
𝜑(𝜀)
c. Plan tangent
Passe par (𝑥0 , 𝐽(𝑥0 )) et vecteur directeur ∇ 𝐽(𝑥0 ) Approximation locale de 𝐽
𝑃 = {𝑥 ∈ ℝ𝑛 | ∇ 𝐽(𝑥0 )⊤ (𝑥 − 𝑥0 ) = 0} 𝐽(𝑥) ≈ 𝑃(𝑥) = 𝐽(𝑥0 ) + ∇ 𝐽(𝑥0 )⊤ 𝑥
d. Développement limité au premier ordre
∇ 𝐽(𝑥)⊤ 𝑑 + 𝑜(𝜀)
𝐽(𝑥) ≈ 𝐽(𝑥 + 𝜀𝑑) = 𝐽(𝑥) + 𝜀 ⏟
𝐷𝐽𝑥 (𝑥,𝑑)
Thomas v1
ROBERT
1
RESUME DE RECHERCHE OPERATIONNELLE
RO – Résumé
II. Généralités
Variables 𝑽 𝑉 ∈ ℝ𝑝
𝑞
Objectifs 𝑶 𝑉 ↦ ℝ min 𝐽(𝑥)
𝑥∈Ω
ℎ𝑖 (𝑥) = 0 𝐻(𝑥) = (ℎ1 , … , ℎ𝑛 )⊤ = 0
Contraintes 𝑪 𝑉 ↦ ℝ𝑚+𝑛 { ⟺{
𝑔𝑗 (𝑥) ≤ 0 𝐺(𝑥) = (𝑔1 , … , 𝑔𝑚 )⊤ ≤ 0
Domaine de faisabilité 𝛀 Ω = {𝑥 ∈ ℝ𝑑 ; 𝐻(𝑥) = 0 et 𝐺(𝑥) ≤ 0}
Fonction coût 𝐽: Ω ↦ ℝ
dom 𝐽 = {𝑥 ∈ Ω ; −∞ < 𝐽(𝜃) < +∞}
Domaine de la fonction coût
Si ∅, fonction coût impropre : pas de solution
Minimum global 𝜽∗ 𝐽(𝜃 ∗ ) ≤ 𝐽(𝜃) ∀ 𝜃
̂ 𝐽(𝜃̂) ≤ 𝐽(𝜃) ∀ 𝜃 | ‖𝜃̂ − 𝜃‖ ≤ 𝜀
Minimum local 𝜽
Thomas v1
ROBERT
2
RESUME DE RECHERCHE OPERATIONNELLE
RO – Résumé
b. Conditions d’optimalité
1er ordre 𝑥0 solution ⇒ ∇ 𝐽(𝑥0 ) = 0
𝑥0 solution ⇒ ∇ 𝐽(𝑥0 ) = 0 et 𝐻(𝑥0 ) définie positive
2ème ordre
∇ 𝐽(𝑥0 ) = 0 et 𝐻(𝑥0 ) définie positive ⇒ 𝑥0 solution locale
𝐽 est convexe et 𝑥0 respecte condition d’optimalité
Convexité
⇒ 𝑥0 = 𝑥 ∗ solution globale
3. Optimisation itérative
a. Recherche linéaire (line search)
𝑥𝑘+1 = 𝑥𝑘 + 𝜌𝑘 𝑑𝑘 lim 𝑥𝑘 = 𝑥 ∗ = argmin 𝐽(𝑥)
𝑘→∞ 𝑥∈ℝ𝑛
𝑅(𝑥) : région de confiance autour de 𝑥 𝑀(𝑥 + 𝑑) : modèle dans la région de confiance (DL)
Thomas v1
ROBERT
3
RESUME DE RECHERCHE OPERATIONNELLE
RO – Résumé
V. Programmation linéaire
1. Forme standard
𝑧 : 𝑚 inconnues
min 𝑐 ⊤ 𝑧
𝑧∈ℝ𝑚 𝑐 : 𝑚 couts
{ 𝐴𝑧 = 𝑏
𝐴 : 𝑝 contraintes (𝑝 < 𝑚)
𝑧≥0 𝑏 : 𝑝 seconds membres des contraintes
2. Méthodes de réduction à la forme standard
a. Inégalités ⇒ variables d’écart (positives)
𝑥 𝑓𝑖 (𝑥) ≥ 𝑏𝑖 ⟺ 𝑓𝑖 (𝑥) − 𝑒𝑖 = 𝑏𝑖
𝑧=[ ]
𝑒 𝑓𝑖 (𝑥) ≤ 𝑏𝑖 ⟺ 𝑓𝑖 (𝑥) + 𝑒𝑖 = 𝑏𝑖
b. Maths et algorithme
𝐴⊤ 𝜆 + 𝜇 − 𝑐 = 0 Forme matricielle de 𝑭 :
min𝑚 𝑐 ⊤ 𝑧 𝐴𝑧 = 𝑏 } ⟺ 𝐹(𝑧, 𝜆, 𝜇) = 0 𝐹(𝑧) = 𝐴𝐹 × 𝑥𝐹 + 𝑏𝐹
𝑧∈ℝ
{ 𝐴𝑧 = 𝑏 𝑑𝑖𝑎𝑔(𝜇)𝑧 = 0
𝑧≥0 𝑚 𝑝 𝑚
𝑧≥0
𝜇≥0
𝑚 0 𝐴⊤ 𝐼 𝑧 −𝑐
𝑧 𝑧 Δ𝑧
𝜆 𝜆 Δ𝜆 𝑝 𝐴 0 0 × 𝜆 + −𝑏
( ) = ( ) = 𝑝𝑎𝑠 × ( )
𝜇 𝜇 ⏟Δ𝜇 𝑑𝑖𝑎𝑔
𝑑 𝑚 0 0 𝜇 𝛿𝜎
(𝜇)
Avec un DL au 1er ordre :
⏟ + 𝑑) = 𝐹(𝑥) + 𝑑⊤ ∇𝑥 𝐹(𝑥) + 𝑜(‖𝑑‖)
𝐹(𝑥 ⏟
=0 =0 Pour que ça marche, on met 𝛿𝜎 dans 𝑏𝐹 avec
⇒ 𝑑 = ∇𝑥 𝐹(𝑥) 𝐹(𝑥) −1 𝛿 = 𝜇⊤ 𝑧 et 𝜎 ≪ 1
0 𝐴⊤ 𝐼
∇𝑥 𝐹(𝑥) = ( 𝐴 0 0 ) On calcule le pas tel que 𝑧 ≥ 0, 𝜇 ≥ 0.
𝑑𝑖𝑎𝑔(𝜇) 0 𝑑𝑖𝑎𝑔(𝑧)
Thomas v1
ROBERT
4