फंक्शन समस्या: Difference between revisions

From Vigyanwiki
No edit summary
m (8 revisions imported from alpha:फंक्शन_समस्या)
 
(2 intermediate revisions by 2 users not shown)
Line 3: Line 3:


== फार्मल परिभाषा ==
== फार्मल परिभाषा ==
कार्यात्मक समस्या <math>P</math> को एक अर्बिट्ररी वर्णमाला <math>\Sigma</math> की स्ट्रिंग पर एक संबंध <math>R</math> द्वारा परिभाषित किया गया है
कार्यात्मक समस्या <math>P</math> को अर्बिट्ररी वर्णमाला <math>\Sigma</math> की स्ट्रिंग पर संबंध <math>R</math> द्वारा परिभाषित किया गया है


: <math>R \subseteq \Sigma^* \times \Sigma^*.</math>
: <math>R \subseteq \Sigma^* \times \Sigma^*.</math>
एक एल्गोरिथ्म <math>P</math> को हल करता है यदि प्रत्येक इनपुट <math>x</math> के लिए जैसे कि R में संतोषजनक <math>(x, y) \in R</math> उपस्थित है, तो एल्गोरिदम एक ऐसा <math>y</math> उत्पन्न करता है, और यदि ऐसा कोई <math>y</math> नहीं है, तो यह अस्वीकार कर देता है।
इस प्रकार यह एल्गोरिथ्म <math>P</math> को हल करता है यदि प्रत्येक इनपुट <math>x</math> के लिए जैसे कि R में संतोषजनक <math>(x, y) \in R</math> उपस्थित है, तो एल्गोरिदम ऐसा <math>y</math> उत्पन्न करता है, और यदि ऐसा कोई <math>y</math> नहीं है, तो यह अस्वीकार कर देता है।


यदि ऐसा कोई <math>y</math> उपस्थित नहीं है तो एक प्रॉमिस फ़ंक्शन समस्या को कुछ भी करने की अनुमति है (इस प्रकार समाप्त नहीं हो सकती है)।
यदि ऐसा कोई <math>y</math> उपस्थित नहीं है तो प्रॉमिस फ़ंक्शन समस्या को कुछ भी करने की अनुमति है (इस प्रकार समाप्त नहीं हो सकती है)।


== उदाहरण ==
== उदाहरण ==
एक प्रसिद्ध फ़ंक्शन समस्या कार्यात्मक बूलियन संतुष्टि समस्या, संक्षेप में एफएसएटी द्वारा दी गई है। समस्या, जो बूलियन संतुष्टि समस्या निर्णय समस्या से निकटता से संबंधित है, जिसको निम्नानुसार तैयार किया जा सकता है:
ऐसे प्रसिद्ध फ़ंक्शन समस्या कार्यात्मक बूलियन संतुष्टि समस्या, संक्षेप में एफएसएटी द्वारा दी गई है। समस्या, जो बूलियन संतुष्टि समस्या निर्णय समस्या से निकटता से संबंधित है, जिसको निम्नानुसार तैयार किया जा सकता है:


:<math>\varphi</math> वेरिएबल्स के साथ एक बूलियन सूत्र <math>x_1, \ldots, x_n</math> देते हुए एक असाइनमेंट <math>x_i \rightarrow \{ \text{TRUE}, \text{FALSE} \}</math> खोजे जैसे कि <math>\varphi</math> <math>\text{TRUE}</math> का मूल्यांकन करता है या तय करता है कि ऐसा कोई असाइनमेंट उपस्थित नहीं है।
:<math>\varphi</math> वेरिएबल्स के साथ बूलियन सूत्र <math>x_1, \ldots, x_n</math> देते हुए असाइनमेंट <math>x_i \rightarrow \{ \text{TRUE}, \text{FALSE} \}</math> खोजे जैसे कि <math>\varphi</math> <math>\text{TRUE}</math> का मूल्यांकन करता है या तय करता है कि ऐसा कोई असाइनमेंट उपस्थित नहीं है।


