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