Можна


9

Дозволяє ATISP(f(n),g(n)) бути класом мов, який визначається чергуванням машин Тьюрінга, які зупиняються в часі f(n) використовуючи простір g(n). ДозволяєAALTSP(f(n),g(n)) бути класом мов, який визначається чергуванням машин Тьюрінга, які припиняють користуватися f(n) чергування та простір g(n).

Ruzzo довів , щоNCk=ATISP(logkn,logn). Він також це показавNCkAALTSP(logkn,logn)NCk+1.

Є NCk=AALTSP(logkn,logn)?

Відповіді:


11

Звичайно, рівності та включення, заявлені у питанні, стосуються лише рівномірних NCk. КласAALTSP(logkn,logn) те саме, що рівномірний ACk, тож питання те саме, чи чи NCk=ACk.

Зокрема, справа k=1 Має на увазі, що L дорівнює NL і навіть LogCFL, оскільки NC1LNLLogCFLAC1.

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