Preguntas etiquetadas con np-hardness

Norbert Blum publicó recientemente una prueba de 38 páginas de que . ¿Es correcto?PAGS≠ NPAGSP≠NPP \ne NP También sobre el tema: ¿dónde más (en Internet) se está discutiendo su corrección? Nota: el enfoque de este texto de pregunta ha cambiado con el tiempo. Vea los comentarios de las preguntas para …

232 cc.complexity-theory  np-hardness  complexity-classes 

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 …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

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', …

66 cc.complexity-theory  np-hardness  big-picture 

Estoy buscando ejemplos de problemas parametrizados por un número , donde la dureza del problema no es monotónica en k . La mayoría de los problemas (en mi experiencia) tienen una transición de fase única, por ejemplo, k -SAT tiene una transición de fase única de k ∈ { 1 …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

Me he encontrado con el algoritmo polinómico que resuelve 2SAT. Me ha parecido sorprendente que 2SAT esté en P, donde todas (o muchas otras) de las instancias de SAT son NP-Complete. ¿Qué hace que este problema sea diferente? ¿Qué lo hace tan fácil (NL-Complete, incluso más fácil que P)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Varios problemas de optimización que se sabe que son NP-hard en los gráficos generales se pueden resolver trivialmente en tiempo polinómico (algunos incluso en tiempo lineal) cuando el gráfico de entrada es un árbol. Los ejemplos incluyen cobertura mínima de vértice, conjunto independiente máximo, isomorfismo de subgrafo. Mencione algunos problemas …

47 cc.complexity-theory  np-hardness  tree 

El libro de Arora y Barak presenta el factoring como el siguiente problema: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORIZACIÓN={⟨L,U,norte⟩El |(∃ un primer pags∈{L,...,U})[pagsEl |norte]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Añaden, más adelante en el Capítulo 2, que eliminar …

45 cc.complexity-theory  np-hardness  factoring 

Estoy pensando en el siguiente problema: quiero encontrar una expresión regular que coincida con un conjunto particular de cadenas (por ejemplo, direcciones de correo electrónico válidas) y que no coincida con otras (direcciones de correo electrónico no válidas). Supongamos que por expresión regular nos referimos a una máquina de estados …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Esta es una publicación cruzada de math.stackexchange. Deje que FACT denote el problema de factorización de enteros: dado encuentre los primos y los enteros modo quep i ∈ N , e i ∈ N , n = ∏ k i = 0 p e i i .n ∈ N ,n∈N,n …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

¿Por qué la mayoría de las personas prefiere usar reducciones de muchos para definir la integridad de NP en lugar de, por ejemplo, reducciones de Turing?

39 cc.complexity-theory  np-hardness  reductions 

Considere la generalización obvia del Cubo de Rubik . ¿Es NP-difícil calcular el más corto?n×n×nnorte×norte×norten\times n\times n secuencia de movimientos que resuelve un cubo revuelto dado, o hay un algoritmo de tiempo polinómico? [Algunos resultados relacionados se describen en mi reciente publicación de blog .]

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

Dado un nuevo problema en NPNP\mathsf{NP} cuya verdadera complejidad está en algún lugar entre y NP-complete, hay dos métodos que sé que podrían usarse para demostrar que resolver esto es difícil:PP\mathsf{P} Demuestre que el problema es GI completo (GI = isomorfismo gráfico) Muestre que el problema está en . Según …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

Mark Dominus recolectó algunos ejemplos de reducciones de tiempo polinomial de varios problemas NP-duros a la coincidencia de "expresión regular" . Visualizar verificaciones de tiempo polinomial no es un gran salto. ¿Cómo ilustran la clase NP-complete para estudiantes universitarios o para amigos en otros campos que quisieron entender el alboroto …

34 np-hardness  big-list 

Tengo una pregunta historica. Estoy tratando de determinar la referencia para el hecho de que la capacidad de coloración en 3 de los gráficos (alternativamente, la capacidad de coloración en para k ≥ 3 dada ) es NP-difícil.kkkk≥3k≥3k\geq 3 La respuesta tentadora es "el documento original de Karp", pero eso …

33 np-hardness  ho.history-overview 

Cualquier número natural puede considerarse como una secuencia de bits, por lo que ingresar un número natural es lo mismo que ingresar una secuencia 0-1, por lo que obviamente existen problemas de NP completo con entradas naturales. Pero, ¿hay algún problema natural, es decir, uno que no utilice codificación e …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory