Problem 8.13 showed that ALBA is PSPACE-complete. a. Do we know whether ALBA NL? Explain your

Question:

Problem 8.13 showed that ALBA is PSPACE-complete.

a. Do we know whether ALBA ∈ NL? Explain your answer.

b. Do we know whether ALBA ∈ P? Explain your answer.


Problem 8.13

Show that TQBF restricted to formulas where the part following the quantifiers is in conjunctive normal form is still PSPACE-complete.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: