El teorema de Robertson-Seymour dice que cualquier familia de gráficas menores cerradas puede caracterizarse por un número finito de menores prohibidos.
¿Existe algún algoritmo que para una entrada dé salida a los menores prohibidos o es indecidible?
Obviamente, la respuesta puede depender de cómo se describe en la entrada. Por ejemplo, si es dada por un que puede decidir la membresía, ni siquiera podemos decidir si alguna vez rechaza algo. Si es dada por muchos menores prohibidos, bueno, eso es lo que estamos buscando. Me gustaría saber la respuesta si se garantiza que se detendrá en cualquier en un período de tiempo fijo en . También me interesan los resultados relacionados, donde se demuestra que tiene un cierre menor con algún otro certificado (como en el caso de oPRUEBA INCORRECTA).
Actualización: La primera versión de mi pregunta resultó ser bastante fácil, basada en las ideas de Marzio y Kimpel, considere la siguiente construcción. acepta un gráfico en vértices si y solo si no se detiene en pasos. Este es un cierre menor y el tiempo de ejecución depende solo de .
fuente
Respuestas:
La respuesta de Mamadou Moustapha Kanté (quien realizó su doctorado bajo la supervisión de Bruno Courcelle) a una pregunta similar cita una Nota sobre la computabilidad de los conjuntos de obstrucción de gráficos menores para ideales monádicos de segundo orden (1997) por B. Courcelle, R. Downey y M. Becarios para un resultado de no computabilidad (para clases de grafos definibles por MSOL , es decir, clases definidas por una fórmula Monadic de segundo orden) y Las obstrucciones de un conjunto de grafos cerrados menores definidos por una gramática libre de contexto (1998) por B Courcelle y G. Sénizer solicitan un resultado de computabilidad (para las clases de gráficos definibles por FC , es decir, las clases definidas por una gramática de Reemplazo de Hyperedge).
La diferencia crucial entre el caso computable y el no computable es que las clases de gráficos definibles por HR (menor cerrado) tienen un ancho de árbol limitado, mientras que las clases de gráficos definibles por MSOL (menor cerrado) no necesitan tener un ancho de árbol limitado. De hecho, si una clase de gráfico definible por MSOL (menor cerrado) tiene un ancho de árbol acotado, entonces también es definible por HR.
El ancho del árbol parece ser realmente la parte crucial para separar los casos computables de los no computables. Otro resultado conocido (por M. Fellows y M. Langston) básicamente dice que si se conoce un límite para el ancho máximo de árbol (o ancho de ruta) del conjunto finito de menores excluidos, entonces el conjunto mínimo (finito) de menores excluidos se convierte en calculable.
Ni siquiera se sabe si el conjunto mínimo (finito) de menores excluidos para el sindicato (que es trivialmente menor cerrado) de dos clases de gráficos menores cerrados cada uno dado por su respectivo conjunto finito de menores excluidos se puede calcular, si no hay información sobre el ancho de árbol (o ancho de ruta) está disponible. O tal vez incluso se ha demostrado mientras tanto que no es computable en general.
fuente