b'\n_START_ARTICLE_\nTeorema de Toda\n_START_PARAGRAPH_\nEl teorema de Toda es un teorema demostrado por Seinosuke Toda en el art\xc3\xadculo de 1991 "PP is as Hard as the Polynomial-Time Hierarchy", que le dio a su autor el Premio G\xc3\xb6del en 1998._NEWLINE_El teorema establece que toda la jerarqu\xc3\xada polinomial PH est\xc3\xa1 contenida en P\xe1\xb4\xbe\xe1\xb4\xbe, lo cual implica que PH est\xc3\xa1 contenido en P#P._NEWLINE_#P es el problema de contar el n\xc3\xbamero exacto de soluciones de una pregunta polinomialmente verificable (es decir, de una pregunta en NP), mientras que, a grandes rasgos, PP es el problema de dar una respuesta que es correcta al menos la mitad de las veces. La clase P#P, finalmente, corresponde a todos los problemas que pueden ser resueltos en tiempo polinomial si se tiene acceso a respuestas instant\xc3\xa1neas a cualquier problema de conteo en #P._NEWLINE_As\xc3\xad, el teorema de Toda implica que para cualquier problema en jerarqu\xc3\xada polinomial hay una reducci\xc3\xb3n polinomial a un problema de conteo.\xe2\x80\x8b'