Dualitás Dualitási tételek Általános LP feladat Komplementáris lazaság 2017/ Szegedi Tudományegyetem Informatikai Intézet

Hasonló dokumentumok
Dualitás Dualitási tételek Általános LP feladat Komplementáris lazaság 2015/ Szegedi Tudományegyetem Informatikai Tanszékcsoport

A lineáris programozás alapfeladata Standard alak Az LP feladat megoldása Az LP megoldása: a szimplex algoritmus 2018/

A lineáris programozás alapfeladata Standard alak Az LP feladat megoldása Az LP megoldása: a szimplex algoritmus 2017/

Követelmények Motiváció Matematikai modellezés: példák A lineáris programozás alapfeladata 2017/ Szegedi Tudományegyetem Informatikai Intézet

Követelmények Motiváció Matematikai modellezés: példák A lineáris programozás alapfeladata 2017/ Szegedi Tudományegyetem Informatikai Intézet

Opkut deníciók és tételek

11. Előadás. 11. előadás Bevezetés a lineáris programozásba

Áttekintés LP és geometria Többcélú LP LP és egy dinamikus modell 2017/ Szegedi Tudományegyetem Informatikai Intézet

A szimplex algoritmus

Diszkrét Matematika MSc hallgatók számára. 4. Előadás

4. Előadás: Erős dualitás

Operációkutatás. 4. konzultáció: Szállítási feladat. A feladat LP modellje

Totális Unimodularitás és LP dualitás. Tapolcai János

Kétfázisú szimplex algoritmus és speciális esetei

A szimplex algoritmus

Operációkutatás. Vaik Zsuzsanna. ajánlott jegyzet: Szilágyi Péter: Operációkutatás

1/ gyakorlat. Lineáris Programozási feladatok megoldása szimplex módszerrel. Pécsi Tudományegyetem PTI

A szimplex tábla. p. 1

2017/ Szegedi Tudományegyetem Informatikai Intézet

Nemlineáris programozás 2.

Optimalizálás alapfeladata Legmeredekebb lejtő Lagrange függvény Log-barrier módszer Büntetőfüggvény módszer 2017/

Érzékenységvizsgálat

Operációkutatás példatár

Operációkutatás. Vaik Zsuzsanna. Budapest október 10. First Prev Next Last Go Back Full Screen Close Quit

Alkalmazott optimalizálás és játékelmélet Lineáris programozás Gyakorlófeladatok. Rétvári Gábor

Döntéselőkészítés. I. előadás. Döntéselőkészítés. Előadó: Dr. Égertné dr. Molnár Éva. Informatika Tanszék A 602 szoba

Mátrixjátékok tiszta nyeregponttal

Diverzifikáció Markowitz-modell MAD modell CAPM modell 2017/ Szegedi Tudományegyetem Informatikai Intézet

1/ gyakorlat. Lineáris Programozási feladatok megoldása szimplex módszerrel. Pécsi Tudományegyetem PTI

Bevezetés az operációkutatásba A lineáris programozás alapjai

11. Előadás. 1. Lineáris egyenlőség feltételek melletti minimalizálás

Nemkonvex kvadratikus egyenlőtlenségrendszerek pontos dualitással

lineáris programozás esetében. Ennek ez idő szerint legkorábbi formalizálását

LINEÁRIS PROGRAMOZÁSI FELADATOK MEGOLDÁSA SZIMPLEX MÓDSZERREL

Nem-lineáris programozási feladatok

9. Előadás. Megyesi László: Lineáris algebra, oldal. 9. előadás Mátrix inverze, mátrixegyenlet

A dualitás elve. Készítette: Dr. Ábrahám István

3. Előadás. Megyesi László: Lineáris algebra, oldal. 3. előadás Lineáris egyenletrendszerek

3. előadás. Termelési és optimalizálási feladatok. Dr. Szörényi Miklós, Dr. Kallós Gábor

5. Előadás. (5. előadás) Mátrixegyenlet, Mátrix inverze március 6. 1 / 39

15. LINEÁRIS EGYENLETRENDSZEREK