इस स्थिति में संबंध <math>R</math> उपयुक्त रूप से एन्कोडेड बूलियन सूत्रों और संतोषजनक असाइनमेंट के टुपल्स द्वारा दिया गया है।
इस स्थिति में संबंध <math>R</math> उपयुक्त रूप से एन्कोडेड बूलियन सूत्रों और संतोषजनक असाइनमेंट के टुपल्स द्वारा दिया गया है।


जबकि एक SAT एल्गोरिथम, जिसे <math>\varphi</math> सूत्र दिया गया है, जिसको केवल "असंतोषजनक" या "संतोषजनक" वापस की आवश्यकता होती है, एक एफएसएटी एल्गोरिथम के पश्चात् वाले स्थिति में कुछ संतोषजनक असाइनमेंट वापस की आवश्यकता होती है।
जबकि एसएटी एल्गोरिथम, जिसे <math>\varphi</math> सूत्र दिया गया है, जिसको केवल "असंतोषजनक" या "संतोषजनक" वापस की आवश्यकता होती है, एफएसएटी एल्गोरिथम के पश्चात् वाले स्थिति में कुछ संतोषजनक असाइनमेंट वापस की आवश्यकता होती है।


अन्य उल्लेखनीय उदाहरणों में [[ट्रैवलिंग सेल्समैन की समस्या]] सम्मिलित है, जो सेल्समैन द्वारा अपनाए गए मार्ग के बारे में पूछती है, और [[पूर्णांक गुणनखंडन समस्या]], जो कारकों की सूची मांगती है।
अन्य उल्लेखनीय उदाहरणों में [[ट्रैवलिंग सेल्समैन की समस्या]] सम्मिलित है, जो सेल्समैन द्वारा अपनाए गए मार्ग के बारे में पूछती है, और [[पूर्णांक गुणनखंडन समस्या]], जो कारकों की सूची मांगती है।


== अन्य कॉम्प्लेक्सिटी वर्गों से संबंध ==
== अन्य कॉम्प्लेक्सिटी वर्गों से संबंध ==
कक्षा एनपी में एक अर्बिट्ररी निर्णय समस्या <math>L</math> पर विचार करें। एनपी की परिभाषा के अनुसार, प्रत्येक समस्या उदाहरण <math>x</math> जिसका उत्तर 'हां' है, जिसमें एक बहुपद-आकार प्रमाणपत्र <math>y</math> है जो 'हां' उत्तर के लिए प्रमाण के रूप में कार्य करता है। इस प्रकार, इन टुपल्स <math>(x,y)</math> का सेट एक संबंध बनाता है, जो फ़ंक्शन समस्या का प्रतिनिधित्व करता है "<math>L</math> में <math>x</math> दिया गया है, <math>x</math> के लिए एक प्रमाणपत्र <math>y</math> खोजे"। इस फ़ंक्शन समस्या को L का फ़ंक्शन वैरिएंट कहा जाता है; यह एफएनपी वर्ग से संबंधित है।
कक्षा एनपी में अर्बिट्ररी निर्णय समस्या <math>L</math> पर विचार करें। एनपी की परिभाषा के अनुसार, प्रत्येक समस्या उदाहरण <math>x</math> जिसका उत्तर 'हां' है, जिसमें बहुपद-आकार प्रमाणपत्र <math>y</math> है जो 'हां' उत्तर के लिए प्रमाण के रूप में कार्य करता है। इस प्रकार, इन टुपल्स <math>(x,y)</math> का सेट ऐसा संबंध बनाता है, जो कि "<math>L</math> में <math>x</math> दिए गये  फ़ंक्शन समस्या का प्रतिनिधित्व करता है तथा जहाँ  <math>x</math> के लिए प्रमाणपत्र <math>y</math> खोजे जाता है। और इस फ़ंक्शन समस्या को L का फ़ंक्शन वैरिएंट भी कहा जाता है; यह एफएनपी वर्ग से संबंधित है।


