पैरामिट्रीकृत सम्मिश्रता

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

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

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

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

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

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

पैरामिट्रीकृत समस्या भाषा है $L\subseteq \Sigma ^{*}\times \mathbb {N}$, जहां $\Sigma$ परिमित वर्णमाला है। दूसरे घटक को समस्या का पैरामीटर कहा जाता है। पैरामिट्रीकृत समस्या L निश्चित-पैरामीटर ट्रैक्टेबल है यदि प्रश्न $(x,k)\in L$? समय में निर्धारित किया जा सकता है $f(k)\cdot |x|^{O(1)}$, जहां f इच्छानुसार कार्य करता है जो केवल k पर निर्भर करता है, इसी सम्मिश्रता वर्ग को FPT कहा जाता है।

उदाहरण के लिए, एल्गोरिदम जो वर्टेक्स कवर समस्या का समाधान करता है $O(kn+1.274^{k})$ समय, जहां n शीर्षों की संख्या है एवं k वर्टेक्स कवर का आकार है। इसका अर्थ यह है कि वर्टेक्स कवर फिक्स्ड-पैरामीटर ट्रैक्टेबल है जो समाधान के आकार के पैरामीटर के रूप में है।

सम्मिश्रता वर्ग

एफपीटी

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

क्लास एफपीएल (फिक्स्ड पैरामीटर लीनियर) समय में समाधान करने योग्य समस्याओं का वर्ग $f(k)\cdot |x|$है, कुछ गणना योग्य फंक्शन f के लिए है। एफपीएल (FPL) इस प्रकार एफपीटी (FPT) का उपवर्ग है। उदाहरण बूलियन संतुष्टि समस्या है, जो कि चरों की संख्या द्वारा परिचालित है। k चर के साथ आकार m के दिए गए सूत्र को समय में क्रूर बल द्वारा $O(2^{k}m)$ चरों का प्रतिशोधन किया जा सकता हैI क्रम n के ग्राफ में आकार k क्रम के ग्राफ में समय पाया जा सकता है $O(2^{k}n)$, इसलिए वर्टेक्स कवर की समस्या भी एफपीटी में है।

समस्या का उदाहरण जो माना जाता है कि एफपीटी में नहीं है, रंगों की संख्या के आधार पर ग्राफ रंग का पैरामीटर है। यह ज्ञात है कि 3-रंग एनपी-हार्ड है, एवं ग्राफ के लिए एल्गोरिदम हैI $f(k)n^{O(1)}$ के लिए $k=3$ इनपुट के आकार में बहुपद समय में होगा। इस प्रकार, यदि रंगों की संख्या द्वारा पैरामीटर किए गए ग्राफ़ रंग एफपीटी में थे, तो P के प्रति NP समस्या है P = NP होता है।

एफपीटी की कई वैकल्पिक परिभाषाएँ हैं। उदाहरण के लिए, वर्तमान समय में आवश्यकता को $f(k)+|x|^{O(1)}$इसके द्वारा प्रतिस्थापित किया जा सकता हैI साथ ही पैरामिट्रीकृत समस्या एफपीटी में है यदि इसमें तथाकथित कर्नेल है। कर्नेलाइजेशन प्रीप्रोसेसिंग प्रविधी है जो मूल उदाहरण को उसके हार्ड कर्नेल में अर्घ्य कर देता है, संभवतः अत्यधिक अल्प उदाहरण जो मूल उदाहरण के सामान है किन्तु आकार है जो पैरामीटर में प्रोग्राम से घिरा हुआ है।

एफपीटी को ''एफटीटी-क्षरण' नामक रिडक्शन (सम्मिश्रता) की पैरामीटरयुक्त धारणा के अनुसार समाप्त कर दिया गया है। इस प्रकार क्षरण उदाहरण को परिवर्तित कर देती है $(x,k)$ कुछ समस्या का समतुल्य उदाहरण में $(x',k')$ अन्य समस्या का (के साथ $k'\leq g(k)$) एवं समय में गणना की जा सकती है $f(k)\cdot p(|x|)$ जहां $p$ बहुपद है।

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

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

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

