Percée : Simulation de la complexité temporelle en espace racine carrée
Une nouvelle recherche montre que toute machine de Turing à plusieurs bandes fonctionnant en temps t peut être simulée en seulement O(√(t log t)) d'espace. Ceci améliore considérablement la simulation en espace O(t/log t) de Hopcroft et al. il y a 50 ans. La recherche exploite un algorithme économe en espace pour l'évaluation d'arbres récemment découvert par Cook et Mertz, réduisant le problème de simulation temporelle à une série d'instances d'évaluation d'arbres implicitement définies avec des paramètres favorables. Les résultats impliquent que les circuits à éventail borné de taille s peuvent être évalués en √s·poly(log s) d'espace, et suggèrent l'existence de problèmes résolubles en O(n) d'espace qui nécessitent un temps n^(2-ε) sur une machine de Turing à plusieurs bandes (pour tout ε > 0), faisant ainsi un léger progrès sur le problème P versus PSPACE.
Lire plus