Polynomiálna hierarchia

Polynomiálna hierarchia je hierarchia tried vypočtových zložitostí. Ide o zovšeobecnenie tried P, NP a co-NP na tzv. orákulovské turingove stroje.