Doplňkovost
V matematice je problémem komplementarity systém rovnic a nerovností, který obsahuje vztah ortogonality, který v tomto systému indukuje důležitý kombinatorický systém, to znamená velké množství způsobů, jak dosáhnout této ortogonality pomocí rovnic. Komplementarita je disciplína, která analyzuje tyto problémy a navrhuje algoritmy řešení.
Problémy s komplementaritou lze často považovat za zvláštní případy variačních nerovností . Poprvé byly představeny za podmínek optimality
omezených optimalizačních problémů, podmínek Karush, Kuhn a Tucker .
Příklady otázek doplňkovosti
Lineární komplementarita
Komplementarita lineární problém spočívá v nalezení vektoru tak, že
X∈Rne{\ displaystyle x \ in \ mathbb {R} ^ {n}}
X⩾0,MX+q⩾0a⟨X,MX+q⟩=0,{\ displaystyle x \ geqslant 0, \ qquad Mx + q \ geqslant 0 \ qquad {\ mbox {et}} \ qquad \ langle x, Mx + q \ rangle = 0,}
kde , a označuje Euclidean skalární součin . Nerovnosti je třeba chápat po jednotlivých složkách. Tento problém je často stručně napsán takto:
M∈Rne×ne{\ displaystyle M \ in \ mathbb {R} ^ {n \ krát n}}q∈Rne{\ displaystyle q \ in \ mathbb {R} ^ {n}}⟨⋅,⋅⟩{\ displaystyle \ langle \ cdot, \ cdot \ rangle}
0⩽X⊥(MX+q)⩾0.{\ displaystyle 0 \ leqslant x \ perp (Mx + q) \ geqslant 0.}
Vztah ortogonality lze realizovat různými způsoby: buď pro všechno , nebo . Právě toto velké množství možností činí problém obtížně řešitelným. Obvykle je to NP tvrdé (v) .
⟨X,MX+q⟩=0{\ displaystyle \ langle x, Mx + q \ rangle = 0}2ne{\ displaystyle 2 ^ {n}}i∈[[1,ne]]{\ displaystyle i \ in [\! [1, n] \!]}Xi=0{\ displaystyle x_ {i} = 0}(MX+q)i=0{\ displaystyle (Mx + q) _ {i} = 0}
Nelineární komplementarita
Obecnější a nelineární problém komplementarity spočívá v hledání vektoru v sadě takových, že
X{\ displaystyle x}E{\ displaystyle \ mathbb {E}}
K.∋F(X)⊥G(X)∈K.+,{\ displaystyle K \ ni F (x) \ perp G (x) \ v K ^ {+},}
kde ( je Hilbertův prostor ) , je kužel uzavřený neprázdný konvexní , je kladný dvojitý kužel a ortogonalita je brána ve smyslu skalárního součinu . Psaní tohoto článku znamená, že jsme hledali tak, že , a taková, že a jsou kolmé.
F:E→H{\ displaystyle F: \ mathbb {E} \ do \ mathbb {H}}H{\ displaystyle \ mathbb {H}}G:E→H{\ displaystyle G: \ mathbb {E} \ do \ mathbb {H}}K.{\ displaystyle K}H{\ displaystyle \ mathbb {H}}K.+{\ displaystyle K ^ {+}}K.{\ displaystyle K}H{\ displaystyle \ mathbb {H}}X∈E{\ displaystyle x \ in \ mathbb {E}}F(X)∈K.{\ displaystyle F (x) \ v K}G(X)∈K.+{\ displaystyle G (x) \ v K ^ {+}}F(X){\ displaystyle F (x)}G(X){\ displaystyle G (x)}
Dodatky
Související články
Bibliografie
-
(en) SC Billups, KG Murty (2000). Problémy s komplementaritou. Journal of Computational and Applied Mathematics , 124, 303–318.
-
(en) F. Facchinei, J.-S. Pang (2003). Konečně dimenzionální variační nerovnosti a problémy s komplementaritou (2 svazky). Springer Series v operačním výzkumu. Springer-Verlag, New York.
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">