3
Accélération non déterministe du calcul déterministe
Le non-déterminisme peut-il accélérer le calcul déterministe? Si oui, combien? En accélérant le calcul déterministe par le non-déterminisme, j'entends les résultats de la forme: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Par exemple quelque chose comme DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Quel est le résultat d'accélération le plus connu du calcul déterministe par non-déterminisme? Que dire …