4 ms·
(Author here) As far as I know, there are no cases where this actually matters.
by bshlgrs 5y ago
(Author here) As far as I know, there are no cases where this actually matters.
- tgflynn 5y agoIn your post you say that a PSPACE algorithm exists. Do you have a reference for that algorithm ? Another commenter here is saying the problem has an explicit exponential or worse lower bound. If both of those claims are true that would prove P != PSPACE, which would be a very important result.