Au-delà de NP : un problème de complexité plus intuitif

L'auteur remet en question l'utilisation du problème de l'arrêt comme exemple canonique d'un problème plus difficile que NP-complet, arguant qu'il est confus et peu intuitif. Bien qu'indécidable, la vérification d'une réponse « oui » au problème de l'arrêt peut être effectuée en exécutant le programme pendant un nombre fini d'étapes. Une alternative plus facile à comprendre est présentée : déplacer une pièce sur une grille infinie pour atteindre un point cible. Ce problème est PSPACE-complet en dimensions inférieures, mais sa complexité explose avec l'augmentation des dimensions, atteignant finalement la complétude d'ACKERMANN, démontrant visuellement une complexité bien au-delà des problèmes NP.