Hogyan tudjuk az algoritmikus problémák nehézségét összehasonlítani egymással? Mit nevezünk Karp-redukciónak és mikor mondjuk egy problémára, hogy NP-nehéz? Kicsoda Babai László és mi a jelentősége 2015-ös felfedezésének? Alice és Bob valóban biztonságban érezheti magát?
Mikor tekinthető egy algoritmikus probléma „nehéznek” vagy „könnyűnek”? Mi számít vízválasztónak ilyen tekintetben? Valóban léteznek igazán „nehéz” problémák, vagy csupán ügyetlenek vagyunk? Mit mond erről a számítástudomány legfontosabb megoldatlan sejtése?
Mit jelent az, hogy „algoritmus”? Minden feladat megoldható algoritmussal? Mik azok a formális nyelvek? Mikor mondjuk egy problémára, hogy algoritmikusan kiszámíthatatlan vagy eldönthetetlen? Mik az algoritmikus eldönthetőség határai?