1/ gyakorlat. Hiperbolikus programozási feladat megoldása. Pécsi Tudományegyetem PTI

További programozási esetek Hiperbolikus, kvadratikus, integer, bináris, többcélú programozás

Gráfelmélet/Diszkrét Matematika MSc hallgatók számára. 3. Előadás

Döntési rendszerek I.

Norma Determináns, inverz Kondíciószám Direkt és inverz hibák Lin. egyenletrendszerek A Gauss-módszer. Lineáris algebra numerikus módszerei

Egyes logisztikai feladatok megoldása lineáris programozás segítségével. - bútorgyári termelési probléma - szállítási probléma

Tartalom. Matematikai alapok. Fontos fogalmak Termékgyártási példafeladat

9. Előadás. Megyesi László: Lineáris algebra, oldal. 9. előadás Mátrix inverze, Leontyev-modell

Lineáris programozás. Modellalkotás Grafikus megoldás Feladattípusok Szimplex módszer

Lineáris egyenletrendszerek

A lineáris programozás alapjai

Paraméteres és összetett egyenlôtlenségek

1. Homogén lineáris egyenletrendszer megoldástere

b) Írja fel a feladat duálisát és adja meg ennek optimális megoldását!

G Y A K O R L Ó F E L A D A T O K

Lineáris programozás. A mese

Az impulzusnyomatékok általános elmélete

6. Előadás. Megyesi László: Lineáris algebra, oldal. 6. előadás Bázis, dimenzió

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Optimumkeresés számítógépen

Branch-and-Bound. 1. Az egészértéketű programozás. a korlátozás és szétválasztás módszere Bevezető Definíció. 11.

Paraméteres és összetett egyenlôtlenségek

Gauss-Seidel iteráció

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy

Az ellipszoid algoritmus

MATEMATIKA ÉRETTSÉGI TÍPUSFELADATOK MEGOLDÁSAI KÖZÉPSZINT Abszolútértékes és gyökös kifejezések

Optimalizálási eljárások MSc hallgatók számára Előadás

Gauss-Jordan módszer Legkisebb négyzetek módszere, egyenes LNM, polinom LNM, függvény. Lineáris algebra numerikus módszerei

Döntési módszerek Tantárgyi útmutató

1. Generátorrendszer. Házi feladat (fizikából tudjuk) Ha v és w nem párhuzamos síkvektorok, akkor generátorrendszert alkotnak a sík vektorainak

Operációkutatás vizsga

10. Előadás. Megyesi László: Lineáris algebra, oldal. 10. előadás Sajátérték, Kvadaratikus alak

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

A minimális költségűfolyam probléma megoldása hálózati szimplex-módszerrel

Növényvédő szerek A B C D

Egyenletek, egyenlőtlenségek X.

1. Előadás Lineáris programozás

Klasszikus alkalmazások

Operációkutatás II. Tantárgyi útmutató

Operációkutatás gyakorlattámogató jegyzet


Operációkutatás II. Tantárgyi útmutató

Döntési rendszerek I.

462 Trigonometrikus egyenetek II. rész

Operációkutatás I. Bajalinov, Erik, Nyíregyházi Főiskola, Matematika és Informatika Intézete Bekéné Rácz, Anett, Debreceni Egyetem, Informatikai Kar

egyenlőtlenségnek kell teljesülnie.

Lineáris algebra. (közgazdászoknak)

Analízis I. Vizsgatételsor

Lineáris programozás belsőpontos

Sorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján

Diszkrét matematika II., 5. előadás. Lineáris egyenletrendszerek

Egyenletek, egyenlőtlenségek VII.

Jegyzet. az Operációkutatás (elemz, programozó matematikus) tárgyhoz április. Fábián Csaba, Király Tamás, Papp Olga

1000 forintos adósságunkat, de csak 600 forintunk van. Egyetlen lehetőségünk, hogy a

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

operációkutatás példatár

2) Írja fel az alábbi lineáris függvény grafikonjának egyenletét! (3pont)

