algoritmos para problemas parametrizados donde el tiempo de ejecución es polinomial en el tamaño de entrada, pero depende arbitrariamente del parámetro
En complejidad parametrizada, ⊆ W [ 2 ] . Se conjetura que cada una de las contenciones es adecuada.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Si entonces .P = W [ P ]F P T = W...
Actualmente estoy haciendo una encuesta bibliográfica sobre el problema del isomorfismo gráfico (GI). Me gustaría saber algunas preguntas abiertas relacionadas con lo siguiente ¿Cuáles son los parámetros del gráfico para los que la trazabilidad de parámetros fijos de GI es un problema abierto?...
Me gustaría aprender sobre la Complejidad Parametrizada (tanto en el lado algorítmico como en el lado de la dureza). ¿Qué libros / apuntes puedo leer sobre este
El problema kkk -cycle es el siguiente: Instancia: un gráfico no dirigido solsolGcon nnn vértices y hasta aristas.(n2)(n2)n \choose 2 Pregunta: ¿Existe un ciclo (adecuado) en ?GkkkGGG Antecedentes: para cualquier fija , podemos resolver el ciclo en el tiempo .2 k O ( n 2
Cuando se nos da una descomposición de árbol de un gráfico con ancho w , hay varias formas en que podemos hacer que sea "agradable". En particular, se sabe que es posible transformarlo en una descomposición del árbol donde el árbol es binario y su altura es O ( log n ) . Esto se puede lograr...
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 lo que he verificado...
La cubierta de vértices se puede reducir fácilmente a conjunto independiente y viceversa. Sin embargo, en el contexto de la complejidad parametrizada, el conjunto independiente es más difícil que Vertex Cover. Existe un kernel con vértices para Vertex Cover, pero Independent Set es W 1...
En la definición de rastreabilidad de parámetros fijos (fuertes), el límite de tiempo es una expresión de la forma donde la instancia de entrada es ( x , k ) con el parámetro k , p es un polinomio yf es una función computable .F( K ) . p ( | x | ) ,F(k).pag(El |XEl |),f(k).p(|x|),( x , k...
Los parámetros fijos y la aproximación son enfoques totalmente diferentes para resolver problemas difíciles. Tienen motivaciones diferentes. La aproximación busca un resultado más rápido con una solución aproximada. El parámetro fijo busca una solución exacta con complejidad de tiempo en términos...
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 que generalice este...
En el artículo de Stephen Cook sobre el problema P vs NP, [1] afirma lo siguiente [2]: Tesis de viabilidad: un problema natural tiene un algoritmo factible si tiene un algoritmo de tiempo polinómico. Mi pregunta es, ¿qué quiere decir exactamente él (o, en general, qué quiere decir uno) con "un...
Wikipedia escribe: FPT contiene los problemas manejables del parámetro fijo, que son aquellos que pueden resolverse en el tiempo para alguna función computable f . Por lo general, esta función se considera exponencial simple, como 2 O ( k ), pero la definición admite funciones que crecen aún más...
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...
Conjetura de Berman-Hartmanis: todos los lenguajes NP completos se parecen, en el sentido de que pueden estar relacionados entre sí por isomorfismos de tiempo polinomiales [1]. Estoy interesado en una versión más detallada del "tiempo polinómico", es decir, si usamos reducciones parametrizadas....
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...
Problema clásico: Deje que se dé un número . El problema -clique es el siguiente.kkkkkkk Dado un gráfico , ¿existe un subconjunto de vértices para que dos vértices de sean adyacentes?S k SGGGSSSkkkSSS Problema de hipergrafía: Deje que se den los números y . El problema -hiperclique es el...
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...
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...
Un resultado fundamental en la complejidad parametrizada de los problemas gráficos es que la CUBIERTA VERTEX parametrizada por el tamaño de la solución es manejable con parámetros fijos (FPT). Por otro lado, cuando se parametriza mediante el "parámetro dual" , se convierte en equivalente a SET...