Чи правдоподібне квадратичне недетермінізм прискорення детермінованих обчислень?


9

Це супроводження недетермінованого прискорення детермінованих обчислень .

Чи правдоподібно, що недетермінізм (або взагалі чергування) дозволить загально квадратично прискорити детерміновані обчислення? Або є якісь невідомі наслідки для чогось подібного DTime(n2)NTime(n)?


Я не впевнений, але я думаю, що за аналогічними аргументами, які ви використовували у своєму попередньому питанні, ми маємо
TMSAT={<a,x,1n,1t>:u{0,1}ns.t.Maoutputs1oninput<x,u>withintsteps}
не в DTIME(n2/lgn). НасправдіTMSAT не в DTIME(n), тому що NTIME(n)DTIME(n), але я не знаю кращих нижчих меж.
Ерфан Ханики

@Erfan, мій аргумент не показує, що це не так, він також не показує, що це малоймовірно, він просто показує, що довести, що це невідомо і важкоω(nlgn)2.
Каве

Так, ти правий. Насправді цей аргумент показує, що важко довестиDTIME(n2)NTIME(n).
Ерфан Ханики

Відповіді:


10

Зауважте, що навіть результат по лінії DTime(O~(n2))NTime(n2ϵ)буде порушувати NSETH, оскільки може бути вирішено одновимірне тестування ідентичності полінома (як визначено в розділі 3.2)O~(n2) час детерміновано, але, мабуть, не існує очевидного способу використання недетермінізму для підтвердження ідентичності.

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.