El teorema de Toda revela que cualquier problema en la Jerarquía Polinómica (PH) puede reducirse a un problema de conteo en tiempo polinómico
Aquí está el teorema real: [matemática] PH [/ matemática] [matemática] \ subconjunto [/ matemática] [matemática] P ^ {\ # P} = P ^ {PP} [/ matemática]
Lo que esto significa directamente es que cualquier problema en la Jerarquía polinómica puede resolverse en tiempo polinómico con un oráculo a algún problema [matemático] \ # P \ text {-completo} [/ matemático]. ¡Lo que es aún más sorprendente es que solo se necesita una consulta al oráculo!
- Cómo encontrar las raíces de [matemáticas] f (x) = 2x - 4 \ sin {x} [/ matemáticas]
- ¿Es el sistema numérico chino realmente más lógico que el hindú-árabe? ¿Es posible que el sistema chino reemplace al hindú-árabe de la misma manera que el sistema hindú-árabe reemplazó al sistema romano?
- ¿Cómo puede 0C0 (nCr) ser igual a 1?
- Un cable de 200 pulgadas de largo puede dar la vuelta a un bloque cúbico 10 veces. ¿Cuál es el área de un lado de este cubo?
- Cómo demostrar por contradicción que para cualquier número real r, si [math] r ^ 2 [/ math] es irracional, entonces r es irracional
¿Qué podemos sacar de esto? Bueno, dado que [math] PH [/ math] incluye [math] NP, P, CO \ text {-} NP [/ math] podemos concluir que contar soluciones es mucho más difícil que decidir si existen soluciones (a menos que tengamos un colapso de la jerarquía de [matemáticas] P = NP [/ matemáticas] o algún otro resultado sorprendente).