पैरामिट्रीकृत सम्मिश्रता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 19: Line 19:


=== एफपीटी ===
=== एफपीटी ===
FPT में निश्चित पैरामीटर ट्रैक्टेबल समस्याएं होती हैं, जो कि समय पर हल की जा सकती हैं <math>f(k) \cdot {|x|}^{O(1)}</math> कुछ गणना योग्य समारोह के लिए {{mvar|f}}. आमतौर पर, इस फ़ंक्शन को एकल घातांक के रूप में माना जाता है, जैसे <math>2^{O(k)}</math>, किन्तु  परिभाषा ऐसे कार्यों को स्वीकार करती है जो एवं  भी तेज़ी से बढ़ते हैं। यह इस वर्ग के प्रारंभिक इतिहास के एक बड़े हिस्से के लिए आवश्यक है। परिभाषा का महत्वपूर्ण हिस्सा फॉर्म के कार्यों को बाहर करना है <math>f(n,k)</math>, जैसे कि <math>k^n</math>.
एफपीटी में निश्चित पैरामीटर ट्रैक्टेबल समस्याएं होती हैं, जो कि समय पर निवारण की जा सकती हैं <math>f(k) \cdot {|x|}^{O(1)}</math> कुछ गणना योग्य समारोह के लिए हैं, सामान्यतः इस प्रोग्राम को एकल घातांक के रूप में माना जाता है, जैसे <math>2^{O(k)}</math>, किन्तु  परिभाषा ऐसे कार्यों को स्वीकार करती है जो तीव्र गति से बढ़ते हैं। यह इस वर्ग के प्रारंभिक इतिहास के बड़े भाग के लिए आवश्यक है। परिभाषा का महत्वपूर्ण भाग फॉर्म के कार्यों को बाहर करना है <math>f(n,k)</math>, जैसे कि <math>k^n</math>है।


क्लास एफपीएल (फिक्स्ड पैरामीटर लीनियर) समय में हल करने योग्य समस्याओं का वर्ग है <math>f(k) \cdot |x|</math> कुछ गणना योग्य समारोह के लिए {{mvar|f}}.<ref>{{harvtxt|Grohe|1999}}</ref> FPL इस प्रकार FPT का एक उपवर्ग है। एक उदाहरण [[बूलियन संतुष्टि]] समस्या है, जो कि चरों की संख्या द्वारा परिचालित है। आकार का एक दिया गया सूत्र {{mvar|m}} साथ {{mvar|k}} समय में क्रूर बल द्वारा चरों की जाँच की जा सकती है <math>O(2^km)</math>. आकार का एक शीर्ष आवरण {{mvar|k}} क्रम के एक ग्राफ में {{mvar|n}} समय पर मिल सकता है <math>O(2^kn)</math>, इसलिए वर्टेक्स कवर की समस्या भी FPL में है।
क्लास एफपीएल (फिक्स्ड पैरामीटर लीनियर) समय में समाधान करने योग्य समस्याओं का वर्ग <math>f(k) \cdot |x|</math>है, कुछ गणना योग्य समारोह {{mvar|f}} के लिए है। <ref>{{harvtxt|Grohe|1999}}</ref> एफपीएल (FPL) इस प्रकार एफपीटी (FPT) का उपवर्ग है। उदाहरण [[बूलियन संतुष्टि]] समस्या है, जो कि चरों की संख्या द्वारा परिचालित है। आकार का एक दिया गया सूत्र {{mvar|m}} साथ {{mvar|k}} समय में क्रूर बल द्वारा चरों की जाँच की जा सकती है <math>O(2^km)</math>. आकार का एक शीर्ष आवरण {{mvar|k}} क्रम के एक ग्राफ में {{mvar|n}} समय पर मिल सकता है <math>O(2^kn)</math>, इसलिए वर्टेक्स कवर की समस्या भी FPL में है।


