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
Předmět
Období
podzim 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í
Přejít
Kapitola obsahuje:
2
PDF
2
Studijní materiály
Bonusové příklady
Přejít
Kapitola obsahuje:
5
PDF

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
Grafová reprezentace CSP. Hranová konzistence.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Konzistence po cestě. K-konzistence, obecná hranová konzistence, konzistence mezí.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
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
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
Pohled zpět: backmarking. Neúplné algoritmy. Porovnání 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. Srovnání algoritmů.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Opakování.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály

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

Logický program, CLP program.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Omezení nad seznamy proměnných.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
3
Studijní materiály
Modelování.
Přejít
Kapitola obsahuje:
1
PDF
4
Studijní materiály
Prohledávání.
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
Implementace podmínek.
Přejít
Kapitola obsahuje:
2
Další soubory
1
PDF
2
Studijní materiály

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

Úvod do jazyka OPL.
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Globální podmínky.
Přejít
Kapitola obsahuje:
1
PDF
2
Studijní materiály
Modelování.
Přejít
Kapitola obsahuje:
1
PDF
3
Studijní materiály
Rozvrhovací problémy
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Prohledávání
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
Dekompozice problému.
Přejít
Kapitola obsahuje:
2
PDF
4
Studijní materiály
logolink OP VK, CZ.1.07/2.2.00/28.0041
Předchozí
Následující