LS 2019, Jiří Sgall, úterý 10:40, S4
Kontakt a konzultace
Konzultace nejlépe po předběžné domluvě mailem. V LS 2019 budu k
zastižení nejčastěji v pondělí a v úterý.
E-mail: last name at iuuk.mff.cuni.cz
Telefon: 951 554 293
http://iuuk.mff.cuni.cz/~sgall/
Pracovna: 3. patro, místnost 307, Malostranské nám. 25
Cvičení mají vlastní stránky, vedou je Radek
Hušek, Elif Garajová a Martin Skotnica.
Literatura a další pomůcky
Poznámky k přednášce v tuto chvíli bohužel nejsou dopsané ale
poslouží k přehledu první části přednášky, která je dobře pokryta
dvojími skripty J. Matouška Lineární programování a lineární
algebra pro informatiky a Introduction to Discrete
Geometry. Pro druhou část použijte nejlépe poznámky z r.
2010; algoritmy pro párování jsou dobře pokryty v knize Cook
et al: Combinatorial Optimization, která je v informatické
knihovně.
Zkoušky
Termíny
Termíny jsou vypsány v SISu. Časy jsou rozdělené na skupiny, aby se
příchody rozložily a zkrátilo čekání; můžete přicházet i průběžně.
Před složením zkoušky je nutné získat zápočet. Abych umožnil
plánování zkoušek s předstihem, není to formální podmínka v SIS. Ale
před samotnou zkouškou musíte mít zápočet zapsaný v SIS.
Když se přihlásíte na některý termín, tak jej využijte nebo se včas
omluvte či odhlašte. Propadlým termínem ztracíte svůj pokus, navíc
případně propadlý termin mohl využít některý z vašich spolužáků.
Naplánujte si první termín tak, abyste měli čas na případný opravný
termín.
Průběh zkoušky
Součastí zkoušky jsou příklady (napsat duální program, napsat
lineární program pro daný problém, spočítat vrchol mnohostěnu
apod.).
Hlavní částí zkoušky je ústní zkouška z probírané teorie. Po
zadání otázek budete mít čas na přípravu. Studijní materiály
(skripta, učebnice a zápisky z přednášek) ani notebooky,
kalkulačky, PDA, atd., nejsou u zkoušky dovoleny. Společenský
oblek není nutný.
Probraná témata
- 1.(19. 2.)
- historie optimalizace, optimalizační problémy
- úloha lineárního programování
- převedení rovnic na nerovnice atd.
- příklady: dopravní problém, vrcholové pokrytí
- 2. (26. 2.)
- úloha celočíselného programování
- příklad: hledání nejkratší cesty, dvě formulace (primární a
duální)
- opakování: afinní prostory, obal, kombinace, nezávislost
- definice: dimenze
- definice: konvexní množina, konvexní obal, konvexní
kombinace
- konvexní obal X je množina všech konvexních kombinací bodů z
X
- věta (Caratheodory): bod konvexního obalu X je konvexní
kombinací kombinací nejvýše d+1 bodů z X, kde d je dimenze X
- 3. (5. 3.)
- definice: nadrovina, poloprostor
- definice: konvexní mnohostěn jako průnik poloprostorů
- terminologie: omezený konvexní mnohostěn
- věta o oddělování konvexních množin nadrovinou
- věta Minkowski-Weyl: X je omezený konvexní mnohostěn
právě když X je konvexní obal konečné množiny bodů
- 4. (12. 3.)
- definice: stěna mnohostěnu, vrchol, faseta
- věta: omezený mnohostěn je konvexní obal vrcholů, vrcholy
jsou právě extremální body
- věta: stěna stěny je stěna
- 5. (19. 3.)
- minimální popis mnohostěnu
- věta: dimenze polytopu je dána hodností systému rovnic v
minimálním popisu
- věta: v minimálním popisu polytopu nerovnosti vzájemně
jednoznačně odpovídají fasetám
- stěna jako průnik faset
- svaz stěn mnohostěnu
- simplexová metoda
- 6. (26. 3.)
- simplexová metoda
- bázické řešení
- pivotovací krok
- ukončení (optimum, neomezenost)
- degenerovanost
- pivotovací pravidla
- efektivnost, zacyklení
- nalezení počátečního řešení dvoufázovou metodou
- 7. (2. 4.)
- simplexová metoda
- elipsoidová metoda, stručný popis, separační
orákulum, výpočetní složitost
- metody vnitřního bodu
- dualita: příklad
- Farkasovo lemma pro nerovnice pomocí Fourier-Motzkinovy eliminace
- 8. (9. 4.)
- Farkasovo lemma pro rovnice
- věta o odvozování libovolné platné nerovnosti, která je
důsledkem soustavy nerovností
- dualita: znění pro různé tvary LP, rovnicový tvar
apod.
- dualita: důkaz z Farkasova lemmatu
- 9. (16. 4.)
- dualita: důkaz z Farkasova lemmatu - dokončení
- dualita: podmínky komplementarity
- kužely: formulace Minkowski-Weylovy věty pro
neomezené mnohostěny, geometrický důkaz duality
- perfektní párování minimální ceny v bipartitním grafu
pomocí primárně duálního algoritmu
algoritmus
- 10. (23. 4.)
- párování v obecných grafech
- párování maximální velikosti
- perfektní párování minimální ceny (Edmonsův
kvítkový/blossom algoritmus)
- 11. (30. 4.)
- totálně unimodulární matice
- definice, důsledky pro LP
- totálně unimodulární matice se dvěma nenulovými prvky ve
sloupci
- toky a řezy: unimodularita, dualita a její důsledky
- Königova věta: dualita maximálního párování a
minimálního vrcholové pokrytí v bipartitním grafu
- aproximační algoritmy
- 2-aproximační algoritmus pro vrcholové pokrytí
- 12. (7. 5.)
- matroidy
- definice, charakterizace množiny bází
- příklady: vektorové prostory, lesy
- řádová funkce (rank) - definice a vlastnosti
- hladový algoritmus
- polytop matroidu a průniku dvou matroidů, jejich
celočíselnost
- 13. (21. 5.)
- metoda řezů (sečných nadrovin, cutting plane
methods)
- platný řez, příklady
- věta o univerzalitě: lze odvodit každou nerovnost
platnou pro všechna celočíselná řešení
- přehled metod celočíselného programování
- polytop párování, definice a souvislost s algoritmem pro párováni,
celočíselnost, odvození nerovností jako platných řezů