एक समस्या का एक उदाहरण जो माना जाता है कि एफपीटी में नहीं है, रंगों की संख्या के आधार पर [[ग्राफ रंग]] का पैरामीटर है। यह ज्ञात है कि 3-रंग एनपी-हार्ड है, एवं  ग्राफ के लिए एक एल्गोरिदम है {{mvar|k}}-समय पर रंग भरना <math>f(k)n^{O(1)}</math> के लिए <math>k=3</math> इनपुट के आकार में बहुपद समय में चलेगा। इस प्रकार, यदि रंगों की संख्या द्वारा पैरामीटर किए गए ग्राफ़ रंग एफपीटी में थे, तो पी बनाम एनपी समस्या | पी = एनपी।
एक समस्या का एक उदाहरण जो माना जाता है कि एफपीटी में नहीं है, रंगों की संख्या के आधार पर [[ग्राफ रंग]] का पैरामीटर है। यह ज्ञात है कि 3-रंग एनपी-हार्ड है, एवं  ग्राफ के लिए एक एल्गोरिदम है {{mvar|k}}-समय पर रंग भरना <math>f(k)n^{O(1)}</math> के लिए <math>k=3</math> इनपुट के आकार में बहुपद समय में चलेगा। इस प्रकार, यदि रंगों की संख्या द्वारा पैरामीटर किए गए ग्राफ़ रंग एफपीटी में थे, तो पी बनाम एनपी समस्या | पी = एनपी।

Revision as of 12:49, 15 March 2023

कंप्यूटर विज्ञान में, पैरामीटरयुक्त जटिलता कम्प्यूटेशनल जटिलता सिद्धांत की शाखा है जो इनपुट या आउटपुट के 'एकाधिक' पैरामीटर के संबंध में उनकी अंतर्निहित कठिनाई के अनुसार कम्प्यूटेशनल समस्याओं को वर्गीकृत करने पर केंद्रित है। किसी समस्या की जटिलता को तब उन पैरामीटरों के फलन (गणित) के रूप में मापा जाता है। यह शास्त्रीय सेटिंग की तुलना में एनपी कठिन समस्याओं के उत्तम स्तर पर वर्गीकरण की अनुमति देता है, जहां किसी समस्या की जटिलता को केवल इनपुट में बिट्स की संख्या के कार्य के रूप में मापा जाता है। पैरामिट्रीकृत जटिलता पर प्रथम व्यवस्थित कार्य किसके द्वारा किया गया था? .

इस धारणा के अनुसार कि P के प्रति NP समस्या P, NP, ऐसी कई प्राकृतिक समस्याएं उपस्थित हैं जिनके लिए सुपरपोलिनोमियल कार्यकारी समय की आवश्यकता होती है जब जटिलता को केवल इनपुट आकार के संदर्भ में मापा जाता है किन्तु यह इनपुट आकार एवं घातांक में बहुपद वाले समय में गणना योग्य है, पैरामीटर घातीय में है k. इसलिए, यदि k छोटे से मान पर निर्धारित होता है एवं प्रोग्राम का विकास समाप्त हो जाता है k अपेक्षाकृत छोटा है तो इस प्रकार की समस्याओं को उनके पारंपरिक वर्गीकरण के पश्चात अभी भी सुगम माना जा सकता है।

NP-पूर्ण, अन्यथा NP-हार्ड, समस्याओं के लिए कुशल, स्थिर,एवं नियतात्मक समाधान करने वाले एल्गोरिदम के अस्तित्व को असंभाव्य माना जाता है, यदि इनपुट पैरामीटर निर्धारित नहीं हैं, इन समस्याओं के लिए सभी ज्ञात समाधान करने वाले एल्गोरिदम को समय की आवश्यकता होती है जो कि इनपुट के कुल आकार में घातीय समय (इसलिए विशेष रूप से सुपरपोलिनोमियल) है। चूँकि कुछ समस्याओं का एल्गोरिदम द्वारा समाधान किया जा सकता है जो केवल एक निश्चित पैरामीटर के आकार में घातीय होते हैं जबकि इनपुट के आकार में बहुपद होते हैं। इस प्रकार के एल्गोरिथ्म को फिक्स्ड-पैरामीटर ट्रैक्टेबल (FPT) एल्गोरिदम कहा जाता है, क्योंकि निश्चित पैरामीटर के अल्प मूल्यों के लिए समस्या का कुशलतापूर्वक समाधान किया जा सकता है।

