Поскольку вопрос гласит, как мы можем доказать, что ?
Кто-нибудь может указать мне на доказательство или изложить его здесь? Спасибо!
Поскольку вопрос гласит, как мы можем доказать, что ?
Кто-нибудь может указать мне на доказательство или изложить его здесь? Спасибо!
Ответы:
Вот расширенная версия комментария Игоря Шинкара. Самый простой способ для моделирования недетерминированной машины, работающей во времени и пространстве использует пространство . Мы перечисляем все возможные броски монет, моделируя оригинальную машину на каждом из них; для этого требуется пространство для хранения бросков монет и место для моделирования реальной машины. Здесь есть небольшая трудность: когда броски монет «читаются» (оригинальной) машиной, нам нужно как-то отметить, где мы находимся в последовательности бросков монет; мы можем использовать дополнительный бит за бросок монеты. Вероятно, можно оптимизировать это еще дальше.f(n) s(n)≤f(n) s(n)+2f(n)+O(1) f(n) s(n)
Если мы будем осторожны, мы сможем получить что-то еще лучше, так как при каждом запуске программы общее количество брошенных монет и общее использованное пространство складываются не более чем в . Я подозреваю, что можно запустить симуляцию в пространстве. Возможно, для этого нам понадобится что-то вроде .f(n) (1+o(1))f(n) f(n)=Ω(logn)
Как упоминает Игорь, обычно классы, ограниченные ресурсами, определяются только "до больших O", поэтому результат, который использует пространство , все еще находится в .D S P A C E ( f ( n ) )O(f(n)) DSPACE(f(n))
источник