Preguntas etiquetadas con parameterized-complexity

El ancho de árbol y el ancho de ruta son parámetros populares, que miden la cercanía de un gráfico a un árbol o una ruta, respectivamente. De hecho, parece que el ancho de árbol es tan popular que aparece en muchos documentos, libros y notas de conferencias que ofrecen (incluso …

13 reference-request  graph-algorithms  parameterized-complexity 

El peso El | x ||x||x|de una cadena binaria x ∈ { 0 , 1 }nortex∈{0,1}nx\in\{0,1\}^n es el número de unos en la cadena. ¿Qué sucede si estamos interesados ​​en calcular una función monótona en entradas con pocas? Sabemos que decidir si un gráfico tiene una kkk -clique es difícil …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Sea una fórmula 2CNF yk un número entero no negativo. En este documento se demuestra que el problema de decidir si uno puede eliminar a lo sumo k cláusulas para hacer φ satisfactorio, es manejable con parámetros fijos, donde k es el parámetro. Mi pregunta es si hay algún trabajo …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Deje y denote por G k el conjunto de todos los gráficos que se pueden incrustar en una superficie del género k de modo que todos los vértices estén situados en la cara externa . Por ejemplo, G 0 es el conjunto de gráficos de plano exterior. ¿Puede el ancho …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Estoy interesado en el problema clásico INCLUSIÓN DE IDIOMAS REGULARES. Dada una expresión regular , denotamos por L ( E ) el lenguaje regular asociado a ella. (Las expresiones regulares están en un alfabeto fijo Σ , con la unión de operaciones, Kleene-star y concatenación).miEEL ( E)L(E)L(E)ΣΣ\Sigma Entrada: Dos expresiones …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

¿Conoces problemas que son W [1] -duros incluso para gráficos de grados acotados? La dimensión métrica es difícil en gráficos con un grado máximo de 3, pero es W [2] -duro. Red-Blue Nonblocker solía ser W [1] duro en gráficos de grados limitados, pero hubo un error en la prueba …

11 reference-request  parameterized-complexity 

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 

Supongamos que es un lenguaje parametrizado con respecto a algún alfabeto . La división de es , el conjunto de instancias en que tienen el parámetro . La clase de complejidad contiene los lenguajes parametrizados modo que para cada , posiblemente con un algoritmo diferente y un tiempo de ejecución …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Siguiendo las preguntas equivalentes sobre NP-Completeness (ver la pregunta de peso y la pregunta dirigida ), me preguntaba cómo los problemas parametrizados se ven afectados por estos atributos. ¿Qué gráficos duros son -Hard en gráficos dirigidos, pero parámetros fijos manejables en gráficos no dirigidos?NPNPNPW[1]W[1]W[1] ¿Qué gráficos duros son -Hard en …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

El problema parametrizado de k-FLIP SAT se define como: Entrada: una fórmula 3-CNF φφ\varphi con nortenorten variables y una asignación de verdad σ: [ n ] → { 0 , 1 }σ:[norte]→{0 0,1}\sigma : [n] \to \{0,1\} Parámetro: kkk Pregunta: ¿podemos transformar la asignación σσ\sigma en una asignación de saturación …

10 parameterized-complexity  fixed-parameter-tractable 

Soy un investigador que trabaja en Algoritmos y teoría de la Complejidad, uso la complejidad parametrizada hasta cierto punto. Para mí, parece que los investigadores en complejidad parametrizada son muy activos (no quiero decir que otros no lo sean) en términos de número de trabajos de investigación. He visto que …

9 soft-question  parameterized-complexity 

Sea una familia de subconjuntos de elementos de un universo finito de objetos. Una familia de subconjuntos -elemento de , con , es una - hitting-set de si, para cada existe al menos un conjunto tales que .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Dada una …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

En una pregunta anterior Algoritmo parametrizado para encontrar bicliques , pregunté si había algoritmos parametrizados rápidos para encontrar un -biclique en un gráfico de n vértices y aprendí que estaba abierto si es FPT wrt k . ¿Es lo mismo para contar las k × k -bicliques, o se sabe …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

Estoy buscando problemas que son difíciles de resolver en tiempo FPT pero que tiene un algoritmo de aproximación. Es decir, problemas que son: R1. W [1] -duro. R2. Admita un algoritmo de aproximación (preferiblemente constante) en tiempo FPT. El problema con el que estoy familiarizado es contar el número de …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

La siguiente noción de un algoritmo de destilación proviene de "En problemas sin núcleos polinomiales". Deje que se le dé una lenguaUn algoritmo de destilación para toma una lista dada de cadenas de entrada y calcula una cadena de salida tal que:L { x i } i ∈ [ t …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace