सकर्मक समापन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
{{About|एक द्विआधारी संबंध का सकर्मक समापन|एक सेट का सकर्मक समापन|सकर्मक समुच्चय #सकर्मक समापन}}
{{About|एक द्विआधारी संबंध का सकर्मक समापन|एक सेट का सकर्मक समापन|सकर्मक समुच्चय #सकर्मक समापन}}
    
    
गणित में, समुच्चय {{mvar|X}} पर [[द्विआधारी संबंध]] {{mvar|R}} का '''सकर्मक समापन''', ''X'' पर सबसे लघु [[संबंध (गणित)]] है इसमें ''R'' सम्मिलित होते है और यह [[सकर्मक संबंध]] होते है। परिमित समुच्चयों के लिए, "सबसे लघु" को उसके सामान्य अर्थ में लिया जा सकता है, जिसमें सबसे कम संबंधित जोड़े होते हैं | अनंत समुच्चयों के लिए यह ''R'' का अद्वितीय [[न्यूनतम तत्व|न्यूनतम अवयव]] सकर्मक '''[[सुपरसेट|उपसम्मुच्य]]''' है।
गणित में, समुच्चय {{mvar|X}} पर [[द्विआधारी संबंध]] {{mvar|R}} का '''सकर्मक समापन''', ''X'' पर सबसे लघु [[संबंध (गणित)]] है इसमें ''R'' सम्मिलित होते है और यह [[सकर्मक संबंध]] होते है। परिमित समुच्चयों के लिए, "सबसे लघु" को उसके सामान्य अर्थ में लिया जा सकता है, जिसमें सबसे कम संबंधित जोड़े होते हैं | अनंत समुच्चयों के लिए यह ''R'' का अद्वितीय [[न्यूनतम तत्व|न्यूनतम अवयव]] सकर्मक '''[[सुपरसेट|उपसम्मुच्य]]''' है।


Line 10: Line 8:
अधिक औपचारिक रूप से, द्विआधारी संबंध का सकर्मक समापन {{mvar|R}} समुच्चय {{mvar|X}} पर सकर्मक संबंध होता है समुच्चय {{math|''R''{{sup|+}}}} पर {{mvar|X}} ऐसा है कि {{math|''R''{{sup|+}}}} रोकना {{mvar|R}} और {{math|''R''{{sup|+}}}} न्यूनतम है | देखना {{harvtxt|लिडल |पिल्ज़|1998|p=337}} हैं. यदि द्विआधारी संबंध स्वयं सकर्मक है, तब सकर्मक समापन वही द्विआधारी संबंध है | अन्यथा, सकर्मक समापन भिन्न संबंध होता है।
अधिक औपचारिक रूप से, द्विआधारी संबंध का सकर्मक समापन {{mvar|R}} समुच्चय {{mvar|X}} पर सकर्मक संबंध होता है समुच्चय {{math|''R''{{sup|+}}}} पर {{mvar|X}} ऐसा है कि {{math|''R''{{sup|+}}}} रोकना {{mvar|R}} और {{math|''R''{{sup|+}}}} न्यूनतम है | देखना {{harvtxt|लिडल |पिल्ज़|1998|p=337}} हैं. यदि द्विआधारी संबंध स्वयं सकर्मक है, तब सकर्मक समापन वही द्विआधारी संबंध है | अन्यथा, सकर्मक समापन भिन्न संबंध होता है।


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


अतः सकर्मक समापन और संक्रमणीय कमी दोनों का उपयोग [[ग्राफ सिद्धांत]] के निकट से संबंधित क्षेत्र में भी किया जाता है।
अतः सकर्मक समापन और संक्रमणीय कमी दोनों का उपयोग [[ग्राफ सिद्धांत]] के निकट से संबंधित क्षेत्र में भी किया जाता है।
Line 60: Line 58:
  | volume = 15
  | volume = 15
  | year = 1986}}</ref>
  | year = 1986}}</ref>
== तर्क और कम्प्यूटेशनल जटिलता में ==
== तर्क और कम्प्यूटेशनल स्पष्टतामें ==
इस प्रकार से किसी द्विआधारी संबंध का सकर्मक समापन, सामान्य तौर पर, [[प्रथम-क्रम तर्क]] (एफओ) में व्यक्त नहीं किया जा सकता है।
इस प्रकार से किसी द्विआधारी संबंध का सकर्मक समापन, सामान्य तौर पर, [[प्रथम-क्रम तर्क]] (एफओ) में व्यक्त नहीं किया जा सकता है।


