Computational complexity theory
good wiki

Computational complexity theory

Teorie výpočetní složitosti je oblast informatiky, která se zabývá studiem zdrojů potřebných k řešení problémů pomocí algoritmů. Tato teorie klasifikuje problémy podle toho, kolik času a místa (paměti) je třeba pro jejich vyřešení. Hlavními třídami problémů jsou P (problémy, které lze vyřešit v polynomickém čase), NP (problémy, pro které lze ověřit řešení v polynomickém čase), a PSPACE (problémy, které lze vyřešit s omezeným množstvím paměti). Základní otázkou v této oblasti je, zda platí rovnost P = NP, což znamená, že každý problém, jehož řešení lze ověřit rychle, lze také rychle vyřešit. Teorie výpočetní složitosti má důležité aplikace v kryptografii, optimalizaci a dalších oblastech informatiky a matematiky.

More at Wikipedia