घातीय समय परिकल्पना

From Vigyanwiki
Revision as of 18:19, 12 July 2023 by Manidh (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

कम्प्यूटरीकृत जटिलता सिद्धांत में, घातीय समय परिकल्पना अप्रमाणित कम्प्यूटरीकृत कठोरता की धारणा है, जिसे इम्पाग्लिआज़ो & पाटुरी (1999) द्वारा तैयार किया गया था, इसमें कहा गया है कि 3-SAT या 3-CNF बूलियन फ़ार्मुलों की संतुष्टि को उप-घातांकीय समय में हल नहीं किया जा सकता है, अर्थात, सभी स्थिरांक के लिए , जहां n सूत्र में चरों की संख्या को प्रदर्शित करता है।

घातीय समय परिकल्पना, यदि सत्य है, तो इसका अर्थ यह होगा कि P तथा NP के बीच का अन्तर इसकी समस्या या P ≠ NP को प्रदर्शित करता हैं, अपितु यह मुख्य रूप से मजबूत कथन है। इसका तात्पर्य यह है कि कई कम्प्यूटरीकृत समस्याएं जटिलता में समतुल्य हैं, इस अर्थ में कि यदि उनमें से के पास उप-घातीय समय कलन विधि है तो वे सभी करते हैं, और इन समस्याओं के लिए कई ज्ञात कलन विधि में इष्टतम या निकट-इष्टतम समय complexity.[1] होता है।

परिभाषा

-SAT}एटी समस्या बूलियन संतुष्टि समस्या का ऐसा संस्करण है जिसमें समस्या का इनपुट संयोजक सामान्य रूप में बूलियन अभिव्यक्ति को प्रदर्शित करता है, अर्ताथ चर और उनके निषेधों का और अन्य अधिकतम के साथ प्रति खंड चर. लक्ष्य यह निर्धारित करता है, यह इस प्रकार हैं कि क्या इस अभिव्यक्ति को इसके चरों के लिए बूलियन मानों के कुछ असाइनमेंट द्वारा सत्य बनाया जा सकता है। इसके आधार पर 2-संतोषजनकता या 2-SAT में रैखिक समय कलन विधि को प्रदर्शित करता है, अपितु सभी ज्ञात कलन विधि बड़े हैं, जिसके कारण घातीय फलन के आधार पर निर्भर करते हुए, घातांकीय समय लें . उदाहरण के लिए, वॉकसैट संभाव्य कलन विधि हल कर सकता है, इस प्रकार -SAT के औसत समय में

जहाँ दिए गए चरों की संख्या है -SAT instance.[2] प्रत्येक के लिए integer , के लिए को परिभाषित करता हैं। इस प्रकार ऐसी सबसे छोटी संख्या को -SAT द्वारा हल किया जा सकता है, इसके आधारा पर time . जो न्यूनतम समय में नहीं हो सकता है, यदि इसके लिए उपयुक्त उत्तम कलन विधि के अनुक्रम में उनकी समय सीमा में तदनुसार छोटी घातीय वृद्धि होती है, इस स्थिति में, परिभाषित करें वास्तविक संख्याओं का न्यूनतम रहता हैं। जिसके कारण हैं, जिसके लिए -SATमें हल किया जा सकता है, इस प्रकार time . क्योंकि बड़ी समस्याओं के साथ इससे सरल नहीं हो सकता हैं, इस प्रकार उपयुक्त संख्या को इस प्रकार क्रमबद्ध किया गया है कि , और वॉकसैट के कारण इसका मान अधिकतम हैं जो इस प्रकार हैं-

घातीय समय परिकल्पना यह अनुमान है कि वे सभी गैर-शून्य हैं, या समकक्ष रूप से, उनमें से सबसे छोटा, , nonzero.[1] है।

