Questions marquées «undecidability»

2
Problèmes avec une solution efficace, sauf pour une petite fraction des entrées
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 noir» de la théorie de la …
3
P contient-il des langues dont l'existence est indépendante de PA ou ZFC? (Wiki de la communauté TCS)
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 ces langages - en deux …
1
Bonne référence sur les méthodes approximatives de résolution des problèmes logiques
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 pratique, les heuristcs et les algorithmes approximatifs …
1
Nombres naturels non comparables
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 à …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.