út hosszát. Ha a két várost nem köti össze út, akkor legyen c ij = W, ahol W már az előzőekben is alkalmazott megfelelően nagy szám.

Átírás:

Operációkutatás I. 2017/2018-2. Szegedi Tudományegyetem Informatikai Intézet Számítógépes Optimalizálás Tanszék 7. Előadás

Árazási interpretáció Tekintsük újra az erőforrás allokációs problémát (vonat és katona gyártása, fa és festék kell) Max z = 3x 1 + 2x 2 [profit] x 1 + x 2 80 [fa] 2x 1 + x 2 100 [festék] x 1, x 2 0 Legyen egy egység fa piaci ára y 1 ($), egy egység festék ára y 2 ($). Mit tehet a gyártó? Eladhatja az erőforrásait (fa, festék) piaci áron Vehet további fát és festéket Gyárt a rendelkezésre álló erőforrásokból és eladja a játékokat Mi a legjobb stratégia (feltéve, hogy mindent tényleg el tud adni)?

Árazási interpretáció Ha eladja a készletét 80y 1 + 100y 2 profitra tesz szert Ha egy katona (piaci) előálĺıtási ára kisebb, mint az eladási ára, azaz y 1 + 2y 2 < 3($) akkor a gyártó korlátlan hasznot el tud érni. Miért? 1 db katona gyártási költsége y 1 + 2y 2 = x 1 db katona esetén: (y 1 + 2y 2 )x 1 a költség Mivel y 1 + 2y 2 < 3, legyen pl. y 1 + 2y 2 = 2.9$ (költség), az eladási ár pedig 3$ = 1db katona esetén a profit 0.1$ = x 1 db katona esetén: 0.1x 1 $ (ami tetszőlegesen nagy lehet)

Árazási interpretáció Hasonlóan megy a dolog a vonatokra is: Ha egy vonat (piaci) előálĺıtási ára kisebb, mint az eladási ára, azaz y 1 + y 2 < 2($) akkor a gyártó korlátlan hasznot el tud érni. De hogyan működik a piac? A piac (hosszú távon) nem engedi, hogy a gyártó korlátlan haszonra tegyen szert. Ellenkezőleg, úgy álĺıtja be az árakat, hogy a gyártó a lehető legkisebb profitot realizálja.

Árazási interpretáció: a piac ár képzése A piac a következő optimalizálási feladatot oldja meg : Min 80y 1 + 100y 2 y 1 + 2y 2 3 [katonák] y 1 + y 2 2 [vonatok] y 1, y 2 0 Ezt hívjuk az eredeti feladat duálisának Az eredeti feladatot (ez alapján) primál feladatnak hívjuk.

Primál-duál feladatpár A primál feladat: A duál feladat: Max z = 3x 1 + 2x 2 x 1 + x 2 80 2x 1 + x 2 100 x 1, x 2 0 Min w = 80y 1 + 100y 2 y 1 + 2y 2 3 y 1 + y 2 2 y 1, y 2 0

Primál-duál feladatpár A primál-duál feladatpár általánosan: n a ij x j b i i = 1,2,... m j=1 Primál feladat x j 0 j = 1,2,... n n max c i x i = z i=1 m a ij y i c j j = 1,2,... n i=1 Duál feladat y i 0 i = 1,2,... m m min b i y i = w i=1

Primál-duál feladatpár A primál-duál feladatpár általánosan, mátrix formában: A primál feladat: A duál feladat: Max c T x = z Ax b x 0 Min b T y = w A T y c y 0 A duál a (standard alakú) primából egyszerűen megkapható transzponáljuk A mátrixot cseréljük fel b és c vektorok szerepét cseréljük az egyenlőtlenségeket -ra Max helyett Min feladatot írunk fel

Primál-duál feladatpár Álĺıtás. A duál feladat duálisa az eredeti primál feladat. Bizonyítás. Átírva a duális feladatot maximalizálási standard alakra m ( a ij)y i c j j = 1,2,... n i=1 Duál feladat y i 0 i = 1,2,... m m max ( b i)y i = w i=1 n ( a ij)x j b i i = 1,2,... m j=1 Duál duálisa x j 0 j = 1,2,... n n min (c j)x j = z j=1 ami ekvivalens a primál feladattal.