एफएनपी को एनपी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें एफएनपी समस्याओं का समाधान कुशलतापूर्वक (अर्थात, इनपुट की लंबाई के संदर्भ में बहुपद समय में) ''सत्यापित'' किया जा सकता है, किन्तु आवश्यक नहीं कि कुशलतापूर्वक ''पाया'' जा सकता है। इसके विपरीत, वर्ग [[एफपी (जटिलता)|एफपी (कॉम्प्लेक्सिटी)]], जिसे p के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें फ़ंक्शन समस्याएं सम्मिलित हैं जिनके समाधान बहुपद समय में पाए जा सकते हैं।
एफएनपी को एनपी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें एफएनपी समस्याओं का समाधान कुशलतापूर्वक (अर्थात, इनपुट की लंबाई के संदर्भ में बहुपद समय में) ''सत्यापित'' किया जा सकता है, किन्तु आवश्यक नहीं कि कुशलतापूर्वक ''पाया'' जा सकता है। इसके विपरीत, वर्ग [[एफपी (जटिलता)|एफपी (कॉम्प्लेक्सिटी)]], जिसे p के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें फ़ंक्शन समस्याएं सम्मिलित हैं जिनके समाधान बहुपद समय में पाए जा सकते हैं।
Line 28: Line 28:
== स्व-रिड्यूसिबिलिटी ==
== स्व-रिड्यूसिबिलिटी ==


