Preguntas etiquetadas con np-hardness

Supongamos que . N P I es la clase de problemas en que no están ni en ni en N P -hard. Puede encontrar una lista de problemas conjeturados como N P I aquí .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} El teorema de Ladner nos dice que si entonces hay una jerarquía infinita …

16 cc.complexity-theory  np-hardness  np-intermediate 

En el problema de embalaje rectángulo, uno se le da un conjunto de rectángulos y que limitan rectángulo R . La tarea es encontrar una ubicación de r 1 , ... , r n dentro de R de manera que ninguno de los n rectángulos se superpongan. Generalmente, la orientación …

16 cc.complexity-theory  np-hardness  packing 

Me interesan dos preguntas sobre los lenguajes sensibles al contexto (CSL) y la integridad: ¿Existe una noción de integridad para CSL y qué idiomas están completos? ¿Hay CSL naturales que son NP completas? Para 2., ciertamente puedo pensar en lenguajes NP-completos naturales que son CSL (como CSL es igual a …

16 np-hardness  fl.formal-languages  space-bounded 

Hice esta pregunta hace 10 días en cs.stackexchange aquí, pero no tenía ninguna respuesta. En un artículo muy famoso (en la comunidad de redes), Wang y Crowcroft presentan algunos resultados de -completitud del cálculo de ruta bajo varias restricciones aditivas / multiplicativas. El primer problema es el siguiente:N PnortePAG\mathsf{NP} Dado …

15 np-hardness  reductions 

Esperaba que alguien pudiera explicarme por qué exactamente el problema del producto del subconjunto es fuertemente NP-duro, mientras que el problema de la suma del subconjunto es débilmente NP-duro. Subconjunto Suma: Dada y , ¿existe un subconjunto tal que .X= { x1, . . . , xnorte}X={X1,...,Xnorte}X = \{x_1,...,x_n\}TTTX′X′X'∑i ∈ …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

¿Cuál es la complejidad computacional del siguiente problema: dados dos complejos matrices y verifique si hay una matriz de permutación tal que: n × nnorte×norten\times nUNUNAsisiBPAGPAGPB = PA PT.si=PAGUNPAGT.B = P A P^T. Si ayuda, uno puede suponer que y son hermitianos (o incluso que y son reales y simétricos).UNUNAsisiBUNUNAsisiB …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Considere una colección de conjuntos F={F1,F2,…,Fn}F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} sobre un conjunto base U={e1,e2,…,en}U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} donde |Fi||Fi||F_i| ≪≪\ll nnn y ei∈Fiei∈Fie_i \in F_i , y sea kkk un número entero positivo. El objetivo es encontrar otra colección de conjuntos C={C1,C2,…,Cm}C={C1,C2,…,Cm}C=\{C_1,C_2,\dotsc,C_m\} más de UUU tal que cada FiFiF_i se puede escribir como una unión de …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Esta pregunta está estrechamente relacionada con otra publicación: Transiciones de fase en problemas difíciles de NP, pero es algo diferente. Si bien esa pregunta es sobre la dureza de instancias particulares de problemas difíciles de NP, se trata de clasificar la dificultad de las mismas instancias. Hay mucha bibliografía sobre …

15 cc.complexity-theory  np-hardness  sat 

Un conjunto de bateo de una familia S= { S1, ... , Snorte}S={S1,...,Snorte}\mathcal{S} = \{S_1, \dots, S_n\} es un subconjunto HHH de ⋃nortei = 1Syo⋃yo=1norteSyo\bigcup_{i=1}^{n} S_i tal que H∩ Syo≠ ∅H∩Syo≠∅H \cap S_i \ne \emptyset para 1 ≤ i ≤ n1≤yo≤norte1 \le i \le n . El problema para encontrar …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Hace un tiempo hice esta pregunta sobre Stack Overflow: Problema: la venta de Bob . Alguien sugirió publicar la pregunta aquí también. Alguien ya ha hecho una pregunta relacionada con este problema aquí: peso mínimo por debajo del bosque de la cardinalidad dada , pero, por lo que entiendo, no …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

La coloración de 3 bordes de los gráficos cúbicos es -completa. El teorema de cuatro colores es equivalente a "Cada gráfico cúbico plano sin puente es coloreable por 3 bordes".nortePAGnortePAGNP ¿Cuál es la complejidad de la coloración de 3 bordes de los gráficos planos cúbicos? Además, se conjetura que color …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

En una presentación de 2006 titulada GRÁFICOS DE EXPANDER - ¿HAY MISTERIOS IZQUIERDOS? Nati Linial planteó el siguiente problema abierto: ¿Qué problema computacional de duro en el gráfico sigue siendo difícil cuando se restringe a los gráficos de expansión?nortePAGNPNP Desde entonces, ¿se han realizado progresos para probar dicho resultado para …

15 cc.complexity-theory  np-hardness  expanders 

¿Cuál es la siguiente variación en la cubierta del set conocida como? Dado un conjunto S, una colección C de subconjuntos de S y un entero positivo K, ¿existen K conjuntos en C de manera que cada par de elementos de S se encuentre en uno de los subconjuntos seleccionados? …

15 np-hardness  set-cover  cc.complexity-theory 

Tengo un politopo PPP definido por {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pregunta: Dado un vértice vvv de PPP , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de vvv en el gráfico de PPP ? (Polinomio en la dimensión, el número …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Recientemente estuve leyendo un artículo muy bueno de Valiant y Vazirani que muestra que si , entonces no puede haber un algoritmo eficiente para resolver SAT incluso bajo la promesa de que es insatisfactorio o tiene una solución única. De este modo, se demuestra que SAT no admite un algoritmo …

14 np-hardness  np-complete  unique-solution  promise-problems