Замкнутость классов NSpace[s(n)] относительно дополнения. Полиномиальная иерархия. Простейшие свойства, полные задачи в $\Sigma_i^P$ и в $\Pi_i^P$. Оракульное определение полиномиальной иерархии.