ध्यान दें कि ऊपर प्रस्तुत की गई एफएसएटी समस्या को सबरूटीन में केवल बहुपद रूप से अनेक कॉल का उपयोग करके हल किया जा सकता है जो एसएटी समस्या का निर्णय लेता है: एक एल्गोरिदम पहले पूछ सकता है कि सूत्र <math>\varphi</math> संतोषजनक है या नहीं। उसके बाद एल्गोरिदम वेरिएबल <math>x_1</math> को TRUE पर ठीक कर सकता है और फिर से पूछ सकता है। यदि परिणामी सूत्र अभी भी संतोषजनक है तो एल्गोरिदम <math>x_1</math> को TRUE पर स्थिर रखता है और <math>x_2</math> को ठीक करना जारी रखता है, अन्यथा यह निर्णय लेता है कि <math>x_1</math> को FALSE होना चाहिए और जारी रहता है। इस प्रकार, एफएसएटी एक ओरेकल निर्णय लेने वाले एसएटी का उपयोग करके बहुपद समय में हल करने योग्य है। सामान्यतः एनपी में एक समस्या को स्व-रिड्यूसिबल कहा जाता है यदि इसके फ़ंक्शन संस्करण को मूल समस्या का निर्णय लेने वाले ओरेकल का उपयोग करके बहुपद समय में हल किया जा सकता है। प्रत्येक एनपी-पूर्ण समस्या स्वयं-कम करने योग्य है। यह अनुमान लगाया गया है [किसके द्वारा?] कि पूर्णांक गुणनखंडन समस्या स्व-घटाने योग्य नहीं है, क्योंकि यह तय करना कि पूर्णांक अभाज्य है या नहीं, P (सरल) में है, <ref name="AKS">{{cite journal |first1=Manindra |last1=Agrawal |first2=Neeraj |last2=Kayal |first3=Nitin |last3=Saxena |url=http://www.cse.iitk.ac.in/users/manindra/algebra/primality_v6.pdf |title=PRIMES P में है|journal=[[Annals of Mathematics]] |volume=160 |year=2004 |issue=2 |pages=781–793 |doi=10.4007/annals.2004.160.781 |jstor=3597229 |doi-access=free }}</ref> जबकि पूर्णांक गुणनखंडन समस्या को मौलिक कंप्यूटर के लिए कठिन माना जाता है . स्व-रिड्यूसिबिलिटी की अनेक (थोड़ी भिन्न) धारणाएँ हैं।<ref>{{cite journal |first= K.|last= Ko|title= स्व-रिड्यूसिबिलिटी और कमजोर पी-चयनात्मकता पर|journal= Journal of Computer and System Sciences|volume= 26|issue=2|pages=209–221|year=1983}}</ref><ref>{{cite journal |first= C.|last=Schnorr|title=स्व-कम करने योग्य समस्याओं के लिए इष्टतम एल्गोरिदम|journal=In S. Michaelson and R. Milner, editors, Proceedings of the 3rd International Colloquium on Automata, Languages, and Programming|pages=322–337|year=1976}}</ref><ref>{{cite journal |first=A.|last=Selman|title=प्राकृतिक स्व-रिड्यूसबल सेट|journal=SIAM Journal on Computing|volume=  17|issue=5|pages=989–996|year=1988}}</ref>
ध्यान दें कि ऊपर प्रस्तुत की गई एफएसएटी समस्या को सबरूटीन में केवल बहुपद रूप से अनेक कॉल का उपयोग करके हल किया जा सकता है जो एसएटी समस्या का निर्णय लेता है: एल्गोरिदम पहले पूछ सकता है कि सूत्र <math>\varphi</math> संतोषजनक है या नहीं। उसके बाद एल्गोरिदम वेरिएबल <math>x_1</math> को TRUE पर ठीक कर सकता है और फिर से पूछ सकता है। यदि परिणामी सूत्र अभी भी संतोषजनक है तो एल्गोरिदम <math>x_1</math> को is पर स्थिर रखता है और <math>x_2</math> को ठीक करना जारी रखता है, अन्यथा यह निर्णय लेता है कि <math>x_1</math> को FALSE होना चाहिए और जारी रहता है। इस प्रकार, एफएसएटी ओरेकल निर्णय लेने वाले एसएटी का उपयोग करके बहुपद समय में हल करने योग्य है। सामान्यतः एनपी में समस्या को स्व-रिड्यूसिबल कहा जाता है यदि इसके फ़ंक्शन संस्करण को मूल समस्या का निर्णय लेने वाले ओरेकल का उपयोग करके बहुपद समय में हल किया जा सकता है। प्रत्येक एनपी-पूर्ण समस्या स्वयं-कम करने योग्य है। यह अनुमान लगाया गया है [किसके द्वारा?] कि पूर्णांक गुणनखंडन समस्या स्व-घटाने योग्य नहीं है, क्योंकि यह तय करना कि पूर्णांक अभाज्य है या नहीं, P (सरल) में है, <ref name="AKS">{{cite journal |first1=Manindra |last1=Agrawal |first2=Neeraj |last2=Kayal |first3=Nitin |last3=Saxena |url=http://www.cse.iitk.ac.in/users/manindra/algebra/primality_v6.pdf |title=PRIMES P में है|journal=[[Annals of Mathematics]] |volume=160 |year=2004 |issue=2 |pages=781–793 |doi=10.4007/annals.2004.160.781 |jstor=3597229 |doi-access=free }}</ref> जबकि पूर्णांक गुणनखंडन समस्या को मौलिक कंप्यूटर के लिए कठिन माना जाता है . स्व-रिड्यूसिबिलिटी की अनेक (थोड़ी भिन्न) धारणाएँ हैं।<ref>{{cite journal |first= K.|last= Ko|title= स्व-रिड्यूसिबिलिटी और कमजोर पी-चयनात्मकता पर|journal= Journal of Computer and System Sciences|volume= 26|issue=2|pages=209–221|year=1983}}</ref><ref>{{cite journal |first= C.|last=Schnorr|title=स्व-कम करने योग्य समस्याओं के लिए इष्टतम एल्गोरिदम|journal=In S. Michaelson and R. Milner, editors, Proceedings of the 3rd International Colloquium on Automata, Languages, and Programming|pages=322–337|year=1976}}</ref><ref>{{cite journal |first=A.|last=Selman|title=प्राकृतिक स्व-रिड्यूसबल सेट|journal=SIAM Journal on Computing|volume=  17|issue=5|pages=989–996|year=1988}}</ref>
== रिडक्सन और संपूर्ण समस्याएँ ==
== रिडक्सन और संपूर्ण समस्याएँ ==
फ़ंक्शन समस्याओं को निर्णय समस्याओं की तरह कम किया जा सकता है: फ़ंक्शन समस्याओं <math>\Pi_R</math> और <math>\Pi_S</math> को देखते हुए हम कहते हैं कि <math>\Pi_R</math> कम होकर <math>\Pi_S</math> हो जाता है यदि बहुपद-समय गणना योग्य फ़ंक्शन <math>f</math> और <math>g</math> उपस्थित हैं जैसे कि <math>R</math> के सभी उदाहरणों <math>x</math> और संभावित समाधान <math>y</math> के लिए एस का यह मानना है
फ़ंक्शन समस्याओं को निर्णय समस्याओं की तरह कम किया जा सकता है: फ़ंक्शन समस्याओं <math>\Pi_R</math> और <math>\Pi_S</math> को देखते हुए हम कहते हैं कि <math>\Pi_R</math> कम होकर <math>\Pi_S</math> हो जाता है यदि बहुपद-समय गणना योग्य फ़ंक्शन <math>f</math> और <math>g</math> उपस्थित हैं जैसे कि <math>R</math> के सभी उदाहरणों <math>x</math> और संभावित समाधान <math>y</math> के लिए एस का यह मानना है
Line 34: Line 34:
*यदि <math>x</math> का <math>R</math>-समाधान है तो <math>f(x)</math> का <math>S</math>-समाधान है।
*यदि <math>x</math> का <math>R</math>-समाधान है तो <math>f(x)</math> का <math>S</math>-समाधान है।
*<math>(f(x), y) \in S \implies (x, g(x,y)) \in R.</math>
*<math>(f(x), y) \in S \implies (x, g(x,y)) \in R.</math>
इसलिए एफएनपी-पूर्ण समस्याओं को एनपी-पूर्ण समस्या के अनुरूप परिभाषित करना संभव है: एक समस्या <math>\Pi_R</math> यदि एफएनपी में प्रत्येक समस्या को कम किया जा सकता है तो एफएनपी-पूर्ण है जो <math>\Pi_R</math>. एफएनपी-पूर्ण समस्याओं की काम्प्लेक्स वर्ग को एफएनपी-सी या एफएनपीसी द्वारा दर्शाया जाता है। इसलिए समस्या एफएसएटी भी एफएनपी-पूर्ण समस्या है, और यह ऐसा मानती है <math>\mathbf{P} = \mathbf{NP}</math> यदि और केवल यदि <math>\mathbf{FP} = \mathbf{FNP}</math>.है
इसलिए एफएनपी-पूर्ण समस्याओं को एनपी-पूर्ण समस्या के अनुरूप परिभाषित करना संभव है: समस्या <math>\Pi_R</math> यदि एफएनपी में प्रत्येक समस्या को कम किया जा सकता है तो एफएनपी-पूर्ण है जो <math>\Pi_R</math>. एफएनपी-पूर्ण समस्याओं की काम्प्लेक्स वर्ग को एफएनपी-सी या एफएनपीसी द्वारा दर्शाया जाता है। इसलिए समस्या एफएसएटी भी एफएनपी-पूर्ण समस्या है, और यह ऐसा मानती है <math>\mathbf{P} = \mathbf{NP}</math> यदि और केवल यदि <math>\mathbf{FP} = \mathbf{FNP}</math>.है


एक समस्या <math>\Pi_R</math> पूर्ण है यदि एफएनपी में प्रत्येक समस्या को <math>\Pi_R</math> तक कम किया जा सकता है। एफएनपी-पूर्ण समस्याओं की सम्मिश्रता वर्ग को एफएनपी-सी या एफएनपीसी द्वारा दर्शाया जाता है। इसलिए समस्या एफएसएटी भी एक एफएनपी-पूर्ण समस्या है और यह मानती है कि <math>\mathbf{P} = \mathbf{NP}</math> यदि और केवल यदि <math>\mathbf{FP} = \mathbf{FNP}</math> है
ऐसी समस्या <math>\Pi_R</math> पूर्ण है यदि एफएनपी में प्रत्येक समस्या को <math>\Pi_R</math> तक कम किया जा सकता है। एफएनपी-पूर्ण समस्याओं की सम्मिश्रता वर्ग को एफएनपी-सी या एफएनपीसी द्वारा दर्शाया जाता है। इसलिए समस्या एफएसएटी भी एफएनपी-पूर्ण समस्या है और यह मानती है कि <math>\mathbf{P} = \mathbf{NP}</math> यदि और केवल यदि <math>\mathbf{FP} = \mathbf{FNP}</math> है


== कुल फ़ंक्शन समस्याएँ ==
== कुल फ़ंक्शन समस्याएँ ==
फ़ंक्शन समस्याओं को परिभाषित करने के लिए उपयोग किए जाने वाले संबंध <math>R(x, y)</math> में अपूर्ण होने का दोष है। प्रत्येक इनपुट <math>x</math> में एक समकक्ष <math>y</math> नहीं होता है जैसे कि <math>(x, y) \in R</math> इसलिए प्रमाणों की संगणना का प्रश्न इससे भिन्न नहीं है उनके अस्तित्व का प्रश्न. इस समस्या को दूर करने के लिए फ़ंक्शन समस्याओं को एफएनपी के उपवर्ग के रूप में वर्ग टीएफएनपी उत्पन्न करने वाले कुल संबंधों तक सीमित करने पर विचार करना सुविधाजनक है। इस वर्ग में कुछ रणनीतिक खेलों में शुद्ध नैश संतुलन की गणना जैसी समस्याएं सम्मिलित हैं जहां समाधान उपस्थित होने की गारंटी है। इसके अतिरिक्त, यदि टीएफएनपी में कोई एफएनपी-पूर्ण समस्या है तो यह उसका अनुसरण <math>\mathbf{NP} = \textbf{co-NP}</math> करता है  
फ़ंक्शन समस्याओं को परिभाषित करने के लिए उपयोग किए जाने वाले संबंध <math>R(x, y)</math> में अपूर्ण होने का दोष है। प्रत्येक इनपुट <math>x</math> में समकक्ष <math>y</math> नहीं होता है जैसे कि <math>(x, y) \in R</math> इसलिए प्रमाणों की संगणना का प्रश्न इससे भिन्न नहीं है उनके अस्तित्व का प्रश्न. इस समस्या को दूर करने के लिए फ़ंक्शन समस्याओं को एफएनपी के उपवर्ग के रूप में वर्ग टीएफएनपी उत्पन्न करने वाले कुल संबंधों तक सीमित करने पर विचार करना सुविधाजनक है। इस वर्ग में कुछ रणनीतिक खेलों में शुद्ध नैश संतुलन की गणना जैसी समस्याएं सम्मिलित हैं जहां समाधान उपस्थित होने की गारंटी है। इसके अतिरिक्त, यदि टीएफएनपी में कोई एफएनपी-पूर्ण समस्या है तो यह उसका अनुसरण <math>\mathbf{NP} = \textbf{co-NP}</math> करता है  


==यह भी देखें==
==यह भी देखें==
Line 58: Line 58:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 10:27, 26 November 2023

कम्प्यूटेशनल कॉम्प्लेक्सिटी सिद्धांत में, फ़ंक्शन समस्या कम्प्यूटेशनल समस्या है जहां प्रत्येक इनपुट के लिए एकल आउटपुट (कुल फ़ंक्शन का) अपेक्षित होता है, किन्तु आउटपुट निर्णय समस्या की तुलना में अधिक काम्प्लेक्स होता है। फ़ंक्शन समस्याओं के लिए, आउटपुट केवल 'हां' या 'नहीं' है।

फार्मल परिभाषा

कार्यात्मक समस्या को अर्बिट्ररी वर्णमाला की स्ट्रिंग पर संबंध द्वारा परिभाषित किया गया है

इस प्रकार यह एल्गोरिथ्म को हल करता है यदि प्रत्येक इनपुट के लिए जैसे कि R में संतोषजनक उपस्थित है, तो एल्गोरिदम ऐसा उत्पन्न करता है, और यदि ऐसा कोई नहीं है, तो यह अस्वीकार कर देता है।

यदि ऐसा कोई उपस्थित नहीं है तो प्रॉमिस फ़ंक्शन समस्या को कुछ भी करने की अनुमति है (इस प्रकार समाप्त नहीं हो सकती है)।

उदाहरण

ऐसे प्रसिद्ध फ़ंक्शन समस्या कार्यात्मक बूलियन संतुष्टि समस्या, संक्षेप में एफएसएटी द्वारा दी गई है। समस्या, जो बूलियन संतुष्टि समस्या निर्णय समस्या से निकटता से संबंधित है, जिसको निम्नानुसार तैयार किया जा सकता है:

वेरिएबल्स के साथ बूलियन सूत्र देते हुए असाइनमेंट खोजे जैसे कि का मूल्यांकन करता है या तय करता है कि ऐसा कोई असाइनमेंट उपस्थित नहीं है।

इस स्थिति में संबंध उपयुक्त रूप से एन्कोडेड बूलियन सूत्रों और संतोषजनक असाइनमेंट के टुपल्स द्वारा दिया गया है।

जबकि एसएटी एल्गोरिथम, जिसे सूत्र दिया गया है, जिसको केवल "असंतोषजनक" या "संतोषजनक" वापस की आवश्यकता होती है, एफएसएटी एल्गोरिथम के पश्चात् वाले स्थिति में कुछ संतोषजनक असाइनमेंट वापस की आवश्यकता होती है।

अन्य उल्लेखनीय उदाहरणों में ट्रैवलिंग सेल्समैन की समस्या सम्मिलित है, जो सेल्समैन द्वारा अपनाए गए मार्ग के बारे में पूछती है, और पूर्णांक गुणनखंडन समस्या, जो कारकों की सूची मांगती है।

अन्य कॉम्प्लेक्सिटी वर्गों से संबंध

कक्षा एनपी में अर्बिट्ररी निर्णय समस्या पर विचार करें। एनपी की परिभाषा के अनुसार, प्रत्येक समस्या उदाहरण जिसका उत्तर 'हां' है, जिसमें बहुपद-आकार प्रमाणपत्र है जो 'हां' उत्तर के लिए प्रमाण के रूप में कार्य करता है। इस प्रकार, इन टुपल्स का सेट ऐसा संबंध बनाता है, जो कि " में दिए गये फ़ंक्शन समस्या का प्रतिनिधित्व करता है तथा जहाँ के लिए प्रमाणपत्र खोजे जाता है। और इस फ़ंक्शन समस्या को L का फ़ंक्शन वैरिएंट भी कहा जाता है; यह एफएनपी वर्ग से संबंधित है।

एफएनपी को एनपी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें एफएनपी समस्याओं का समाधान कुशलतापूर्वक (अर्थात, इनपुट की लंबाई के संदर्भ में बहुपद समय में) सत्यापित किया जा सकता है, किन्तु आवश्यक नहीं कि कुशलतापूर्वक पाया जा सकता है। इसके विपरीत, वर्ग एफपी (कॉम्प्लेक्सिटी), जिसे p के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें फ़ंक्शन समस्याएं सम्मिलित हैं जिनके समाधान बहुपद समय में पाए जा सकते हैं।

स्व-रिड्यूसिबिलिटी

ध्यान दें कि ऊपर प्रस्तुत की गई एफएसएटी समस्या को सबरूटीन में केवल बहुपद रूप से अनेक कॉल का उपयोग करके हल किया जा सकता है जो एसएटी समस्या का निर्णय लेता है: एल्गोरिदम पहले पूछ सकता है कि सूत्र संतोषजनक है या नहीं। उसके बाद एल्गोरिदम वेरिएबल को TRUE पर ठीक कर सकता है और फिर से पूछ सकता है। यदि परिणामी सूत्र अभी भी संतोषजनक है तो एल्गोरिदम को is पर स्थिर रखता है और को ठीक करना जारी रखता है, अन्यथा यह निर्णय लेता है कि को FALSE होना चाहिए और जारी रहता है। इस प्रकार, एफएसएटी ओरेकल निर्णय लेने वाले एसएटी का उपयोग करके बहुपद समय में हल करने योग्य है। सामान्यतः एनपी में समस्या को स्व-रिड्यूसिबल कहा जाता है यदि इसके फ़ंक्शन संस्करण को मूल समस्या का निर्णय लेने वाले ओरेकल का उपयोग करके बहुपद समय में हल किया जा सकता है। प्रत्येक एनपी-पूर्ण समस्या स्वयं-कम करने योग्य है। यह अनुमान लगाया गया है [किसके द्वारा?] कि पूर्णांक गुणनखंडन समस्या स्व-घटाने योग्य नहीं है, क्योंकि यह तय करना कि पूर्णांक अभाज्य है या नहीं, P (सरल) में है, [1] जबकि पूर्णांक गुणनखंडन समस्या को मौलिक कंप्यूटर के लिए कठिन माना जाता है . स्व-रिड्यूसिबिलिटी की अनेक (थोड़ी भिन्न) धारणाएँ हैं।[2][3][4]

रिडक्सन और संपूर्ण समस्याएँ

फ़ंक्शन समस्याओं को निर्णय समस्याओं की तरह कम किया जा सकता है: फ़ंक्शन समस्याओं और को देखते हुए हम कहते हैं कि कम होकर हो जाता है यदि बहुपद-समय गणना योग्य फ़ंक्शन और उपस्थित हैं जैसे कि के सभी उदाहरणों और संभावित समाधान के लिए एस का यह मानना है

  • यदि का -समाधान है तो का -समाधान है।

इसलिए एफएनपी-पूर्ण समस्याओं को एनपी-पूर्ण समस्या के अनुरूप परिभाषित करना संभव है: समस्या यदि एफएनपी में प्रत्येक समस्या को कम किया जा सकता है तो एफएनपी-पूर्ण है जो . एफएनपी-पूर्ण समस्याओं की काम्प्लेक्स वर्ग को एफएनपी-सी या एफएनपीसी द्वारा दर्शाया जाता है। इसलिए समस्या एफएसएटी भी एफएनपी-पूर्ण समस्या है, और यह ऐसा मानती है यदि और केवल यदि .है

ऐसी समस्या पूर्ण है यदि एफएनपी में प्रत्येक समस्या को तक कम किया जा सकता है। एफएनपी-पूर्ण समस्याओं की सम्मिश्रता वर्ग को एफएनपी-सी या एफएनपीसी द्वारा दर्शाया जाता है। इसलिए समस्या एफएसएटी भी एफएनपी-पूर्ण समस्या है और यह मानती है कि यदि और केवल यदि है

कुल फ़ंक्शन समस्याएँ

फ़ंक्शन समस्याओं को परिभाषित करने के लिए उपयोग किए जाने वाले संबंध में अपूर्ण होने का दोष है। प्रत्येक इनपुट में समकक्ष नहीं होता है जैसे कि इसलिए प्रमाणों की संगणना का प्रश्न इससे भिन्न नहीं है उनके अस्तित्व का प्रश्न. इस समस्या को दूर करने के लिए फ़ंक्शन समस्याओं को एफएनपी के उपवर्ग के रूप में वर्ग टीएफएनपी उत्पन्न करने वाले कुल संबंधों तक सीमित करने पर विचार करना सुविधाजनक है। इस वर्ग में कुछ रणनीतिक खेलों में शुद्ध नैश संतुलन की गणना जैसी समस्याएं सम्मिलित हैं जहां समाधान उपस्थित होने की गारंटी है। इसके अतिरिक्त, यदि टीएफएनपी में कोई एफएनपी-पूर्ण समस्या है तो यह उसका अनुसरण करता है

यह भी देखें

संदर्भ

  • Raymond Greenlaw, H. James Hoover, Fundamentals of the theory of computation: principles and practice, Morgan Kaufmann, 1998, ISBN 1-55860-474-X, p. 45-51
  • Elaine Rich, Automata, computability and complexity: theory and applications, Prentice Hall, 2008, ISBN 0-13-228806-0, section 28.10 "The problem classes FP and FNP", pp. 689–694
  1. Agrawal, Manindra; Kayal, Neeraj; Saxena, Nitin (2004). "PRIMES P में है" (PDF). Annals of Mathematics. 160 (2): 781–793. doi:10.4007/annals.2004.160.781. JSTOR 3597229.
  2. Ko, K. (1983). "स्व-रिड्यूसिबिलिटी और कमजोर पी-चयनात्मकता पर". Journal of Computer and System Sciences. 26 (2): 209–221.
  3. Schnorr, C. (1976). "स्व-कम करने योग्य समस्याओं के लिए इष्टतम एल्गोरिदम". In S. Michaelson and R. Milner, editors, Proceedings of the 3rd International Colloquium on Automata, Languages, and Programming: 322–337.
  4. Selman, A. (1988). "प्राकृतिक स्व-रिड्यूसबल सेट". SIAM Journal on Computing. 17 (5): 989–996.