Preguntas etiquetadas con np-hardness

En la complejidad parametrizada, las personas utilizan la reducción de parámetros fijos manejables (FPT) para demostrar la dureza W [t]. Teóricamente, una reducción de FPT no es una reducción de tiempo polinomial, ya que puede ejecutarse exponencialmente en el parámetro k. Pero en la práctica, todas las reducciones de FPT …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

En un gráfico, un conjunto independiente es un subconjunto de vértices que no contiene un borde como un subgráfico inducido. El problema de encontrar conjuntos independientes más grandes en un gráfico es una pregunta algorítmica fundamental, y difícil de resolver. Consideremos la cuestión más general de encontrar (el tamaño de) …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

En un gráfico dirigido, , F ⊂ E , si G ∖ F es un DAG (gráfico acíclico dirigido), F se llama un conjunto de arco de retroalimentación. G = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Si cada borde está asociado con un peso , el problema del …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

El problema de N-queen es este: Entrada: N Salida: una colocación de N "reinas" en un tablero de ajedrez de NXN de modo que no haya dos reinas en la misma fila, columna o diagonal. Al hacer una búsqueda en Google sobre esto, descubrí que muchas diapositivas de muchos profesores …

11 cc.complexity-theory  np-hardness  csp 

Esta pregunta puede no ser técnica. Como hablante no nativo y TA para la clase de algoritmo, siempre me pregunté qué significa gadget en 'gadget de cláusula' o 'gadget variable'. El diccionario dice que un gadget es una máquina o un dispositivo, pero no estoy seguro de qué significado coloquial …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Estoy interesado en una variación SAT donde la fórmula CNF es monótona (no se niegan variables). Tal fórmula es obviamente satisfactoria. Pero digamos que el número de variables verdaderas es una medida de cuán buena es nuestra solución. Entonces tenemos el siguiente problema: MÍNIMO VERDADERO MONOTONE 3SAT INSTANCIA: Conjunto U …

11 cc.complexity-theory  np-hardness  sat 

Me pregunto si las clases de NPC definidas por muchas reducciones y las reducciones de Turing son iguales. Editar: Otra pregunta, ¿las reducciones de Turing solo están colapsando las clases C y co-C para algunos C o hay una clase , ya que existe un problema que no está en …

11 cc.complexity-theory  np-hardness  reductions 

El problema de coincidencia perfecta de dos colores es decidir si un gráfico tiene una coloración con dos colores de manera que cada nodo tenga exactamente un vecino del mismo color que él. Schaefer demostró que el problema era NP completo . Sigue siendo NP-completo incluso para gráficos cúbicos planos. …

10 cc.complexity-theory  np-hardness 

Encontré dos ejemplos de dureza hipotética de algunos problemas gráficos. La dureza hipotética significa que refutar alguna conjetura implicaría la completitud NP del problema gráfico respectivo. Por ejemplo, la conjetura de Barnette establece que cada gráfico bipartito plano cúbico conectado a 3 es hamiltoniano. Feder y Subi demostraron que refutar …

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

Estoy interesado en el siguiente problema. Se nos da como entrada una "permutación de destino" , así como una lista ordenada de índices . Luego, comenzando con la lista (es decir, la permutación de identidad), en cada paso de tiempo intercambiamos el elemento en con el elemento, con probabilidad independiente …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

¿Cuál es la definición estándar de Planar 3-SAT? He visto varias definiciones diferentes. ¿Cuál fue el documento original que lo definió y demostró que era NP completo?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

¿Es un problema CNF SAT NP difícil cuando el número total (pero no el ancho) de las cláusulas de 3 o más términos está limitado por una constante? ¿Qué pasa específicamente cuando solo hay una de esas cláusulas?

10 np-hardness  sat  upper-bounds 

Tengo el siguiente problema: Entrada: dos conjuntos de intervalos y T (todos los puntos finales son enteros). Consulta: ¿hay una biyección monótona f : S → T ?SSSTTTF: S→ Tf:S→Tf:S \to T La biyección es monótona wrt el conjunto para su inclusión en y T . ∀ X ⊆ Y …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

¿Qué tan difícil es el problema de Set Cover si el número de elementos está limitado por alguna función (por ejemplo, lognlog⁡n\log n ) donde nnn es el tamaño de la instancia del problema. Formalmente, Let y F = { s 1 , ⋯ , S n } donde S …

10 np-hardness  set-cover  exp-time-algorithms 

¿Existen algoritmos conocidos para el siguiente problema que superen al algoritmo ingenuo? Entrada: Un sistema de desigualdades lineales.mA x ≤ bAx≤bAx \le bmetromm Salida: una solución factible si existe.X∗∈ { 0 , 1 }nortex∗∈{0,1}nx^*\in \{0,1 \}^n Supongamos que y tienen entradas enteros. Estoy interesado en los peores casos.bUNAAAsibb

10 np-hardness  integer-programming  exp-time-algorithms