Preguntas etiquetadas con parameterized-complexity

Se sabe que ciertos problemas son indecidibles, pero sin embargo es posible avanzar en su solución. Por ejemplo, el problema de detención es indecidible, pero se puede hacer un progreso práctico en la creación de herramientas para detectar posibles bucles infinitos en su código. Los problemas de mosaico a menudo …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Estoy interesado en la complejidad parametrizada de lo que llamaré el problema d-Dimensional Hitting Set: dado un espacio de rango (es decir, un sistema / hipergrafía establecido) S = (X, R) que tiene una dimensión VC como máximo d y a entero positivo k, ¿contiene X un subconjunto de tamaño …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

Digamos que tenemos un problema de cálculo, por ejemplo, 3-SAT, que tiene un conjunto de instancias de problemas (posibles entradas) . Normalmente en el análisis de algoritmos o teoría de la complejidad computacional, tenemos algunos conjuntos de todas las entradas de longitud , y una función que proporciona el tiempo …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

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 

El ancho de árbol juega un papel importante en los algoritmos de FPT, en parte porque muchos problemas están parametrizados por FPT por el ancho de árbol. Una noción relacionada, más restringida, es la de ancho de ruta. Si un gráfico tiene un ancho de ruta , también tiene un …

18 parameterized-complexity  treewidth  graph-minor 

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 

¿Qué pasa si se sabe algo sobre la complejidad parametrizada de calcular el número de intersección de un gráfico (el número más pequeño de camarillas necesario para cubrir todos sus bordes)? Desde hace tiempo se sabe que es NP-completo, y obviamente es FPT porque tiene un núcleo: si puede cubrir …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Deje 0≤p≤10≤p≤10\le p\le 1 y considere el problema de decisión CLIQUE p de entrada: número entero s , gráfico G con t vértices y bordes Pregunta: no contiene un clique sobre al menos vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Una instancia de CLIQUE contiene una proporción de todos los bordes posibles. …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Dado un nortenorten vértice grafo no dirigido, lo que es el mejor tiempo de ejecución conocido con destino a la búsqueda de un subgrafo que es un k × kk×kk\times k -biclique? ¿Existen algoritmos parametrizados más rápidos que el algoritmo de tiempo de "adivinar" un lado de la biclique y …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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 

Como todos saben, el famoso libro de Garey y Johnson (y muchos otros) proporciona una excelente referencia para la técnica de reducción en el entorno clásico. ¿Hay encuestas o libros sobre el tema de la técnica de reducción en algoritmos parametrizados, digamos la reducción de fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

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 

La jerarquía es una jerarquía de clases de complejidad en complejidad parametrizada, consulte el Zoo de Complejidad para ver las definiciones. Una definición alternativa define usando la definibilidad ponderada de Fagin para las lógica de primer orden, vea el libro de texto de Flum y Grohe .WW\mathsf{W}W [t]W[t]\mathsf{W}[t]W [t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Para …

13 cc.complexity-theory  parameterized-complexity 

Motivación: un coautor edita un manuscrito y me gustaría ver un resumen claro de las ediciones. Todo "diff" -como herramientas tienden a ser inútil si usted está tanto en el texto desplazando dentro (por ejemplo, la reorganización de la estructura) y haciendo las modificaciones locales. ¿Es realmente tan difícil hacerlo …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

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