सकर्मक समापन

गणित में, समुच्चय $X$ पर द्विआधारी संबंध $R$ का सकर्मक समापन, X पर सबसे लघु संबंध (गणित) है इसमें R सम्मिलित होते है और यह सकर्मक संबंध होते है। परिमित समुच्चयों के लिए, "सबसे लघु" को उसके सामान्य अर्थ में लिया जा सकता है, जिसमें सबसे कम संबंधित जोड़े होते हैं | अनंत समुच्चयों के लिए यह R का अद्वितीय न्यूनतम अवयव सकर्मक उपसम्मुच्य है।

इस प्रकार से उदाहरण के लिए, यदि $X$ हवाई अड्डों का समूह है और $x R y$ का अर्थ है "हवाई अड्डे $X$ से हवाई अड्डे $y$ के लिए सीधी उड़ान है" और ($x$ में $X$ और $y$ के लिए) हैं, तब उस $x R+ y$ का अर्थ है "एक या अधिक उड़ानों में $X$ से $y$ तक उड़ान भरना संभव होता है"। अनौपचारिक रूप से, ट्रांजिटिव क्लोजर आपको उन सभी स्थानों का समुच्चय देता है जहां आप किसी भी प्रारंभिक स्थान से पहुंच सकते हैं।

अधिक औपचारिक रूप से, द्विआधारी संबंध का सकर्मक समापन $R$ समुच्चय $X$ पर सकर्मक संबंध होता है समुच्चय $R+$ पर $X$ ऐसा है कि $R+$ रोकना $R$ और $R+$ न्यूनतम है | देखना हैं. यदि द्विआधारी संबंध स्वयं सकर्मक है, तब सकर्मक समापन वही द्विआधारी संबंध है | अन्यथा, सकर्मक समापन भिन्न संबंध होता है।

इसके विपरीत, संक्रमणीय कमी न्यूनतम संबंध $S$ से जोड़ती है किन्तु किसी दिए गए संबंध $R$ से जैसे कि उनका समापन $S+ = R+$ ही है | चूंकि, अनेक भिन्न $S$ इस संपत्ति के साथ उपस्तिथ हो सकता है।

अतः सकर्मक समापन और संक्रमणीय कमी दोनों का उपयोग ग्राफ सिद्धांत के निकट से संबंधित क्षेत्र में भी किया जाता है।

सकर्मक संबंध और उदाहरण
इस प्रकार से समुच्चय X पर संबंध R सकर्मक होता है यदि, X में सभी x, y, z के लिए हैं, जब भी x R y और y R z तब x R z. सकर्मक संबंधों के उदाहरणों में किसी भी समुच्चय पर समानता संबंध होता हैं, किसी भी रैखिक रूप से आदेशित समुच्चय पर कम या समान संबंध हैं, और सभी लोगों के समुच्चय पर संबंध x का जन्म y से पहले हुआ था। और प्रतीकात्मक रूप से, इसे इस प्रकार दर्शाया जा सकता है | यदि x < y और y < z तब x < z. प्राप्त होता है |

किन्तु गैर-संक्रमणीय संबंध का उदाहरण इस प्रकार से है कि शहर x तक सभी शहरों y के समुच्चय पर शहर से सीधी उड़ान के माध्यम से पहुंचा जा सकता है। और इसके अतिरिक्त शहर से दूसरे शहर के लिए सीधी उड़ान है, और दूसरे शहर से तीसरे शहर के लिए सीधी उड़ान होती है, इसका मतलब यह नहीं है कि पहले शहर से तीसरे शहर के लिए सीधी उड़ान है। इस संबंध का सकर्मक समापन भिन्न संबंध होता है, अर्थात् सीधी उड़ानों का क्रम है जो शहर x से प्रारंभ होता है और शहर y पर समाप्त होता है। इसमें प्रत्येक संबंध को सकर्मक संबंध के समान ही बढ़ाया जा सकता है।

कम सार्थक सकर्मक समापन के साथ गैर-संक्रमणीय संबंध का उदाहरण है | यह "x, y के पश्चात सप्ताह का दिन होता है"। इस संबंध का सकर्मक समापन "कुछ दिन x कैलेंडर पर दिन y के पश्चात आता है", जो सप्ताह के सभी दिनों x और y के लिए तुच्छ रूप से सत्य है (और इस प्रकार कार्टेशियन वर्ग के समान है, जो कि "x और y हैं | यह सप्ताह के दोनों दिन") होते हैं।

