Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
PA163 Programování s omezujícími podmínkami
Interaktivní osnova
PA163 Programování s omezujícími podmínkami
OBSAH
PA163 Programování s omezujícími podmínkami
Nyní studovat
Průsvitky z celé přednášky a cvičení
Nyní studovat
Osnova přednášky s průsvitkami
Problém splňování podmínek. Příklady a modelování.
Složitost CSP. Grafová reprezentace CSP. Hranová konzistence.
Konzistence po cestě. K-konzistence.
Směrová konzistence, šířka grafu podmínek a polynomiální CSP. Obecná hranová konzistence, konzistence mezí.
Globální podmínky. Obecný konzistenční algoritmus.
Stromové prohledávání: backtracking, pohled dopředu.
Algoritmy skoku zpět.
Další rozšíření backtrackingu. Neúplné algoritmy.
Lokální prohledávání.
Porovnání algoritmů. Optimalizace a soft omezení: modely.
Optimalizace a soft omezení: modely (dokončení) a algoritmy.
Opakování.
Nyní studovat
Osnova cvičení s průsvitkami a příklady v IBM ILOG OPL
Úvod do jazyka OPL
Globální podmínky
Modelování
Rozvrhování
Rozvrhování II
Prohledávání
Prohlédnout vše
Stromové prohledávání: backtracking, pohled dopředu.
Přednáška 06
Přednáška 06 (tisk)
Předchozí
Následující
PA163 Programování s omezujícími podmínkami
Nyní studovat
Průsvitky z celé přednášky a cvičení
Nyní studovat
Osnova přednášky s průsvitkami
Problém splňování podmínek. Příklady a modelování.
Složitost CSP. Grafová reprezentace CSP. Hranová konzistence.
Konzistence po cestě. K-konzistence.
Směrová konzistence, šířka grafu podmínek a polynomiální CSP. Obecná hranová konzistence, konzistence mezí.
Globální podmínky. Obecný konzistenční algoritmus.
Stromové prohledávání: backtracking, pohled dopředu.
Algoritmy skoku zpět.
Další rozšíření backtrackingu. Neúplné algoritmy.
Lokální prohledávání.
Porovnání algoritmů. Optimalizace a soft omezení: modely.
Optimalizace a soft omezení: modely (dokončení) a algoritmy.
Opakování.
Nyní studovat
Osnova cvičení s průsvitkami a příklady v IBM ILOG OPL
Úvod do jazyka OPL
Globální podmínky
Modelování
Rozvrhování
Rozvrhování II
Prohledávání
Operace
Prohlédnout vše