ध्यान दें कि ${\mathsf {FPT}}=W[0]$ एवं $W[i]\subseteq W[j]$ सभी के लिए $i\leq j$. एफपीटी-कमी के अनुसार डब्ल्यू पदानुक्रम में वर्ग भी बंद हैं।

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

डब्ल्यू [1]

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

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

डब्ल्यू [2]

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

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

डब्ल्यू [T]

$W[t]$ को वेटेड वेट-टी-डेप्थ-डी एसएटी समस्याओं के परिवार का उपयोग करके परिभाषित किया जा सकता है $W[t,d]$पैरामिट्रीकृत समस्याओं का वर्ग है जो इस समस्या को एफपीटी अर्घ्य करता है, एवं $W[t]=\bigcup _{d\geq t}W[t,d]$ होता हैI

यहाँ, वेटेड वेट-d-डेप्थ-d एसएटी निम्नलिखित समस्या हैI

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

यह दर्शाया जा सकता है कि $t\geq 2$ के लिए भारित समस्या t-सामान्यीकृत एसएटी (SAT) के लिए पूर्ण है $W[t]$ एफपीटी क्षरण के अनुसार यहाँ, भारित t-सामान्यीकृत एसएटी निम्नलिखित समस्या हैI

• इनपुट शीर्ष पर एंड (AND) गेट एवं के साथ t क्षरण का लियन सूत्र k हैI
• प्रश्न: क्या सूत्र में स्थिर रूप से हैमिंग बल का संतोषजनक कार्य k है?

डब्ल्यू [P]

डब्ल्यू [P] समस्याओं का वर्ग है जिसे गैर-निर्धारिती द्वारा निर्धारित किया जा सकता है $h(k)\cdot {|x|}^{O(1)}$-स्वयं का समय निर्धारित करें $O(f(k)\cdot \log n)$ पर गणना में गैर नियतात्मक विकल्प $(x,k)$ (के-प्रतिबंधित ट्यूरिंग मशीन) है।

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

अपैरामीटरीकृत कम्प्यूटेशनल सम्मिश्रता के अन्य कनेक्शन हैं कि एफपीटी डब्ल्यू [P] के समान है, यदि परिपथ संतुष्टि समय पर निर्धारित की जा सकती है $\exp(o(n))m^{O(1)}$, या कोई संगणनीय, अन्य-घटता हुआ, असीमित प्रोग्राम f है, जैसे कि सभी भाषाओं को गैर-नियतात्मक बहुपद-समय ट्यूरिंग मशीन द्वारा मान्यता प्राप्त है $f(n)\log n$ अन्य नियतात्मक विकल्प P में हैं।

डब्ल्यू [P] को शिथिल रूप से समस्याओं के वर्ग के रूप में विचार किया जा सकता है जहां हमारे पास n वस्तुओं का समूह S का आइटम, एवं हम उपसमुच्चय का शोध चाहते हैं $T\subset S$ आकार k का जैसे कि निश्चित वित्त रखती है। हम बाइनरी में संग्रहीत k पूर्णांकों की सूची के रूप में विकल्प को एन्कोड कर सकते हैं। चूँकि इनमें से कोई भी उच्चतम संख्या n हो सकती है, प्रत्येक संख्या के लिए $\lceil \log _{2}n\rceil$बिट्स की आवश्यकता होती है। इसलिए $k\cdot \lceil \log _{2}n\rceil$ किसी विकल्प को एन्कोड करने के लिए कुल बिट्स की आवश्यकता होती है। इसलिए हम उपसमुच्चय का चयन कर सकते हैं $T\subset S$ के साथ $O(k\cdot \log n)$ गैर-नियतात्मक विकल्प होते है।

एक्सपी

एक्सपी पैरामिट्रीकृत समस्याओं का वर्ग है जिसका समय पर समाधान किया जा सकता है $n^{f(k)}$ कुछ गणना योग्य फंक्शन f के लिए इन समस्याओं को अंश बहुपद कहा जाता है, इस अर्थ में कि निश्चित k के प्रत्येक अंश में बहुपद एल्गोरिथम होता है, चूँकि संभवतः प्रत्येक k के लिए भिन्न घातांक के साथ इसकी तुलना एफपीटी से करें, जो केवल k के प्रत्येक मान के लिए निरंतर प्रीफैक्टर की अनुमति देता है। एक्सपी में एफपीटी होता है, एवं यह ज्ञात है कि यह नियंत्रण विकर्णकरण द्वारा कठोर होते है।