समस्याएं जिनमें कुछ पैरामीटर k निश्चित है जिसे पैरामिट्रीकृत समस्याएं कहा जाता है। पैरामिट्रीकृत समस्या जो इस प्रकार के एफपीटी (FPT) एल्गोरिदम की अनुमति देती है, निश्चित-पैरामीटर ट्रैक्टेबल समस्या कहलाती है एवं वर्ग से संबंधित होती है FPT, एवं पैरामिट्रीकृत जटिलता के सिद्धांत का प्रारंभिक नाम फिक्स्ड-पैरामीटर ट्रैक्टेबिलिटी था।

कई समस्याओं का निम्न रूप होता है, दी गई वस्तु x एवं गैर-नकारात्मक पूर्णांक k, करता है x के पास कुछ संपत्ति है जो निर्भर करती है k? उदाहरण के लिए, वर्टेक्स कवर समस्या के लिए, पैरामीटर कवर में वर्टिकल की संख्या हो सकती है। कई अनुप्रयोगों में, उदाहरण के लिए जब मॉडलिंग त्रुटि सुधार होता है, तो कुल इनपुट आकार की तुलना में पैरामीटर को अल्प माना जा सकता है। तथापि एल्गोरिदम का प्रतिशोधन प्रचारणा है जो केवल घातीय है एवं k, इनपुट आकार में नहीं होते है।

इस प्रकार, पैरामिट्रीकृत जटिलता को द्वि-आयामी जटिलता सिद्धांत के रूप में दर्शाया जा सकता है। इस अवधारणा को निम्नानुसार औपचारिक रूप दिया गया है:

पैरामिट्रीकृत समस्या भाषा है , कहाँ परिमित वर्णमाला है। दूसरे घटक को समस्या का पैरामीटर कहा जाता है। पैरामिट्रीकृत समस्या L निश्चित-पैरामीटर ट्रैक्टेबल है यदि प्रश्न? समय में निर्धारित किया जा सकता है , जहां f इच्छानुसार कार्य है जो केवल k पर निर्भर करता है, इसी जटिलता वर्ग को FPT कहा जाता है।

उदाहरण के लिए, एल्गोरिदम है जो वर्टेक्स कवर समस्या का समाधान करता है समय,[1] जहां n शीर्षों की संख्या है एवं k वर्टेक्स कवर का आकार है। इसका अर्थ यह है कि वर्टेक्स कवर फिक्स्ड-पैरामीटर ट्रैक्टेबल है जो समाधान के आकार के पैरामीटर के रूप में है।

जटिलता वर्ग

एफपीटी

एफपीटी में निश्चित पैरामीटर ट्रैक्टेबल समस्याएं होती हैं, जो कि समय पर निवारण की जा सकती हैं कुछ गणना योग्य समारोह के लिए हैं, सामान्यतः इस प्रोग्राम को एकल घातांक के रूप में माना जाता है, जैसे , किन्तु परिभाषा ऐसे कार्यों को स्वीकार करती है जो तीव्र गति से बढ़ते हैं। यह इस वर्ग के प्रारंभिक इतिहास के बड़े भाग के लिए आवश्यक है। परिभाषा का महत्वपूर्ण भाग फॉर्म के कार्यों को बाहर करना है , जैसे कि है।

क्लास एफपीएल (फिक्स्ड पैरामीटर लीनियर) समय में समाधान करने योग्य समस्याओं का वर्ग है, कुछ गणना योग्य समारोह f के लिए है। [2] एफपीएल (FPL) इस प्रकार एफपीटी (FPT) का उपवर्ग है। उदाहरण बूलियन संतुष्टि समस्या है, जो कि चरों की संख्या द्वारा परिचालित है। आकार का एक दिया गया सूत्र m साथ k समय में क्रूर बल द्वारा चरों की जाँच की जा सकती है . आकार का एक शीर्ष आवरण k क्रम के एक ग्राफ में n समय पर मिल सकता है , इसलिए वर्टेक्स कवर की समस्या भी FPL में है।