अस्तित्व और विवरण
इस प्रकार से किसी भी संबंध R के लिए, R का सकर्मक समापन सदैव उपस्तिथ रहता है। और इसे देखने के लिए, ध्यान दें कि सकर्मक संबंधों के किसी भी अनुक्रमित परिवार का प्रतिच्छेदन (समुच्चय सिद्धांत) पुनः इससे सकर्मक है। इसके अतिरिक्त, R, युक्त कम से कम सकर्मक संबंध उपस्तिथ होते है, अर्थात् तुच्छ X × X होता हैं। आर का सकर्मक समापन तब R, युक्त सभी सकर्मक संबंधों के प्रतिच्छेदन द्वारा दिया जाता है।

अतः परिमित समुच्चयों के लिए, हम R से प्रारंभ करके और संक्रमणीय किनारों को जोड़कर चरण दर चरण संक्रमणीय समापन का निर्माण कर सकते हैं। चूंकि यह सामान्य निर्माण के लिए अंतर्ज्ञान देता है। किसी भी समुच्चय X, के लिए, हम यह प्रमाणित कर सकते है कि सकर्मक समापन निम्नलिखित अभिव्यक्ति द्वारा दिया गया है |
 * $$R^{+}=\bigcup_{i = 1}^{\infty} R^i.$$

जहाँ $$R^i$$ R की i-th पावर है, जिसे आगमनात्मक रूप से परिभाषित किया गया है |
 * $$R^1 = R$$

और के लिए $$i>0$$,
 * $$R^{i+1} = R \circ R^i$$

जहाँ यह $$\circ$$ संबंधों की संरचना को दर्शाता है |

इस प्रकार से यह दर्शाने के लिए कि R+ की उपरोक्त परिभाषा R युक्त सबसे कम सकर्मक संबंध है, हम दिखाते हैं कि इसमें R सम्मिलित होता है, कि यह सकर्मक है, और यह उन दोनों विशेषताओं के साथ सबसे लघु समुच्चय होता है।


 * $$R \subseteq R^{+}$$: $$ R^+$$ सभी सम्मिलित हैं $$ R^i$$, इसलिए विशेष रूप से $$ R^+$$ रोकना $$ R$$.
 * $$ R^{+}$$ सकर्मक है | यदि $$(s_1, s_2), (s_2, s_3)\in R^+$$, तब $$(s_1, s_2)\in R^j$$ और $$(s_2, s_3)\in R^k$$ कुछ के लिए $$j,k$$ की परिभाषा के अनुसार $$R^+$$. चूँकि रचना साहचर्य है, $$R^{j+k} = R^j \circ R^k$$; इस तरह $$(s_1, s_3)\in R^{j+k} \subseteq R^+$$ की परिभाषा के अनुसार $$\circ$$ और $$R^+$$
 * $$R^{+}$$ न्यूनतम है, अर्थात यदि $$T$$ कोई सकर्मक संबंध युक्त है $$R$$, तब $$R^{+} \subseteq T$$ हैं | ऐसा कोई दिया गया $$T$$, गणितीय प्रेरण पर $$i$$ दिखाने के लिए उपयोग किया जा सकता है $$R^i\subseteq T$$ सभी के लिए $$i$$ इस प्रकार: आधार: $$R^1 = R \subseteq T$$ अनुमान से चरण: यदि $$R^i\subseteq T$$ धारण करता है, और $$(s_1, s_3)\in R^{i+1} = R \circ R^i$$, तब $$(s_1, s_2) \in R$$ और $$(s_2, s_3)\in R^i$$ कुछ के लिए $$s_2$$, की परिभाषा के अनुसार $$\circ$$. इस तरह, $$(s_1, s_2), (s_2, s_3)\in T$$ धारणा द्वारा और प्रेरण परिकल्पना द्वारा होती हैं। इस तरह $$(s_1, s_3)\in T$$ की परिवर्तनशीलता द्वारा $$T$$ हैं | यह प्रेरण पूरा करता है। इस प्रकार से, $$R^i\subseteq T$$ सभी के लिए $$i$$ तात्पर्य $$R^{+} \subseteq T$$ की परिभाषा $$R^{+}$$ के अनुसार.

गुण
इस प्रकार से दो सकर्मक संबंधों का प्रतिच्छेदन (समुच्चय सिद्धांत) सकर्मक है।

