Relations among simultaneous complexity classes of nondeterministic and alternating Turing machines (Q1323339)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relations among simultaneous complexity classes of nondeterministic and alternating Turing machines
scientific article

    Statements

    Relations among simultaneous complexity classes of nondeterministic and alternating Turing machines (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1993
    0 references
    \textit{W. L. Ruzzo} [Tree-size bounded alternation, J. Comput. System Sci. 21, 218-235 (1980; Zbl 0445.68034)] 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 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 inceased time bound and a slightly decreased space bound simultaneously.
    0 references
    0 references
    0 references
    0 references
    0 references
    alternating Turing machines
    0 references
    measure for classification of complexity classes
    0 references