The logarithmic alternation hierarchy collapses: \(A\Sigma _ 2^{{\mathcal L}}=A\Pi_ 2^{{\mathcal L}}\) (Q1118407)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The logarithmic alternation hierarchy collapses: \(A\Sigma _ 2^{{\mathcal L}}=A\Pi_ 2^{{\mathcal L}}\)
scientific article

    Statements

    The logarithmic alternation hierarchy collapses: \(A\Sigma _ 2^{{\mathcal L}}=A\Pi_ 2^{{\mathcal L}}\) (English)
    0 references
    0 references
    0 references
    0 references
    1989
    0 references
    It is shown that the second level of the logarithmic space hierarchy is closed under complementation, i.e., this hierarchy ``collapses'' to its second level. The result is proved by considering the Hausdorff closure of NL, and also the Boolean NL and NP hierarchy. A more recent result by Immerman shows that the results reported in the present paper are not the strongest possible ones: Actually, NL is closed under complementation, i.e. the logarithmic alternation hierarchy collapses to its first level.
    0 references
    logspace
    0 references
    complexity classes
    0 references
    logarithmic space hierarchy
    0 references
    NL
    0 references
    alternation
    0 references

    Identifiers