दो सकर्मक संबंधों का मिलन (समुच्चय सिद्धांत) सकर्मक होना आवश्यक नहीं है। सकर्मकता को संरक्षित करने के लिए, व्यक्ति को सकर्मक समापन लेना होता हैं। ऐसा तब होता है, उदाहरण के लिए, जब दो समतुल्य संबंध या दो पूर्व-आदेशों का संबंध होता है। और नया तुल्यता संबंध या पूर्व आदेश प्राप्त करने के लिए व्यक्ति को ट्रांजिटिव क्लोजर (रिफ्लेक्सिविटी और समरूपता - तुल्यता संबंधों के स्तिथियो में - स्वचालित हैं) लेना होता है ।

ग्राफ़ सिद्धांत में
इस प्रकार से कंप्यूटर विज्ञान में, ट्रांजिटिव क्लोजर की अवधारणा को डेटा संरचना के निर्माण के रूप में विचार किया जा सकता है जोकी गम्यता प्रश्नों का उत्तर देना संभव बनाता है। अर्थात, क्या कोई या अधिक हॉप्स में नोड A से नोड d तक पहुंच सकता है? द्विआधारी संबंध आपको केवल यह बताता है कि नोड A नोड b से जुड़ा है, और वह नोड b नोड सी से जुड़ा है, आदि। ट्रांजिटिव क्लोजर के निर्माण के पश्चात, जैसा कि निम्नलिखित चित्र में दर्शाया गया है,O(1) में ) ऑपरेशन यह निर्धारित कर सकता है कि नोड d नोड a से पहुंच योग्य है। डेटा संरचना को सामान्यतः बूलियन आव्युह के रूप में संग्रहीत किया जाता है, इसलिए यदि आव्युह [1] [4] = सत्य है, तब यह स्तिथि है कि नोड 1 या अधिक हॉप्स के माध्यम से नोड 4 तक पहुंच सकता है।

इस प्रकार से निर्देशित अचक्रीय ग्राफ (डीएजी) के आसन्न संबंध का सकर्मक समापन डीएजी का पहुंच योग्यता संबंध और सख्त आंशिक आदेश है।

अप्रत्यक्ष ग्राफ का सकर्मक समापन क्लस्टर ग्राफ़ उत्पन्न करता है, जोकी क्लिक (ग्राफ़ सिद्धांत) के ग्राफ़ का असंयुक्त संघ है। ट्रांजिटिव क्लोजर का निर्माण ग्राफ के घटक (ग्राफ सिद्धांत) को खोजने की समस्या का समतुल्य सूत्रीकरण है।

तर्क और कम्प्यूटेशनल स्पष्टतामें
इस प्रकार से किसी द्विआधारी संबंध का सकर्मक समापन, सामान्य तौर पर, प्रथम-क्रम तर्क (एफओ) में व्यक्त नहीं किया जा सकता है।

किन्तु इसका मतलब यह है कि कोई भी विधेय प्रतीकों R और T का उपयोग करके सूत्र नहीं लिख सकता है जो संतुष्ट हो जाएगा

कोई भी मॉडल यदि और केवल यदि T, R का सकर्मक समापन है।

इस प्रकार से परिमित मॉडल सिद्धांत में, ट्रांजिटिव क्लोजर ऑपरेटर के साथ विस्तारित प्रथम-क्रम तर्क (एफओ) को सामान्यतः 'ट्रांसिटिव क्लोजर लॉजिक' कहा जाता है, और संक्षिप्त रूप से FO (टीसी) या सिर्फ TC कहा जाता है। TC फिक्सप्वाइंट लॉजिक्स का उप-प्रकार है। तथ्य यह है कि FO (टीसी) FO की तुलना में सख्ती से अधिक अभिव्यंजक है, इसकी खोज रोनाल्ड फागिन ने 1974 में की थी; परिणाम को इस प्रकार से 1979 में मैं अल्फ्रेड हूं और जेफरी उलमन द्वारा पुनः से खोजा गया, जिन्होंने डेटाबेस क्वेरी भाषा के रूप में फिक्सपॉइंट तर्क का उपयोग करने का प्रस्ताव रखा गया था । और परिमित मॉडल सिद्धांत की नवीनतम अवधारणाओं के साथ, यह प्रमाण कि FO (टीसी) FO की तुलना में सख्ती से अधिक अभिव्यंजक है, इस तथ्य से तुरंत पता चलता है कि FO (टीसी) गैफमैन-स्थानीय नहीं होते है।

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

