Классы PH и \(\oplus \cdot P\). Операторы \exists,\forall,\oplus, BP. Понятие сведения в коммуникационной сложности. Теорема Тода и ее эффективная версия.