Line 69: Line 67:
इस प्रकार से [[परिमित मॉडल सिद्धांत]] में, ट्रांजिटिव क्लोजर ऑपरेटर के साथ विस्तारित प्रथम-क्रम तर्क (एफओ) को सामान्यतः 'ट्रांसिटिव क्लोजर लॉजिक' कहा जाता है, और संक्षिप्त रूप से FO (टीसी) या सिर्फ TC कहा जाता है। TC फिक्सप्वाइंट लॉजिक्स का उप-प्रकार है। तथ्य यह है कि FO (टीसी) FO की तुलना में सख्ती से अधिक अभिव्यंजक है, इसकी खोज [[रोनाल्ड फागिन]] ने 1974 में की थी; परिणाम को इस प्रकार से 1979 में [[ मैं अल्फ्रेड हूं |मैं अल्फ्रेड हूं]] और [[जेफरी उलमन]] द्वारा पुनः से खोजा गया, जिन्होंने [[डेटाबेस क्वेरी भाषा]] के रूप में [[फिक्सपॉइंट तर्क]] का उपयोग करने का प्रस्ताव रखा गया था ।<ref>(Libkin 2004:vii)</ref> और परिमित मॉडल सिद्धांत की नवीनतम अवधारणाओं के साथ, यह प्रमाण कि FO (टीसी) FO की तुलना में सख्ती से अधिक अभिव्यंजक है, इस तथ्य से तुरंत पता चलता है कि FO (टीसी) गैफमैन-स्थानीय नहीं होते है।<ref>(Libkin 2004:49)</ref>
इस प्रकार से [[परिमित मॉडल सिद्धांत]] में, ट्रांजिटिव क्लोजर ऑपरेटर के साथ विस्तारित प्रथम-क्रम तर्क (एफओ) को सामान्यतः 'ट्रांसिटिव क्लोजर लॉजिक' कहा जाता है, और संक्षिप्त रूप से FO (टीसी) या सिर्फ TC कहा जाता है। TC फिक्सप्वाइंट लॉजिक्स का उप-प्रकार है। तथ्य यह है कि FO (टीसी) FO की तुलना में सख्ती से अधिक अभिव्यंजक है, इसकी खोज [[रोनाल्ड फागिन]] ने 1974 में की थी; परिणाम को इस प्रकार से 1979 में [[ मैं अल्फ्रेड हूं |मैं अल्फ्रेड हूं]] और [[जेफरी उलमन]] द्वारा पुनः से खोजा गया, जिन्होंने [[डेटाबेस क्वेरी भाषा]] के रूप में [[फिक्सपॉइंट तर्क]] का उपयोग करने का प्रस्ताव रखा गया था ।<ref>(Libkin 2004:vii)</ref> और परिमित मॉडल सिद्धांत की नवीनतम अवधारणाओं के साथ, यह प्रमाण कि FO (टीसी) FO की तुलना में सख्ती से अधिक अभिव्यंजक है, इस तथ्य से तुरंत पता चलता है कि FO (टीसी) गैफमैन-स्थानीय नहीं होते है।<ref>(Libkin 2004:49)</ref>


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


== डेटाबेस क्वेरी भाषाओं में ==
== डेटाबेस क्वेरी भाषाओं में ==
{{further|SQL में पदानुक्रमित और पुनरावर्ती क्वेरीज़}}
{{further|SQL में पदानुक्रमित और पुनरावर्ती क्वेरीज़}}


