Existe-t-il un algorithme qui trouve les mineurs interdits?
Le théorème de Robertson – Seymour dit que toute famille gg\mathcal 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 gg\mathcal G délivre les mineurs interdits ou est-ce indécidable? Évidemment, la réponse pourrait...