Preguntas etiquetadas con np-complete

Mi profesor hizo la declaración Cualquier problema finito no puede ser NP-Complete Estaba hablando de Sudoku en ese momento diciendo algo similar a que para un Sudoku 8x8 hay un conjunto finito de soluciones, pero no puedo recordar exactamente lo que dijo. Escribí la nota que he citado pero que …

13 np-complete  np 

Suponga .P≠NPP≠NPP\neq NP ¿Qué podemos decir sobre los límites de tiempo de ejecución de todos los problemas de NP completo? es decir, cuáles son las funciones más ajustadas para las cuales podemos garantizar que un algoritmo óptimo para cualquier problema NP-completo se ejecute en tiempo de al menos y como …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

El problema de 3 particiones pregunta si un conjunto de 3n3n3n enteros se puede dividir en nnn conjuntos de tres enteros, de modo que cada conjunto sume un entero dado BBB. El problema de Partición equilibrada pregunta si 2n2n2n enteros se pueden dividir en dos conjuntos de cardinalidad iguales de …

13 complexity-theory  reductions  np-complete 

El conocido problema SAT se define aquí como referencia. El problema DOUBLE-SAT se define como DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} ¿Cómo demostramos que es NP-completo? Se apreciará más de una …

13 complexity-theory  np-complete  satisfiability 

Leí acerca de NPC y su relación con PSPACE y deseo saber si los problemas de NPC se pueden resolver de manera determinista utilizando un algoritmo con el requisito de espacio polinomial en el peor de los casos, pero potencialmente tomando tiempo exponencial (2 ^ P (n) donde P es …

12 complexity-theory  np-complete  np 

Suponiendo que tenemos un problema pagpp y mostramos que el límite inferior para resolver pagpp es Ω ( 2norte)Ω(2n)\mathcal{\Omega}(2^n) . ¿puede el límite inferior Ω ( 2norte)Ω(2n)\mathcal{\Omega}(2^n) implica el problema en nortePAGNPNP ?

12 time-complexity  np-complete 

Esta es probablemente una pregunta estúpida, pero simplemente no entiendo. En otra pregunta se les ocurrió el teorema de dicotomía de Schaefer . Para mí, parece que demuestra que cada problema de CSP está en P o en NP-completo, pero no en el medio. Dado que cada problema de NP …

12 np-complete  satisfiability  p-vs-np 

En términos de tiempo de ejecución asintótico en el peor de los casos, ¿qué problema de NP completo tiene el algoritmo (exacto) más rápido conocido y cuál es el algoritmo? ¿Hay algo conocido que sea más rápido que ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

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 

Entonces, sé que probar si un lenguaje regular es un subconjunto del lenguaje regular S es decidible, ya que podemos convertirlos a ambos en DFA, calcular R ∩ ˉ S y luego probar si este idioma está vacío.RRRSSSR∩S¯R∩S¯R \cap \bar{S} Sin embargo, dado que esto requiere la conversión a DFA, …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Me pregunto si hay un algoritmo polinómico para "2-SAT con relaciones XOR". Tanto 2-SAT como XOR-SAT están en P, pero ¿es su combinación? Entrada de ejemplo: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) and (b …

11 np-complete  satisfiability  xor  2-sat 

Me pregunto si hay duros que son "polinomiales" en el caso promedio. ¿Creo que hay dos formas de interpretar esto?NPNPNP Si , ¿puede haber un algoritmo que resuelva un problema duro con tiempo de ejecución amortizado (caso promedio) de para una constante ?N P O ( n k ) kP≠NPP≠NPP …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

¿Está el siguiente problema NP-completo? (Asumo que sí). Entrada: un gráfico no dirigido en el que el conjunto de bordes puede descomponerse en dos ciclos simples separados por bordes (estos no son parte de la entrada).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pregunta: ¿Hay un ciclo simple en GGG con una longitud mayor que …

11 graph-theory  np-complete  decision-problem 

Sé que el conjunto independiente máximo en gráficos sin triángulos cúbicos es NP-completo. ¿Sigue siendo NP completo en caso de que necesitemos que el conjunto independiente sea de tamaño exactamente ?|V|/2|V|/2|V|/2 Básicamente, la instancia SÍ de un problema de conjunto independiente en un gráfico de gráficas libres de triángulos cúbicos …

11 complexity-theory  np-complete