-
ऍक्स्प
कम्प्यूटेशनल जटिलता सिद्धांत में, जटिलता वर्ग EXPTIME (कभी-कभी EXP या DEXPTIME कहा जाता है) उन सभी निर्णय समस्याओं का समूह है जो एक नियतात्मक ट्यूरिंग मशीन द्वारा घातांकीय समय में, यानी O(2p(n)) समय में हल किए जा सकते हैं, जहां p(n) n का एक बहुपद कार्य है। EXPTIME जटिलता वर्गों के घातीय पदानुक्रम में एक सहज ज्ञान युक्त वर्ग है जिसमें तेजी से अधिक जटिल दैवज्ञ या क्वांटिफायर विकल्प होते हैं। उदाहरण के लिए, वर्ग 2-EXPTIME को EXPTIME के समान ही परिभाषित किया गया है, लेकिन दोगुनी घातीय समय सीमा के साथ। इसे उच्चतर और उच्च समय सीमा के लिए सामान्यीकृत किया जा सकता है। EXPTIME को अंतरिक्ष वर्ग APSPACE के रूप में भी पुनर्निर्मित किया जा सकता है, सभी समस्याओं का सेट जिसे बहुपद स्थान में एक वैकल्पिक ट्यूरिंग मशीन द्वारा हल किया जा सकता है। EXPTIME अन्य बुनियादी समय और स्थान जटिलता वर्गों से निम्नलिखित तरीके से संबंधित है: P ⊆ NP ⊆ PSPACE ⊆ EXPTIME ⊆ NEXPTIME ⊆ EXPSPACE। इसके अलावा, समय पदानुक्रम प्रमेय और अंतरिक्ष पदानुक्रम प्रमेय से, यह ज्ञात होता है कि P ⊊ EXPTIME, NP ⊊ NEXPTIME और PSPACE ⊊ EXPSPACE।