Preguntas etiquetadas con np-hardness

¿Cuál es la complejidad del siguiente problema? Entrada : HHH un camino hamiltoniano en KnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 un subconjunto de pares de vértices un entero positivo kkk Consulta : ¿hay una M coincidente tal que para cada ( v , u ) ∈ R , d G ( v …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Problema: Dado representado por un circuito booleano, genera una uniformemente aleatoria tal que (o salida si no existe tal ). ϕ : { 0 , 1 }norte→ { 0 , 1 }ϕ:{0 0,1}norte→{0 0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }norteX∈{0 0,1}nortex \in \{0,1\}^nϕ ( x ) …

14 np-hardness  counting-complexity  reductions 

Dado un grafo, G=(V,E)G=(V,E)G = (V, E) , quiero encontrar un óptimo -domination para . Es decir, quiero un subconjunto de tal que todos los vértices enrrrGGGSSSVVVGGG están a una distancia de como máximo rrr de algún vértice en SSS , mientras se minimiza el tamaño de SSS . De …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Como todos saben, SAT está completo para wrt polinomial-tiempo muchas reducciones de uno. Todavía está completo wrt reducciones muchos-uno.N PnortePAG\mathsf{NP}A C0 0UNC0 0\mathsf{AC^0} Mi pregunta es ¿cuál es la profundidad mínima requerida para las reducciones? Más formalmente, ¿Cuál es la menor tal que SAT es \ mathsf {NP} -hard wrt …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Durante mucho tiempo, pensé que un problema era NP-completo si es (1) NP-hard y (2) está en NP. Sin embargo, en el famoso artículo "El método del elipsoide y sus consecuencias en la optimización combinatoria" , los autores afirman que el problema del número cromático fraccional pertenece a NP y …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

¿Hay alguna forma de codificar una instancia de Subset Sum o el problema de partición numérica para que una solución (pequeña) a una relación entera produzca una respuesta? Si no es definitivamente, ¿en algún sentido probabilístico? Sé que LLL (y quizás PSLQ) se han utilizado con éxito moderado en la …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Ese es un nombre que he inventado para este problema. No lo he visto descrito en ninguna parte antes. Todavía no he podido encontrar una prueba de integridad de NP ni un algoritmo de tiempo polinómico para este problema. No es un problema de tarea, está relacionado con un problema …

14 cc.complexity-theory  np-hardness 

Dado un autómata A finito (determinista o no determinista, no creo que esto tenga mucha importancia) y un umbral n , ¿acepta A una palabra que contenga como máximo n letras distintas? (Por k letras diferentes quiero decir que aabaa tiene dos letras distintas, a y b .) Mostré que …

13 cc.complexity-theory  np-hardness  automata-theory 

Treewith es un parámetro gráfico importante que indica qué tan cerca está un gráfico de ser un árbol (aunque no en un sentido topológico estricto). Es bien sabido que calcular el ancho de árbol es NP-hard. ¿Hay clases naturales de gráficos donde el ancho del árbol es difícil de calcular? …

13 graph-theory  np-hardness  polynomial-time  treewidth 

¿Qué tan difícil es encontrar la solución más escasa para un sistema de ecuaciones lineales? Más formalmente, considere el siguiente problema de decisión: Instancia: Un sistema de ecuaciones lineales con coeficientes enteros y un número CCc . Pregunta: ¿Existe una solución para el sistema con al menos CCc variables asignadas …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

Considere el problema en el que se nos da como entrada un gráfico acíclico dirigido G=(V,E)G=(V,E)G = (V, E) , una función de etiquetado λλ\lambda de VVV a algún conjunto LLL con un orden total &lt;L&lt;L<_L (por ejemplo, los enteros), y donde se nos pide calcule el tipo topológico lexicográficamente …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Mientras escribía una pequeña publicación sobre la complejidad de los videojuegos Nibbler y Snake ; Descubrí que ambos pueden modelarse como problemas de reconfiguración en gráficos planos; y parece poco probable que tales problemas no hayan sido bien estudiados en el área de planificación del movimiento (imagine, por ejemplo, una …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

En el problema de extensibilidad, se nos da parte de la solución y queremos decidir si podemos extenderla a una solución completa. Algunos problemas de extensibilidad se pueden resolver de manera eficiente, mientras que otros problemas de extensibilidad transforman un problema fácil en uno difícil. Por ejemplo, el teorema de …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Considere el siguiente problema. Entrada: Un gráfico no dirigido . Salida: Un gráfico H que es un menor de con la densidad de borde más alta entre todos los menores de , es decir, con la relación más alta.G=(V,E)G=(V,E)G=(V,E)HHHGGGGGG|E(H)|/|V(H)||E(H)|/|V(H)||E(H)|/|V(H)| ¿Se ha estudiado este problema? ¿Es solucionable en tiempo polinómico o …

13 graph-theory  graph-algorithms  np-hardness  graph-minor