stripsの問題に計画が存在するかどうかの決定問題はpspace完全である。