प्रॉमिस प्रॉब्लम

कम्प्यूटेशनल कॉम्पलेक्सिटी थ्योरी में, प्रॉमिस प्रॉब्लम डिसीजन प्रॉब्लम का सामान्यीकरण है जहां इनपुट को सभी पॉसिबल इनपुट के विशेष उपसमूह से संबंधित होने का प्रॉमिस किया जाता है। डिसीजन प्रॉब्लम्स के विपरीत, यैस इंस्टैंस (वे इनपुट जिनके लिए एल्गोरिदम को यैस रिटर्न करना चाहिए) और कोई इंस्टैंस सभी इनपुट के सेट को समाप्त नहीं करते हैं। सहज रूप से, एल्गोरिदम से प्रॉमिस किया गया है कि इनपुट वास्तव में यैस इन्सटेंसेस या नो इन्सटेंसेस के सेट से संबंधित है। ऐसे इनपुट भी हो सकते हैं जो न तो यैस हों और न ही नो हों, यदि किसी प्रॉमिस की प्रॉब्लम का समाधान करने के लिए एल्गोरिदम को ऐसा इनपुट दिया जाता है, तो एल्गोरिदम को कुछ भी आउटपुट देने की अनुमति होती है, और यहां तक ​​कि रुक ​​भी नहीं सकता है।

औपचारिक परिभाषा
इसी प्रकार डिसीजन प्रॉब्लम औपचारिक भाषा $$L \subseteq \{0,1\}^*$$ से जुड़ी हो सकती है, जहां प्रॉब्लम $$L$$ में सभी इनपुट को स्वीकार करना और $$L$$ में नहीं, सभी इनपुट को अस्वीकार करना है। प्रॉमिस प्रॉब्लम के लिए, दो भाषाएँ हैं, $$L_{\text{YES}}$$ और $$L_{\text{NO}}$$, जो असंयुक्त सेट होना चाहिए, जिसका अर्थ है $$L_{\text{YES}} \cap L_{\text{NO}} = \varnothing$$, जैसे कि $$L_{\text{YES}}$$ में सभी इनपुट को स्वीकार किया जाना चाहिए और $$L_{\text{NO}}$$ में सभी इनपुट अस्वीकार कर दिया जाना चाहिए, सेट $$L_{\text{YES}} \cup L_{\text{NO}}$$ को प्रॉमिस कहा जाता है। यदि इनपुट प्रॉमिस से संबंधित नहीं है तो आउटपुट पर इसकी कोई आवश्यकता नहीं है। यदि प्रॉमिस $$\{0,1\}^*$$ के समतुल्य है, तो यह भी डिसीजन प्रॉब्लम है, और प्रॉमिस को ट्रिविअल कहा जाता है।

इंस्टैंस
इसी प्रकार कई नैचूरल प्रॉब्लम्स वास्तव में प्रॉमिस प्रॉब्लम्स हैं। इंस्टैंस के लिए, निम्नलिखित प्रॉब्लम पर विचार करें: डायरेक्टेड एसाइक्लिक ग्राफ को देखते हुए, निर्धारित करें कि क्या ग्राफ में लंबाई 10 का पथ (ग्राफ थ्योरी) है। यैस इन्सटेंसेस लंबाई 10 के पथ के साथ डायरेक्टेड एसाइक्लिक ग्राफ हैं, जबकि कोई भी इंस्टैंस लंबाई 10 के पथ के साथ डायरेक्टेड एसाइक्लिक ग्राफ नहीं है। प्रॉमिस डायरेक्टेड एसाइक्लिक ग्राफ का सेट है। इस इंस्टैंस में, प्रॉमिस की जाँच करना सरल है। विशेष रूप से, यह जांचना बहुत सरल है कि दिया गया ग्राफ़ साइक्लिक है या नहीं चूंकि, प्रॉमिस की गई संपत्ति का मूल्यांकन करना कठिन हो सकता है। इंस्टैंस के लिए, हैमिल्टनियन ग्राफ को देखते हुए प्रॉब्लम पर विचार करें और इसके अतिरक्त यह निर्धारित भी करें कि क्या ग्राफ में आकार 4 का साइकिल्स (ग्राफ थ्योरी) है। अब प्रॉमिस का मूल्यांकन करना एनपी-हार्ड है, फिर भी प्रॉमिस की प्रॉब्लम का समाधान करना सरल है क्योंकि आकार 4 के साइकिल्स की जांच बहुपद समय में की जा सकती है।

यह भी देखें

 * कम्प्यूटेशनल प्रॉब्लम
 * डिसीजन प्रॉब्लम
 * अनुकूलन प्रॉब्लम
 * खोज प्रॉब्लम
 * गिनती की प्रॉब्लम (कॉम्पलेक्सिटी)
 * कार्य प्रॉब्लम
 * टीएफएनपी

सर्वेक्षण


श्रेणी:कम्प्यूटेशनल प्रॉब्लम्स