Preguntas etiquetadas con np-hardness

Deje que denote un problema (decisión) en NP y deje que # X denote su versión de conteo.XXXXXX ¿En qué condiciones se sabe que "X es NP-completo" ⟹⟹\implies ¿"#X es # P-completo"? Por supuesto, la existencia de una reducción parsimoniosa es una de esas condiciones, pero esto es obvio y …

29 cc.complexity-theory  np-hardness  counting-complexity 

Recientemente se hicieron dos preguntas en cs.se que estaban relacionadas o tenían un caso especial equivalente a la siguiente pregunta: Suponga que tiene una secuencia de números tales que Descomponerlo en la suma de dos permutaciones, y , de , de modo que . n ∑ n i = 1 …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

Sabemos que (véanse, por ejemplo, los Teoremas 1 y 3 de [1]), en términos generales, en condiciones adecuadas, las funciones que pueden calcularse eficientemente por la máquina de Turing en tiempo polinómico ("eficientemente computable") pueden expresarse mediante redes neuronales polinómicas con tamaños razonables, y por lo tanto se puede aprender …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

¿Tiene sentido considerar una categoría de todos los problemas de NP completo, con morfismos como reducciones de poli-tiempo entre diferentes instancias? ¿Alguien ha publicado alguna vez un artículo sobre esto, y si es así, dónde puedo encontrarlo?

28 cc.complexity-theory  np-hardness  ct.category-theory 

Este artículo me pareció muy interesante. Para resumir: analiza por qué en la práctica rara vez se encuentra el peor de los casos de un problema de NP completo. La idea en el artículo es que las instancias generalmente están muy poco o muy restringidas, las cuales son relativamente fáciles …

27 np-hardness  worst-case 

Mientras lee el artículo "¿Es hora de declarar la victoria en el conteo de la complejidad?" en el blog "La carta perdida de Godel y P = NP" , mencionaron la dicotomía para los CSP. Después de seguir algunos enlaces, buscar en Google y escribir en wikipedia, me encontré con …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Dada una matriz binaria por (las entradas son o ), el problema es determinar si existen dos vectores binarios modo que (todas las operaciones se realizan sobre ). ¿Es este problema NP-hard?mmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Está claramente en NP, ya que puede dar dos vectores como testigos. Equivalente: dado …

27 cc.complexity-theory  np-hardness  linear-algebra 

He estado pensando en el siguiente problema por un tiempo, y no he encontrado una solución polinómica para él. Solo de origen bruto. He estado tratando de reducir un problema NP-Complete en él también sin éxito. Aquí está el problema : Tiene un conjunto ordenado de pares enteros positivos. { …

27 ds.algorithms  np-hardness  sorting 

¿El siguiente problema es NP-hard? Dada una configuración de tablero para borradores internacionales , encuentre un solo movimiento legal.n×nn×norten\times n El problema correspondiente para damas estadounidenses (también conocido como borradores en inglés) se puede resolver trivialmente en tiempo polinómico. Hay tres diferencias principales entre estos dos juegos.n ×nn×norten\times n La …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Considere el problema de cobertura de conjunto mínimo con las siguientes restricciones: cada conjunto contiene como máximo kkk elementos y cada elemento del universo se produce en la mayoría de los conjuntos fff . Ejemplo: el caso k = 4k=4k = 4 y F= 2f=2f = 2 es equivalente al …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Para cualquier , digo que una secuencia s de enteros en { 1 , ... , n } es n -completa si, para cada permutación p de { 1 , ... , n } , se escribe como una secuencia de enteros distintos por pares p 1 , ... , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

¿Se ha estudiado la complejidad del siguiente problema? Entrada : un gráfico cúbico (o regular) , un límite superior naturalG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Pregunta : ¿hay una partición de en partes de tamaño modo que la suma de los órdenes de los …

25 graph-theory  np-hardness  co.combinatorics 

¿Hay alguna referencia que cubra esto?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Considere el siguiente problema: dada una fórmula CNF y una asignación que satisface esta fórmula, ¿hay otra asignación satisfactoria para esta fórmula? ¿Cuál es la complejidad de este problema? (Seguramente está en NP, pero ¿también es NP-hard?) ¿Qué sucede si no se le asigna la tarea y solo desea decidir …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

Existe una rica literatura y al menos un libro muy bueno que establece la dureza conocida de los resultados de aproximación para problemas NP-duros en el contexto de error multiplicativo (por ejemplo, la aproximación 2 para la cobertura de vértices es óptima suponiendo UGC). Esto también incluye clases de complejidad …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness