PA163 Programování s omezujícími podmínkami
RNDr. Pavel Troubil, Ph.D.
PA163 Programování s omezujícími podmínkami
RNDr. Pavel Troubil, Ph.D.
PA163 Programování s omezujícími podmínkami
Info
Course
Term
Autumn 2013
  • Bonusové příklady: Na náhodných přednáškách budou rozdávány zadání bonusových příkladů v papírové podobě. Zároveň se zadáním příkladů bude oznámen počet studentů, kteří mají nárok na získání bonusových bodů, pokud mi jako první pošlou včas správné (nebo téměř správné) řešení. Řešení lze poslat v různé formě, např. ho lze i nascanovat. Zadání bude posléze vystaveno i na stránkách předmětu. Po opravení bude na webu předmětu také vystaveno nejlepší řešení.
    Bonusové body lze přičíst k celkovému počtu získaných bodů za závěrečnou písemnou práci. Bodové hranice na získání známek zůstávají v nezměněné podobě, získání bonusových bodů tedy usnadní získání lepšího hodnocení.
  • Nová verze cvičení: Tento semestr plánujeme skupinu cvičení PA163/02 realizovat tak, že budeme řešit příklady prostřednictvím IBM ILOG CPLEX Optimization Studio. Jedná se o jeden z nejvýznamnějších komerčních nástrojů pro programování s omezujícími podmínkami, který je volně dostupný pro akademické použití. Ve cvičení bude vyučováno programování v Optimization Programming Language (OPL). Jednotlivá cvičení budou věnováná podobně jako cvičení v SICStus Prologu praktickému řešení příkladů pomocí programování s omezujícími podmínkami. Výuka cvičení bude tedy věnována úvodu do programovacího jazyka, modelování problémů včetně využití globálních podmínek, návrhu efektivních řešení problémů i řešení rozvrhovacích problémů. Výuka cvičení PA163/01 bude realizována jako v minulých letech pomocí logického programování s omezujícími podmínkami v SICStus Prologu.
  • 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 10:00-12:00, G101
    • cvičení: čtvrtek 14:00-16:00, B204
      PA163/01, začíná 1.týden semestru, vyučující Hana Rudová, SICStus Prolog
      PA163/02, začíná 2.týden semestru, vyučující Pavel Troubil, IBM ILOG
  • Sylabus předmětu na IS
  • Používaný software: 
  • 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.
Průsvitky z celé přednášky a cvičení
Open
Chapter contains:
2
PDF
2
Study Materials
Bonusové příklady
Open
Chapter contains:
5
PDF

Osnova přednášky s průsvitkami

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.
Open
Chapter contains:
1
PDF
1
Study Materials
Konzistence po cestě. K-konzistence, obecná hranová konzistence, konzistence mezí.
Open
Chapter contains:
1
PDF
1
Study Materials
Globální podmínky.
Open
Chapter contains:
1
PDF
1
Study Materials
Implementace podmínek. 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
Pohled zpět: backmarking. Neúplné algoritmy. Porovnání 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. Srovnání algoritmů.
Open
Chapter contains:
1
PDF
1
Study Materials
Opakování.
Open
Chapter contains:
1
PDF
1
Study Materials

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

Logický program, CLP program.
Open
Chapter contains:
1
PDF
4
Study Materials
Omezení nad seznamy proměnných.
Open
Chapter contains:
1
PDF
4
Study Materials
Globální podmínky.
Open
Chapter contains:
1
PDF
3
Study Materials
Modelování.
Open
Chapter contains:
1
PDF
4
Study Materials
Prohledávání.
Open
Chapter contains:
1
PDF
2
Study Materials
Implementace podmínek.
Open
Chapter contains:
2
Other files
1
PDF
2
Study Materials

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

Úvod do jazyka OPL.
Open
Chapter contains:
1
PDF
1
Study Materials
Globální podmínky.
Open
Chapter contains:
1
PDF
2
Study Materials
Modelování.
Open
Chapter contains:
1
PDF
3
Study Materials
Rozvrhovací problémy
Open
Chapter contains:
1
PDF
1
Study Materials
Prohledávání
Open
Chapter contains:
1
PDF
1
Study Materials
Dekompozice problému.
Open
Chapter contains:
2
PDF
4
Study Materials
logolink OP VK, CZ.1.07/2.2.00/28.0041
Previous
Next