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
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
0 references