Existe-t-il un algorithme qui trouve les mineurs interdits?

9

Le théorème de Robertson – Seymour dit que toute famille g de graphes mineurs peut être caractérisée par un nombre fini de mineurs interdits.

Existe-t-il un algorithme qui, pour une entrée g délivre les mineurs interdits ou est-ce indécidable?

Évidemment, la réponse pourrait dépendre de la façon dont g est décrit dans l'entrée. Par exemple, si g est donné par un Mg qui peut décider de l'appartenance, nous ne pouvons même pas décider si Mg rejette quelque chose. Si g est donné par un nombre fini de mineurs interdits - eh bien, c'est ce que nous recherchons. Je serais curieux de connaître la réponse si Mg est garanti de s'arrêter sur n'importe quel g dans un laps de temps fixe dans |g|. Je suis également intéressé par tout résultat connexe, où g se révèle être mineur-fermé avec un autre certificat (comme dans le cas de TFNP ouFAUX PREUVE).

Mise à jour: La première version de ma question s'est avérée assez facile, sur la base des idées de Marzio et Kimpel, envisagez la construction suivante. Mg accepte un graphe sur n sommets si et seulement si M ne s'arrête pas en n étapes. Ceci est mineur fermé et le temps de fonctionnement dépend uniquement de |g|.

domotorp
la source
Si est représenté par un TM M G toujours en arrêt , vous pouvez réduire le problème d'arrêt: étant donné M construire M G ( G x ) qui renvoie oui si et seulement si M s'arrête exactement en x étapes ( ( G 1 , G 2 , . . . est une énumération graphique standard). M G ( G x ) accepte au plus un mineur interdit, si G est une famille de mineur fermé, d' où le problème est indécidable.gMgMMg(gX)MX(g1,g2,...Mg(gX)g
Marzio De Biasi
@ThomasKlimpel: Ops, j'ai mal compris la question. Peut-être qu'un correctif est: recherche le premier G i , i x de telle sorte que M s'arrête exactement en i étapes puis accepte si G i n'est pas un mineur de G x ; rejeter autrement. Mg(gX)gje,jeXMjegjegX
Marzio De Biasi
@Marzio Oui, pour simplifier: accepte un graphe sur n sommets si et seulement si M ne s'arrête pas en n étapes. Ceci est mineur fermé et le temps de fonctionnement dépend uniquement de | G | . MGnMn|G|
domotorp
1
Eh bien, j'interprète le fait d'arrêter que si s'arrête en 2 étapes, alors nous disons aussi qu'il s'arrête en 3 étapes. M23
domotorp
@domotorp Puisque votre construction fonctionne (si je ne me trompe pas), et répond à une de vos questions (et puisque Marzio De Biasi et moi avons essayé de proposer une construction aussi simple sans succès), je pense que vous devriez transformer votre construction en un bonne réponse. Vous pouvez en faire un wiki communautaire, si vous ne souhaitez pas répondre à votre propre question. Vous pouvez également modifier votre question et y ajouter la réponse.
Thomas Klimpel

Réponses:

12

La réponse de Mamadou Moustapha Kanté (qui a fait son doctorat sous la supervision de Bruno Courcelle) à une question similaire cite A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals (1997) par B.Courtelle , R. Downey, et M. Fellows pour un résultat non calculable (pour les classes de graphes définissables par MSOL , c'est-à-dire les classes définies par une formule de second ordre monadique) et Les obstructions d'un ensemble de graphiques fermés par des mineurs définis par une grammaire sans contexte (1998) par B Courcelle et G. Sénizergues pour un résultat de calculabilité (pour les classes de graphes définissables par HR , c'est-à-dire les classes définies par une grammaire Hyperedge Replacement).

La différence cruciale entre le cas calculable et le cas non calculable est que les classes de graphes définissables par HR (mineures fermées) ont une largeur d'arbre bornée, tandis que les classes de graphes définissables MSOL (mineures fermées) n'ont pas besoin d'avoir une largeur d'arbre bornée. En fait, si une classe de graphes définissable MSOL (fermée de façon mineure) a une largeur d'arbre bornée, elle peut également être définie par HR.

La largeur d'arbre semble être vraiment la partie cruciale pour séparer les cas calculables des cas non calculables. Un autre résultat connu (par M. Fellows et M􏰊.􏰊 Langston) dit essentiellement que si une limite pour la largeur maximale (ou largeur de chemin) de l'ensemble fini de mineurs exclus est connue, alors l'ensemble minimal (fini) de mineurs exclus devient calculable.

On ne sait même pas si l'ensemble minimal (fini) de mineurs exclus pour l'union (qui est trivialement mineur-fermé) de deux classes de graphiques fermées par des mineurs chacun donné par leur ensemble fini respectif de mineurs exclus peut être calculé, si aucune information sur la largeur d'arbre (ou la largeur de chemin) est disponible. Ou peut-être qu'il a même été prouvé entre-temps qu'il est non calculable en général.

Thomas Klimpel
la source
2
Cette dernière partie est assez intéressante. Si vous comprenez bien, cela implique ce qui suit. Pour une famille de graphes , notons m ( G ) la taille du plus grand mineur minime interdit. Soit f ( n ) = max { m ( G 1G 2 ) m ( G 1 ) , m ( G 2 ) n } . Il n'y a donc pas de limite supérieure récursive connue pour f ( n )gm(g)F(n)=max{m(g1g2)m(g1),m(g2)n}F(n). Connaissez-vous des exemples qui montrent que croît très rapidement? F(n)
domotorp
@domotorp Je suis d'accord, bon point. J'ai quelques idées pour de tels exemples, mais j'ai l'impression que le taux de croissance de tous mes exemples (qui essaient essentiellement de jouer avec la dimension "grille") restera dans ELEMENTARY. Cependant, je crois que si je voulais investir du temps dans ces questions, je devrais d'abord faire une étude de la littérature sur ce qui s'est passé dans les années 2000-2018, peut-être en consultant des articles qui citent les articles que je connais, ou en regardant lors de publications ultérieures des auteurs qui ont travaillé sur ces questions.
Thomas Klimpel
Je vois - eh bien, je ne suis pas désespéré de connaître la réponse, juste je me suis surpris et suis devenu curieux ...
domotorp
1
@domotorp L'ensemble minimal de mineurs exclus pour le syndicat s'est avéré calculable en 2008: logic.las.tu-berlin.de/Members/Kreutzer/Publications/…
Thomas Klimpel