Roman Barták: Život s omezeními
24. dubna 2014 v 16 hod., FEL ČVUT (posluchárna KN:E-107), Karlovo nám. 13, Praha 2
Programování s omezujícími podmínkami (CP - Constraint Programming) je technologie pro deklarativní modelování a řešení problémů kombinatorické optimalizace. Přes názor přetrvávající v některých odborných kruzích, že CP je pouze jednoduchá enumerace, je skutečná síla CP v integraci prohledávání a inferenčních technik, které jsou realizovány konzistenčními technikami různé úrovně. Tato integrace poskytuje CP jedinečnou schopnost využívat jak uživatelem definované heuristiky, tak silné obecné techniky pro ořezání prohledávaného prostoru.
Prezentace představí základní pojmy a techniky splňování omezujících podmínek na známé populární hříčce. Dále se soustředí na tzv. globální podmínky, které představují “zadní vrátka” pro přidávání efektivních speciálních řešících technik do obecných systémů pro řešení podmínek. Prezentované techniky budou motivovány reálnými příklady pocházejícími především z oblasti plánování a rozvrhování.
Pozvánka
Constraint programming
Žádné komentáře:
Okomentovat