कुछ स्रोत घातीय समय परिकल्पना को थोड़ा कमजोर कथन के रूप में परिभाषित करते हैं, जिसमें 3-SAT को time . के लिए हल नहीं किया जा सकता है, इस कारण यदि 3-SAT को हल करने के लिए कोई कलन विधि उपस्थित है, जिसके कारण time , तब शून्य के बराबर होगा, चूंकि, यह वर्तमान मान के लिए इस प्रकार अनुरूप है कि 3-SAT कलन विधि का क्रम हो सकता है, प्रत्येक का चलने का समय संख्याओं के अनुक्रम के लिए शून्य की ओर यह मान प्रदर्शित करता हैं। अपितु जहां इन कलन विधि का विवरण इतनी तेज़ी से बढ़ रहा है कि भी कलन विधि स्वचालित रूप से सबसे उपयुक्त का चयन और चला नहीं सकता है। अगर ऐसा ही होता तो शून्य के बराबर होगा, भले ही कोई एकल कलन विधि time .[3] नहीं चल रहा हो। जिसके कारण किसी घातीय समय परिकल्पना का संबंधित संस्करण गैर-समान घातीय समय परिकल्पना है, जो बताता है कि कलन विधि का कोई परिवार नहीं है, इस प्रकार इनपुट की प्रत्येक लंबाई के लिए, जटिलता की भावना उत्पन्न होती हैं जिसके 3- को हल कर सकता है, जिसके आधार पर time .[4] मान प्राप्त किया जा सकता हैं।

क्योंकि संख्याएँ एकरसता का निर्माण करें जो ऊपर से बंधी रहती हैं, उन्हें सीमा तक अभिसरण करना होगा।

इसकी सबसे शक्तिशाली घातांकीय समय परिकल्पना (SETH) है जिसका अनुमानतः मान that .[5] है।

निहितार्थ

संतुष्टि

इसके लिए यह संभव नहीं है बराबर करने के लिए को किसी finite : के लिए जैसे इम्पाग्लिआज़ो, पाटुरी & जेन (2001) द्वारा दिखाया गया हैं कि इसके लिए स्थिरांक उपस्थित है, जो इस प्रकार हैं कि that . मान प्राप्त होता हैं। इसलिए, यदि घातांकीय समय परिकल्पना सत्य है, तो इसके अनंत रूप से कई मान होने चाहिए जिसके लिए अलग होगी जिसका मान from .[6] प्राप्त होता है।

इस क्षेत्र में महत्वपूर्ण उपकरण स्पार्सिफिकेशन लेम्मा है, जो इम्पाग्लिआज़ो, पाटुरी & जेन (2001) के संदर्भ को दर्शाता है कि इसके लिए every , कोई -CNF सूत्र द्वारा प्रतिस्थापित किया जा सकता है, इस प्रकार सरल -CNF ऐसे सूत्र जिनमें प्रत्येक चर केवल स्थिर संख्या में ही प्रकट होता है, और इसलिए जिसमें उपवाक्यों की संख्या रैखिक होती है। स्पार्सिफिकेशन लेम्मा को किसी दिए गए सूत्र में गैर-रिक्त सामान्य प्रतिच्छेदन वाले खंडों के बड़े समुच्चयों को बार-बार ढूंढकर और सूत्र को दो सरल सूत्रों द्वारा प्रतिस्थापित करके सिद्ध किया जाता है, जिनमें से प्रत्येक खंड को उनके सामान्य प्रतिच्छेदन द्वारा प्रतिस्थापित किया जाता है और दूसरे में प्रत्येक खंड से प्रतिच्छेदन हटा दिया गया है। स्पार्सिफिकेशन लेम्मा को लागू करके और फिर खंडों को विभाजित करने के लिए नए चर का उपयोग करके, किसी मान के लिए उक्त समुच्चय प्राप्त कर सकता है, जिसके आधार पर 3-सीएनएफ सूत्र, प्रत्येक में चर की रैखिक संख्या होती है, जैसे कि मूल -CNF सूत्र तभी संतोषजनक है जब इन 3-सीएनएफ सूत्रों में से कम से कम संतोषजनक हो। इसलिए, यदि 3-SAT को उप-घातीय समय में हल किया जा सकता है, तो -SAT उपघातीय समय में भी कोई इस कमी का उपयोग हल करने के लिए कर सकता है। समान रूप से, if के लिए any , तब साथ ही, और घातीय समय परिकल्पना true.[7][6] होगी।

