Preguntas etiquetadas con np-hardness

Deje ser un gráfico no dirigido. Una descomposición de V en subconjuntos disjuntos V i se llama descomposición de Hamilton de G si el subgrafo inducido por cada conjunto V i es un gráfico de Hamilton o consiste en un solo borde con | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Se proporciona el conjunto . Para cada elemento , tenemos peso y costo . El objetivo es encontrar el subconjunto de tamaño que maximice la siguiente función objetivo: .e i w i > 0 c i > 0 M k ∑ e i ∈ M w i + ∑ e …

10 np-hardness  optimization 

Un idioma está en la clase D P si hay dos idiomas L 1 ∈ N P y L 2 ∈ c o N P de modo que L = L 1 ∩ L 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Un problema canónico completo de es SAT-UNSAT: …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Hiroimono es un popular rompecabezas completo de Estoy interesado en la complejidad computacional de un rompecabezas relacionado.NPNPNP El problema es: Entrada : dado un conjunto de puntos en una cuadrícula x n cuadrada y entero knnnnnnkkk Pregunta : ¿Existe un polígono rectilíneo (sus lados paralelos al eje o y ) …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Suponga que P≠NPP≠NPP \neq NP Deje usar la siguiente notación para la tetración (es decir.iaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | es el tamaño de la instancia x. Deje L ser una lengua, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x …

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

Un sistema de la estrella es una familia de n subconjuntos de n-elementos establecidos S . Un sistema de estrellas es gráfico si hay algún gráfico G ( V , E ) tal que F es la familia de los barrios vértice en G . Es N P- completo para …

10 cc.complexity-theory  np-hardness 

Ejemplos de variantes completas de limitadas de conjuntos indecidibles:NPNPNP Problema de detención delimitado = { | La máquina NTM detiene y acepta en pasos}M x t( M, x , 1t)(M,x,1t)(M, x, 1^t)METROMMXxxttt Mosaico limitado = { | hay un mosaico de un cuadrado de área por mosaicos de }t 2 …

10 cc.complexity-theory  np-hardness 

Planteamiento del problema : Deje que sea ​​un autómata pushdown (potencialmente no determinista) y deje que sea ​​su alfabeto de entrada. ¿Hay una palabra st que es aceptado por ?A w ∈ A ∗ | w | ≤ k MMETROMETROMUNAUNA\cal Aw ∈ A∗w∈UNA∗w \in \cal A^*El | w | ≤kEl …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

¿Cuáles son los límites superiores asintóticos más conocidos en tamaños de pruebas probabilísticamente comprobables? Idealmente, estoy buscando una encuesta contemporánea sobre esta amplia pregunta, pero si no hay ninguna, estoy especialmente interesado en la inaccesibilidad de 3-SAT. Deje que 7/8 + ε-3-SAT sea 3-SAT con la promesa de que si …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Hay un buen artículo de 1991 que contiene tres diagramas sobre diferentes familias de clases de grafos que muestran lo que se sabe sobre la dureza de determinar el índice cromático para ellos. ¿Hay alguna noticia desde entonces sobre esto? Estoy más interesado en lo que se sabe sobre gráficos …

9 graph-theory  np-hardness  graph-colouring 

Dado un grafo dirigido fijo (dígrafo) , la problema de decisión -Coloreado pregunta si un dígrafo entrada tiene un homomorfismo a . (Un homomorfismo de a es un mapeo de a que conserva los arcos, es decir, si es un arco de , entonces es un arco de )D G …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

El problema estándar 1-en-3 SAT (o XSAT o X3SAT) es: Instancia : una fórmula CNF con cada cláusula que contiene exactamente 3 literales Pregunta : ¿existe una asignación satisfactoria que establezca exactamente 1 literal por cláusula verdadera? El problema es NP-completo y sigue siendo difícil incluso si no se produce …

9 cc.complexity-theory  np-hardness  sat 

Me pregunto si el siguiente problema es NP-hard. Entrada: G = ( V, E)G=(V,E)G = (V,E) un gráfico simple y una coloración de los bordes ( no verifica ninguna propiedad específica).fF: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\}Fff Pregunta: ¿ es posible dividir en triángulos …

9 graph-theory  np-hardness 

Estoy interesado en una variante de la coincidencia de peso máximo en un gráfico, que llamo "Coincidencia justa máxima". Suponga que la gráfica es completo (es decir, E=V×VE=V×VE=V\times V ), tiene número par de vértices, y que el peso está dada por una función de utilidad p:(V2)→Np:(V2)→Np:{V\choose 2}\to \mathbb N …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

Suponga que tengo conjuntos de con elementos tomados de r posibles. Cada conjunto es de tamaño n ( n &lt; r ), donde los conjuntos pueden superponerse. Quiero determinar si los siguientes dos problemas son NP completos o no:PPPrrrnnnn&lt;rn&lt;rn<r Problema A. ¿Hay ( 1 ≤ M ≤ P ) conjuntos …

9 graph-theory  np-hardness