पैरा-एनपी

पैरा-एनपी पैरामीटरयुक्त समस्याओं का वर्ग है जिसे समय पर गैर-नियतात्मक एल्गोरिदम द्वारा समाधान किया जा सकता है $f(k)\cdot |x|^{O(1)}$ कुछ गणना योग्य समारोह f के लिए ज्ञात है कि ${\textsf {FPT}}={\textsf {para-NP}}$ यदि एवं यदि ${\textsf {P}}={\textsf {NP}}$ होते है। समस्या पैरा-एनपी-हार्ड है यदि ${\textsf {NP}}$- पैरामीटर के निरंतर मान के लिए पूर्व से ही कठिन है। अर्थात फिक्स k का अंश है अर्थात ${\textsf {NP}}$- हार्ड पैरामिट्रीकृत समस्या जो है ${\textsf {para-NP}}$ हार्ड वर्ग से संबंधित नहीं हो सकता ${\textsf {XP}}$, जब तक ${\textsf {P}}={\textsf {NP}}$. a. का उत्कृष्ट उदाहरण है ${\textsf {para-NP}}$- हार्ड पैरामिट्रीकृत समस्या ग्राफ कलरिंग है, जिसे रंगों की संख्या k द्वारा परिचालित किया गया है, जो पूर्व से ही है ${\textsf {NP}}$ के लिए कठिन $k=3$) है।

पदानुक्रम

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

यह भी देखें

• पैरामीटरयुक्त सन्निकटन एल्गोरिथ्म, अनुकूलन समस्या के लिए एफपीटी समय में चलने वाला एल्गोरिथ्म समाधान सन्निकटन एल्गोरिथम हो सकता है।

संदर्भ

• Chen, Jianer; Kanj, Iyad A.; Xia, Ge (2006). Improved Parameterized Upper Bounds for Vertex Cover. pp. 238–249. CiteSeerX 10.1.1.432.831. doi:10.1007/11821069_21. ISBN 978-3-540-37791-7. {{cite book}}: |journal= ignored (help)
• Cygan, Marek; Fomin, Fedor V.; Kowalik, Lukasz; Lokshtanov, Daniel; Marx, Daniel; Pilipczuk, Marcin; Pilipczuk, Michal; Saurabh, Saket (2015). Parameterized Algorithms. Springer. p. 555. ISBN 978-3-319-21274-6.
• Downey, Rod G.; Fellows, Michael R. (1999). Parameterized Complexity. Springer. ISBN 978-0-387-94883-6.
• Flum, Jörg; Grohe, Martin (2006). Parameterized Complexity Theory. Springer. ISBN 978-3-540-29952-3.
• Fomin, Fedor V.; Lokshtanov, Daniel; Saurabh, Saket; Zehavi, Meirav (2019). Kernelization: Theory of Parameterized Preprocessing. Cambridge University Press. p. 528. doi:10.1017/9781107415157. ISBN 978-1107057760.
• Niedermeier, Rolf (2006). Invitation to Fixed-Parameter Algorithms. Oxford University Press. ISBN 978-0-19-856607-6. Archived from the original on 2008-09-24.
• Grohe, Martin (1999). "Descriptive and Parameterized Complexity". Computer Science Logic. Lecture Notes in Computer Science. Vol. 1683. Springer Berlin Heidelberg. pp. 14–31. CiteSeerX 10.1.1.25.9250. doi:10.1007/3-540-48168-0_3. ISBN 978-3-540-66536-6.
• The Computer Journal. Volume 51, Numbers 1 and 3 (2008). The Computer Journal. Special Double Issue on Parameterized Complexity with 15 survey articles, book review, and a Foreword by Guest Editors R. Downey, M. Fellows and M. Langston.

बाहरी संबंध

• Wiki on parameterized complexity
• Compendium of Parameterized Problems