Preguntas etiquetadas con np-hardness

Se sabe que es NP completo para probar si existe un ciclo hamiltoniano en un gráfico de 3 regulares, incluso si es plano (Garey, Johnson y Tarjan, SIAM J. Comput. 1976) o bipartito (Akiyama, Nishizeki, y Saito, J. Inform. Proc. 1980) o para probar si existe un ciclo hamiltoniano en …

24 graph-theory  np-hardness  hamiltonian-paths 

¿Hay algún problema de NP completo para el cual se sabe un algoritmo de que el tiempo de ejecución esperado es polinómico (para alguna distribución sensata sobre las instancias)? Si no, ¿hay problemas para los cuales se ha establecido la existencia de tal algoritmo? ¿O la existencia de tal algoritmo …

24 cc.complexity-theory  np-hardness 

Para una constante , se puede determinar en tiempo lineal, dado un gráfico de entrada G , si su ancho de árbol es ≤ k . Sin embargo, cuando k y G se dan como entrada, el problema es NP-hard. ( Fuente )k ∈ Nk∈Nk \in \mathbb{N}solGG≤ k≤k\leq kkkksolGG Sin …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Claramente, hay una reducción de CLIQUE a k-Color porque ambos son NP-Complete. De hecho, puedo construir uno componiendo una reducción de CLIQUE a 3-SAT con una reducción de 3-SAT a k-Color. Lo que me pregunto es si existe una reducción directa razonable entre estos problemas. Digamos, una reducción que podría …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Se sabe que el ciclo hamiltoniano (jamón para abreviar) tiene NP completo y que el ciclo de jamón planar tiene NP completo. La prueba para Planar Ham Cycle no es de Ham Cycle. ¿Hay un buen dispositivo que, dado un gráfico G, reemplazará todos los cruces con algún dispositivo plano …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Estoy interesado en el problema de empacar copias idénticas de rectángulos (2 dimensiones) en un polígono convexo (2 dimensiones) sin superposiciones. En mi problema, no puede rotar los rectángulos y puede suponer que están orientados en paralelo con los ejes. Solo se le dan las dimensiones de un rectángulo y …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Esta pregunta está relacionada con una respuesta que publiqué en respuesta a otra pregunta. El problema de 3 particiones es el siguiente: Instancia : enteros positivos a 1 , ..., a n , donde n = 3m y la suma de los n enteros es igual a mB, de modo …

23 cc.complexity-theory  np-hardness 

Fijo un lenguaje regular LLL en un alfabeto ΣΣ\Sigma , y considero que el siguiente problema al que llamo programación carta de LLL . Informalmente, la entrada me da nnn letras y un intervalo para cada letra (es decir, una posición mínima y máxima), y mi objetivo es colocar cada …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

El problema No todos iguales -SAT (NAE k -SAT), dado un conjunto C de cláusulas sobre un conjunto X de variables booleanas de modo que cada cláusula contenga como máximo k literales, pregunta si existe una asignación de verdad de las variables de manera que cada cláusula contiene al menos …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Deje que las variables sean . La distancia entre dos variables se define como. La distancia entre dos literales es la distancia entre las dos variables correspondientes. d ( x a , x b ) = | a - b |x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = …

22 np-hardness  sat 

En este hilo , la prueba de intentada por Norbet Blum se refuta sucintamente al señalar que la función de Tardos es un contraejemplo del Teorema 6.P≠NPP≠NPP \neq NP Teorema 6 : Sea cualquier función booleana monótona. Suponga que hay un aproximador CNF-DNF A que se puede usar para probar …

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

Muchos problemas de gráficos algorítmicos se pueden resolver en tiempo polinómico tanto en gráficos no ponderados como ponderados. Algunos ejemplos son la ruta más corta, el árbol de expansión mínimo, la ruta más larga (en gráficos acíclicos dirigidos), flujo máximo, corte mínimo, coincidencia máxima, arborescencia óptima, ciertos problemas de subgrafo …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Los gráficos cúbicos son gráficos en los que cada vértice tiene grado 3. Se han estudiado ampliamente y soy consciente de que varios problemas NP-hard siguen siendo NP-hard incluso restringidos a subclases de gráficos cúbicos, pero otros se vuelven más fáciles. Una superclase de gráficos cúbicos es la clase de …

22 graph-theory  graph-algorithms  np-hardness 

Si un problema es NP-hard (usando reducciones de tiempo polinomiales), ¿eso implica que es P-hard (usando espacio de registro o reducciones NC)? Parece intuitivo que si es tan difícil como cualquier problema en NP, debería ser tan difícil como cualquier problema en P, pero no veo cómo encadenar las reducciones …

22 cc.complexity-theory  np-hardness 

Estoy considerando clases de gráficos que pueden caracterizarse por subgrafos prohibidos. Si una clase de gráfico tiene un conjunto finito de subgrafos prohibidos, entonces hay un algoritmo de reconocimiento de tiempo polinómico trivial (uno puede usar la fuerza bruta). Pero una familia infinita de subgrafos prohibidos no implica dureza: hay …

22 cc.complexity-theory  graph-theory  np-hardness