Libor Barto

Matematická teorie výpočetní složitosti – je složitější problém vyřešit než řešení zkontrolovat? (záznam)

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?