PA163 Programování s omezujícími podmínkami
doc. Mgr. Hana Rudová, Ph.D.
PA163 Programování s omezujícími podmínkami
doc. Mgr. Hana Rudová, Ph.D.
PA163 Programování s omezujícími podmínkami
Info
Předmět
Období
podzim 2014
Bonusové příklady
Přejít
Kapitola obsahuje:
2
Další soubory
4
PDF
1
Studijní materiály
Příklady s řešeními
Přejít
Kapitola obsahuje:
5
PDF
Průsvitky z celé přednášky a cvičení
Přejít
Kapitola obsahuje:
2
PDF
2
Studijní materiály

Osnova přednášky s průsvitkami

Problém splňování podmínek. Příklady a modelování. Složitost CSP.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Grafová reprezentace CSP. Hranová konzistence.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Konzistence po cestě. K-konzistence.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Obecná hranová konzistence, konzistence mezí. Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Obecný konzistenční algoritmus. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Stromové prohledávání: backtracking, pohled dopředu.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Stromové prohledávání: pohled zpět.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Neúplné algoritmy. Porovnání algoritmů.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Lokální prohledávání.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Optimalizace a soft omezení: modely.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Optimalizace a soft omezení: algoritmy.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Opakování.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály

Osnova cvičení s průsvitkami a příklady v SICStus Prologu

Logický program, CLP program.
Přejít
Kapitola obsahuje:
1
PDF
5
Studijní materiály
Omezení nad seznamy proměnných.
Přejít
Kapitola obsahuje:
1
PDF
3
Studijní materiály
Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Modelování.
Přejít
Kapitola obsahuje:
1
PDF
5
Studijní materiály
Prohledávání.
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
Implementace podmínek.
Přejít
Kapitola obsahuje:
2
Další soubory
1
PDF
2
Studijní materiály

Osnova cvičení s průsvitkami a příklady v IBM ILOGu

Úvod do jazyka OPL.
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
Modelování.
Přejít
Kapitola obsahuje:
1
PDF
3
Studijní materiály
Prohledávání
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Rozvrhování
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Rozvrhování II
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Dekompozice problému.
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
logolink OP VK, CZ.1.07/2.2.00/28.0041
Předchozí
Následující