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?
- ¿Qué gráficos duros son -Hard en gráficos ponderados, pero parámetros fijos manejables en gráficos no ponderados?
Bien, entonces tenemos problemas que se vuelven más difíciles en la versión dirigida. ¿Qué hay de las pesas? ¿Pueden hacer el problema parametrizado más difícil?
Respuestas:
El problema de las rutas disjuntas: dados los pares de nodos y , ¿existen rutas disjuntas de nodos que conectan los pares dados? Parametrizado por , en FPT cuando no está dirigido del trabajo seminal de Robertson y Seymour. NP-Hard para cuando se dirige - del trabajo de Fortune, Hopcroft y Wylie (1980).G k k G k=2 G
fuente
Calcular el ancho del árbol y la descomposición del árbol en gráficos no dirigidos es el parámetro FPT wrt width. Muchas medidas de ancho de dígrafo (o su juego correspondiente) son equivalentes al ancho del árbol en gráficos no dirigidos. La clase de complejidad exacta de muchos de ellos no se conoce, pero recientemente se demostró que DAG-Width es PSPACE-complete .
fuente