इसके आधार पर सीमित मूल्य संख्याओं के क्रम का अधिकतम बराबर है, जिसका मान to , प्राप्त होता हैं जहाँ संख्याओं का न्यूनतम मान है। इस प्रकार जैसे कि खंड लंबाई सीमा के बिना संयोजक सामान्य रूप सूत्रों की संतुष्टि को time . द्वारा हल किया जा सकता है, इसलिए, यदि मजबूत घातीय समय परिकल्पना सत्य है, तो सामान्य सीएनएफ संतुष्टि के लिए कोई कलन विधि नहीं होगा जो सभी संभावित सत्य असाइनमेंट पर क्रूर-बल खोज से अधिक तेज है। चूंकि, यदि मजबूत घातीय समय परिकल्पना विफल हो जाती है, तब भी यह संभव होगा बराबर करने के लिए one.[8] मान प्राप्त होता हैं।

अन्य परिकल्पित समस्याएँ

घातीय समय परिकल्पना का तात्पर्य है कि जटिलता वर्ग एसNP (जटिलता) में कई अन्य समस्याओं में कलन विधि नहीं हैं जिनका चलने का समय इससे तेज है, इस प्रकार के लिए constant . द्वारा इन समस्याओं में ग्राफ़ कलरिंग|ग्राफ़ सम्मिलित है k-रंग योग्यता, हैमिल्टनियन चक्र, अधिकतम क्लिक्स, अधिकतम स्वतंत्र समुच्चय और शीर्ष आवरण का पता लगाकर -vertex रेखांकन के लिए इसके विपरीत, यदि इनमें से किसी भी समस्या में उप-घातांकीय कलन विधि है, तो घातांकीय समय परिकल्पना को false.[7][6] मान द्वारा दिखाया जा सकता है।

यदि बहुपद समय में समूह या लघुगणकीय आकार के स्वतंत्र समुच्चय पाए जा सकते हैं, तो घातीय समय परिकल्पना असत्य होगी। इसलिए भले ही ऐसे छोटे आकार के समूह या स्वतंत्र समुच्चय ढूंढना NP-पूर्ण होने की संभावना नहीं है, घातीय समय परिकल्पना का तात्पर्य है कि ये समस्याएं non-polynomial.[7][9] हैं, इस प्रकार इससे अधिक मान को सामान्यतः घातीय समय परिकल्पना का तात्पर्य है कि क्लिक्स या आकार के स्वतंत्र समुच्चय ढूंढना संभव नहीं है में time .[10] को घातांकीय समय परिकल्पना के रूप में प्रदर्शित करते हैं, जिसका यह भी तात्पर्य है कि 3SUM को हल करना संभव नहीं है, जिसके कारण k-SUM समस्या इस प्रकार है कि वास्तविक संख्याएँ हैं जहाँ पर उनमें से जो शून्य में जोड़ते हैं, जिसमें time .मान प्राप्त होता हैं। इस प्रकार मजबूत घातीय समय परिकल्पना का तात्पर्य है कि इसे खोजना संभव नहीं है -vertex अंदर की तुलना में समुच्चय पर अधिक तेजी से time .[8] का प्रभावी होना यहाँ पर मुख्य हैं।

घातीय समय परिकल्पना का तात्पर्य यह भी है कि टूर्नामेंट (ग्राफ सिद्धांत) पर भारित फीडबैक आर्क समुच्चय समस्या में चलने के साथ पैरामीट्रिज्ड कलन विधि नहीं है, इस प्रकार time . चूंकि इसमें चलने के साथ पैरामीटरयुक्त कलन विधि time .[11] है।

