Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

PA163 Programování s omezujícími podmínkami

Interaktivní osnova

PA163 Programování s omezujícími podmínkami

Info

Organizační pokyny
Vzor závěrečné písemné práce
Elektronicky dostupné materiály k jednotlivým částem přednášky a cvičení
Výuka
- přednáška: středa 12:00-14:00, G124
- cvičení: skupina 01 a 02, čtvrtek 12:00-14:00, B117
Sylabus předmětu na IS
Používaný software: SICStus Prolog
- aktuální verze 4.2.3
- doporučeno používat 4.1.3 a vyšší
Průsvitky z přednášek v loňském školním roce
Dotazy a konzultace: kontakt při výuce nebo přes e-mail na adrese Hana Rudová
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). Uvedená osnova i průsvitky jsou předběžné a je možné a také pravděpodobné, že dojde v průběhu semestru k aktualizaci (opravy chyb, drobné změny obsahu).

Průsvitky z celé přednášky a cvičení

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.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Grafová reprezentace CSP. Hranová konzistence.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Konzistence po cestě. K-konzistence, obecná hranová konzistence, konzistence mezí.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Globální podmínky.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Implementace podmínek. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Stromové prohledávání: backtracking, pohled dopředu.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Stromové prohledávání: pohled zpět.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Pohled zpět: backmarking. Neúplné algoritmy. Porovnání algoritmů.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Lokální prohledávání.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Optimalizace a soft omezení: modely.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Optimalizace a soft omezení: algoritmy. Srovnání algoritmů.

Kapitola obsahuje:

1

PDF

1

Studijní materiály

Kapitola obsahuje:

1

PDF

1

Studijní materiály

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

Logický program, CLP program.

Kapitola obsahuje:

1

PDF

4

Studijní materiály

Omezení nad seznamy proměnných.

Kapitola obsahuje:

1

PDF

4

Studijní materiály

Globální podmínky.

Kapitola obsahuje:

1

PDF

3

Studijní materiály

Kapitola obsahuje:

1

PDF

4

Studijní materiály

Prohledávání.

Kapitola obsahuje:

1

PDF

2

Studijní materiály

Implementace podmínek.

Kapitola obsahuje:

2

Další soubory

1

PDF

2

Studijní materiály

Předchozí

PA163 Programování s omezujícími podmínkami
- Nyní studovat
  
  Průsvitky z celé přednášky a cvičení
- Nyní studovat
  
  Problém splňování podmínek. Příklady a modelování. Složitost CSP.
- Nyní studovat
  
  Grafová reprezentace CSP. Hranová konzistence.
- Nyní studovat
  
  Konzistence po cestě. K-konzistence, obecná hranová konzistence, konzistence mezí.
- Nyní studovat
  
  Globální podmínky.
- Nyní studovat
  
  Implementace podmínek. Směrová konzistence, šířka grafu podmínek a polynomiální CSP.
- Nyní studovat
  
  Stromové prohledávání: backtracking, pohled dopředu.
- Nyní studovat
  
  Stromové prohledávání: pohled zpět.
- Nyní studovat
  
  Pohled zpět: backmarking. Neúplné algoritmy. Porovnání algoritmů.
- Nyní studovat
  
  Lokální prohledávání.
- Nyní studovat
  
  Optimalizace a soft omezení: modely.
- Nyní studovat
  
  Optimalizace a soft omezení: algoritmy. Srovnání algoritmů.
- Nyní studovat
  
  Opakování
- Nyní studovat
  
  Logický program, CLP program.
- Nyní studovat
  
  Omezení nad seznamy proměnných.
- Nyní studovat
  
  Globální podmínky.
- Nyní studovat
  
  Modelování.
- Nyní studovat
  
  Prohledávání.
- Nyní studovat
  
  Implementace podmínek.

Operace

Prohlédnout vše