डेटाबेस क्वेरी भाषाओं में
1980 के दशक से आकाशवाणी डेटाबेस ने स्वामित्व एसक्यूएल एक्सटेंशन प्रयुक्त किया है  यह घोषणात्मक क्वेरी के भाग के रूप में सकर्मक समापन की गणना की अनुमति देता है। एसक्यूएल 3 (1999) मानक ने और अधिक सामान्य जोड़ा   निर्माण क्वेरी प्रोसेसर के अंदर ट्रांजिटिव क्लोजर की गणना करने की भी अनुमति देता है | 2011 तक पश्चात वाले को आईबीएम डीबी2, माइक्रोसॉफ्ट एसक्यूएल सर्वर, आकाशवाणी डेटाबेस, पोस्टग्रेएसक्यूएल और माई एसक्यूएल (v8.0+) में प्रयुक्त किया गया है। और एसक्यूलाइट ने 2014 में इसके लिए समर्थन उपयोग किया गया था ।

इस प्रकार से संगणक वैज्ञानिक ट्रांजिटिव क्लोजर गणनाओं को भी प्रयुक्त करता है।

मारियाडीबी रिकर्सिव कॉमन टेबल एक्सप्रेशन प्रयुक्त करता है, जिसका उपयोग ट्रांजिटिव क्लोजर की गणना करने के लिए किया जा सकता है। यह सुविधा अप्रैल 2016 की रिलीज़ 10.2.2 में उपस्तिथ की गई थी।

एल्गोरिदम
इस प्रकार से ग्राफ़ के आसन्न संबंध के सकर्मक समापन की गणना के लिए कुशल एल्गोरिदम यहां पाए जा सकते हैं | यह. आसन्न आव्युह के गुणन की समस्या को कम करने से न्यूनतम उपलब्धि प्राप्त होती है समय जटिलता, अर्थात। आव्युह गुणन हैं, जो $$O(n^{2.3728596})$$. चूंकि, यह दृष्टिकोण व्यावहारिक नहीं है क्योंकि विरल ग्राफ़ के लिए स्थिर कारक और मेमोरी खपत दोनों अधिक होता हैं | यह हैं. समस्या का फ़्लॉइड-वॉर्शल एल्गोरिथम $$O(n^3)$$, द्वारा भी समाधान किया जा सकता है या ग्राफ़ के प्रत्येक नोड से प्रारंभ होने वाली बार-बार चौड़ाई-पहली खोज या गहराई-पहली खोज द्वारा किया गया था।

इस प्रकार से निर्देशित ग्राफ़ के लिए, पर्डोम का एल्गोरिदम पहले इसके संक्षेपण डीएजी और इसके संक्रमणीय समापन की गणना करके, पुनः इसे मूल ग्राफ़ पर उठाकर समस्या का समाधान करता है। इसका रनटाइम $$O(m+\mu n)$$ है, जहाँ $$\mu$$ इसके कठोरता से जुड़े घटकों के मध्य किनारों की संख्या है।

वर्तमान में शोध ने मैपरेडइयूस प्रतिमान के आधार पर वितरित सिस्टम पर ट्रांजिटिव क्लोजर की गणना करने के कुशल विधियों का पता लगाया है।

यह भी देखें

 * पैतृक संबंध
 * निगमनात्मक समापन
 * प्रतिवर्ती समापन
 * सममित समापन
 * सकर्मक कमी ( सबसे लघु संबंध जिसमें R का सकर्मक समापन इसके सकर्मक समापन के रूप में होता है)

संदर्भ

 * Foto N. Afrati, Vinayak Borkar, Michael Carey, Neoklis Polyzotis, Jeffrey D. Ullman, Map-Reduce Extensions and Recursive Queries, EDBT 2011, March 22–24, 2011, Uppsala, Sweden, ISBN 978-1-4503-0528-0
 * Keller, U., 2004, Some Remarks on the Definability of Transitive Closure in First-order Logic and Datalog (unpublished manuscript)*
 * Appendix C (online only)
 * Keller, U., 2004, Some Remarks on the Definability of Transitive Closure in First-order Logic and Datalog (unpublished manuscript)*
 * Appendix C (online only)
 * Keller, U., 2004, Some Remarks on the Definability of Transitive Closure in First-order Logic and Datalog (unpublished manuscript)*
 * Appendix C (online only)
 * Appendix C (online only)
 * Appendix C (online only)
 * Appendix C (online only)
 * Appendix C (online only)

बाहरी संबंध

 * "Transitive closure and reduction", The Stony Brook Algorithm Repository, Steven Skiena.