मजबूत घातीय समय परिकल्पना बंधे हुए वृक्ष चौड़ाई के ग्राफ़ पर कई ग्राफ़ समस्याओं की पैरामीटरयुक्त जटिलता पर कड़ी सीमाएं लगाती है। विशेष रूप से, यदि मजबूत घातीय समय परिकल्पना सत्य है, तो ग्राफ़ पर स्वतंत्र समुच्चय खोजने के लिए इष्टतम समय सीमा treewidth is , है। प्रभावी समुच्चय से जुड़ी समस्या के लिए इसका इष्टतम समय is , हैं, इस प्रकार अधिकतम कटौती के लिए इष्टतम समय is , हैं और इसके लिए इष्टतम समय -coloring is .[12] हैं। इस कारण समान्य रूप से चल रहे इस समय के आधार पर इसमें कोई भी सुधार मजबूत घातीय समय को hypothesis.[13] गलत साबित करेगा। जिसके कारण घातीय समय परिकल्पना का यह भी तात्पर्य है कि इंटरसेक्शन संख्या (ग्राफ सिद्धांत) के लिए किसी भी निश्चित-पैरामीटर ट्रैक्टेबल कलन विधि में डबल घातीय फ़ंक्शन निर्भरता parameter.[14] होनी चाहिए।

संचार जटिलता

संचार जटिलता में तीन-पक्षीय समुच्चय असंबद्धता समस्या में, कुछ में पूर्णांक के तीन उपसमूह range निर्दिष्ट हैं, और तीन संचार पक्ष प्रत्येक तीन उपसमूहों में से दो को जानते हैं। इस प्रकार के लक्षित समहों के लिए साझा संचार चैनल पर एक-दूसरे को कम से कम बिट्स संचारित करना है ताकि पक्ष यह निर्धारित कर सके कि तीन समुच्चयों का प्रतिच्छेदन रिक्त है या गैर-रिक्त है। इस प्रकार कम से कम -bit संचार प्रोटोकॉल तीन पार्टियों में से के लिए उस पार्टी को ज्ञात दो समुच्चयों के प्रतिच्छेदन का वर्णन करने वाला बिटवेक्टर संचारित करने के लिए होगा, जिसके बाद शेष दोनों पक्षों में से कोई भी प्रतिच्छेदन की रिक्तता निर्धारित कर सकता है। चूंकि, यदि कोई प्रोटोकॉल उपस्थित है जो समस्या का समाधान करता है communication और computation, इसे हल करने के लिए कलन विधि में परिवर्तित किया जा सकता है, जिसके आधार पर -SAT में time किसी भी निश्चित के लिए constant , मजबूत घातीय समय परिकल्पना का उल्लंघन हैं। इसलिए यहाँ पर मजबूत घातीय समय परिकल्पना का तात्पर्य या तो यह है कि तीन-पक्षीय समुच्चय असंबद्धता के लिए तुच्छ प्रोटोकॉल इष्टतम है, या किसी भी उत्तम प्रोटोकॉल के लिए घातीय मात्रा computation.[8] की आवश्यकता होती है।

संरचनात्मक जटिलता

यदि घातीय समय परिकल्पना सत्य है, तो 3-SAT में बहुपद समय कलन नहीं होगा, और इसलिए यह P व NP के बीच का अन्तर के लिए P ≠ NP इस समस्या का अनुसरण करेगा। इस प्रकार इसकी अधिक मजबूती से, इस स्थिति में, 3-SAT में अर्ध-बहुपद समय कलन भी नहीं हो सकता है, इसलिए NP, QP का सबसमुच्चय नहीं हो सकता है। चूंकि, यदि घातीय समय परिकल्पना विफल हो जाती है, तो इसका पी बनाम NP समस्या पर कोई प्रभाव नहीं पड़ेगा। इस प्रकार पैडिंग तर्क NP-पूर्ण समस्याओं के समय इसको प्रमाणित किया जाता है, जिसके लिए सबसे प्रसिद्ध रनिंग टाइम for , का रूप होता है, और यदि 3-SAT के लिए सर्वोत्तम संभव चलने का समय इस रूप में होता, तो P, NP के बराबर नहीं होता, क्योंकि 3-SAT NP-पूर्ण है और यह समय सीमा बहुपद नहीं है, अपितु घातीय समय परिकल्पना असत्य होगी।

