19.24 계획 문제의 계산 복잡도: PSPACE-완전성 증명