Optimalizace a aproximace CSP - NMMB536

• Anglický název: Optimization and Approximation CSP
• Zajišťuje: Katedra algebry (32-KA)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2019
• Semestr: letní
• E-Kredity: 6
• Rozsah, examinace: letní s.:2/2, Z+Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: angličtina, čeština
• Způsob výuky: prezenční
• Garant: prof. Mgr. Libor Barto, Ph.D.
• Třída: M Mgr. MMIB; M Mgr. MMIB > Povinně volitelné
• Kategorizace předmětu: Matematika > Algebra

Anotace

čeština

Diskrétní optimalizační problémy z mnoha oborů lze popsat v jazyku CSP (problém splnitelnosti omezujících podmínek) nebo vCSP (ohodnocené CSP). Předmět se zaměří na výpočetní složitost optimalizace a aproximace vCSP, zejména vCSP s pevnou šablonou. Podíváme se, které problémy umíme řešit rychle, které ne, a proč. Předmět nemusí být vyučován každý rok, je vyučován alespoň jednou za dva roky.

Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (14.05.2019)

angličtina

The course may not be taught every academic year, it will be taught at least once every two years.

Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (14.05.2019)

Podmínky zakončení předmětu

Zápočet i zkouška se udělují za aktivní účast a řešení problémů během semestru. Charakter zápočtu (průběžná práce) neumožňuje opakování pokusu o získání zápočtu.

Poslední úprava: Kazda Alexandr, RNDr., Ph.D. (23.02.2018)

Literatura

čeština

S. Živný. The Complexity of Valued Constraint Satisfaction Problem. Springer, 2012.

Poslední úprava: T_KA (30.04.2015)

Požadavky ke zkoušce

Zkouška se uděluje za průběžné řešení problémů během semestru.

Poslední úprava: Kazda Alexandr, RNDr., Ph.D. (23.02.2018)

Sylabus

1. Optimalizace a aproximace CSP, vCSP

2.Příklady výpočetních problémů, které lze popsat v jazyku vCSP

3.Lineární relaxace vCSP, použití

4.NP-těžká vCSP

5.Algebraická teorie vCSP - Galoisova korespondence mezi váženými relaxačními a

algebraickými klony

6.Aproximační algoritmy založené na lineárním a semidefinitním programování

7.Neaproximovatelná CSP - PCP věta, UGC (Unique Games Conjecture)

8.Řešení problémů s extrémně velkým vstupem

Poslední úprava: T_KA (30.04.2015)