1980 के दशक से आकाशवाणी डेटाबेस ने मालिकाना [[SQL|एसक्यूएल]] ्सटेंशन प्रयुक्त किया है <code>CONNECT BY... START WITH</code> यह घोषणात्मक क्वेरी के भाग के रूप में सकर्मक समापन की गणना की अनुमति देता है। [[SQL 3|एसक्यूएल 3]] (1999) मानक ने और अधिक सामान्य जोड़ा <code>WITH RECURSIVE</code> निर्माण क्वेरी प्रोसेसर के अंदर ट्रांजिटिव क्लोजर की गणना करने की भी अनुमति देता है; 2011 तक पश्चात वाले को [[Microsoft SQL Server|आईबीएम डीबी2, माइक्रोसॉफ्ट एसक्यूएल सर्वर]], आकाशवाणी डेटाबेस, [[PostgreSQL|पोस्टग्रेएसक्यूएल]] और [[MySQL|माई एसक्यूएल]] (v8.0+) में प्रयुक्त किया गया है। और [[SQLite|एसक्यूलाइट]] ने 2014 में इसके लिए समर्थन उपयोग किया गया था ।
1980 के दशक से आकाशवाणी डेटाबेस ने स्वामित्व [[SQL|एसक्यूएल]] एक्सटेंशन प्रयुक्त किया है <code>CONNECT BY... START WITH</code> यह घोषणात्मक क्वेरी के भाग के रूप में सकर्मक समापन की गणना की अनुमति देता है। [[SQL 3|एसक्यूएल 3]] (1999) मानक ने और अधिक सामान्य जोड़ा <code>WITH RECURSIVE</code> निर्माण क्वेरी प्रोसेसर के अंदर ट्रांजिटिव क्लोजर की गणना करने की भी अनुमति देता है | 2011 तक पश्चात वाले को [[Microsoft SQL Server|आईबीएम डीबी2, माइक्रोसॉफ्ट एसक्यूएल सर्वर]], आकाशवाणी डेटाबेस, [[PostgreSQL|पोस्टग्रेएसक्यूएल]] और [[MySQL|माई एसक्यूएल]] (v8.0+) में प्रयुक्त किया गया है। और [[SQLite|एसक्यूलाइट]] ने 2014 में इसके लिए समर्थन उपयोग किया गया था ।


इस प्रकार से [[ संगणक वैज्ञानिक |संगणक वैज्ञानिक]] ट्रांजिटिव क्लोजर गणनाओं को भी प्रयुक्त करता है।<ref>(Silberschatz et al. 2010:C.3.6)</ref>
इस प्रकार से [[ संगणक वैज्ञानिक |संगणक वैज्ञानिक]] ट्रांजिटिव क्लोजर गणनाओं को भी प्रयुक्त करता है। <ref>(Silberschatz et al. 2010:C.3.6)</ref>