पैरामीटरयुक्त जटिलता सिद्धांत में, क्योंकि घातीय समय परिकल्पना का तात्पर्य है कि अधिकतम क्लिक के लिए निश्चित-पैरामीटर-ट्रैक्टेबल कलन विधि उपस्थित नहीं है, इसका यह भी तात्पर्य है कि W[1] ≠ FPT.[10] यह इस क्षेत्र में महत्वपूर्ण खुली समस्या है कि क्या इस निहितार्थ को व्युत्क्रम किया जा सकता है: इस प्रकार W[1] ≠ FPTघातांकीय समय परिकल्पना का तात्पर्य हैं कि इसके लिए मानकीकृत जटिलता वर्गों का पदानुक्रम है जिसे एम-पदानुक्रम कहा जाता है जो डब्ल्यू-पदानुक्रम को इस अर्थ में जोड़ता है कि, all , ; इस प्रकार उदाहरण के लिए, आकार का शीर्ष कवर ढूंढने की समस्या में -vertex ग्राफ़ के साथ parameter तैयार है, जिसके आधार पर for M[1].घातांकीय समय परिकल्पना उस कथन के समतुल्य है, जिसका मान M[1] ≠ FPT, और क्या का प्रश्न के लिए E also open.[3] हैं।

मजबूत घातीय समय परिकल्पना की भिन्नता की विफलता से लेकर जटिलता वर्गों के पृथक्करण तक, दूसरी दिशा में निहितार्थ साबित करना भी संभव है। जैसा यहां पर विलियम्स (2010) प्रदर्शित करते हैं कि क्या कोई कलन विधि उपस्थित है, जो समय में बूलियन परिपथ संतुष्टि को हल करता है, इस प्रकार यहाँ पर कुछ सुपरबहुपद वृद्धि के लिए function , तो नेक्स्प समय P/poly का उपसमुच्चय नहीं है। इस प्रकार विलियम्स दिखाता है कि, यदि कलन विधि उपस्थित है, और P/Poly में नेक्स्प समय का अनुकरण करने वाले परिपथ का समूह भी उपस्थित है, फिर कलन विधि समय पदानुक्रम प्रमेय का उल्लंघन करते हुए, कम समय में NEXPTIME समस्याओं को अनैतिक रूप से अनुकरण करने के लिए परिपथ के साथ बनाया जा सकता है। इसलिए, कलन विधि का अस्तित्व परिपथ के परिवार की गैर-उपस्थितगी और इन दोनों जटिलताओं के अलग होने को classes.[15] द्वारा प्रमाणित करता है।

यह भी देखें

  • सैविच का प्रमेय, दर्शाता है कि समान घातीय अंतर अंतरिक्ष जटिलता के लिए नहीं टिक सकता हैं।

