Polynomial hierarchy, Betti numbers and a real analogue of Toda's theorem

Saugata Basu, Thierry Zell

Toda proved in 1989 that the (discrete) polynomial time hierarchy, $\mathbf{PH}$, is contained in the class $\mathbf{P}^{#\mathbf{P}}$, namely the class of languages that can be de…