एक समस्या का एक उदाहरण जो माना जाता है कि एफपीटी में नहीं है, रंगों की संख्या के आधार पर ग्राफ रंग का पैरामीटर है। यह ज्ञात है कि 3-रंग एनपी-हार्ड है, एवं ग्राफ के लिए एक एल्गोरिदम है k-समय पर रंग भरना के लिए इनपुट के आकार में बहुपद समय में चलेगा। इस प्रकार, यदि रंगों की संख्या द्वारा पैरामीटर किए गए ग्राफ़ रंग एफपीटी में थे, तो पी बनाम एनपी समस्या | पी = एनपी।

FPT की कई वैकल्पिक परिभाषाएँ हैं। उदाहरण के लिए, रनिंग-टाइम आवश्यकता को इसके द्वारा प्रतिस्थापित किया जा सकता है . साथ ही, एक पैरामिट्रीकृत समस्या FPT में है यदि इसमें एक तथाकथित कर्नेल है। गुठली बनाना एक प्रीप्रोसेसिंग तकनीक है जो मूल उदाहरण को उसके हार्ड कर्नेल में कम कर देता है, संभवतः बहुत छोटा उदाहरण जो मूल उदाहरण के बराबर है किन्तु एक आकार है जो पैरामीटर में एक फ़ंक्शन से घिरा हुआ है।

FPT को 'fpt-reductions' नामक रिडक्शन (जटिलता) की एक पैरामीटरयुक्त धारणा के तहत बंद कर दिया गया है। इस प्रकार की कटौती एक उदाहरण को बदल देती है समतुल्य उदाहरण में कुछ समस्या का किसी अन्य समस्या का (के साथ ) एवं समय में गणना की जा सकती है कहाँ एक बहुपद है।

जाहिर है, FPT में सभी बहुपद-समय की गणना योग्य समस्याएं हैं। इसके अलावा, इसमें एनपी में सभी अनुकूलन समस्याएं शामिल हैं जो एक कुशल बहुपद-समय सन्निकटन योजना | कुशल बहुपद-समय सन्निकटन योजना (ईपीटीएएस) की अनुमति देती हैं।

डब्ल्यू पदानुक्रम

'डब्ल्यू पदानुक्रम' कम्प्यूटेशनल जटिलता वर्गों का एक संग्रह है। वर्ग डब्ल्यू [i] में एक पैरामिट्रीकृत समस्या है, यदि हर उदाहरण (एफटीटी-समय में) एक संयोजी परिपथ में परिवर्तित किया जा सकता है जिसमें अधिक से अधिक i पर बाना (सर्किट) हो, जैसे कि यदि एवं केवल यदि इनपुट के लिए एक संतोषजनक असाइनमेंट है जो 1 को बिल्कुल k इनपुट प्रदान करता है। वेट एक इनपुट से आउटपुट तक किसी भी पथ पर फैन-इन दो से अधिक के साथ तार्किक इकाइयों की सबसे बड़ी संख्या है। रास्तों पर तार्किक इकाइयों की कुल संख्या (गहराई के रूप में जाना जाता है) को एक स्थिरांक द्वारा सीमित किया जाना चाहिए जो समस्या के सभी उदाहरणों के लिए होल्ड करता है।

ध्यान दें कि एवं सभी के लिए . एफपीटी-कमी के तहत डब्ल्यू पदानुक्रम में कक्षाएं भी बंद हैं।

कई प्राकृतिक कम्प्यूटेशनल समस्याएं निचले स्तरों, डब्ल्यू [1] एवं डब्ल्यू [2] पर कब्जा कर लेती हैं।

डब्ल्यू [1]