Gazdasági értelmezés Tegyük fel, hogy az LP feladatunk egy korlátozott erőforrások mellett maximális nyereséget célzó gyártási folyamat modellje (ld. katona-vonat mintapélda): m erőforrások száma n gyártott termékek száma x j j termékből gyártott mennyiség a ij j termék egységnyi mennyiségének előálĺıtásához szükséges mennyiség a i erőforrásból b i az i erőforrásból rendelkezésre álló mennyiség c j a j termék egységnyi előálĺıtásával (majd eladásával) keletkező haszon

Gazdasági értelmezés A duál feladat megoldásában y i a primál (eredeti) feladat i erőforrásához tartozó ún. marginális ár, vagy más néven árnyék ár. Az erőforrás értéke az LP megoldójának szemszögéből Az i erőforrás mennyiségének növelésével (bizonyos határokon belül) éppen yi -gal nő a nyereség (azaz a célfüggvény értéke) Viszont ha túl sok van egy erőforrásból, az nem érhet sokat 1 Továbbá yi -nál többet már nem érdemes fizetni az i erőforrásért, míg kisebbet igen 1 ld. később komplementáris lazaság rész

Gyenge dualitás tétel Tétel. (Gyenge dualitás) Ha x = (x 1,..., x n ) lehetséges megoldása a primál feladatnak és y = (y 1,..., y m ) lehetséges megoldása a duál feladatnak, akkor c T x b T y, azaz n m c j x j b i y i. j=1 Vagyis a duális feladat bármely lehetséges megoldása felső korlátot ad a primál bármely lehetséges megoldására (azaz az optimális megoldásra is). Bizonyítás. Egyszerű helyettesítés becsléssel: ( n n m ) m n c j x j y i a ij x j = x j a ij y i j=1 vagy mátrixosan: j=1 i=1 i=1 i=1 j=1 c T x (A T y) T x = (y T A)x = y T (Ax) y T b = b T y m b i y i, i=1

Gyenge dualitás Látjuk, hogy a korlátosság és a megoldhatóság nem függetlenek egymástól Ha a primál nem korlátos, akkor a duálnak nincs lehetséges megoldása Hasonlóan, ha a duál nem korlátos, akkor a primálnak nincs lehetséges megoldása Lehetséges, hogy egyiknek sincs lehetséges megoldása De ha mindkettőnek van, akkor mindkettő korlátos Továbbá a primál és a duál feladat egyidejű optimalitása ellenőrizhető

Primál-duál esetek

Erős dualitás tétel Tétel. (Erős dualitás) Ha x = (x 1,..., x n ) egy optimális megoldása a primál feladatnak és y = (y 1,..., y m ) optimális megoldása a duál feladatnak, akkor c T x = b T y, azaz n c j x j = j=1 m b i y i. i=1 Továbbá az is igaz, hogy y T (b Ax ) = 0 és x T (A T y c) = 0. Egyszerűen: ha valamely i-edik feltétel egyenlet nem éles (azaz nincs egyenlőség) a primál optimumban, akkor a kapcsolódó duál y i változó 0 kell legyen. Visszafelé, ha egy primál x i változó szigorúan pozitív, akkor a kapcsolódó duális feltétel egyenlet éles (=) kell legyen. Ezt komplementáris lazaságnak hívjuk.

Erős dualitás tétel A második rész bizonyítása: 0 y T (b Ax) = y T b y T Ax = b T y (A T y) T x b T y c T x = 0, illetve 0 x T (A T y c) = (y T A c T )x = y T (Ax) c T x y T b c T x = b T y c T x = 0.

