Preguntas etiquetadas con complexity-theory

Tenemos muchos problemas, como la factorización, que se conjeturan fuertemente, pero no se prueban, que están fuera de P. ¿Hay alguna pregunta con la propiedad opuesta, a saber, que se conjeturan fuertemente pero no se prueba que estén dentro de P?

12 complexity-theory  polynomial-time 

Tengo problemas para comprender los problemas PRIME, COMPUESTO, FACTOR y cómo están relacionados en términos de complejidad. Entiendo que PRIME ha demostrado estar en mediante la prueba de primalidad AKS, y creo que esto también funciona para COMPOSITE.PAGPP En cuanto a FACTOR, FA CTO R = { ( m , …

12 complexity-theory  factoring 

Soy consciente de que esto parece una pregunta muy estúpida (o demasiado obvia para decir). Sin embargo, estoy confundido en algún momento. Podemos mostrar que P NP=== si y solo si podemos diseñar un algoritmo que resuelva cualquier instancia dada de problema en NP en tiempo polinómico. Sin embargo, no …

12 complexity-theory  p-vs-np 

Acabo de leer algunas páginas en el libro de Sipser Introducción a la teoría de la computación sobre el problema posterior a la correspondencia, y estoy pensando que PCP está realmente en NP. El certificador es: para una configuración de entrada de pile concatenando como una cadena y concatenando como …

12 complexity-theory  decision-problem  np 

Tengo curiosidad por saber si hay problemas completos en la clase de complejidad Arthur-Merlin. Graph Non-Isomorphism (GNI) parece ser el ejemplo canónico de un problema en AM, pero probablemente no sea completo. Supongo que también me pregunto si un problema "completo" está bien definido para AM. Como AM = BP.NP, …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

He visto cómo XOR-3-SAT se puede resolver de manera eficiente (por ejemplo, consulte la sección "Satisfacción de XOR" en la entrada de Wikipedia para el problema de satisfacción booleana ). Me pregunto una pregunta básica: ¿es XOR-k-SAT eficientemente solucionable, para fórmulas con cantidades variables de literales por cláusula? Realmente me …

12 complexity-theory  satisfiability 

Al leer algunos blogs sobre la complejidad computacional (por ejemplo, aquí ) asimilé la noción de que decidir si dos grupos son isomórficos es más fácil que probar dos gráficos para el isomorfismo. Por ejemplo, en la página indicada dice que el isomorfismo gráfico es un problema más general que …

12 complexity-theory  graph-isomorphism  group-theory 

¿La completitud de coNP implica dureza NP? En particular, tengo un problema que he demostrado que es completo para coNP. ¿Puedo afirmar que es NP-hard? Me doy cuenta de que puedo reclamar dureza de coNP, pero no estoy seguro de si esa terminología es estándar. Me siento cómodo con la …

12 complexity-theory  np-hard 

Estoy tratando de resolver este problema y realmente estoy luchando. Una fórmula booleana monótona es una fórmula en lógica proposicional donde todos los literales son positivos. Por ejemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) es una función booleana monótona. Por otro lado, …

12 complexity-theory  np-complete  satisfiability 

¿La dificultad de un problema NP-hard o NP-complete (como se define aquí ) cambia cuando su entrada es unaria en lugar de codificada en binario? ¿Qué diferencia hay si la entrada de un problema fuertemente NP-hard está codificada de forma unaria? Quiero decir, si tomo, por ejemplo, el problema de …

12 complexity-theory  time-complexity  np-complete 

Tengo esta "prueba" muy simple para NP = CoNP y creo que hice algo mal en alguna parte, pero no puedo encontrar lo que está mal. ¿Alguien me puede ayudar? Sea A un problema en NP, y sea M el decisivo para A. Sea B el complemento, es decir, B …

12 complexity-theory  p-vs-np  check-my-proof  np 

A continuación, supongamos que estamos trabajando con una máquina Turing de cinta infinita. Al explicar la noción de la complejidad del tiempo a alguien, y por qué se mide en relación con el tamaño de entrada de una instancia, me topé con la siguiente afirmación: [..] Por ejemplo, es natural …

12 complexity-theory  time-complexity  intuition 

Se hizo una pregunta en Stack Overflow ( aquí ): Dado un número entero , imprimir todas las combinaciones posibles de valores enteros de A , B , C y D que resolver la ecuación A 2 + B 2 + C 2 + D 2 = N .NNNA,B,CA,B,CA,B,CDDDA2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = …

12 complexity-theory  time-complexity  number-theory  enumeration 

Definición: Reducción de Karp Un lenguaje es Karp reducible a un lenguaje si hay una función computable de tiempo polinomial f: \ {0,1 \} ^ * \ rightarrow \ {0,1 \} ^ * tal que para cada x , x \ in a si y sólo si f (x) \ …

12 complexity-theory  reductions  check-my-proof 

¿Qué significa la clase de complejidad ? Sé que ⊕ P es la clase de complejidad que contiene los lenguajes A para los cuales existe una máquina de Turing no determinista de tiempo polinomial M tal que x ∈ A si el número de estados de aceptación de la máquina …

12 complexity-theory  terminology  complexity-classes