O teorema de Robertson-Seymour diz que qualquer de gráficos de família menos fechada pode ser caracterizado por finitos muitos menores proibidos.
Existe um algoritmo que para uma entrada gera os menores proibidos ou isso é indecidível?
Obviamente, a resposta pode depender de como é descrito na entrada. Por exemplo, se é dado por um que pode decidir ser membro, não podemos nem decidir se rejeita alguma coisa. Se é dado por muitos menores proibidos - bem, é isso que estamos procurando. Gostaria de saber a resposta se é garantido para parar em qualquer em um período fixo de tempo em. Também estou interessado em quaisquer resultados relacionados, em que provou ser fechado por pouco com algum outro certificado (como no caso doou PROVA ERRADA ).
Atualização: A primeira versão da minha pergunta acabou sendo bastante fácil, com base nas idéias de Marzio e Kimpel, considere a seguinte construção. aceita um gráfico em vértices se e somente se M não parar em n etapas. Isso é pouco fechado e o tempo de execução depende apenas de | G | .
fonte
Respostas:
A resposta de Mamadou Moustapha Kanté (que fez seu doutorado sob a supervisão de Bruno Courcelle) a uma pergunta semelhante cita Uma Nota sobre a Computabilidade de Conjuntos de Obstrução Menor em Gráfico para Ideais Monádicos de Segunda Ordem (1997) por B. Courcelle, R. Downey e M. Procura um resultado não computável (para classes de gráficos definíveis por MSOL , ou seja, classes definidas por uma fórmula Monadic de segunda ordem) e As obstruções de um conjunto de gráficos menores e fechados, definidas por uma gramática livre de contexto (1998) por B Courcelle e G. Sénizer defendem um resultado de computabilidade (para classes de gráfico definíveis por RH , ou seja, classes definidas por uma gramática Hyperedge Replacement).
A diferença crucial entre o caso computável e o não computável é que as classes de gráfico definíveis por HR (fechadas pelo menor) têm limite de largura de árvore, enquanto as classes de gráfico definíveis pelo MSOL (fechadas pelo menor) não precisam ter largura de árvore limitada. De fato, se uma classe de gráfico definível por MSOL (fechada por pouco tempo) limitou a largura da árvore, ela também é definível por HR.
A largura da árvore parece ser realmente a parte crucial para separar os casos computáveis dos não computáveis. Outro resultado conhecido (de M. Fellows e M. Langston) basicamente diz que, se um limite para a largura máxima de árvore (ou largura de caminho) do conjunto finito de menores excluídos é conhecido, então o conjunto mínimo (finito) de menores excluídos se torna computável.
Nem se sabe se o conjunto mínimo (finito) de menores excluídos para a união (que é trivialmente fechado a menor) de duas classes de gráfico fechado a menor, cada uma dada pelo respectivo conjunto finito de menores excluídos, pode ser calculado, se nenhuma informação sobre a largura da árvore (ou largura do caminho) está disponível. Ou talvez tenha sido provado, entretanto, que não é computável em geral.
fonte