Erős dualitás tétel Az első rész bizonyítás vázlata példán keresztül: Példa. Adott a következő primál feladat: x 1 x 2 x 3 + 3x 4 1 5x 1 + x 2 + 3x 3 + 8x 4 55 x 1 + 2x 2 + 3x 3 5x 4 3 x 1, x 2, x 3, x 4 0 max 4x 1 + x 2 + 5x 3 + 3x 4 = z A feladat megoldásának utolsó szótára x 4 = 5 x 1 x 3 x 5 x 7 x 6 = 1 + 5x 1 + 9x 3 + 21x 5 + 11x 7 x 2 = 14 2x 1 4x 3 5x 5 3x 7 z = 29 2x 1 2x 3 11x 5 6x 7

A duális feladat: y 1 + 5y 2 y 3 4 y 1 + y 2 + 2y 3 1 y 1 + 3y 2 + 3y 3 5 3y 1 + 8y 2 5y 3 3 y 1, y 2, y 3 0 min y 1 + 55y 2 + 3y 3 = w A duális egy optimális megoldása: y = (11, 0, 6) A primál feladat utolsó szótárában a mesterséges változók célfüggvény együtthatói: c 5 = 11, c 6 = 0, c 7 = 6 (Mit veszünk észre?)

Erős dualitás tétel A gyenge dualitási tétel miatt elég, ha találunk egy olyan (y1, y 1, y 3 ) duál lehetséges megoldást, amelyre 4 j=1 c jx j = 3 i=1 b iyi Az eredeti feladat utolsó szótárából kiolvasható a duális feladat megoldása. A példában x 4 = 5 x 1 x 3 x 5 x 7 x 6 = 1 + 5x 1 + 9x 3 + 21x 5 + 11x 7 x 2 = 14 2x 1 4x 3 5x 5 3x 7 z = 29 2x 1 2x 3 11x 5 +0x 6 6x 7 A duális változók az eredeti feladat mesterséges változóihoz rendelhetők: x 5 y 1, x 6 y 2, x 7 y 3 y 1 = 11, y 2 = 0, y 3 = 6 Az általános esetben az utolsó szótárhoz érve kell számolással az optimumok egyenlőségét.

Dualitási tételből adódó lehetőségek A dualitás fogalma rendkívül hasznos, mert rugalmas hozzáállást teszt lehetővé az LP feladatok megoldásánál. 1 A szimplex algoritmus iterációszáma közeĺıtőleg a sorok számával arányos sok feltétel, kevés változó esetén érdemes áttérni a duálisra 2 Ha az első esetben szükség van 2 fázisra, míg a duálisnál nincs, érdemes áttérni 3 Ha menet közben kell új feltételeket hozzávenni az LP-hez a duál feladattal dolgozva az új feltétel csak egy új, nembázis változóként jelenik meg hozzávesszük az aktuális szótárhoz, és folytatjuk a feladatmegoldást

