पीएसपेस
उदाहरण के लिए, समय पदानुक्रम प्रमेय (time hierarchy theorem) हमें बताता है कि P सख्ती से EXPTIME में निहित है, और स्पेस पदानुक्रम प्रमेय (space hierarchy theorem) हमें बताता है कि L सख्ती से PSPACE में निहित है।
अंतरिक्ष पदानुक्रम प्रमेय (space hierarchy theorem) के अनुसार किस चर (variable) के भीतर L सीमित है?