टिप्पणियाँ

  1. 1.0 1.1 Impagliazzo, Russell; Paturi, Ramamohan (1999), "The Complexity of k-SAT", Proc. 14th IEEE Conf. on Computational Complexity, pp. 237–240, doi:10.1109/CCC.1999.766282, ISBN 978-0-7695-0075-1
  2. Schöning, Uwe (1999), "A probabilistic algorithm for -SAT and constraint satisfaction problems", 40th Annual Symposium on Foundations of Computer Science, FOCS '99, 17-18 October, 1999, New York, NY, USA, IEEE Computer Society, pp. 410–414, doi:10.1109/SFFCS.1999.814612
  3. 3.0 3.1 Flum, Jörg; Grohe, Martin (2006), "16. Subexponential Fixed-Parameter Tractability", Parameterized Complexity Theory, EATCS Texts in Theoretical Computer Science, Springer-Verlag, pp. 417–451, ISBN 978-3-540-29952-3
  4. Chen, Yijia; Eickmeyer, Kord; Flum, Jörg (2012), "The exponential time hypothesis and the parameterized clique problem", in Thilikos, Dimitrios M.; Woeginger, Gerhard J. (eds.), Parameterized and Exact Computation – 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12–14, 2012, Proceedings, Lecture टिप्पणियाँ in Computer Science, vol. 7535, Springer, pp. 13–24, doi:10.1007/978-3-642-33293-7_4
  5. Calabro, Chris; Impagliazzo, Russel; Paturi, Ramamohan (2009), "The Complexity of Satisfiability of Small Depth Circuits", Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers, Lecture टिप्पणियाँ in Computer Science, vol. 5917, pp. 75–85, doi:10.1007/978-3-642-11269-0_6
  6. 6.0 6.1 6.2 Impagliazzo, Russell; Paturi, Ramamohan; Zane, Francis (2001), "Which problems have strongly exponential complexity?", Journal of Computer and System Sciences, 63 (4): 512–530, CiteSeerX 10.1.1.66.3717, doi:10.1006/jcss.2001.1774
  7. 7.0 7.1 7.2 Woeginger, Gerhard (2003), "Exact algorithms for NP-hard problems: A survey", Combinatorial Optimization — Eureka, You Shrink! (PDF), Lecture टिप्पणियाँ in Computer Science, vol. 2570, Springer-Verlag, pp. 185–207, CiteSeerX 10.1.1.168.5383, doi:10.1007/3-540-36478-1_17, ISBN 978-3-540-00580-3
  8. 8.0 8.1 8.2 Pătraşcu, Mihai; Williams, Ryan (2010), "On the possibility of faster SAT algorithms", Proc. 21st ACM/SIAM Symposium on Discrete Algorithms (SODA 2010) (PDF), pp. 1065–1075
  9. Feige, Uriel; Kilian, Joe (1997), "On limited versus polynomial nondeterminism", Chicago Journal of Theoretical Computer Science, 1: 1–20, doi:10.4086/cjtcs.1997.001
  10. 10.0 10.1 Chen, Jianer; Huang, Xiuzhen; Kanj, Iyad A.; Xia, Ge (2006), "Strong computational lower bounds via parameterized complexity", Journal of Computer and System Sciences, 72 (8): 1346–1367, doi:10.1016/j.jcss.2006.04.007
  11. Karpinski, Marek; Schudy, Warren (2010), "Faster Algorithms for Feedback Arc Set Tournament, Kemeny Rank Aggregation and Betweenness Tournament", Proc. ISAAC 2010, Part I, Lecture टिप्पणियाँ in Computer Science, 6506: 3–14, arXiv:1006.4396, doi:10.1007/978-3-642-17517-6_3, ISBN 978-3-642-17516-9
  12. 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
  13. Lokshtanov, Daniel; Marx, Dániel; Saurabh, Saket (2011), "Known algorithms on graphs of bounded treewidth are probably optimal", Proc. 22nd ACM/SIAM Symposium on Discrete Algorithms (SODA 2011), pp. 777–789, arXiv:1007.5450, doi:10.1137/1.9781611973082.61
  14. Cygan, Marek; Pilipczuk, Marcin; Pilipczuk, Michał (2016), "Known algorithms for edge clique cover are probably optimal", SIAM Journal on Computing, 45 (1): 67–83, arXiv:1203.1754, doi:10.1137/130947076, MR 3448348
  15. Williams, Ryan (2010), "Improving exhaustive search implies superpolynomial lower bounds", Proc. 42nd ACM Symposium on Theory of Computing (STOC 2010), New York, NY, USA: ACM, pp. 231–240, CiteSeerX 10.1.1.216.1299, doi:10.1145/1806689.1806723, ISBN 9781450300506


अग्रिम पठन

  • Dantsin, Evgeny; Wolpert, Alexander (2010), "On moderately exponential time for SAT", Theory and Applications of Satisfiability Testing–SAT 2010, Lecture Notes in Computer Science, vol. 6175, Springer-Verlag, pp. 313–325, doi:10.1007/978-3-642-14186-7_27, ISBN 978-3-642-14185-0