Классы $ \sharp P $ и $ PP $. Теорема Тода. $ P^{PP} = P^{\sharp P} $. Теорема Вэлианта о $ \sharp P $ -полноте 0/1 перманента (без доказательства). Интерактивное доказательство для перманента. Следствие об интерактивном доказательстве для $ P^{PP} $. Включение $ MA $ в $ PP $. Схемная сложность $ PP $.