P = PSPACE problem