Оракулы при которых $P=NP$ и $P\neq NP$. Иерархия по времени для детерминированных и недетерминированных вычислений.