Třicátéčtvrté setkání Pražského informatického semináře
proběhne 22. března 2018, v 16:00,
v posluchárně E-301, FEL ČVUT
Karlovo nám. 13, Praha 2
Na programu je Libor Barto: Symetrie ve výpočetní složitosti
Anotace:
proběhne 22. března 2018, v 16:00,
v posluchárně E-301, FEL ČVUT
Karlovo nám. 13, Praha 2
Na programu je Libor Barto: Symetrie ve výpočetní složitosti
V posledních 20 letech bylo dosaženo velkého pokroku ve zkoumání výpočetní složitosti problémů splnitelnosti omezujících podmínek, a to zejména díky využití souvislosti mezi jejich výpočetní složitostí a jistým pojmem zachycujícím symetrie problémů v této třídě.
V přednášce budu mluvit o této souvislosti a o mé vizi, že se nakonec stane jedním ze základních principů teorie výpočetní složitosti a povede k vyřešení zásadních problémů oboru, jako je domněnka nazývaná Unique Games Conjecture nebo dokonce problém P versus NP.
Bližší informace najdete na webové stránce PIS.
Žádné komentáře:
Okomentovat