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
Příklady s řešeními
•
Příklady 6.
Study now
Průsvitky z celé přednášky a CLP 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.
•
Obecná hranová konzistence, konzistence mezí. Globální podmínky.
•
Obecný konzistenční algoritmus. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
•
Stromové prohledávání: backtracking, pohled dopředu.
•
Stromové prohledávání: pohled dopředu (dokončení), pohled zpět.
•
Další vylepšení backtrackingu. Neúplné algoritmy.
•
Lokální prohledávání. Porovnání algoritmů.
•
Optimalizace a soft omezení: modely.
•
Optimalizace a soft omezení: algoritmy.
•
Opakování.
Study now
Osnova cvičení s průsvitkami a příklady v SICStus Prologu
•
Logický program, CLP program.
•
Omezení nad seznamy proměnných.
•
Globální podmínky.
•
Modelování.
•
Prohledávání.
•
Implementace podmínek.
Study now
Osnova cvičení s průsvitkami a příklady v IBM ILOGu
•
Úvod do jazyka OPL.
•
Globální podmínky
•
Modelování
•
Rozvrhování
•
Rozvrhování II
•
Prohledávání
View all
Opakování.
Error: The referenced object does not exist or you do not have the right to read.
https://is.muni.cz/el/1433/podzim2015/PA163/um/dvanacta.PDF
Error: The referenced object does not exist or you do not have the right to read.
https://is.muni.cz/el/1433/podzim2015/PA163/um/dvanacta.pdf
Previous
Next
PA163 Programování s omezujícími podmínkami
Study now
Příklady s řešeními
•
Příklady 6.
Study now
Průsvitky z celé přednášky a CLP 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.
•
Obecná hranová konzistence, konzistence mezí. Globální podmínky.
•
Obecný konzistenční algoritmus. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
•
Stromové prohledávání: backtracking, pohled dopředu.
•
Stromové prohledávání: pohled dopředu (dokončení), pohled zpět.
•
Další vylepšení backtrackingu. Neúplné algoritmy.
•
Lokální prohledávání. Porovnání algoritmů.
•
Optimalizace a soft omezení: modely.
•
Optimalizace a soft omezení: algoritmy.
•
Opakování.
Study now
Osnova cvičení s průsvitkami a příklady v SICStus Prologu
•
Logický program, CLP program.
•
Omezení nad seznamy proměnných.
•
Globální podmínky.
•
Modelování.
•
Prohledávání.
•
Implementace podmínek.
Study now
Osnova cvičení s průsvitkami a příklady v IBM ILOGu
•
Úvod do jazyka OPL.
•
Globální podmínky
•
Modelování
•
Rozvrhování
•
Rozvrhování II
•
Prohledávání
Operations
View all