Preguntas etiquetadas con cc.complexity-theory

P versus NP y otros cálculos limitados por recursos.


28
Problemas entre P y NPC
La factorización y el isomorfismo gráfico son problemas en NP que no se sabe que están en P ni en NP-Completo. ¿Cuáles son algunos otros problemas naturales (suficientemente diferentes) que comparten esta propiedad? Los ejemplos artificiales que provienen directamente de la prueba del teorema de Ladner no cuentan. ¿Alguno de …


7
¿Qué teoremas interesantes en TCS se basan en el Axioma de elección? (¿O, alternativamente, el Axioma de la Determinación?)
Los matemáticos a veces se preocupan por el Axioma de Elección (AC) y el Axioma de Determinación (AD). Axioma de elección : Dado cualquier colección de conjuntos no vacíos, hay una función f que, dado un conjunto S en C , devuelve un miembro de S .CC{\cal C}fffSSSCC{\cal C}SSS Axioma …

7
¿Son los problemas completos
En la actualidad, no es factible resolver un problema completo o un problema completo P S P A C E en el caso general de entradas grandes. Sin embargo, ambos se pueden resolver en tiempo exponencial y espacio polinómico.nortePAGSNPNPPAGSSPAGSA CmiPSPACEPSPACE Dado que no podemos construir computadoras no deterministas o 'afortunadas', …









2
¿Se puede amplificar P = NP más allá de P = PH?
En Complejidad descriptiva , Immerman tiene Corolario 7.23. Las siguientes condiciones son equivalentes: 1. P = NP. 2. Sobre estructuras finitas, ordenadas, FO (LFP) = SO. Esto puede considerarse como "amplificación" de P = NP a un enunciado equivalente sobre (presumiblemente) clases de mayor complejidad. Tenga en cuenta que SO …


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.