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 2007

 

Průsvitky z přednášek a cvičení v jednom souboru
Přejít
Kapitola obsahuje:
2
PDF
2
Studijní materiály
Učitel doporučuje studovat od 15. 12. 2007.

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
Učitel doporučuje studovat od 10. 9. 2007.
Grafová reprezentace CSP. Hranová konzistence.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 3. 10. 2007.
Konzistence po cestě. K-konzistence.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 10. 10. 2007.
Obecná hranová konzistence, konzistence mezí. Globální podmínky. Implementace podmínek.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 17. 10. 2007.
Implementace podmínek. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 24. 10. 2007.
Stromové prohledávání: backtracking, pohled dopředu.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 31. 10. 2007.
Stromové prohledávání: pohled zpět.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 7. 11. 2007.
Stromové prohledávání: dynamický backtracking, neúplné.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 14. 11. 2007.
Lokální prohledávání.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 21. 11. 2007.
Optimalizace a soft omezení: modely. Srovnání prohledávacích algoritmů.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 28. 11. 2007.
Optimalizace a soft omezení: algoritmy.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 5. 12. 2007.
Dynamické problémy
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Učitel doporučuje studovat od 12. 12. 2007.

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

Logický program, CLP program.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Učitel doporučuje studovat od 1. 10. 2007.
Omezení nad seznamy proměnných.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Učitel doporučuje studovat od 15. 10. 2007.
Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Učitel doporučuje studovat od 29. 10. 2007.
Implementace podmínek.
Přejít
Kapitola obsahuje:
2
Další soubory
1
PDF
2
Studijní materiály
Učitel doporučuje studovat od 12. 11. 2007.
Modelování a testování.
Přejít
Kapitola obsahuje:
1
PDF
5
Studijní materiály
Učitel doporučuje studovat od 4. 12. 2007.
Nyní studovat
Prohledávání
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
Učitel doporučuje studovat nyní – od 11. 12. 2007.
Předchozí
Následující