Általános LP feladat Mi a helyzet akkor, ha az LP feladatunk tartalmaz egyenlőséget vagy nem korlátozott változót (ami felvehet negatív értéket is)? A jó hír, hogy ez kezelhető, ugyanis az egyenlőség feltétel egy nem korlátozott (duál) változóhoz tartozik egy nem korlátozott változó esetén egy egyenlőség feltétel kell legyen (a duálban) Miért? Például tegyük fel, hogy x 1 + x 2 = 80 [fa] 3x 1 + 2x 2 5x 1 + 2x 2 = ( 1) (x 1 + x 2 ) +3 (2x }{{} 1 + x 2 ) }{{} =80 100 Azaz y 1 nem korlátozott (itt 1). 80 + 3 100 = 220$

Általános LP feladat Visszafelé, tfh. x 1 -nek nincs előjelre vonatkozó korlátozása Ekkor például 3x 1 + 2x 2 4x 1 + 2x 2 nem igaz (pl. ha x 1 = 1; x 2 0 továbbra is áll) általánosan 3x 1 (y 1 + 2y 2 )x 1 [ ], vagyis y 1 + 2y 2 értéket beálĺıtva a maximális 3 értékre negatív x 1 esetén is igaz marad a [ ] felső becslés. Hasonlóan igaz, hogy egy primál feltétel egy nem-pozitív duál változóhoz tartozik nem-pozitív primál változóhoz egy duál feltétel tartozik

Általános LP feladat Összegezve: Primál (Max) Duál (Min) i-edik feltétel y i 0 i-edik feltétel y i 0 i-edik feltétel = y i nem korlátozott x i 0 i-edik feltétel x i 0 i-edik feltétel x i nem korlátozott i-edik feltétel =

Általános LP feladat Példa. Primál Duál Max z = 3x 1 + 2x 2 + x 3 x 1 + x 2 + 0.5x 3 80 2x 1 + x 2 + x 3 = 100 x 1 + x 3 40 x 1 x 2 0 x 3 0 nem korlátozott Min w = 80y 1 + 100y 2 + 40y 3 y 1 + 2y 2 + y 3 = 3 y 1 + y 2 2 0.5y 1 + y 2 + y 3 1 y 1 0 y 2 nem korlátozott y 3 0

LP feladatok megoldhatósága Inkonzisztencia: egyenletek és egyenlőtlenségek egy m elemű n a ij x j b i j=1 n a ij x j = b i j=1 i I i E rendszere inkonzisztens, ha léteznek olyan y 1, y 2,..., y m valós számok, amelyekre teljesül, hogy m a ij y i = 0 i=1 m b i y i < 0 i=1 y i 0 j = 1, 2,..., n i I

LP feladatok megoldhatósága Tucker lehetetlenségi tétele egyenlet és egyenlőtlenség rendszerekre. Egyenletek és egyenlőtlenségek egy rendszere akkor és csak akkor megoldhatatlan, ha inkonzisztens Nem bizonyítjuk A tétel bizonyítható a lineáris programozás alaptételének és az erős dualitás tételének általános LP feladatokra vonatkozó formájára támaszkodva

Komplementáris lazaság Ha a primál-duál feladatpár Max c T x Ax b x 0 Min b T y A T y c y 0 akkor azt mondjuk, hogy x = (x 1,... x n ) és y 1 = (y 1,..., y m ) komplementárisak, ha y T (b Ax) = 0 és x T (A T y c) = 0. Vagyis ha y i > 0, akkor x-et az i-edik egyenletbe helyettesítve =-et kapunk ( a feltétel éles ) ha x i > 0, akkor y-t a duális feladat i-edik egyenletébe helyettesítve az = teljesül

Komplementáris lazaság A primál feladat: Max z = c 1 x 1 + c 2 x 2 + c 3 x 3 a 11 x 1 + a 12 x 2 + a 13 x 6 b 1 a 21 x 1 + a 22 x 2 + a 23 x 6 b 2 x 1 x 2 x 3 0 A duális: Min w = b 1 y 1 + b 2 y 2 a 11 y 1 + a 21 y 2 c 1 a 12 y 1 + a 22 y 2 c 2 a 13 y 1 + a 23 y 2 c 3 y 1 y 2 0 Komplementáris lazaság: y i (b i a i1 x 1 a i2 x 2 a i3 x 3 ) = 0 (i = 1,2) x i (a 1j y 1 + a 2j y 2 c j ) = 0 (j = 1,2,3)

Komplementáris lazaság tétel Az erős dualitás tételnél több is tudunk mondani: Tétel. (Komplementáris lazaság) Tegyük fel, hogy x a primál feladat optimális megoldása. Ekkor Ha y a duál optimális megoldása, akkor x és y komplementáris Ha y lehetséges megoldása a duálisnak és komplementáris x-szel, akkor y optimális megoldása a duálnak Létezik olyan lehetséges y megoldása a duálnak, hogy x és y komplementáris.

Komplementáris lazaság Tekintsük a következő feladatot: Max z = 6x 1 + x 2 x 3 x 4 x 1 + 2x 2 + x 3 + x 4 5 3x 1 + x 2 x 3 8 x 2 + x 3 + x 4 = 1 x 1 nem korlátos x 2, x 3, x 4 0 Azt szeretnénk ellenőrizni, hogy vajon a következők egyike optimális megoldás-e: x 1 = 2, x 2 = 1, x 3 = 0, x 4 = 0 x 1 = 3, x 2 = 0, x 3 = 1, x 4 = 0 Gondoljuk át, miért pont ezeket választottuk?

Komplementáris lazaság: példa Annak ellenőrzéséhez, hogy a javasolt megoldások valamelyik optimális-e, kelleni fog a duális feladat: Max z = 6x 1 + x 2 x 3 x 4 x 1 + 2x 2 + x 3 + x 4 5 3x 1 + x 2 x 3 8 x 2 + x 3 + x 4 = 1 x 1 nem korlátos x 2, x 3, x 4 0 Duál: Min w = 5y 1 + 8y 2 + y 3 y 1 + 3y 2 = 6 2y 1 + y 2 + y 3 1 y 1 y 2 + y 3 1 y 1 + y 3 1 y 1, y 2 0 y 3 nem korlátos

Komplementáris lazaság: példa Az első javaslat: x 1 = 2, x 2 = 1, x 3 = 0, x 4 = 0; tegyük fel, hogy ez optimális Ekkor létezik y = (y 1, y 2, y 3 ) lehetséges megoldása a duálisnak ami komplementáris x-szel Az első primál feltétel: x 1 + 2x 2 + x 3 + x 4 = 2 + 2 + 0 + 0 = 4 < 5 nem éles y 1 = 0 kell legyen a komplementaritás miatt A második primál feltétel: 3x 1 + x 2 x 3 = 6 + 1 0 = 7 < 8 nem éles y 2 = 0 kell legyen a komplementaritás miatt Ezek alapján az első duál feltétel: y 1 + 3y 2 = 0 + 0 = 0 6 azaz (y 1, y 2, y 3 ) nem lehetséges megoldása a duálnak, de feltettük, hogy az x nem optimális megoldása a primálnak

Komplementáris lazaság: példa Az második javaslat: x 1 = 3, x 2 = 0, x 3 = 1, x 4 = 0; tegyük fel, hogy ez optimális Ekkor létezik y = (y 1, y 2, y 3 ) lehetséges megoldása a duálisnak ami komplementáris x-szel Az első primál feltétel: x 1 + 2x 2 + x 3 + x 4 = 3 + 0 + 1 + 0 = 4 < 5 nem éles y 1 = 0 kell legyen a komplementaritás miatt A második primál feltétel: 3x 1 + x 2 x 3 = 9 + 0 1 = 8 éles A harmadik primál feltétel: x 2 + x 3 + x 4 = 0 + 1 + 0 = 1 éles Előjel feltételek is teljesülnek (x 1, x 2, x 3, x 4 0) x lehetséges megoldása a primálnak

Komplemetáris lazaság: példa Nézzünk meg a x értékeit a duálra vonatkozóan x 1 nem korlátos első duál feltétel y 1 + 3y 2 = 6 éles (szükségszerűen) x 3 > 0 a harmadik duál feltételnek élesnek kell legyen: y 1 y 2 + y 3 = 1 Összegezve az eddigieket: y 1 = 0 y 1 + 3y 2 = 6 y 1 y 2 + y 3 = 1 Ennek az egyértelmű megoldása: y 1 = 0, y 2 = 2, y 3 = 1. A konstrukcióból adódóan ez komplementáris x-szel. Az utolsó lépés annak ellenőrzése, hogy y lehetséges megoldása-e a duálnak. Igen x optimális megoldása a primálnak.

Komplementáris lazaság: összegzés Összefoglalva: 1 Adott x (javasolt primál megoldás), ellenőrizzük, hogy lehetséges-e 2 Nézzük meg mely y i változóknak kell 0-nak lennie 3 Nézzük meg mely duál feltételeknek kell élesnek lennie egyenletrendszert kapunk 4 Oldjuk meg ezt a rendszert 5 Ellenőrizzük, hogy a kapott megoldás lehetséges megoldása-e a duálnak Ha minden lépés sikeres volt, akkor az adott x optimális, különben nem. Kérdés: mi van akkor, ha x lehetséges, de nem bázismegoldás?