Preguntas etiquetadas con fixed-parameter-tractable

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 …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

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? ¿Cuáles son los parámetros del gráfico? Al …

18 graph-isomorphism  fixed-parameter-tractable 

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 tema?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

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 )kkk2k2k2kO(n2)O(n2)O(n^2) Raphael Yuster, Uri Zwick: …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

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 …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

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 

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 ( …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

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 de la función exponencial o alguna de k y …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

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 duro.2k2k2k ¿Cómo cambia la naturaleza …

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

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 

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 …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

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. Un problema parametrizado es un subconjunto de Σ∗×Z≥0Σ∗×Z≥0Σ^∗ …

10 complexity-classes  np-complete  fixed-parameter-tractable 

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 

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 rápido. …

10 cc.complexity-theory  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