PA163 Programování s omezujícími podmínkami
Mgr. Matěj Čuhel
PA163 Programování s omezujícími podmínkami
Mgr. Matěj Čuhel
PA163 Programování s omezujícími podmínkami
Info
Předmět
Období
podzim 2006
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/prednaska.PDF
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/prednaska4.ps
  • Průsvitky z cvičení
    Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
    https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/cviceni.PDF
    Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
    https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/cviceni4.ps
  • Základní informace a pravidla pro absolvování předmětu
    Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
    https://is.muni.cz/auth/el/1433/podzim2006/PA163/op/organizace.PDF
  • Elektronicky dostupné materiály k jednotlivým částem přednášky a cvičení
  • Vzor závěrečné písemné práce
    Vzor písemné práce
  • Výuka
    • přednáška: středa 10:00-9:40, učebna B204
    • cvičení: pátek 9:00-10:40, počítačová učebna B116
      časový harmonogram výuky cvičení: 22.9.2006, 6.10.2006, 27.10.2006 (pozor není už sudý týden), 10.11.2006, 24.11.2006, 15.12.2006 (pozor změna)
  • Sylabus předmětu na IS
  • Software
  • Odkazy
  • Průsvitky z přednášek v loňském školním roce
  • Dotazy: přes e-mail na adrese Hana Rudová <hanka@fi.muni.cz>

    • Upozornění: Průsvitky v PDF jsou určeny k prohlížení na počítači, k tisku jsou určeny průsvitky v PostScriptu (4 stránky na 1).

    Osnova přednášky

    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. Konzistence po cestě.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Konzistence po cestě II. K-konzistence. Obecná hranová konzistence, konzistence mezí.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    Globální podmínky. Implementace podmínek.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály
    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
    Stromové prohledávání: dynamický backtracking, neúplné. Porovnání prohledávacích 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
    Dynamické problémy
    Přejít
    Kapitola obsahuje:
    1
    PDF
    1
    Studijní materiály

    Osnova cvičení

    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
    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
    Modelování a testování.
    Přejít
    Kapitola obsahuje:
    1
    PDF
    4
    Studijní materiály
    Implementace podmínek.
    Přejít
    Kapitola obsahuje:
    2
    Další soubory
    1
    PDF
    2
    Studijní materiály
    Předchozí
    Následující