Оракульные вычисления. Полиномиальная иерархия. Полнота задачи \( QBF_k \). Теоремы о коллапсе. Семейства схем полиномиального размера. Коллапс полиномиальной иерархии как следствие \( NP\subseteq P/poly \). Языки во втором уровне полиномиальной иерархии, не имеющие схем фиксированного полиномиального размера