クラスP^#P
$ P^{\sharp P}
クラスPHを包含する
戸田の定理
ref
関連
クラス#P
https://ja.wikipedia.org/wiki/Sharp-P