A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic turing machines

Etsuro Moriya, Shigeki Iwata, Takumi Kasai

研究成果: Article査読

3 被引用数 (Scopus)

抄録

Simultaneous resource bounded complexity classes for nondeterministic single worktape off-line Turing machines are considered such as time-space bounded classes, denoted by NTISP1(T, S), reversal-space bounded classes, denoted by NRESP1(R, S), and time-reversal bounded classes, denoted by NTIRE1(T, R). It is shown that NRESP1(R(n), S(n)) contains NTISP1(S(n), R(n)) and is contained in NTISP1(R(n) S(n)n2 log n, R(n) log n). The following corollaries follow: (1) the affirmative solution to the nondeterministic single worktape version of the NC = ? SC problem, NTIRE1(poly, polylog) = NTISP1(poly, polylog), and (2) a reversal-space trade-off, NRESP1(polylog, poly) = NRESP1(poly, polylog).

本文言語English
ページ(範囲)179-185
ページ数7
ジャーナルInformation and control
70
2-3
DOI
出版ステータスPublished - 1986
外部発表はい

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント 「A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic turing machines」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル