todas_theorem (148B)
1 # Toda's theorem 2 3 https://en.wikipedia.org/wiki/Toda%27s_theorem 4 5 The [polynomial_hierarchy] is included in [P_PP] ([P] to the [PP]) 6 7 Up: [theorem]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |