फंक्शन समस्या: Difference between revisions
m (Deepak moved page कार्य समस्या to फंक्शन समस्या without leaving a redirect) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Type of computational problem}} | {{short description|Type of computational problem}} | ||
[[कम्प्यूटेशनल जटिलता सिद्धांत]] में, | [[कम्प्यूटेशनल जटिलता सिद्धांत]] में, फ़ंक्शन समस्या [[कम्प्यूटेशनल समस्या]] है जहां प्रत्येक इनपुट के लिए एकल आउटपुट (कुल फ़ंक्शन का) अपेक्षित होता है, लेकिन आउटपुट [[निर्णय समस्या]] की तुलना में अधिक जटिल होता है। फ़ंक्शन समस्याओं के लिए, आउटपुट केवल 'हां' या 'नहीं' नहीं है। | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
एक कार्यात्मक समस्या <math>P</math> | एक कार्यात्मक समस्या <math>P</math> [[संबंध (गणित)]] द्वारा परिभाषित किया गया है <math>R</math> मनमानी [[वर्णमाला (कंप्यूटर विज्ञान)]] की [[स्ट्रिंग (कंप्यूटर विज्ञान)]] पर <math>\Sigma</math>: | ||
: <math>R \subseteq \Sigma^* \times \Sigma^*.</math> | : <math>R \subseteq \Sigma^* \times \Sigma^*.</math> | ||
एक एल्गोरिदम हल करता है <math>P</math> यदि प्रत्येक इनपुट के लिए <math>x</math> ऐसा है कि वहाँ मौजूद है <math>y</math> संतुष्टि देने वाला <math>(x, y) \in R</math>, एल्गोरिदम ऐसा | एक एल्गोरिदम हल करता है <math>P</math> यदि प्रत्येक इनपुट के लिए <math>x</math> ऐसा है कि वहाँ मौजूद है <math>y</math> संतुष्टि देने वाला <math>(x, y) \in R</math>, एल्गोरिदम ऐसा उत्पन्न करता है <math>y</math>, और यदि ऐसा कोई नहीं है <math>y</math>, यह अस्वीकार करता है। | ||
एक वादा फ़ंक्शन समस्या को कुछ भी करने की अनुमति है (इस प्रकार समाप्त नहीं हो सकती) यदि ऐसा नहीं है <math>y</math> मौजूद। | एक वादा फ़ंक्शन समस्या को कुछ भी करने की अनुमति है (इस प्रकार समाप्त नहीं हो सकती) यदि ऐसा नहीं है <math>y</math> मौजूद। | ||
| Line 13: | Line 13: | ||
एक प्रसिद्ध फ़ंक्शन समस्या कार्यात्मक बूलियन संतुष्टि समस्या, संक्षेप में एफएसएटी द्वारा दी गई है। समस्या, जो बूलियन संतुष्टि समस्या निर्णय समस्या से निकटता से संबंधित है, को निम्नानुसार तैयार किया जा सकता है: | एक प्रसिद्ध फ़ंक्शन समस्या कार्यात्मक बूलियन संतुष्टि समस्या, संक्षेप में एफएसएटी द्वारा दी गई है। समस्या, जो बूलियन संतुष्टि समस्या निर्णय समस्या से निकटता से संबंधित है, को निम्नानुसार तैयार किया जा सकता है: | ||
:एक बूलियन सूत्र दिया गया <math>\varphi</math> चर के साथ <math>x_1, \ldots, x_n</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>L</math> कक्षा एनपी (जटिलता) में। एनपी की परिभाषा के अनुसार, प्रत्येक समस्या का उदाहरण <math>x</math> जिसका उत्तर 'हां' है, उसके पास बहुपद-आकार का प्रमाणपत्र है <math>y</math> जो 'हाँ' उत्तर के लिए प्रमाण के रूप में कार्य करता है। इस प्रकार, इन टुपल्स का सेट <math>(x,y)</math> दिए गए फ़ंक्शन समस्या का प्रतिनिधित्व करते हुए | एक मनमाना निर्णय समस्या पर विचार करें <math>L</math> कक्षा एनपी (जटिलता) में। एनपी की परिभाषा के अनुसार, प्रत्येक समस्या का उदाहरण <math>x</math> जिसका उत्तर 'हां' है, उसके पास बहुपद-आकार का प्रमाणपत्र है <math>y</math> जो 'हाँ' उत्तर के लिए प्रमाण के रूप में कार्य करता है। इस प्रकार, इन टुपल्स का सेट <math>(x,y)</math> दिए गए फ़ंक्शन समस्या का प्रतिनिधित्व करते हुए संबंध बनाता है <math>x</math> में <math>L</math>, प्रमाणपत्र खोजें <math>y</math> के लिए <math>x</math>. इस फ़ंक्शन समस्या को फ़ंक्शन वैरिएंट कहा जाता है <math>L</math>; यह [[एफएनपी (जटिलता)]] वर्ग से संबंधित है। | ||
एफएनपी को एनपी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें एफएनपी समस्याओं का समाधान कुशलतापूर्वक (यानी, इनपुट की लंबाई के संदर्भ में बहुपद समय में) ''सत्यापित'' किया जा सकता है, लेकिन जरूरी नहीं कि कुशलतापूर्वक ''पाया'' जा सके। इसके विपरीत, वर्ग [[एफपी (जटिलता)]], जिसे पी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, में फ़ंक्शन समस्याएं शामिल हैं जिनके समाधान बहुपद समय में पाए जा सकते हैं। | एफएनपी को एनपी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें एफएनपी समस्याओं का समाधान कुशलतापूर्वक (यानी, इनपुट की लंबाई के संदर्भ में बहुपद समय में) ''सत्यापित'' किया जा सकता है, लेकिन जरूरी नहीं कि कुशलतापूर्वक ''पाया'' जा सके। इसके विपरीत, वर्ग [[एफपी (जटिलता)]], जिसे पी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, में फ़ंक्शन समस्याएं शामिल हैं जिनके समाधान बहुपद समय में पाए जा सकते हैं। | ||
== स्व-रिड्यूसिबिलिटी == | == स्व-रिड्यूसिबिलिटी == | ||
ध्यान दें कि ऊपर पेश की गई एफएसएटी समस्या को सबरूटीन में केवल बहुपद रूप से कई कॉल का उपयोग करके हल किया जा सकता है जो एसएटी समस्या का निर्णय लेता है: | ध्यान दें कि ऊपर पेश की गई एफएसएटी समस्या को सबरूटीन में केवल बहुपद रूप से कई कॉल का उपयोग करके हल किया जा सकता है जो एसएटी समस्या का निर्णय लेता है: एल्गोरिदम पहले पूछ सकता है कि क्या सूत्र <math>\varphi</math> संतोषजनक है. उसके बाद एल्गोरिदम वेरिएबल को ठीक कर सकता है <math>x_1</math> सत्य करें और दोबारा पूछें। यदि परिणामी सूत्र अभी भी संतोषजनक है तो एल्गोरिथम रखता है <math>x_1</math> TRUE पर स्थिर किया गया और ठीक करना जारी रखा गया <math>x_2</math>, अन्यथा यह निर्णय लेता है <math>x_1</math> गलत होना चाहिए और जारी रहेगा। इस प्रकार, एफएसएटी को [[ओरेकल मशीन]] का उपयोग करके एसएटी का निर्णय लेने के लिए बहुपद समय में हल किया जा सकता है। सामान्य तौर पर, एनपी में समस्या को ''सेल्फ-रिड्यूसिबल'' कहा जाता है, यदि इसके फ़ंक्शन संस्करण को मूल समस्या का निर्णय लेने वाले दैवज्ञ का उपयोग करके बहुपद समय में हल किया जा सकता है। प्रत्येक एनपी-पूर्ण समस्या स्वयं-कम करने योग्य है। यह अनुमान लगाया गया है {{By whom|date=February 2020}} कि पूर्णांक गुणनखंडन समस्या स्वतः कम करने योग्य नहीं है, क्योंकि यह निर्णय लेना कि कोई पूर्णांक अभाज्य है या नहीं, 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> | स्व-रिड्यूसिबिलिटी की कई (थोड़ी भिन्न) धारणाएँ हैं।<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> | ||
| Line 33: | Line 33: | ||
फ़ंक्शन समस्याएं निर्णय समस्याओं की तरह ही [[कमी (जटिलता)]] हो सकती हैं: फ़ंक्शन समस्याएं दी गई हैं <math>\Pi_R</math> और <math>\Pi_S</math> हम ऐसा कहते हैं <math>\Pi_R</math> तक कम कर देता है <math>\Pi_S</math> यदि बहुपद-समय गणना योग्य फ़ंक्शन मौजूद हैं <math>f</math> और <math>g</math> ऐसा सभी उदाहरणों के लिए <math>x</math> का <math>R</math> और संभावित समाधान <math>y</math> का <math>S</math>, यह उसे धारण करता है | फ़ंक्शन समस्याएं निर्णय समस्याओं की तरह ही [[कमी (जटिलता)]] हो सकती हैं: फ़ंक्शन समस्याएं दी गई हैं <math>\Pi_R</math> और <math>\Pi_S</math> हम ऐसा कहते हैं <math>\Pi_R</math> तक कम कर देता है <math>\Pi_S</math> यदि बहुपद-समय गणना योग्य फ़ंक्शन मौजूद हैं <math>f</math> और <math>g</math> ऐसा सभी उदाहरणों के लिए <math>x</math> का <math>R</math> और संभावित समाधान <math>y</math> का <math>S</math>, यह उसे धारण करता है | ||
*अगर <math>x</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>\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>R(x, y)</math> फ़ंक्शन समस्याओं को परिभाषित करने के लिए उपयोग किए जाने वाले अपूर्ण होने का दोष है: प्रत्येक इनपुट नहीं <math>x</math> समकक्ष है <math>y</math> ऐसा है कि <math>(x, y) \in R</math>. इसलिए प्रमाणों की संगणना का प्रश्न उनके अस्तित्व के प्रश्न से अलग नहीं है। इस समस्या को दूर करने के लिए फ़ंक्शन समस्याओं को एफएनपी के उपवर्ग के रूप में वर्ग [[टीएफएनपी]] उत्पन्न करने वाले कुल संबंधों तक सीमित करने पर विचार करना सुविधाजनक है। इस वर्ग में कुछ रणनीतिक खेलों में शुद्ध [[नैश संतुलन]] की गणना जैसी समस्याएं शामिल हैं जहां समाधान मौजूद होने की गारंटी है। इसके अलावा, यदि टीएफएनपी में कोई एफएनपी-पूर्ण समस्या है तो यह उसका अनुसरण करता है <math>\mathbf{NP} = \textbf{co-NP}</math>. | ||
==यह भी देखें== | ==यह भी देखें== | ||
| Line 49: | Line 49: | ||
==संदर्भ== | ==संदर्भ== | ||
{{refbegin}} | {{refbegin}} | ||
* 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 | * 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 | ||
Revision as of 13:43, 9 August 2023
कम्प्यूटेशनल जटिलता सिद्धांत में, फ़ंक्शन समस्या कम्प्यूटेशनल समस्या है जहां प्रत्येक इनपुट के लिए एकल आउटपुट (कुल फ़ंक्शन का) अपेक्षित होता है, लेकिन आउटपुट निर्णय समस्या की तुलना में अधिक जटिल होता है। फ़ंक्शन समस्याओं के लिए, आउटपुट केवल 'हां' या 'नहीं' नहीं है।
औपचारिक परिभाषा
एक कार्यात्मक समस्या संबंध (गणित) द्वारा परिभाषित किया गया है मनमानी वर्णमाला (कंप्यूटर विज्ञान) की स्ट्रिंग (कंप्यूटर विज्ञान) पर :
एक एल्गोरिदम हल करता है यदि प्रत्येक इनपुट के लिए ऐसा है कि वहाँ मौजूद है संतुष्टि देने वाला , एल्गोरिदम ऐसा उत्पन्न करता है , और यदि ऐसा कोई नहीं है , यह अस्वीकार करता है।
एक वादा फ़ंक्शन समस्या को कुछ भी करने की अनुमति है (इस प्रकार समाप्त नहीं हो सकती) यदि ऐसा नहीं है मौजूद।
उदाहरण
एक प्रसिद्ध फ़ंक्शन समस्या कार्यात्मक बूलियन संतुष्टि समस्या, संक्षेप में एफएसएटी द्वारा दी गई है। समस्या, जो बूलियन संतुष्टि समस्या निर्णय समस्या से निकटता से संबंधित है, को निम्नानुसार तैयार किया जा सकता है:
- एक बूलियन सूत्र दिया गया चर के साथ , असाइनमेंट ढूंढें ऐसा है कि का मूल्यांकन करता है या तय करें कि ऐसा कोई असाइनमेंट मौजूद नहीं है।
इस मामले में संबंध उपयुक्त रूप से एन्कोडेड बूलियन फ़ार्मुलों और संतोषजनक असाइनमेंट के टुपल्स द्वारा दिया गया है। जबकि SAT एल्गोरिथ्म, सूत्र के साथ खिलाया , केवल असंतोषजनक या संतोषजनक लौटने की जरूरत है, एफएसएटी एल्गोरिथ्म को बाद वाले मामले में कुछ संतोषजनक असाइनमेंट लौटाने की जरूरत है।
अन्य उल्लेखनीय उदाहरणों में ट्रैवलिंग सेल्समैन की समस्या शामिल है, जो सेल्समैन द्वारा अपनाए गए मार्ग के बारे में पूछती है, और पूर्णांक गुणनखंडन समस्या, जो कारकों की सूची मांगती है।
अन्य जटिलता वर्गों से संबंध
एक मनमाना निर्णय समस्या पर विचार करें कक्षा एनपी (जटिलता) में। एनपी की परिभाषा के अनुसार, प्रत्येक समस्या का उदाहरण जिसका उत्तर 'हां' है, उसके पास बहुपद-आकार का प्रमाणपत्र है जो 'हाँ' उत्तर के लिए प्रमाण के रूप में कार्य करता है। इस प्रकार, इन टुपल्स का सेट दिए गए फ़ंक्शन समस्या का प्रतिनिधित्व करते हुए संबंध बनाता है में , प्रमाणपत्र खोजें के लिए . इस फ़ंक्शन समस्या को फ़ंक्शन वैरिएंट कहा जाता है ; यह एफएनपी (जटिलता) वर्ग से संबंधित है।
एफएनपी को एनपी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, जिसमें एफएनपी समस्याओं का समाधान कुशलतापूर्वक (यानी, इनपुट की लंबाई के संदर्भ में बहुपद समय में) सत्यापित किया जा सकता है, लेकिन जरूरी नहीं कि कुशलतापूर्वक पाया जा सके। इसके विपरीत, वर्ग एफपी (जटिलता), जिसे पी के फ़ंक्शन क्लास एनालॉग के रूप में सोचा जा सकता है, में फ़ंक्शन समस्याएं शामिल हैं जिनके समाधान बहुपद समय में पाए जा सकते हैं।
स्व-रिड्यूसिबिलिटी
ध्यान दें कि ऊपर पेश की गई एफएसएटी समस्या को सबरूटीन में केवल बहुपद रूप से कई कॉल का उपयोग करके हल किया जा सकता है जो एसएटी समस्या का निर्णय लेता है: एल्गोरिदम पहले पूछ सकता है कि क्या सूत्र संतोषजनक है. उसके बाद एल्गोरिदम वेरिएबल को ठीक कर सकता है सत्य करें और दोबारा पूछें। यदि परिणामी सूत्र अभी भी संतोषजनक है तो एल्गोरिथम रखता है TRUE पर स्थिर किया गया और ठीक करना जारी रखा गया , अन्यथा यह निर्णय लेता है गलत होना चाहिए और जारी रहेगा। इस प्रकार, एफएसएटी को ओरेकल मशीन का उपयोग करके एसएटी का निर्णय लेने के लिए बहुपद समय में हल किया जा सकता है। सामान्य तौर पर, एनपी में समस्या को सेल्फ-रिड्यूसिबल कहा जाता है, यदि इसके फ़ंक्शन संस्करण को मूल समस्या का निर्णय लेने वाले दैवज्ञ का उपयोग करके बहुपद समय में हल किया जा सकता है। प्रत्येक एनपी-पूर्ण समस्या स्वयं-कम करने योग्य है। यह अनुमान लगाया गया है[by whom?] कि पूर्णांक गुणनखंडन समस्या स्वतः कम करने योग्य नहीं है, क्योंकि यह निर्णय लेना कि कोई पूर्णांक अभाज्य है या नहीं, 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
- ↑ 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.
- ↑ Ko, K. (1983). "स्व-रिड्यूसिबिलिटी और कमजोर पी-चयनात्मकता पर". Journal of Computer and System Sciences. 26 (2): 209–221.
- ↑ Schnorr, C. (1976). "स्व-कम करने योग्य समस्याओं के लिए इष्टतम एल्गोरिदम". In S. Michaelson and R. Milner, editors, Proceedings of the 3rd International Colloquium on Automata, Languages, and Programming: 322–337.
- ↑ Selman, A. (1988). "प्राकृतिक स्व-रिड्यूसबल सेट". SIAM Journal on Computing. 17 (5): 989–996.