W[1]-पूर्ण समस्याओं के उदाहरणों में शामिल हैं

  • यह निर्धारित करना कि दिए गए ग्राफ़ में k आकार का एक क्लिक (ग्राफ़ सिद्धांत) है या नहीं
  • यह निर्धारित करना कि दिए गए ग्राफ़ में आकार k का एक स्वतंत्र सेट (ग्राफ़ सिद्धांत) है या नहीं
  • यह निर्धारित करना कि क्या दी गई गैर-नियतात्मक एकल-टेप ट्यूरिंग मशीन k चरणों (लघु ट्यूरिंग मशीन स्वीकृति समस्या) के भीतर स्वीकार करती है। यह f(k) टेप एवं यहां तक ​​कि f(k)-डायमेंशनल टेप के f(k) के साथ गैर-नियतात्मक ट्यूरिंग मशीनों पर भी लागू होता है, किन्तु इस विस्तार के साथ भी, f(k) टेप वर्णमाला के आकार का प्रतिबंध निश्चित-पैरामीटर ट्रैक्टेबल है। महत्वपूर्ण रूप से, प्रत्येक चरण पर ट्यूरिंग मशीन की ब्रांचिंग को n, इनपुट के आकार पर निर्भर करने की अनुमति है। इस प्रकार , ट्यूरिंग मशीन एन का पता लगा सकती हैO(k) संगणना पथ।

डब्ल्यू [2]

W[2]-पूर्ण समस्याओं के उदाहरणों में शामिल हैं

  • यह निर्धारित करना कि दिए गए ग्राफ़ में आकार k का एक प्रभावशाली सेट है या नहीं
  • यह निर्धारित करना कि क्या दी गई गैर-नियतात्मक ट्यूरिंग मशीन समकक्ष # मल्टी-टेप ट्यूरिंग मशीन | मल्टी-टेप ट्यूरिंग मशीन k चरणों के भीतर स्वीकार करती है (लघु मल्टी-टेप ट्यूरिंग मशीन स्वीकृति समस्या)। महत्वपूर्ण रूप से, ब्रांचिंग को n (जैसे W[1] प्रकार) पर निर्भर रहने की अनुमति है, जैसा कि टेपों की संख्या है। एक वैकल्पिक W[2]-पूर्ण सूत्रीकरण केवल एकल-टेप ट्यूरिंग मशीनों की अनुमति देता है, किन्तु वर्णमाला का आकार n पर निर्भर हो सकता है।

डब्ल्यू [टी]

भारित बाने के परिवार का उपयोग करके परिभाषित किया जा सकता है-t-गहराई-d सैट समस्याओं के लिए : पैरामिट्रीकृत समस्याओं का वर्ग है जो इस समस्या को fpt-reduce करता है, एवं .

यहाँ, भारित बाना-t-गहराई-d SAT निम्न समस्या है:

  • इनपुट: अधिक से अधिक गहराई का एक बूलियन सूत्र d एवं अधिक से अधिक बाना t, एवं एक संख्या k. गहराई रूट से पत्ते तक किसी भी पथ पर फाटकों की अधिकतम संख्या है, एवं बाना जड़ से पत्ती तक किसी भी पथ पर कम से कम तीन फाटकों की अधिकतम संख्या है।
  • प्रश्न: क्या सूत्र में सटीक रूप से हैमिंग भार का संतोषजनक कार्य है k?

यह दिखाया जा सकता है कि के लिए समस्या भारित t-Normalize SAT के लिए पूरा हो गया है एफपीटी-कटौती के तहत।[3] यहाँ, भारित t-सामान्य करें SAT निम्न समस्या है:

  • इनपुट: अधिक से अधिक गहराई का एक बूलियन सूत्र t शीर्ष पर एक AND-गेट एवं एक संख्या के साथ k.
  • प्रश्न: क्या सूत्र में सटीक रूप से हैमिंग भार का संतोषजनक कार्य है k?

डब्ल्यू [पी]

डब्ल्यू [पी] समस्याओं का वर्ग है जिसे एक गैर-निर्धारिती द्वारा निर्धारित किया जा सकता है -अपना समय सेट करें पर गणना में nondeterministic विकल्प (के-प्रतिबंधित ट्यूरिंग मशीन)। Flum & Grohe (2006)

यह ज्ञात है कि एफपीटी डब्ल्यू [पी] में निहित है, एवं समावेशन को सख्त माना जाता है। हालाँकि, इस मुद्दे को हल करने से P बनाम NP समस्या का समाधान होगा।