[[MariaDB|मारियाडीबी]] रिकर्सिव कॉमन टेबल ्सप्रेशन प्रयुक्त करता है, जिसका उपयोग ट्रांजिटिव क्लोजर की गणना करने के लिए किया जा सकता है। यह सुविधा अप्रैल 2016 की रिलीज़ 10.2.2 में उपस्तिथ की गई थी।<ref>{{cite web| title=पुनरावर्ती सामान्य तालिका अभिव्यक्तियाँ अवलोकन| url=https://mariadb.com/kb/en/recursive-common-table-expressions-overview/| publisher=mariadb.com}}</ref>
[[MariaDB|मारियाडीबी]] रिकर्सिव कॉमन टेबल एक्सप्रेशन प्रयुक्त करता है, जिसका उपयोग ट्रांजिटिव क्लोजर की गणना करने के लिए किया जा सकता है। यह सुविधा अप्रैल 2016 की रिलीज़ 10.2.2 में उपस्तिथ की गई थी। <ref>{{cite web| title=पुनरावर्ती सामान्य तालिका अभिव्यक्तियाँ अवलोकन| url=https://mariadb.com/kb/en/recursive-common-table-expressions-overview/| publisher=mariadb.com}}</ref>
== एल्गोरिदम ==
== एल्गोरिदम ==
इस प्रकार से ग्राफ़ के आसन्न संबंध के सकर्मक समापन की गणना के लिए कुशल एल्गोरिदम यहां पाए जा सकते हैं {{harvtxt|नुउटिला|1995}}. आसन्न आव्युह के गुणन की समस्या को कम करने से न्यूनतम उपलब्धि प्राप्त होती है समय जटिलता, अर्थात। [[मैट्रिक्स गुणन|आव्युह गुणन]] ({{harvnb|मुनरो|1971}}, {{harvnb|फिशर|मेयेर|1971}}), जो है <math>O(n^{2.3728596})</math> {{as of|2020|12|lc=y}}. चूंकि , यह दृष्टिकोण व्यावहारिक नहीं है क्योंकि विरल ग्राफ़ के लिए स्थिर कारक और मेमोरी खपत दोनों अधिक हैं {{harv|नुउटिला|1995|pp=22–23|loc=sect.2.3.3}}. समस्या को फ़्लॉइड-वॉर्शल एल्गोरिथम <math>O(n^3)</math>, द्वारा भी हल किया जा सकता है या ग्राफ़ के प्रत्येक नोड से प्रारंभ होने वाली बार-बार चौड़ाई-पहली खोज या [[गहराई-पहली खोज]] द्वारा किया गया था ।
इस प्रकार से ग्राफ़ के आसन्न संबंध के सकर्मक समापन की गणना के लिए कुशल एल्गोरिदम यहां पाए जा सकते हैं | यह {{harvtxt|नुउटिला|1995}}. आसन्न आव्युह के गुणन की समस्या को कम करने से न्यूनतम उपलब्धि प्राप्त होती है समय जटिलता, अर्थात। [[मैट्रिक्स गुणन|आव्युह गुणन]] ({{harvnb|मुनरो|1971}}, {{harvnb|फिशर|मेयेर|1971}}) हैं, जो <math>O(n^{2.3728596})</math> {{as of|2020|12|lc=y}}. चूंकि , यह दृष्टिकोण व्यावहारिक नहीं है क्योंकि विरल ग्राफ़ के लिए स्थिर कारक और मेमोरी खपत दोनों अधिक होता हैं | यह {{harv|नुउटिला|1995|pp=22–23|loc=sect.2.3.3}} हैं. समस्या का फ़्लॉइड-वॉर्शल एल्गोरिथम <math>O(n^3)</math>, द्वारा भी समाधान किया जा सकता है या ग्राफ़ के प्रत्येक नोड से प्रारंभ होने वाली बार-बार चौड़ाई-पहली खोज या [[गहराई-पहली खोज]] द्वारा किया गया था।


इस प्रकार से निर्देशित ग्राफ़ के लिए, पर्डोम का एल्गोरिदम पहले इसके संक्षेपण डीएजी और इसके संक्रमणीय समापन की गणना करके, पुनः इसे मूल ग्राफ़ पर उठाकर समस्या का समाधान करता है। इसका रनटाइम <math>O(m+\mu n)</math> है , जहाँ <math>\mu</math> इसके कठोरता से जुड़े घटकों के मध्य किनारों की संख्या है।<ref name=Purdom>{{cite journal | doi=10.1007/BF01940892 | url= | first=Paul |last=Purdom Jr. | title=एक सकर्मक समापन एल्गोरिथ्म| journal=[[BIT Numerical Mathematics]] | volume=10 | number=1 | pages=76&ndash;94 | date=Mar 1970 }}</ref><ref>{{cite report | url=https://minds.wisconsin.edu/handle/1793/57514 | author=Paul W. Purdom Jr. | title=एक सकर्मक समापन एल्गोरिथ्म| institution=[[University of Wisconsin-Madison]] | type=Computer Sciences Technical Report | volume=33 | date=Jul 1968 }}</ref><ref>{{cite web
इस प्रकार से निर्देशित ग्राफ़ के लिए, पर्डोम का एल्गोरिदम पहले इसके संक्षेपण डीएजी और इसके संक्रमणीय समापन की गणना करके, पुनः इसे मूल ग्राफ़ पर उठाकर समस्या का समाधान करता है। इसका रनटाइम <math>O(m+\mu n)</math> है , जहाँ <math>\mu</math> इसके कठोरता से जुड़े घटकों के मध्य किनारों की संख्या है।<ref name=Purdom>{{cite journal | doi=10.1007/BF01940892 | url= | first=Paul |last=Purdom Jr. | title=एक सकर्मक समापन एल्गोरिथ्म| journal=[[BIT Numerical Mathematics]] | volume=10 | number=1 | pages=76&ndash;94 | date=Mar 1970 }}</ref><ref>{{cite report | url=https://minds.wisconsin.edu/handle/1793/57514 | author=Paul W. Purdom Jr. | title=एक सकर्मक समापन एल्गोरिथ्म| institution=[[University of Wisconsin-Madison]] | type=Computer Sciences Technical Report | volume=33 | date=Jul 1968 }}</ref><ref>{{cite web

Revision as of 21:42, 30 July 2023

गणित में, समुच्चय 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+ न्यूनतम है | देखना लिडल & पिल्ज़ (1998, p. 337) हैं. यदि द्विआधारी संबंध स्वयं सकर्मक है, तब सकर्मक समापन वही द्विआधारी संबंध है | अन्यथा, सकर्मक समापन भिन्न संबंध होता है।

इसके विपरीत, संक्रमणीय कमी न्यूनतम संबंध 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 की i-th पावर है, जिसे आगमनात्मक रूप से परिभाषित किया गया है |

और के लिए ,

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

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

  • : सभी सम्मिलित हैं , इसलिए विशेष रूप से रोकना .
  • सकर्मक है | यदि , तब और कुछ के लिए की परिभाषा के अनुसार . चूँकि रचना साहचर्य है, ; इस तरह की परिभाषा के अनुसार और
  • न्यूनतम है, अर्थात यदि कोई सकर्मक संबंध युक्त है , तब हैं | ऐसा कोई दिया गया , गणितीय प्रेरण पर दिखाने के लिए उपयोग किया जा सकता है सभी के लिए इस प्रकार: आधार: अनुमान से चरण: यदि धारण करता है, और , तब और कुछ के लिए , की परिभाषा के अनुसार . इस तरह, धारणा द्वारा और प्रेरण परिकल्पना द्वारा होती हैं। इस तरह की परिवर्तनशीलता द्वारा हैं | यह प्रेरण पूरा करता है। इस प्रकार से , सभी के लिए तात्पर्य की परिभाषा के अनुसार .

गुण

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

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

ग्राफ़ सिद्धांत में

Transitive closure constructs the output graph from the input graph.
ट्रांसिटिव क्लोजर इनपुट ग्राफ से आउटपुट ग्राफ का निर्माण करता है।

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

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

क्लस्टर ग्राफ़, अप्रत्यक्ष ग्राफ़ का सकर्मक समापन

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

तर्क और कम्प्यूटेशनल स्पष्टतामें

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

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

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

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

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

डेटाबेस क्वेरी भाषाओं में

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

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

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

एल्गोरिदम

इस प्रकार से ग्राफ़ के आसन्न संबंध के सकर्मक समापन की गणना के लिए कुशल एल्गोरिदम यहां पाए जा सकते हैं | यह नुउटिला (1995). आसन्न आव्युह के गुणन की समस्या को कम करने से न्यूनतम उपलब्धि प्राप्त होती है समय जटिलता, अर्थात। आव्युह गुणन (मुनरो 1971, फिशर & मेयेर 1971) हैं, जो as of December 2020. चूंकि , यह दृष्टिकोण व्यावहारिक नहीं है क्योंकि विरल ग्राफ़ के लिए स्थिर कारक और मेमोरी खपत दोनों अधिक होता हैं | यह (नुउटिला 1995, pp. 22–23, sect.2.3.3) हैं. समस्या का फ़्लॉइड-वॉर्शल एल्गोरिथम , द्वारा भी समाधान किया जा सकता है या ग्राफ़ के प्रत्येक नोड से प्रारंभ होने वाली बार-बार चौड़ाई-पहली खोज या गहराई-पहली खोज द्वारा किया गया था।

इस प्रकार से निर्देशित ग्राफ़ के लिए, पर्डोम का एल्गोरिदम पहले इसके संक्षेपण डीएजी और इसके संक्रमणीय समापन की गणना करके, पुनः इसे मूल ग्राफ़ पर उठाकर समस्या का समाधान करता है। इसका रनटाइम है , जहाँ इसके कठोरता से जुड़े घटकों के मध्य किनारों की संख्या है।[6][7][8][9]

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

यह भी देखें

संदर्भ

  1. McColl, W. F.; Noshita, K. (1986), "On the number of edges in the transitive closure of a graph", Discrete Applied Mathematics, 15 (1): 67–73, doi:10.1016/0166-218X(86)90020-X, MR 0856101
  2. (Libkin 2004:vii)
  3. (Libkin 2004:49)
  4. (Silberschatz et al. 2010:C.3.6)
  5. "पुनरावर्ती सामान्य तालिका अभिव्यक्तियाँ अवलोकन". mariadb.com.
  6. Purdom Jr., Paul (Mar 1970). "एक सकर्मक समापन एल्गोरिथ्म". BIT Numerical Mathematics. 10 (1): 76–94. doi:10.1007/BF01940892.
  7. Paul W. Purdom Jr. (Jul 1968). एक सकर्मक समापन एल्गोरिथ्म (Computer Sciences Technical Report). Vol. 33. University of Wisconsin-Madison.
  8. ""Purdom's algorithm" on AlgoWiki".
  9. ""Transitive closure of a directed graph" on AlgoWiki".
  10. (Afrati et al. 2011)

बाहरी संबंध