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
Course
Term
Autumn 2006
Error: The referenced object does not exist or you do not have the right to read.
https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/prednaska.PDF
Error: The referenced object does not exist or you do not have the right to read.
https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/prednaska4.ps
  • Průsvitky z cvičení
    Error: The referenced object does not exist or you do not have the right to read.
    https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/cviceni.PDF
    Error: The referenced object does not exist or you do not have the right to read.
    https://is.muni.cz/auth/el/1433/podzim2006/PA163/um/cviceni4.ps
  • Základní informace a pravidla pro absolvování předmětu
    Error: The referenced object does not exist or you do not have the right to read.
    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.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Grafová reprezentace CSP. Hranová konzistence. Konzistence po cestě.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Konzistence po cestě II. K-konzistence. Obecná hranová konzistence, konzistence mezí.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Globální podmínky. Implementace podmínek.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Stromové prohledávání: backtracking, pohled dopředu.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Stromové prohledávání: pohled zpět.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Stromové prohledávání: dynamický backtracking, neúplné. Porovnání prohledávacích algoritmů.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Lokální prohledávání.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Optimalizace a soft omezení: modely.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Optimalizace a soft omezení: algoritmy.
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials
    Dynamické problémy
    Open
    Chapter contains:
    1
    PDF
    1
    Study Materials

    Osnova cvičení

    Logický program, CLP program.
    Open
    Chapter contains:
    1
    PDF
    5
    Study Materials
    Omezení nad seznamy proměnných.
    Open
    Chapter contains:
    1
    PDF
    4
    Study Materials
    Modelování.
    Open
    Chapter contains:
    1
    PDF
    5
    Study Materials
    Prohledávání.
    Open
    Chapter contains:
    1
    PDF
    2
    Study Materials
    Modelování a testování.
    Open
    Chapter contains:
    1
    PDF
    4
    Study Materials
    Implementace podmínek.
    Open
    Chapter contains:
    2
    Other files
    1
    PDF
    2
    Study Materials
    Previous
    Next