अपैरामीटरीकृत कम्प्यूटेशनल जटिलता के अन्य कनेक्शन हैं कि एफपीटी डब्ल्यू [पी] के बराबर है यदि एवं केवल यदि सर्किट संतुष्टि समय पर निर्धारित की जा सकती है , या यदि एवं केवल यदि कोई संगणनीय, गैर-घटता हुआ, असीमित फ़ंक्शन f है, जैसे कि सभी भाषाओं को एक गैर-नियतात्मक बहुपद-समय ट्यूरिंग मशीन द्वारा मान्यता प्राप्त है गैर नियतात्मक विकल्प P में हैं।

डब्ल्यू [पी] को शिथिल रूप से समस्याओं के वर्ग के रूप में सोचा जा सकता है जहां हमारे पास एक सेट है S का n आइटम, एवं हम एक सबसेट खोजना चाहते हैं आकार का k जैसे कि एक निश्चित संपत्ति रखती है। हम एक सूची के रूप में एक विकल्प को एन्कोड कर सकते हैं k पूर्णांक, बाइनरी में संग्रहीत। चूँकि इनमें से उच्चतम कोई भी संख्या हो सकती है n, बिट्स प्रत्येक संख्या के लिए आवश्यक हैं। इसलिए किसी विकल्प को एन्कोड करने के लिए कुल बिट्स की आवश्यकता होती है। इसलिए हम एक उपसमुच्चय का चयन कर सकते हैं साथ गैर-नियतात्मक विकल्प।

एक्सपी

XP पैरामिट्रीकृत समस्याओं का वर्ग है जिसे समय पर हल किया जा सकता है कुछ गणना योग्य समारोह के लिए f. इन समस्याओं को टुकड़ा बहुपद कहा जाता है, इस अर्थ में कि निश्चित k के प्रत्येक स्लाइस में एक बहुपद एल्गोरिथम होता है, हालांकि संभवतः प्रत्येक k के लिए एक अलग घातांक के साथ। इसकी तुलना FPT से करें, जो केवल k के प्रत्येक मान के लिए एक अलग निरंतर प्रीफैक्टर की अनुमति देता है। XP में FPT होता है, एवं यह ज्ञात है कि यह नियंत्रण विकर्णकरण द्वारा सख्त है।

पैरा-एनपी

पैरा-एनपी पैरामीटरयुक्त समस्याओं का वर्ग है जिसे समय पर एक गैर-नियतात्मक एल्गोरिदम द्वारा हल किया जा सकता है कुछ गणना योग्य समारोह के लिए f. ह ज्ञात है कि यदि एवं केवल यदि .[4]

एक समस्या पैरा-एनपी-हार्ड है यदि यह है -पैरामीटर के निरंतर मान के लिए पहले से ही कठिन है। यानी फिक्स का एक टुकड़ा है k वह है -मुश्किल। एक पैरामिट्रीकृत समस्या जो है -हार्ड वर्ग से संबंधित नहीं हो सकता , जब तक . ए. का एक उत्कृष्ट उदाहरण है -हार्ड पैरामिट्रीकृत समस्या ग्राफ कलरिंग है, जो संख्या द्वारा परिचालित है k रंग, जो पहले से ही है -के लिए कठिन (ग्राफ़ कलरिंग # कम्प्यूटेशनल जटिलता देखें)।

एक पदानुक्रम

A पदानुक्रम W पदानुक्रम के समान कम्प्यूटेशनल जटिलता वर्गों का एक संग्रह है। हालाँकि, जबकि W पदानुक्रम NP में निहित एक पदानुक्रम है, A पदानुक्रम शास्त्रीय जटिलता से बहुपद-समय पदानुक्रम की अधिक बारीकी से नकल करता है। यह ज्ञात है कि A[1] = W[1] धारण करता है।

यह भी देखें

टिप्पणियाँ

  1. Chen, Kanj & Xia 2006
  2. Grohe (1999)
  3. Buss, Jonathan F; Islam, Tarique (2006). "बाने के पदानुक्रम को सरल बनाना". Theoretical Computer Science. 351 (3): 303–313. doi:10.1016/j.tcs.2005.10.002.
  4. Flum & Grohe (2006), p. 39.


संदर्भ


बाहरी संबंध