Abstract
A characterization of PSPACE in terms of the regular sets and certain algebraic closure operations is developed. It is shown that NP = PSPACE if and only if NP is closed under a form of the transitive closure operation.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have