Je sais qu'il est indécidable de déterminer si un ensemble de tuiles peut carreler l'avion, un résultat de Berger utilisant des tuiles Wang . Ma question est de savoir s'il est également connu d'être indécidable pour déterminer si une seule tuile donnée peut carreler l'avion, un carrelage...
Il est bien connu que le problème d'équivalence est indécidable pour les langages généraux sans contexte. Cependant, toutes les preuves de ce fait que je connais semblent impliquer des grammaires ambiguës sans contexte. Pour cette raison, je voudrais demander si l'on sait si le problème reste...
Le problème d'arrêt des machines Turing est peut-être l'ensemble canonique indécidable. Néanmoins, nous prouvons qu'il existe un algorithme qui en décide presque toutes les instances. Le problème de l'arrêt fait donc partie de la collection croissante de ceux qui présentent le phénomène de «trou...
Réponse: inconnue. Les questions posées sont naturelles, ouvertes et apparemment difficiles; la question est maintenant un wiki communautaire. Aperçu La question vise à diviser les langages appartenant à la classe de complexité PPP - ainsi que les machines de Turing de décision (TM) qui acceptent...
Il est connu que de nombreux problèmes de logique (par exemple les problèmes de satisfiabilité de plusieurs logiques modales) ne sont pas décidables. Il existe également de nombreux problèmes indécidables dans la théorie des algorithmes, par exemple dans l'optimisation combinatoire. Mais dans la...
Quel est le modèle de calcul le plus simple pour lequel le problème de vide est indécidable? Le problème de vide pour un modèle de calcul (par exemple automate à états finis, automate à poussée alternée, automate quantique à erreurs bornées avec compteur, LBA déterministe, etc.) est de déterminer...
Le "nom du jeu le plus grand nombre" demande à deux joueurs d'écrire un numéro secrètement, et le gagnant est la personne qui a écrit le plus grand nombre. Le jeu permet généralement aux joueurs d'écrire des fonctions évaluées à un moment donné, donc serait également une chose acceptable à...
Il y a des problèmes qui sont décidables, il y en a qui sont indécidables, il y a la semi-décidabilité, etc. Dans ce cas, je me demande si un problème peut être méta-indécidable. Cela signifie (du moins dans ma tête) que nous ne pouvons pas dire si c'est décidable ou non. Peut-être qu'il est connu...