Relations among simultaneous complexity classes of nondeterministic and alternating Turing machines

Shigeki Iwata, Takumi Kasai, Etsuro Moriya

研究成果: Article査読

抄録

Ruzzo [Tree-size bounded alternation, J. Comput. Syst. Sci. 21] introduced the notion of tree-size for alternating Turing machines (ATMs) and showed that it is a reasonable measure for classification of complexity classes. We establish in this paper that computations by tree-size and space simultaneously bounded ATMs roughly correspond to computations by time and space simultaneously bounded nondeterministic TMs (NTMs). We also show that not every polynomial time bounded and sublinear space simultaneously bounded NTM can be simulated by any deterministic TM with a slightly increased time bound and a slightly decreased space bound simultaneously.

本文言語English
ページ(範囲)267-278
ページ数12
ジャーナルActa Informatica
30
3
DOI
出版ステータスPublished - 1993 3
外部発表はい

ASJC Scopus subject areas

  • 情報システム

フィンガープリント

「Relations among simultaneous complexity classes of nondeterministic and alternating Turing machines」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル