3
Недетермінований прискорення детермінованих обчислень
Чи може недетермінізм прискорити детерміновані обчислення? Якщо так, то скільки? Під прискоренням детермінованих обчислень недетермінізмом я маю на увазі результати форми: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Наприклад, щось подібне DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Який найвідоміший результат прискорення детермінованих обчислень недетермінізмом? Що щодо ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n) або навіть ATime(n)ATime(n)\mathsf{ATime}(n) замість NTime(n)NTime(n)\mathsf{NTime}(n) ? Припустимо, що класи складності …