Věda na Hradě: Matematická teorie výpočetní složitosti – je složitější problém vyřešit než řešení zkontrolovat?

› Rezervace

Vědecko-popularizační přednáška z cyklu Věda na Hradě

Pracujete ve velké firmě a šéfová vám zadala úkol rozdělit zaměstnance do tří skupin pro nadcházející celopodnikový teambuilding. Předala vám dlouhý soupis jednoduchých požadavků typu „Jan A. nesmí být ve stejném týmu jako Jana B., protože by se spolu pořád hihňali“ s tím, že váš návrh pečlivě zkontroluje. Máte podat výpověď? Je role šéfové při kontrole řešení jednodušší než vaše při jeho hledání? Jak to souvisí s informační bezpečností? A jak s predikcí struktury bílkovin?

*

Přednášející: Libor Barto

Libor Barto je profesorem matematiky na Matematicko-fyzikální fakultě Univerzity Karlovy. Zabývá se algebrou, logikou a teoretickou informatikou, zejména problémy splnitelnosti omezujících podmínek. K jeho úspěchům patří získání dvou prestižních grantů Evropské rady pro výzkum (ERC): Consolidator grantu v roce 2017 a Synergy grantu, spolu s M. Bodirskym (Drážďany) a M. Pinskerem (Vídeň), v roce 2022.

Pořádá Správa Pražského hradu, Ústav organické chemie a biochemie AV ČR
a Univerzita Karlova. 
Za podpory Nadačního fondu IOCB Tech.

Záznam z přednášky k dispozici zde.

Datum a místo konání

středa, 5. března 2025 od 18 hodin
Přednáška se uskuteční v prostorách Nejvyššího purkrabství (vstup ze Zlaté uličky).
mapa

Máte-li zájem o účast, proveďte prosím rezervaci výše.

Vstupné

Vstup volný.

Mapa Hradu