Nadcházející přednášky

Přednáška o AI

Jedná se o přednášku zaměřenou na metodu rozhodovacích stromů a její varianty jako například Gradient boosted decision trees. Bude předvedena naivní implementace v C++ a rozebrána její časová a paměťová složitost. Ke konci se zmíníme o pár metodách prořezávání stromů.

Ramseyova věta

V přednášce se podíváme na různé přístupy pro odhad Ramseyových čísel. V dnešní době se objevují snahy využít k výpočtu SAT řešiče. Podrobně si vysvětlíme, jak lze SAT řešiče použít pro výpočet Ramseyových čísel a jaké jsou limity tohoto postupu. Předpokládá se interaktivní práce s nějakým SAT řešičem dle vlastního výběru v průběhu přednášky.