¿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 (libro de Downey...
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,...
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...
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...
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...
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...
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...
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 ] yLLLLLL{ xyo}i ∈ [ t...
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<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in...
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 que esto es...
Deje que SAT sea el lenguaje de esas instancias de SAT que contienen variables , deje que -SAT sea el lenguaje de esas instancias de SAT en las que cada cláusula tiene a lo sumo literales, y deje que -SAT sea su intersección. Deje , donde el rango infimum abarca todos los algoritmos (máquinas...
Sea un problema de gráfico NP-completo. Supongamos que X es solucionable en tiempo polinómico en gráficos de diámetro acotado. En otras palabras, parametrizado por diámetro está en XP. (Recordemos que un problema está en XP si se puede resolver en tiempo). ¿Esto implica la capacidad de solución en...
Problema de cláusulas independientes máximas parametrizadas : Entrada: Una fórmula F de r-CNFSAT que tiene n variables y cláusulas m , k Ques: ¿Existe al menos k cláusulas tales que sean mutuamente independientes, es decir, no se produce ninguna variable más de una vez en todas estas cláusulas...