Skip to top bar
Skip to header
Skip to content
Skip to footer
CS
>
PA163 Programování s omezujícími podmínkami
Interactive Syllabus
PA163 Programování s omezujícími podmínkami
CONTENTS
PA163 Programování s omezujícími podmínkami
Study now
Průsvitky z celé přednášky a cvičení
Study now
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í.
Study now
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í
View all
Směrová konzistence, šířka grafu podmínek a polynomiální CSP. Obecná hranová konzistence, konzistence mezí.
Přednáška 04
Přednáška 04 (tisk)
Previous
Next
PA163 Programování s omezujícími podmínkami
Study now
Průsvitky z celé přednášky a cvičení
Study now
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í.
Study now
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í
Operations
View all