यूलेरियन पाथ: Difference between revisions
No edit summary |
|||
Line 1: | Line 1: | ||
{{Short description|Trail in a graph that visits each edge once}} | {{Short description|Trail in a graph that visits each edge once}} | ||
[[File:Comparison_7_bridges_of_Konigsberg_5_room_puzzle_graphs.svg|thumb|कोनिग्सबर्ग के सात पुलों|कोनिग्सबर्ग पुलों और पांच कमरे वाली पहेलियों के [[मल्टीग्राफ]] में दो से अधिक विषम शीर्ष (नारंगी रंग में) हैं, इस प्रकार ये यूलेरियन नहीं हैं और इसलिए पहेलियों का कोई समाधान नहीं है।]] | [[File:Comparison_7_bridges_of_Konigsberg_5_room_puzzle_graphs.svg|thumb|कोनिग्सबर्ग के सात पुलों|कोनिग्सबर्ग पुलों और पांच कमरे वाली पहेलियों के [[मल्टीग्राफ]] में दो से अधिक विषम शीर्ष (नारंगी रंग में) हैं, इस प्रकार ये यूलेरियन नहीं हैं और इसलिए पहेलियों का कोई समाधान नहीं है।]] | ||
[[File:Labelled Eulergraph.svg|thumb|इस ग्राफ़ के प्रत्येक शीर्ष पर एक सम डिग्री (ग्राफ़ सिद्धांत) है। इसलिए, यह एक ऑयलेरियन ग्राफ है। किनारों का वर्णानुक्रम में अनुसरण करने से एक यूलेरियन सर्किट/चक्र प्राप्त होता है।]] | [[File:Labelled Eulergraph.svg|thumb|इस ग्राफ़ के प्रत्येक शीर्ष पर एक सम डिग्री (ग्राफ़ सिद्धांत) है। इसलिए, यह एक ऑयलेरियन ग्राफ है। किनारों का वर्णानुक्रम में अनुसरण करने से एक यूलेरियन सर्किट/चक्र प्राप्त होता है।]] | ||
[[ग्राफ सिद्धांत]] में, एक '''यूलेरियन ट्रेल''' (या यूलेरियन ट्रेल) एक परिमित ग्राफ़ में एक ट्रेल है जो प्रत्येक किनारे पर मात्र एक बार जाता है (शीर्षों पर फिर से जाने की अनुमति देता है)। इसी प्रकार, एक यूलेरियन सर्किट या यूलेरियन चक्र एक यूलेरियन ट्रेल है जो एक ही शीर्ष पर प्रारंभ और समाप्त होता है। 1736 में कोनिग्सबर्ग के प्रसिद्ध सेवेन ब्रिजेस समस्या को हल करते समय [[लियोनहार्ड यूलर]] द्वारा पहली बार उनकी चर्चा की गई थी। समस्या को गणितीय रूप से इस तरह बताया जा सकता है: | |||
: छवि में ग्राफ़ को देखते हुए, क्या एक ट्रेल (या एक चक्र; यानी, एक ही शीर्ष पर प्रारंभ और समाप्त होने वाला ट्रेल) बनाना संभव है जो प्रत्येक किनारे पर बिल्कुल एक बार जाता है? | |||
: | : | ||
ग्राफ़ सिद्धांत में यूलेरियन ग्राफ़ शब्द के दो सामान्य अर्थ हैं। एक अर्थ यूलेरियन सर्किट वाला | यूलर ने सिद्ध किया कि यूलेरियन सर्किट के अस्तित्व के लिए एक आवश्यक शर्त यह है कि ग्राफ के सभी शीर्षों की डिग्री एक समान हो, और बिना किसी प्रमाण के कहा गया कि सम डिग्री के सभी शीर्षों वाला एक संबद्ध हुआ ग्राफ एक यूलेरियन सर्किट है। इस बाद के दावे का पहला पूर्ण प्रमाण 1873 में कार्ल हायरहोल्ज़र द्वारा मरणोपरांत प्रकाशित किया गया था।<ref>N. L. Biggs, E. K. Lloyd and R. J. Wilson, ''[[Graph Theory, 1736–1936]]'', Clarendon Press, Oxford, 1976, 8–9, {{ISBN|0-19-853901-0}}.</ref> इसे '''यूलर प्रमेय''' के रूप में जाना जाता है: | ||
यूलेरियन | |||
:एक कनेक्टेड ग्राफ़ में एक यूलर चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर एक सम डिग्री हो। | |||
ग्राफ़ सिद्धांत में '''यूलेरियन ग्राफ़''' शब्द के दो सामान्य अर्थ हैं। एक अर्थ यूलेरियन सर्किट वाला एक ग्राफ है, और दूसरा सम डिग्री के प्रत्येक शीर्ष वाला एक ग्राफ है। ये परिभाषाएँ संबद्ध हुए ग्राफ़ के लिए मेल खाती हैं<ref>{{cite journal |doi=10.1137/0128070 |author=C. L. Mallows, N. J. A. Sloane |title=दो-ग्राफ़, स्विचिंग क्लास और यूलर ग्राफ़ संख्या में बराबर हैं|journal=[[SIAM Journal on Applied Mathematics]] |volume=28 |year=1975 |pages=876–880 |jstor=2100368 |issue=4 |url=http://neilsloane.com/doc/MallowsSloane.pdf }}</ref> | |||
यूलेरियन ट्रेल्स के अस्तित्व के लिए, यह आवश्यक है कि शून्य या दो शीर्षों की एक विषम डिग्री हो; इसका अर्थ यह है कि कोनिग्सबर्ग ग्राफ़ यूलेरियन नहीं है। यदि विषम डिग्री के कोई शीर्ष नहीं हैं, तो सभी यूलेरियन ट्रेल्स सर्किट हैं। यदि विषम डिग्री के बिल्कुल दो शीर्ष हैं, तो सभी यूलेरियन ट्रेल्स उनमें से एक पर प्रारंभ होते हैं और दूसरे पर समाप्त होते हैं। एक ग्राफ़ जिसमें यूलेरियन ट्रेल तो है लेकिन यूलेरियन सर्किट नहीं है, उसे '''अर्ध-यूलेरियन''' कहा जाता है। | |||
==परिभाषा== | ==परिभाषा== | ||
एक यूलेरियन | एक यूलेरियन ट्रेल,<ref name="pathcycle">Some people reserve the terms ''path'' and ''cycle'' to mean ''non-self-intersecting'' path and cycle. A (potentially) self-intersecting path is known as a '''trail''' or an '''open walk'''; and a (potentially) self-intersecting cycle, a '''circuit''' or a '''closed walk'''. This ambiguity can be avoided by using the terms Eulerian trail and Eulerian circuit when self-intersection is allowed.</ref> या यूलर वॉक, एक अप्रत्यक्ष ग्राफ़ में, एक ऐसा वॉक है जो प्रत्येक किनारे का ठीक एक बार उपयोग करता है। यदि ऐसी कोई चाल मौजूद है, तो ग्राफ़ को ट्रैवर्सेबल या सेमी-यूलेरियन कहा जाता है<ref>Jun-ichi Yamaguchi, [http://jwilson.coe.uga.edu/EMAT6680/Yamaguchi/emat6690/essay1/GT.html Introduction of Graph Theory].</ref> | ||
एक यूलेरियन चक्र,<ref name="pathcycle"/>यूलेरियन सर्किट या यूलर टूर भी कहा जाता है, एक अप्रत्यक्ष | |||
एक यूलेरियन चक्र,<ref name="pathcycle" /> जिसे यूलेरियन सर्किट या यूलर टूर भी कहा जाता है, एक अप्रत्यक्ष ग्राफ़ में एक चक्र है जो प्रत्येक किनारे का ठीक एक बार उपयोग करता है। यदि ऐसा कोई चक्र मौजूद है, तो ग्राफ़ को यूलेरियन या यूनिकर्सल कहा जाता है।<ref>Schaum's outline of theory and problems of graph theory By V. K. Balakrishnan [https://books.google.com/books?id=1NTPbSehvWsC&dq=unicursal&pg=PA60].</ref> शब्द "यूलेरियन ग्राफ" का उपयोग कभी-कभी कमजोर अर्थ में एक ऐसे ग्राफ को दर्शाने के लिए भी किया जाता है जहां प्रत्येक शीर्ष पर एक सम डिग्री होती है। परिमित संबद्ध ग्राफ़ के लिए दो परिभाषाएँ समतुल्य हैं, जबकि संभावित रूप से असंबद्ध ग्राफ़ कमज़ोर अर्थ में यूलेरियन है यदि और केवल तभी जब प्रत्येक संबद्ध घटक में एक यूलेरियन चक्र हो। | |||
निर्देशित ग्राफ़ के लिए, "पथ" को निर्देशित पथ से और "चक्र" को निर्देशित चक्र से प्रतिस्थापित करना होगा। | |||
यूलेरियन ट्रेल्स, चक्र और ग्राफ़ की परिभाषा और गुण मल्टीग्राफ के लिए भी मान्य हैं। | यूलेरियन ट्रेल्स, चक्र और ग्राफ़ की परिभाषा और गुण मल्टीग्राफ के लिए भी मान्य हैं। | ||
एक अप्रत्यक्ष ग्राफ G का ' | एक अप्रत्यक्ष ग्राफ ''G'' का यूलेरियन अभिविन्यास, ''G'' के प्रत्येक किनारे के लिए एक दिशा का असाइनमेंट है, जैसे कि, प्रत्येक शीर्ष ''v'' पर, v की इन-डिग्री, ''v'' के आउटडिग्री के बराबर होती है। ऐसा अभिविन्यास किसी भी अप्रत्यक्ष ग्राफ के लिए मौजूद होता है जिसमें प्रत्येक वर्टेक्स में सम डिग्री है, और जी के प्रत्येक संबद्ध घटक में एक यूलर टूर का निर्माण करके और फिर टूर के अनुसार किनारों को उन्मुख करके पाया जा सकता है।<ref>{{citation | ||
| last = Schrijver | first = A. | author-link = Alexander Schrijver | | last = Schrijver | first = A. | author-link = Alexander Schrijver | ||
| doi = 10.1007/BF02579193 | | doi = 10.1007/BF02579193 | ||
Line 32: | Line 38: | ||
== गुण == | == गुण == | ||
*एक अप्रत्यक्ष | *एक अप्रत्यक्ष ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर एक सम डिग्री हो, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष एक एकल संबद्ध घटक से संबंधित हों | ||
*एक अप्रत्यक्ष | *एक अप्रत्यक्ष ग्राफ़ को किनारे-असंयुक्त चक्रों में विघटित किया जा सकता है यदि और केवल तभी जब इसके सभी शीर्षों की डिग्री सम हो। तो, एक ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब इसे किनारे-असंबद्ध चक्रों में विघटित किया जा सके और इसके गैर-शून्य-डिग्री कोने एक एकल संबद्ध घटक से संबंधित हों। | ||
*एक अप्रत्यक्ष ग्राफ़ में यूलेरियन ट्रेल होता है यदि और केवल तभी जब बिल्कुल शून्य या दो शीर्षों | *एक अप्रत्यक्ष ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल तभी जब बिल्कुल शून्य या दो शीर्षों में विषम डिग्री होती है, और गैर-शून्य डिग्री वाले इसके सभी कोने एक एकल संबद्ध घटक से संबंधित होते हैं | ||
*एक निर्देशित | *एक निर्देशित ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री समान हो, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष एक ही दृढ़तापूर्वक से संबद्ध घटक से संबंधित हों। समान रूप से, एक निर्देशित ग्राफ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब इसे किनारे-असंबद्ध निर्देशित चक्रों में विघटित किया जा सके और गैर-शून्य डिग्री वाले इसके सभी कोने एक ही दृढ़तापूर्वक से संबद्ध घटक से संबंधित हों | ||
*एक निर्देशित ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल यदि | *एक निर्देशित ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल यदि एक शीर्ष पर (आउट-डिग्री) - (इन-डिग्री) = 1 हो, अधिकतम एक शीर्ष पर (इन-डिग्री) - (आउट-डिग्री) = 1 हो, प्रत्येक अन्य शीर्ष में इन-डिग्री और आउट-डिग्री समान है, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष अंतर्निहित अप्रत्यक्ष ग्राफ के एक एकल संबद्ध घटक से संबंधित हैं | ||
== यूलेरियन ट्रेल्स और सर्किट का निर्माण == | == यूलेरियन ट्रेल्स और सर्किट का निर्माण == | ||
Line 47: | Line 53: | ||
=== फ़्ल्यूरी का एल्गोरिदम === | === फ़्ल्यूरी का एल्गोरिदम === | ||
फ़्ल्यूरी का एल्गोरिदम एक सुंदर लेकिन | फ़्ल्यूरी का एल्गोरिदम एक सुंदर लेकिन अप्रभावी एल्गोरिदम है जो 1883 का है।<ref>{{citation|first=Pierre-Henry<!-- See https://hsm.stackexchange.com/questions/12633/who-was-fleury-and-what-was-his-first-name -- in the publication, the "M." in "M. Fleury" is just short for monsieur, and should not be listed as Fleury's first initial -->|last=Fleury|title=Deux problèmes de Géométrie de situation|language=fr|url=https://books.google.com/books?id=l-03AAAAMAAJ&pg=PA257|journal=Journal de mathématiques élémentaires|series=2nd ser.|volume=2|year=1883|pages=257–261}}.</ref> एक ऐसे ग्राफ़ पर विचार करें जिसके सभी किनारे एक ही घटक में हों और अधिकतम दो शीर्ष विषम डिग्री के हों। एल्गोरिथ्म विषम डिग्री के शीर्ष पर प्रारंभ होता है, या, यदि ग्राफ़ में कोई नहीं है, तो यह मनमाने ढंग से चुने गए शीर्ष से प्रारंभ होता है। प्रत्येक चरण में, यह पथ में अगला किनारा चुनता है जिसका विलोपन ग्राफ़ को तब तक डिस्कनेक्ट नहीं करेगा जब तक कि ऐसा कोई किनारा न हो, इस स्थिति में यह वर्तमान शीर्ष पर बचे शेष किनारे को चुनता है। फिर यह उस किनारे के दूसरे अंतिम बिंदु पर चला जाता है और किनारे को हटा देता है। एल्गोरिदम के अंत में, कोई किनारा नहीं बचा है, और जिस अनुक्रम से किनारों को चुना गया था वह एक यूलेरियन चक्र बनाता है यदि ग्राफ़ में विषम डिग्री का कोई शीर्ष नहीं है, या एक यूलेरियन ट्रेल बनता है यदि विषम डिग्री के दो शीर्ष हैं। | ||
जबकि फ़्ल्यूरी के एल्गोरिदम में ग्राफ़ ट्रैवर्सल किनारों की संख्या में रैखिक है, | जबकि फ़्ल्यूरी के एल्गोरिदम में ग्राफ़ ट्रैवर्सल किनारों की संख्या में रैखिक है, यानी <math>O(|E|)</math>, हमें ब्रिज (ग्राफ सिद्धांत) का पता लगाने की जटिलता को भी ध्यान में रखना होगा। यदि हमें [[रॉबर्ट टार्जन]] के रैखिक समय ब्रिज (ग्राफ़ सिद्धांत) को फिर से चलाना है#टार्जन का ब्रिज-फाइंडिंग एल्गोरिदम: ब्रिज-फाइंडिंग एल्गोरिदम<ref>{{citation | ||
| last = Tarjan | first = R. Endre | author-link = Robert Tarjan | | last = Tarjan | first = R. Endre | author-link = Robert Tarjan | ||
| doi = 10.1016/0020-0190(74)90003-9 | | doi = 10.1016/0020-0190(74)90003-9 | ||
Line 58: | Line 64: | ||
| pages = 160–161 | | pages = 160–161 | ||
| title = A note on finding the bridges of a graph | | title = A note on finding the bridges of a graph | ||
| volume = 2}}.</ref> प्रत्येक किनारे को हटाने के बाद, फ़्ल्यूरी के एल्गोरिदम में समय की जटिलता होगी <math>O(|E|^2)</math>. का एक गतिशील ब्रिज-फाइंडिंग एल्गोरिदम {{harvtxt|Thorup|2000}} इसमें सुधार करने की अनुमति देता है <math>O(|E| \cdot \log^3 |E| \cdot \log \log |E|)</math>, लेकिन यह अभी भी वैकल्पिक एल्गोरिदम की तुलना में | | volume = 2}}.</ref> प्रत्येक किनारे को हटाने के बाद, फ़्ल्यूरी के एल्गोरिदम में समय की जटिलता होगी <math>O(|E|^2)</math>. का एक गतिशील ब्रिज-फाइंडिंग एल्गोरिदम {{harvtxt|Thorup (थोरुप)|2000}} इसमें सुधार करने की अनुमति देता है <math>O(|E| \cdot \log^3 |E| \cdot \log \log |E|)</math>, लेकिन यह अभी भी वैकल्पिक एल्गोरिदम की तुलना में अधिक धीमा है। | ||
=== हियरहोल्ज़र का एल्गोरिदम === | === हियरहोल्ज़र का एल्गोरिदम === | ||
हायरहोल्ज़र का 1873 का पेपर यूलर चक्र खोजने के लिए एक अलग विधि प्रदान करता है जो फ़्ल्यूरी के एल्गोरिदम से अधिक कुशल है: | |||
* | *कोई भी आरंभिक शीर्ष v चुनें, और उस शीर्ष से किनारों के निशान का अनुसरण तब तक करें जब तक कि v पर वापस न आ जाए। v के अलावा किसी भी शीर्ष पर अटक जाना संभव नहीं है, क्योंकि सभी शीर्षों की सम डिग्री यह सुनिश्चित करती है, जब निशान दूसरे शीर्ष में प्रवेश करता है w को छोड़कर कोई अप्रयुक्त किनारा अवश्य होना चाहिए। इस तरह से बनाया गया टूर एक सवृत टूर है, लेकिन प्रारंभिक ग्राफ़ के सभी शीर्षों और किनारों को कवर नहीं कर सकता है। | ||
*जब तक एक शीर्ष | *जब तक एक शीर्ष ''u'' मौजूद है जो वर्तमान दौरे से संबंधित है लेकिन इसके निकटवर्ती किनारे दौरे का हिस्सा नहीं हैं, आप से एक और निशान प्रारंभ करें, अप्रयुक्त किनारों का अनुसरण करते हुए आपके पास लौटने तक, और इस तरह से बने दौरे में पिछले दौरे में शामिल हों। | ||
*चूंकि हम मानते हैं कि मूल ग्राफ़ | *चूंकि हम मानते हैं कि मूल ग्राफ़ संबद्ध हुआ ग्राफ़ है, पिछले चरण को दोहराने से ग्राफ़ के सभी किनारे समाप्त हो जाएंगे। | ||
प्रत्येक शीर्ष पर अप्रयुक्त किनारों के | प्रत्येक शीर्ष पर अप्रयुक्त किनारों के समुच्चय को बनाए रखने के लिए ड्यूल लिंक की गई सूची जैसी डेटा संरचना का उपयोग करके, वर्तमान दौरे पर उन शीर्षों की सूची को बनाए रखने के लिए जिनमें अप्रयुक्त किनारे हैं, और दौरे को बनाए रखने के लिए, व्यक्तिगत संचालन एल्गोरिदम (प्रत्येक शीर्ष से बाहर निकलने वाले अप्रयुक्त किनारों को ढूंढना, एक दौरे के लिए एक नया प्रारंभिक शीर्ष ढूंढना, और एक शीर्ष साझा करने वाले दो दौरे को जोड़ना) प्रत्येक निरंतर समय में किया जा सकता है, इसलिए समग्र एल्गोरिदम [[रैखिक समय]] लेता है, <math>O(|E|)</math>.<ref>{{citation|title=Eulerian Graphs and Related Topics: Part 1, Volume 2|volume=50|series=Annals of Discrete Mathematics|first=Herbert|last=Fleischner|publisher=Elsevier|year=1991|isbn=978-0-444-89110-5|contribution=X.1 Algorithms for Eulerian Trails|pages=[https://archive.org/details/euleriangraphsre0001flei/page/ X.1–13]|url=https://archive.org/details/euleriangraphsre0001flei/page/}}.</ref> | ||
इस एल्गोरिदम को | |||
इस एल्गोरिदम को द्वि श्रंखलित सुची के साथ भी प्रयुक्त किया जा सकता है। क्योंकि फंसना तभी संभव है जब डेक एक सवृत दौरे का प्रतिनिधित्व करता है, किसी को पूंछ से किनारों को हटाकर और उन्हें सिर से जोड़कर डेक को घुमाना चाहिए, और तब तक जारी रखना चाहिए जब तक कि सभी किनारों का हिसाब न हो जाए। इसमें रैखिक समय भी लगता है, क्योंकि निष्पादित घुमावों की संख्या कभी भी इससे अधिक नहीं होती है <math>|E|</math> (सहज ज्ञान से, किसी भी खराब किनारे को सिर पर ले जाया जाता है, जबकि ताजा किनारों को पूंछ में जोड़ा जाता है) | |||
{{Hamiltonian_platonic_graphs.svg}} | {{Hamiltonian_platonic_graphs.svg}} | ||
Line 72: | Line 79: | ||
=== जटिलता मुद्दे === | === जटिलता मुद्दे === | ||
निडिग्राफ में यूलेरियन सर्किट की संख्या की गणना तथाकथित बेस्ट प्रमेय का उपयोग करके की जा सकती है, जिसका नाम डी ब्रुइज़न, वैन आर्डेन-एरेनफेस्ट, स्मिथ और टुट्टे के नाम पर रखा गया है। सूत्र बताता है कि एक डिग्राफ में यूलेरियन सर्किट की संख्या कुछ डिग्री फैक्टोरियल और रूटेड आर्बोरेसेंस की संख्या का उत्पाद है। उत्तरार्द्ध की गणना आव्यूह ट्री प्रमेय द्वारा, एक बहुपद समय एल्गोरिथ्म देकर, एक निर्धारक के रूप में की जा सकती है। | |||
BEST प्रमेय को पहली बार इस रूप में आर्डेन-एरेनफेस्ट और डी ब्रुइज़न पेपर (1951) में प्रमाण के रूप में जोड़े गए एक नोट में बताया गया है। मूल प्रमाण [[विशेषण प्रमाण]] था और डी ब्रुइज़न अनुक्रमों को सामान्यीकृत किया गया था। यह स्मिथ और टुट्टे (1941) के पहले परिणाम पर एक भिन्नता है। | BEST प्रमेय को पहली बार इस रूप में आर्डेन-एरेनफेस्ट और डी ब्रुइज़न पेपर (1951) में प्रमाण के रूप में जोड़े गए एक नोट में बताया गया है। मूल प्रमाण [[विशेषण प्रमाण]] था और डी ब्रुइज़न अनुक्रमों को सामान्यीकृत किया गया था। यह स्मिथ और टुट्टे (1941) के पहले परिणाम पर एक भिन्नता है। | ||
अप्रत्यक्ष ग्राफ़ पर यूलेरियन सर्किट की संख्या की गणना करना अधिक कठिन है। इस समस्या को शार्प-पी-कम्प्लीट | अप्रत्यक्ष ग्राफ़ पर यूलेरियन सर्किट की संख्या की गणना करना अधिक कठिन है। इस समस्या को शार्प-पी-कम्प्लीट #पी-कम्प्लीट के रूप में जाना जाता है।<ref>Brightwell and [[Peter Winkler|Winkler]], "[http://www.cdam.lse.ac.uk/Reports/Files/cdam-2004-12.pdf Note on Counting Eulerian Circuits]", 2004.</ref> एक सकारात्मक दिशा में, कोट्ज़िग परिवर्तनों के माध्यम से एक मार्कोव श्रृंखला मोंटे कार्लो दृष्टिकोण (1968 में एंटोन कोट्ज़िग द्वारा प्रस्तुत) एक ग्राफ में यूलेरियन सर्किट की संख्या का तेजी से अनुमान लगाता है, हालांकि इसका अभी तक कोई प्रमाण नहीं है। तथ्य (सीमाबद्ध डिग्री के ग्राफ़ के लिए भी)। | ||
=== विशेष मामले === | === विशेष मामले === | ||
Line 83: | Line 90: | ||
\operatorname{ec}(K_n) = 2^{\frac{(n+1)}{2}}\pi^{\frac{1}{2}} e^{\frac{-n^2}{2}+\frac{11}{12}} n^{\frac{(n-2)(n+1)}{2}} \bigl(1+O(n^{-\frac{1}{2}+\epsilon})\bigr). | \operatorname{ec}(K_n) = 2^{\frac{(n+1)}{2}}\pi^{\frac{1}{2}} e^{\frac{-n^2}{2}+\frac{11}{12}} n^{\frac{(n-2)(n+1)}{2}} \bigl(1+O(n^{-\frac{1}{2}+\epsilon})\bigr). | ||
</math> | </math> | ||
इसी तरह का एक सूत्र बाद में एम.आई. द्वारा प्राप्त किया गया था। इसेव (2009) | इसी तरह का एक सूत्र बाद में एम.आई. द्वारा प्राप्त किया गया था। इसेव (2009) संपूर्ण द्विदलीय ग्राफ़ के लिए:<ref>{{cite journal |author=M.I. Isaev |title=संपूर्ण द्विदलीय ग्राफ़ में यूलेरियन सर्किट की स्पर्शोन्मुख संख्या|language=ru |journal=Proc. 52-nd MFTI Conference |year=2009 |place=Moscow |pages=111–114 }}</ref> | ||
:<math> | :<math> | ||
\operatorname{ec}(K_{n,n}) = \left(\frac{n}{2}-1\right)!^{2n} 2^{n^2-n+\frac{1}{2}}\pi^{-n+\frac{1}{2}} n^{n-1} \bigl(1+O(n^{-\frac{1}{2}+\epsilon})\bigr). | \operatorname{ec}(K_{n,n}) = \left(\frac{n}{2}-1\right)!^{2n} 2^{n^2-n+\frac{1}{2}}\pi^{-n+\frac{1}{2}} n^{n-1} \bigl(1+O(n^{-\frac{1}{2}+\epsilon})\bigr). | ||
Line 90: | Line 97: | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
यूलेरियन ट्रेल्स का उपयोग जैव सूचना विज्ञान में इसके टुकड़ों से | यूलेरियन ट्रेल्स का उपयोग जैव सूचना विज्ञान में इसके टुकड़ों से डीएनए अनुक्रम को फिर से बनाने के लिए किया जाता है।<ref>{{cite journal| last1=Pevzner| first1=Pavel A.| last2=Tang| first2=Haixu| last3=Waterman| first3=Michael S.| year=2001 |title=डीएनए फ़्रैगमेंट असेंबली के लिए एक यूलेरियन ट्रेल दृष्टिकोण|journal=Proceedings of the National Academy of Sciences of the United States of America |volume=98| pmid=11504945 |issue=17 |pages=9748–9753| pmc=55524 |doi=10.1073/pnas.171285098 | bibcode=2001PNAS...98.9748P| doi-access=free}}</ref> इष्टतम [[ तर्क द्वार |तर्क द्वार]] ऑर्डरिंग खोजने के लिए इनका उपयोग [[सीएमओएस]] सर्किट डिजाइन में भी किया जाता है।<ref>{{cite journal| last1=Roy| first1=Kuntal| year=2007 |title=Optimum Gate Ordering of CMOS Logic Gates Using Euler Path Approach: Some Insights and Explanations |journal=Journal of Computing and Information Technology |volume=15 |issue=1 |pages=85–92|doi=10.2498/cit.1000731 |doi-access=free }}</ref> ट्री (ग्राफ सिद्धांत) को संसाधित करने के लिए कुछ एल्गोरिदम हैं जो ट्री के यूलर टूर पर निर्भर करते हैं (जहां प्रत्येक किनारे को आर्क की एक जोड़ी के रूप में माना जाता है)।<ref>{{cite journal|last1=Tarjan|first1=Robert E.|last2=Vishkin|first2=Uzi|title=एक कुशल समानांतर बाइकनेक्टिविटी एल्गोरिदम|journal=SIAM Journal on Computing|date=1985|volume=14|number=4|pages=862–874|doi=10.1137/0214061|citeseerx=10.1.1.465.8898}}</ref><ref>{{cite journal|last1=Berkman|first1=Omer|last2=Vishkin|first2=Uzi|title=पेड़ों में स्तर-पूर्वजों को ढूँढना|journal=J. Comput. Syst. Sci.|date=Apr 1994|volume=48|issue=2|series=2|pages=214–230|doi=10.1016/S0022-0000(05)80002-9|doi-access=free}}</ref> डी ब्रुइज़न अनुक्रमों का निर्माण डी ब्रुइज़न ग्राफ़ के यूलेरियन ट्रेल्स के रूप में किया जा सकता है।<ref>{{Cite journal|last=Savage|first=Carla|date=January 1997|title=कॉम्बिनेटोरियल ग्रे कोड का एक सर्वेक्षण|journal=SIAM Review|volume=39|issue=4|pages=605–629|doi=10.1137/S0036144595295272|issn=0036-1445}}</ref> | ||
==अनंत ग्राफ़ में== | ==अनंत ग्राफ़ में== | ||
[[File:Kely graph of F2 clear.svg|thumb|एक अनंत ग्राफ़ जिसके सभी शीर्ष अंश चार के बराबर हैं लेकिन कोई यूलेरियन रेखा नहीं है]] | [[File:Kely graph of F2 clear.svg|thumb|एक अनंत ग्राफ़ जिसके सभी शीर्ष अंश चार के बराबर हैं लेकिन कोई यूलेरियन रेखा नहीं है]]अनंत ग्राफ़ में, यूलेरियन ट्रेल या यूलेरियन चक्र की संबंधित अवधारणा एक यूलेरियन लाइन है, एक दोगुना-अनंत निशान जो ग्राफ़ के सभी किनारों को कवर करता है। इस तरह के निशान के अस्तित्व के लिए यह पर्याप्त नहीं है कि ग्राफ संबद्ध हो और सभी शीर्ष डिग्री सम हों; उदाहरण के लिए, दिखाया गया अनंत केली ग्राफ, जिसमें सभी शीर्ष डिग्री चार के बराबर हैं, में कोई यूलेरियन रेखा नहीं है। यूलेरियन रेखाओं वाले अनंत ग्राफ़ की विशेषता एर्डोज़, ग्रुनवाल्ड और वीज़फेल्ड (1936) द्वारा की गई थी। एक अनंत ग्राफ़ या मल्टीग्राफ़ G के लिए एक यूलेरियन रेखा प्राप्त करने के लिए, यह आवश्यक और पर्याप्त है कि निम्नलिखित सभी शर्तें पूरी हों:<ref>{{citation | ||
| last = Komjáth | first = Peter | author-link = Péter Komjáth | | last = Komjáth | first = Peter | author-link = Péter Komjáth | ||
| contribution = Erdős's work on infinite graphs | | contribution = Erdős's work on infinite graphs | ||
Line 117: | Line 123: | ||
| volume = 184 | | volume = 184 | ||
| year = 1998}}.</ref> | | year = 1998}}.</ref> | ||
*{{mvar|G}} | *{{mvar|G}} संबद्ध है। | ||
*{{mvar|G}} में शीर्षों और किनारों के गणनीय | *{{mvar|G}} में शीर्षों और किनारों के गणनीय समुच्चय हैं। | ||
*{{mvar|G}} में (परिमित) विषम डिग्री का कोई शीर्ष नहीं है। | *{{mvar|G}} में (परिमित) विषम डिग्री का कोई शीर्ष नहीं है। | ||
*किसी भी परिमित उपसमूह को हटाना {{mvar|S}} से {{mvar|G}} शेष ग्राफ़ में अधिकतम दो अनंत | *किसी भी परिमित उपसमूह को हटाना {{mvar|S}} से {{mvar|G}} शेष ग्राफ़ में अधिकतम दो अनंत संबद्ध हुए घटकों को छोड़ता है, और यदि {{mvar|S}} को हटाने पर इसके प्रत्येक शीर्ष पर सम डिग्री होती है {{mvar|S}} बिल्कुल एक अनंत संबद्ध हुआ घटक छोड़ता है। | ||
== अप्रत्यक्ष यूलेरियन ग्राफ़ == | == अप्रत्यक्ष यूलेरियन ग्राफ़ == | ||
यूलर ने एक परिमित ग्राफ के यूलेरियन होने के लिए एक आवश्यक शर्त बताई क्योंकि सभी शीर्षों की डिग्री सम होनी चाहिए। हिरहोल्ज़र ने 1873 में प्रकाशित एक पेपर में साबित किया कि यह एक पर्याप्त शर्त है। इससे निम्नलिखित आवश्यक और पर्याप्त कथन मिलता है कि एक परिमित ग्राफ को यूलेरियन होना चाहिए: एक अप्रत्यक्ष रूप से | यूलर ने एक परिमित ग्राफ के यूलेरियन होने के लिए एक आवश्यक शर्त बताई क्योंकि सभी शीर्षों की डिग्री सम होनी चाहिए। हिरहोल्ज़र ने 1873 में प्रकाशित एक पेपर में साबित किया कि यह एक पर्याप्त शर्त है। इससे निम्नलिखित आवश्यक और पर्याप्त कथन मिलता है कि एक परिमित ग्राफ को यूलेरियन होना चाहिए: एक अप्रत्यक्ष रूप से संबद्ध हुआ परिमित ग्राफ यूलेरियन है यदि और केवल यदि जी के प्रत्येक शीर्ष पर है सम डिग्री.<ref name=":0">{{Cite book |title=Arc Routing {{!}} SIAM Digital Library |url=https://epubs.siam.org/doi/book/10.1137/1.9781611973679 |access-date=2022-08-19 |website=MOS-SIAM Series on Optimization |year=2015 |language=en |doi=10.1137/1.9781611973679|isbn=978-1-61197-366-2 |editor-last1=Corberán |editor-last2=Laporte |editor-first1=Ángel |editor-first2=Gilbert }}</ref> | ||
निम्नलिखित परिणाम 1912 में वेब्लेन द्वारा सिद्ध किया गया था: एक अप्रत्यक्ष रूप से | निम्नलिखित परिणाम 1912 में वेब्लेन द्वारा सिद्ध किया गया था: एक अप्रत्यक्ष रूप से संबद्ध ग्राफ यूलेरियन है यदि और केवल यदि यह कुछ चक्रों का असंयुक्त संघ है।<ref name=":0" />[[File:Even directed graph that is not Eulerian counterexample.svg|alt=A directed graph with all even degrees that is not Eulerian, serving as a counterexample to the statement that a sufficient condition for a directed graph to be Eulerian is that it has all even degrees|thumb|सभी सम घातों वाला एक निर्देशित ग्राफ जो यूलेरियन नहीं है, इस कथन के प्रति उदाहरण के रूप में कार्य करता है कि एक निर्देशित ग्राफ के यूलेरियन होने के लिए पर्याप्त शर्त यह है कि इसमें सभी सम घात हों]]हायरहोल्ज़र ने एक अप्रत्यक्ष ग्राफ़ में यूलेरियन दौरे के निर्माण के लिए एक रैखिक समय एल्गोरिदम विकसित किया। | ||
== निर्देशित यूलेरियन ग्राफ == | == निर्देशित यूलेरियन ग्राफ == | ||
एक निर्देशित ग्राफ़ होना संभव है जिसमें सभी डिग्री सम-आउट हैं लेकिन ऑयलेरियन नहीं है। | एक निर्देशित ग्राफ़ होना संभव है जिसमें सभी डिग्री सम-आउट हैं लेकिन ऑयलेरियन नहीं है। चूंकि एक यूलेरियन सर्किट एक शीर्ष को उतनी ही बार छोड़ता है जितनी बार वह उस शीर्ष में प्रवेश करता है, एक यूलेरियन सर्किट के अस्तित्व के लिए एक आवश्यक शर्त यह है कि प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर होती है। स्पष्ट रुप से कनेक्टिविटी भी जरूरी है. कोनिग ने साबित किया कि ये स्थितियाँ भी पर्याप्त हैं। अर्थात्, एक निर्देशित ग्राफ यूलेरियन है यदि और केवल यदि यह जुड़ा हुआ है और प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर हैं<ref name=":0" /> | ||
इस प्रमेय में इससे कोई फर्क नहीं पड़ता कि कनेक्टेड का | इस प्रमेय में इससे कोई फर्क नहीं पड़ता कि कनेक्टेड का अर्थ कमजोर रूप से संबद्ध हुआ है या दृढ़तापूर्वक से संबद्ध हुआ है क्योंकि वे यूलेरियन ग्राफ़ के लिए समकक्ष हैं। | ||
यूलेरियन टूर के निर्माण के लिए हायरहोल्ज़र का रैखिक समय एल्गोरिदम निर्देशित ग्राफ़ पर भी | यूलेरियन टूर के निर्माण के लिए हायरहोल्ज़र का रैखिक समय एल्गोरिदम निर्देशित ग्राफ़ पर भी प्रयुक्त होता है।<ref name=":0" /> | ||
==मिश्रित यूलेरियन ग्राफ == | ==मिश्रित यूलेरियन ग्राफ == | ||
[[File:Eulerian mixed graph that is even but not symmetric proving that evenness and symmetricness is not a necessary and sufficient condition for a mixed graph to be Eulerian.svg|alt=This mixed graph is Eulerian. The graph is even but not symmetric which proves that evenness and symmetricness are not necessary and sufficient conditions for a mixed graph to be Eulerian.|thumb|This mixed graph is Eulerian. The graph is even but not symmetric which proves that evenness and symmetricness are not necessary and sufficient conditions for a mixed graph to be Eulerian.]]यदि किसी मिश्रित ग्राफ़ में केवल सम अंश हैं, तो इसके यूलेरियन ग्राफ़ होने की गारंटी नहीं है। इसका | [[File:Eulerian mixed graph that is even but not symmetric proving that evenness and symmetricness is not a necessary and sufficient condition for a mixed graph to be Eulerian.svg|alt=This mixed graph is Eulerian. The graph is even but not symmetric which proves that evenness and symmetricness are not necessary and sufficient conditions for a mixed graph to be Eulerian.|thumb|This mixed graph is Eulerian. The graph is even but not symmetric which proves that evenness and symmetricness are not necessary and sufficient conditions for a mixed graph to be Eulerian.]]यदि किसी मिश्रित ग्राफ़ में केवल सम अंश हैं, तो इसके यूलेरियन ग्राफ़ होने की गारंटी नहीं है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता एक आवश्यक लेकिन पर्याप्त शर्त नहीं है। यदि कोई मिश्रित ग्राफ़ सम और सममित है, तो उसके सममित होने की गारंटी है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता और सममित होना एक आवश्यक शर्त है। हालाँकि, यह एक आवश्यक और पर्याप्त शर्त नहीं है, क्योंकि ऐसा ग्राफ़ बनाना संभव है जो सममित न हो और फिर भी यूलेरियन हो।<ref name=":02">{{Cite book |title=Arc Routing {{!}} SIAM Digital Library |url=https://epubs.siam.org/doi/book/10.1137/1.9781611973679 |access-date=2022-08-19 |website=MOS-SIAM Series on Optimization |year=2015 |language=en |doi=10.1137/1.9781611973679|isbn=978-1-61197-366-2 |editor-last1=Corberán |editor-last2=Laporte |editor-first1=Ángel |editor-first2=Gilbert }}</ref> | ||
फोर्ड और फुलकरसन ने 1962 में अपनी पुस्तक फ्लोज़ इन नेटवर्क्स में एक ग्राफ के यूलेरियन होने के लिए एक आवश्यक और पर्याप्त शर्त साबित की, अर्थात, प्रत्येक शीर्ष सम होना चाहिए और संतुलन की स्थिति को पूरा करना चाहिए। शीर्ष S के प्रत्येक उपसमुच्चय के लिए, S को छोड़ने और S में प्रवेश करने वाले चापों की संख्या के बीच का अंतर S के साथ आपतित किनारों की संख्या से कम या उसके बराबर होना चाहिए। यह संतुलित सेट स्थिति है। एक मिश्रित और दृढ़ता से जुड़ा | फोर्ड और फुलकरसन ने 1962 में अपनी पुस्तक फ्लोज़ इन नेटवर्क्स में एक ग्राफ के यूलेरियन होने के लिए एक आवश्यक और पर्याप्त शर्त साबित की, अर्थात, प्रत्येक शीर्ष सम होना चाहिए और संतुलन की स्थिति को पूरा करना चाहिए। शीर्ष S के प्रत्येक उपसमुच्चय के लिए, S को छोड़ने और S में प्रवेश करने वाले चापों की संख्या के बीच का अंतर S के साथ आपतित किनारों की संख्या से कम या उसके बराबर होना चाहिए। यह संतुलित सेट स्थिति है। एक मिश्रित और दृढ़ता से जुड़ा हुआ ग्राफ़ यूलेरियन है यदि और केवल यदि G सम और संतुलित है।<ref name=":02" /> | ||
यह जाँचने की प्रक्रिया कि क्या एक मिश्रित ग्राफ़ यूलेरियन है, यह जाँचने से अधिक कठिन है कि क्या एक अप्रत्यक्ष या निर्देशित ग्राफ़ यूलेरियन है क्योंकि संतुलित सेट की स्थिति शीर्षों के हर संभावित उपसमुच्चय से संबंधित होती है।[[File:Even mixed graph that violates the balanced set condition and is therefore not Eulerian.svg|alt=An even mixed graph that violates the balanced set condition and is therefore not Eulerian.|thumb|An even mixed graph that violates the balanced set condition and is therefore not Eulerian.]] | |||
[[File:Even mixed graph satisfies the balanced set condition and is therefore an Eulerian mixed graph.svg|alt=An even mixed graph that satisfies the balanced set condition and is therefore an Eulerian mixed graph.|thumb|An even mixed graph that satisfies the balanced set condition and is therefore an Eulerian mixed graph.]] | [[File:Even mixed graph satisfies the balanced set condition and is therefore an Eulerian mixed graph.svg|alt=An even mixed graph that satisfies the balanced set condition and is therefore an Eulerian mixed graph.|thumb|An even mixed graph that satisfies the balanced set condition and is therefore an Eulerian mixed graph.]] | ||
Line 153: | Line 159: | ||
== यह भी देखें == | == यह भी देखें == | ||
* | * यूलेरियन मैट्रोइड, यूलेरियन ग्राफ़ का एक अमूर्त सामान्यीकरण | ||
* पांच कमरे की पहेली | * पांच कमरे की पहेली (फाइव रूम्स पजल ) | ||
* | * हैंडशेक लेम्मा , जिसे यूलर ने अपने मूल पेपर में सिद्ध किया है, यह दर्शाता है कि किसी भी अप्रत्यक्ष रूप से संबद्ध ग्राफ़ में विषम-डिग्री शीर्षों की संख्या सम होती है | ||
* [[हैमिल्टनियन पथ]] - एक | * [[हैमिल्टनियन पथ|हैमिल्टनियन ट्रेल]] - एक ट्रेल जो प्रत्येक शीर्ष पर ठीक एक बार जाता है। | ||
* | * मार्ग निरीक्षण समस्या, सबसे छोटे ट्रेल की खोज करें जो सभी किनारों पर जाता है, यदि यूलेरियन ट्रेल मौजूद नहीं है तो संभवतः किनारों को दोहराया जा सकता है। | ||
* वेब्लेन का प्रमेय, जो बताता है कि सम शीर्ष डिग्री वाले ग्राफ़ को उनकी कनेक्टिविटी की परवाह किए बिना किनारे-असंबद्ध चक्रों में विभाजित किया जा सकता है | * वेब्लेन का प्रमेय, जो बताता है कि सम शीर्ष डिग्री वाले ग्राफ़ को उनकी कनेक्टिविटी की परवाह किए बिना किनारे-असंबद्ध चक्रों में विभाजित किया जा सकता है | ||
Revision as of 15:45, 8 July 2023
ग्राफ सिद्धांत में, एक यूलेरियन ट्रेल (या यूलेरियन ट्रेल) एक परिमित ग्राफ़ में एक ट्रेल है जो प्रत्येक किनारे पर मात्र एक बार जाता है (शीर्षों पर फिर से जाने की अनुमति देता है)। इसी प्रकार, एक यूलेरियन सर्किट या यूलेरियन चक्र एक यूलेरियन ट्रेल है जो एक ही शीर्ष पर प्रारंभ और समाप्त होता है। 1736 में कोनिग्सबर्ग के प्रसिद्ध सेवेन ब्रिजेस समस्या को हल करते समय लियोनहार्ड यूलर द्वारा पहली बार उनकी चर्चा की गई थी। समस्या को गणितीय रूप से इस तरह बताया जा सकता है:
- छवि में ग्राफ़ को देखते हुए, क्या एक ट्रेल (या एक चक्र; यानी, एक ही शीर्ष पर प्रारंभ और समाप्त होने वाला ट्रेल) बनाना संभव है जो प्रत्येक किनारे पर बिल्कुल एक बार जाता है?
यूलर ने सिद्ध किया कि यूलेरियन सर्किट के अस्तित्व के लिए एक आवश्यक शर्त यह है कि ग्राफ के सभी शीर्षों की डिग्री एक समान हो, और बिना किसी प्रमाण के कहा गया कि सम डिग्री के सभी शीर्षों वाला एक संबद्ध हुआ ग्राफ एक यूलेरियन सर्किट है। इस बाद के दावे का पहला पूर्ण प्रमाण 1873 में कार्ल हायरहोल्ज़र द्वारा मरणोपरांत प्रकाशित किया गया था।[1] इसे यूलर प्रमेय के रूप में जाना जाता है:
- एक कनेक्टेड ग्राफ़ में एक यूलर चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर एक सम डिग्री हो।
ग्राफ़ सिद्धांत में यूलेरियन ग्राफ़ शब्द के दो सामान्य अर्थ हैं। एक अर्थ यूलेरियन सर्किट वाला एक ग्राफ है, और दूसरा सम डिग्री के प्रत्येक शीर्ष वाला एक ग्राफ है। ये परिभाषाएँ संबद्ध हुए ग्राफ़ के लिए मेल खाती हैं[2]
यूलेरियन ट्रेल्स के अस्तित्व के लिए, यह आवश्यक है कि शून्य या दो शीर्षों की एक विषम डिग्री हो; इसका अर्थ यह है कि कोनिग्सबर्ग ग्राफ़ यूलेरियन नहीं है। यदि विषम डिग्री के कोई शीर्ष नहीं हैं, तो सभी यूलेरियन ट्रेल्स सर्किट हैं। यदि विषम डिग्री के बिल्कुल दो शीर्ष हैं, तो सभी यूलेरियन ट्रेल्स उनमें से एक पर प्रारंभ होते हैं और दूसरे पर समाप्त होते हैं। एक ग्राफ़ जिसमें यूलेरियन ट्रेल तो है लेकिन यूलेरियन सर्किट नहीं है, उसे अर्ध-यूलेरियन कहा जाता है।
परिभाषा
एक यूलेरियन ट्रेल,[3] या यूलर वॉक, एक अप्रत्यक्ष ग्राफ़ में, एक ऐसा वॉक है जो प्रत्येक किनारे का ठीक एक बार उपयोग करता है। यदि ऐसी कोई चाल मौजूद है, तो ग्राफ़ को ट्रैवर्सेबल या सेमी-यूलेरियन कहा जाता है[4]
एक यूलेरियन चक्र,[3] जिसे यूलेरियन सर्किट या यूलर टूर भी कहा जाता है, एक अप्रत्यक्ष ग्राफ़ में एक चक्र है जो प्रत्येक किनारे का ठीक एक बार उपयोग करता है। यदि ऐसा कोई चक्र मौजूद है, तो ग्राफ़ को यूलेरियन या यूनिकर्सल कहा जाता है।[5] शब्द "यूलेरियन ग्राफ" का उपयोग कभी-कभी कमजोर अर्थ में एक ऐसे ग्राफ को दर्शाने के लिए भी किया जाता है जहां प्रत्येक शीर्ष पर एक सम डिग्री होती है। परिमित संबद्ध ग्राफ़ के लिए दो परिभाषाएँ समतुल्य हैं, जबकि संभावित रूप से असंबद्ध ग्राफ़ कमज़ोर अर्थ में यूलेरियन है यदि और केवल तभी जब प्रत्येक संबद्ध घटक में एक यूलेरियन चक्र हो।
निर्देशित ग्राफ़ के लिए, "पथ" को निर्देशित पथ से और "चक्र" को निर्देशित चक्र से प्रतिस्थापित करना होगा।
यूलेरियन ट्रेल्स, चक्र और ग्राफ़ की परिभाषा और गुण मल्टीग्राफ के लिए भी मान्य हैं।
एक अप्रत्यक्ष ग्राफ G का यूलेरियन अभिविन्यास, G के प्रत्येक किनारे के लिए एक दिशा का असाइनमेंट है, जैसे कि, प्रत्येक शीर्ष v पर, v की इन-डिग्री, v के आउटडिग्री के बराबर होती है। ऐसा अभिविन्यास किसी भी अप्रत्यक्ष ग्राफ के लिए मौजूद होता है जिसमें प्रत्येक वर्टेक्स में सम डिग्री है, और जी के प्रत्येक संबद्ध घटक में एक यूलर टूर का निर्माण करके और फिर टूर के अनुसार किनारों को उन्मुख करके पाया जा सकता है।[6] कनेक्टेड ग्राफ़ का प्रत्येक यूलेरियन ओरिएंटेशन एक मजबूत ओरिएंटेशन है, एक ओरिएंटेशन जो परिणामी निर्देशित ग्राफ़ को दृढ़ता से कनेक्ट करता है।
गुण
- एक अप्रत्यक्ष ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर एक सम डिग्री हो, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष एक एकल संबद्ध घटक से संबंधित हों
- एक अप्रत्यक्ष ग्राफ़ को किनारे-असंयुक्त चक्रों में विघटित किया जा सकता है यदि और केवल तभी जब इसके सभी शीर्षों की डिग्री सम हो। तो, एक ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब इसे किनारे-असंबद्ध चक्रों में विघटित किया जा सके और इसके गैर-शून्य-डिग्री कोने एक एकल संबद्ध घटक से संबंधित हों।
- एक अप्रत्यक्ष ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल तभी जब बिल्कुल शून्य या दो शीर्षों में विषम डिग्री होती है, और गैर-शून्य डिग्री वाले इसके सभी कोने एक एकल संबद्ध घटक से संबंधित होते हैं
- एक निर्देशित ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री समान हो, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष एक ही दृढ़तापूर्वक से संबद्ध घटक से संबंधित हों। समान रूप से, एक निर्देशित ग्राफ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब इसे किनारे-असंबद्ध निर्देशित चक्रों में विघटित किया जा सके और गैर-शून्य डिग्री वाले इसके सभी कोने एक ही दृढ़तापूर्वक से संबद्ध घटक से संबंधित हों
- एक निर्देशित ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल यदि एक शीर्ष पर (आउट-डिग्री) - (इन-डिग्री) = 1 हो, अधिकतम एक शीर्ष पर (इन-डिग्री) - (आउट-डिग्री) = 1 हो, प्रत्येक अन्य शीर्ष में इन-डिग्री और आउट-डिग्री समान है, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष अंतर्निहित अप्रत्यक्ष ग्राफ के एक एकल संबद्ध घटक से संबंधित हैं
यूलेरियन ट्रेल्स और सर्किट का निर्माण
फ़्ल्यूरी का एल्गोरिदम
फ़्ल्यूरी का एल्गोरिदम एक सुंदर लेकिन अप्रभावी एल्गोरिदम है जो 1883 का है।[7] एक ऐसे ग्राफ़ पर विचार करें जिसके सभी किनारे एक ही घटक में हों और अधिकतम दो शीर्ष विषम डिग्री के हों। एल्गोरिथ्म विषम डिग्री के शीर्ष पर प्रारंभ होता है, या, यदि ग्राफ़ में कोई नहीं है, तो यह मनमाने ढंग से चुने गए शीर्ष से प्रारंभ होता है। प्रत्येक चरण में, यह पथ में अगला किनारा चुनता है जिसका विलोपन ग्राफ़ को तब तक डिस्कनेक्ट नहीं करेगा जब तक कि ऐसा कोई किनारा न हो, इस स्थिति में यह वर्तमान शीर्ष पर बचे शेष किनारे को चुनता है। फिर यह उस किनारे के दूसरे अंतिम बिंदु पर चला जाता है और किनारे को हटा देता है। एल्गोरिदम के अंत में, कोई किनारा नहीं बचा है, और जिस अनुक्रम से किनारों को चुना गया था वह एक यूलेरियन चक्र बनाता है यदि ग्राफ़ में विषम डिग्री का कोई शीर्ष नहीं है, या एक यूलेरियन ट्रेल बनता है यदि विषम डिग्री के दो शीर्ष हैं।
जबकि फ़्ल्यूरी के एल्गोरिदम में ग्राफ़ ट्रैवर्सल किनारों की संख्या में रैखिक है, यानी , हमें ब्रिज (ग्राफ सिद्धांत) का पता लगाने की जटिलता को भी ध्यान में रखना होगा। यदि हमें रॉबर्ट टार्जन के रैखिक समय ब्रिज (ग्राफ़ सिद्धांत) को फिर से चलाना है#टार्जन का ब्रिज-फाइंडिंग एल्गोरिदम: ब्रिज-फाइंडिंग एल्गोरिदम[8] प्रत्येक किनारे को हटाने के बाद, फ़्ल्यूरी के एल्गोरिदम में समय की जटिलता होगी . का एक गतिशील ब्रिज-फाइंडिंग एल्गोरिदम Thorup (थोरुप) (2000) इसमें सुधार करने की अनुमति देता है , लेकिन यह अभी भी वैकल्पिक एल्गोरिदम की तुलना में अधिक धीमा है।
हियरहोल्ज़र का एल्गोरिदम
हायरहोल्ज़र का 1873 का पेपर यूलर चक्र खोजने के लिए एक अलग विधि प्रदान करता है जो फ़्ल्यूरी के एल्गोरिदम से अधिक कुशल है:
- कोई भी आरंभिक शीर्ष v चुनें, और उस शीर्ष से किनारों के निशान का अनुसरण तब तक करें जब तक कि v पर वापस न आ जाए। v के अलावा किसी भी शीर्ष पर अटक जाना संभव नहीं है, क्योंकि सभी शीर्षों की सम डिग्री यह सुनिश्चित करती है, जब निशान दूसरे शीर्ष में प्रवेश करता है w को छोड़कर कोई अप्रयुक्त किनारा अवश्य होना चाहिए। इस तरह से बनाया गया टूर एक सवृत टूर है, लेकिन प्रारंभिक ग्राफ़ के सभी शीर्षों और किनारों को कवर नहीं कर सकता है।
- जब तक एक शीर्ष u मौजूद है जो वर्तमान दौरे से संबंधित है लेकिन इसके निकटवर्ती किनारे दौरे का हिस्सा नहीं हैं, आप से एक और निशान प्रारंभ करें, अप्रयुक्त किनारों का अनुसरण करते हुए आपके पास लौटने तक, और इस तरह से बने दौरे में पिछले दौरे में शामिल हों।
- चूंकि हम मानते हैं कि मूल ग्राफ़ संबद्ध हुआ ग्राफ़ है, पिछले चरण को दोहराने से ग्राफ़ के सभी किनारे समाप्त हो जाएंगे।
प्रत्येक शीर्ष पर अप्रयुक्त किनारों के समुच्चय को बनाए रखने के लिए ड्यूल लिंक की गई सूची जैसी डेटा संरचना का उपयोग करके, वर्तमान दौरे पर उन शीर्षों की सूची को बनाए रखने के लिए जिनमें अप्रयुक्त किनारे हैं, और दौरे को बनाए रखने के लिए, व्यक्तिगत संचालन एल्गोरिदम (प्रत्येक शीर्ष से बाहर निकलने वाले अप्रयुक्त किनारों को ढूंढना, एक दौरे के लिए एक नया प्रारंभिक शीर्ष ढूंढना, और एक शीर्ष साझा करने वाले दो दौरे को जोड़ना) प्रत्येक निरंतर समय में किया जा सकता है, इसलिए समग्र एल्गोरिदम रैखिक समय लेता है, .[9]
इस एल्गोरिदम को द्वि श्रंखलित सुची के साथ भी प्रयुक्त किया जा सकता है। क्योंकि फंसना तभी संभव है जब डेक एक सवृत दौरे का प्रतिनिधित्व करता है, किसी को पूंछ से किनारों को हटाकर और उन्हें सिर से जोड़कर डेक को घुमाना चाहिए, और तब तक जारी रखना चाहिए जब तक कि सभी किनारों का हिसाब न हो जाए। इसमें रैखिक समय भी लगता है, क्योंकि निष्पादित घुमावों की संख्या कभी भी इससे अधिक नहीं होती है (सहज ज्ञान से, किसी भी खराब किनारे को सिर पर ले जाया जाता है, जबकि ताजा किनारों को पूंछ में जोड़ा जाता है)
यूलेरियन सर्किट की गिनती
जटिलता मुद्दे
निडिग्राफ में यूलेरियन सर्किट की संख्या की गणना तथाकथित बेस्ट प्रमेय का उपयोग करके की जा सकती है, जिसका नाम डी ब्रुइज़न, वैन आर्डेन-एरेनफेस्ट, स्मिथ और टुट्टे के नाम पर रखा गया है। सूत्र बताता है कि एक डिग्राफ में यूलेरियन सर्किट की संख्या कुछ डिग्री फैक्टोरियल और रूटेड आर्बोरेसेंस की संख्या का उत्पाद है। उत्तरार्द्ध की गणना आव्यूह ट्री प्रमेय द्वारा, एक बहुपद समय एल्गोरिथ्म देकर, एक निर्धारक के रूप में की जा सकती है।
BEST प्रमेय को पहली बार इस रूप में आर्डेन-एरेनफेस्ट और डी ब्रुइज़न पेपर (1951) में प्रमाण के रूप में जोड़े गए एक नोट में बताया गया है। मूल प्रमाण विशेषण प्रमाण था और डी ब्रुइज़न अनुक्रमों को सामान्यीकृत किया गया था। यह स्मिथ और टुट्टे (1941) के पहले परिणाम पर एक भिन्नता है।
अप्रत्यक्ष ग्राफ़ पर यूलेरियन सर्किट की संख्या की गणना करना अधिक कठिन है। इस समस्या को शार्प-पी-कम्प्लीट #पी-कम्प्लीट के रूप में जाना जाता है।[10] एक सकारात्मक दिशा में, कोट्ज़िग परिवर्तनों के माध्यम से एक मार्कोव श्रृंखला मोंटे कार्लो दृष्टिकोण (1968 में एंटोन कोट्ज़िग द्वारा प्रस्तुत) एक ग्राफ में यूलेरियन सर्किट की संख्या का तेजी से अनुमान लगाता है, हालांकि इसका अभी तक कोई प्रमाण नहीं है। तथ्य (सीमाबद्ध डिग्री के ग्राफ़ के लिए भी)।
विशेष मामले
संपूर्ण ग्राफ़ में यूलेरियन सर्किट की संख्या के लिए एक एसिम्प्टोटिक विश्लेषण ब्रेंडन मैके (गणितज्ञ) और रॉबिन्सन (1995) द्वारा निर्धारित किया गया था:[11]
इसी तरह का एक सूत्र बाद में एम.आई. द्वारा प्राप्त किया गया था। इसेव (2009) संपूर्ण द्विदलीय ग्राफ़ के लिए:[12]
अनुप्रयोग
यूलेरियन ट्रेल्स का उपयोग जैव सूचना विज्ञान में इसके टुकड़ों से डीएनए अनुक्रम को फिर से बनाने के लिए किया जाता है।[13] इष्टतम तर्क द्वार ऑर्डरिंग खोजने के लिए इनका उपयोग सीएमओएस सर्किट डिजाइन में भी किया जाता है।[14] ट्री (ग्राफ सिद्धांत) को संसाधित करने के लिए कुछ एल्गोरिदम हैं जो ट्री के यूलर टूर पर निर्भर करते हैं (जहां प्रत्येक किनारे को आर्क की एक जोड़ी के रूप में माना जाता है)।[15][16] डी ब्रुइज़न अनुक्रमों का निर्माण डी ब्रुइज़न ग्राफ़ के यूलेरियन ट्रेल्स के रूप में किया जा सकता है।[17]
अनंत ग्राफ़ में
अनंत ग्राफ़ में, यूलेरियन ट्रेल या यूलेरियन चक्र की संबंधित अवधारणा एक यूलेरियन लाइन है, एक दोगुना-अनंत निशान जो ग्राफ़ के सभी किनारों को कवर करता है। इस तरह के निशान के अस्तित्व के लिए यह पर्याप्त नहीं है कि ग्राफ संबद्ध हो और सभी शीर्ष डिग्री सम हों; उदाहरण के लिए, दिखाया गया अनंत केली ग्राफ, जिसमें सभी शीर्ष डिग्री चार के बराबर हैं, में कोई यूलेरियन रेखा नहीं है। यूलेरियन रेखाओं वाले अनंत ग्राफ़ की विशेषता एर्डोज़, ग्रुनवाल्ड और वीज़फेल्ड (1936) द्वारा की गई थी। एक अनंत ग्राफ़ या मल्टीग्राफ़ G के लिए एक यूलेरियन रेखा प्राप्त करने के लिए, यह आवश्यक और पर्याप्त है कि निम्नलिखित सभी शर्तें पूरी हों:[18][19]
- G संबद्ध है।
- G में शीर्षों और किनारों के गणनीय समुच्चय हैं।
- G में (परिमित) विषम डिग्री का कोई शीर्ष नहीं है।
- किसी भी परिमित उपसमूह को हटाना S से G शेष ग्राफ़ में अधिकतम दो अनंत संबद्ध हुए घटकों को छोड़ता है, और यदि S को हटाने पर इसके प्रत्येक शीर्ष पर सम डिग्री होती है S बिल्कुल एक अनंत संबद्ध हुआ घटक छोड़ता है।
अप्रत्यक्ष यूलेरियन ग्राफ़
यूलर ने एक परिमित ग्राफ के यूलेरियन होने के लिए एक आवश्यक शर्त बताई क्योंकि सभी शीर्षों की डिग्री सम होनी चाहिए। हिरहोल्ज़र ने 1873 में प्रकाशित एक पेपर में साबित किया कि यह एक पर्याप्त शर्त है। इससे निम्नलिखित आवश्यक और पर्याप्त कथन मिलता है कि एक परिमित ग्राफ को यूलेरियन होना चाहिए: एक अप्रत्यक्ष रूप से संबद्ध हुआ परिमित ग्राफ यूलेरियन है यदि और केवल यदि जी के प्रत्येक शीर्ष पर है सम डिग्री.[20]
निम्नलिखित परिणाम 1912 में वेब्लेन द्वारा सिद्ध किया गया था: एक अप्रत्यक्ष रूप से संबद्ध ग्राफ यूलेरियन है यदि और केवल यदि यह कुछ चक्रों का असंयुक्त संघ है।[20]
हायरहोल्ज़र ने एक अप्रत्यक्ष ग्राफ़ में यूलेरियन दौरे के निर्माण के लिए एक रैखिक समय एल्गोरिदम विकसित किया।
निर्देशित यूलेरियन ग्राफ
एक निर्देशित ग्राफ़ होना संभव है जिसमें सभी डिग्री सम-आउट हैं लेकिन ऑयलेरियन नहीं है। चूंकि एक यूलेरियन सर्किट एक शीर्ष को उतनी ही बार छोड़ता है जितनी बार वह उस शीर्ष में प्रवेश करता है, एक यूलेरियन सर्किट के अस्तित्व के लिए एक आवश्यक शर्त यह है कि प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर होती है। स्पष्ट रुप से कनेक्टिविटी भी जरूरी है. कोनिग ने साबित किया कि ये स्थितियाँ भी पर्याप्त हैं। अर्थात्, एक निर्देशित ग्राफ यूलेरियन है यदि और केवल यदि यह जुड़ा हुआ है और प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर हैं[20]
इस प्रमेय में इससे कोई फर्क नहीं पड़ता कि कनेक्टेड का अर्थ कमजोर रूप से संबद्ध हुआ है या दृढ़तापूर्वक से संबद्ध हुआ है क्योंकि वे यूलेरियन ग्राफ़ के लिए समकक्ष हैं।
यूलेरियन टूर के निर्माण के लिए हायरहोल्ज़र का रैखिक समय एल्गोरिदम निर्देशित ग्राफ़ पर भी प्रयुक्त होता है।[20]
मिश्रित यूलेरियन ग्राफ
यदि किसी मिश्रित ग्राफ़ में केवल सम अंश हैं, तो इसके यूलेरियन ग्राफ़ होने की गारंटी नहीं है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता एक आवश्यक लेकिन पर्याप्त शर्त नहीं है। यदि कोई मिश्रित ग्राफ़ सम और सममित है, तो उसके सममित होने की गारंटी है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता और सममित होना एक आवश्यक शर्त है। हालाँकि, यह एक आवश्यक और पर्याप्त शर्त नहीं है, क्योंकि ऐसा ग्राफ़ बनाना संभव है जो सममित न हो और फिर भी यूलेरियन हो।[21]
फोर्ड और फुलकरसन ने 1962 में अपनी पुस्तक फ्लोज़ इन नेटवर्क्स में एक ग्राफ के यूलेरियन होने के लिए एक आवश्यक और पर्याप्त शर्त साबित की, अर्थात, प्रत्येक शीर्ष सम होना चाहिए और संतुलन की स्थिति को पूरा करना चाहिए। शीर्ष S के प्रत्येक उपसमुच्चय के लिए, S को छोड़ने और S में प्रवेश करने वाले चापों की संख्या के बीच का अंतर S के साथ आपतित किनारों की संख्या से कम या उसके बराबर होना चाहिए। यह संतुलित सेट स्थिति है। एक मिश्रित और दृढ़ता से जुड़ा हुआ ग्राफ़ यूलेरियन है यदि और केवल यदि G सम और संतुलित है।[21]
यह जाँचने की प्रक्रिया कि क्या एक मिश्रित ग्राफ़ यूलेरियन है, यह जाँचने से अधिक कठिन है कि क्या एक अप्रत्यक्ष या निर्देशित ग्राफ़ यूलेरियन है क्योंकि संतुलित सेट की स्थिति शीर्षों के हर संभावित उपसमुच्चय से संबंधित होती है।
यह भी देखें
- यूलेरियन मैट्रोइड, यूलेरियन ग्राफ़ का एक अमूर्त सामान्यीकरण
- पांच कमरे की पहेली (फाइव रूम्स पजल )
- हैंडशेक लेम्मा , जिसे यूलर ने अपने मूल पेपर में सिद्ध किया है, यह दर्शाता है कि किसी भी अप्रत्यक्ष रूप से संबद्ध ग्राफ़ में विषम-डिग्री शीर्षों की संख्या सम होती है
- हैमिल्टनियन ट्रेल - एक ट्रेल जो प्रत्येक शीर्ष पर ठीक एक बार जाता है।
- मार्ग निरीक्षण समस्या, सबसे छोटे ट्रेल की खोज करें जो सभी किनारों पर जाता है, यदि यूलेरियन ट्रेल मौजूद नहीं है तो संभवतः किनारों को दोहराया जा सकता है।
- वेब्लेन का प्रमेय, जो बताता है कि सम शीर्ष डिग्री वाले ग्राफ़ को उनकी कनेक्टिविटी की परवाह किए बिना किनारे-असंबद्ध चक्रों में विभाजित किया जा सकता है
टिप्पणियाँ
- ↑ N. L. Biggs, E. K. Lloyd and R. J. Wilson, Graph Theory, 1736–1936, Clarendon Press, Oxford, 1976, 8–9, ISBN 0-19-853901-0.
- ↑ C. L. Mallows, N. J. A. Sloane (1975). "दो-ग्राफ़, स्विचिंग क्लास और यूलर ग्राफ़ संख्या में बराबर हैं" (PDF). SIAM Journal on Applied Mathematics. 28 (4): 876–880. doi:10.1137/0128070. JSTOR 2100368.
- ↑ 3.0 3.1 Some people reserve the terms path and cycle to mean non-self-intersecting path and cycle. A (potentially) self-intersecting path is known as a trail or an open walk; and a (potentially) self-intersecting cycle, a circuit or a closed walk. This ambiguity can be avoided by using the terms Eulerian trail and Eulerian circuit when self-intersection is allowed.
- ↑ Jun-ichi Yamaguchi, Introduction of Graph Theory.
- ↑ Schaum's outline of theory and problems of graph theory By V. K. Balakrishnan [1].
- ↑ Schrijver, A. (1983), "Bounds on the number of Eulerian orientations", Combinatorica, 3 (3–4): 375–380, doi:10.1007/BF02579193, MR 0729790, S2CID 13708977.
- ↑ Fleury, Pierre-Henry (1883), "Deux problèmes de Géométrie de situation", Journal de mathématiques élémentaires, 2nd ser. (in français), 2: 257–261.
- ↑ Tarjan, R. Endre (1974), "A note on finding the bridges of a graph", Information Processing Letters, 2 (6): 160–161, doi:10.1016/0020-0190(74)90003-9, MR 0349483.
- ↑ Fleischner, Herbert (1991), "X.1 Algorithms for Eulerian Trails", Eulerian Graphs and Related Topics: Part 1, Volume 2, Annals of Discrete Mathematics, vol. 50, Elsevier, pp. X.1–13, ISBN 978-0-444-89110-5.
- ↑ Brightwell and Winkler, "Note on Counting Eulerian Circuits", 2004.
- ↑ Brendan McKay and Robert W. Robinson, Asymptotic enumeration of eulerian circuits in the complete graph, Combinatorica, 10 (1995), no. 4, 367–377.
- ↑ M.I. Isaev (2009). "संपूर्ण द्विदलीय ग्राफ़ में यूलेरियन सर्किट की स्पर्शोन्मुख संख्या". Proc. 52-nd MFTI Conference (in русский). Moscow: 111–114.
- ↑ Pevzner, Pavel A.; Tang, Haixu; Waterman, Michael S. (2001). "डीएनए फ़्रैगमेंट असेंबली के लिए एक यूलेरियन ट्रेल दृष्टिकोण". Proceedings of the National Academy of Sciences of the United States of America. 98 (17): 9748–9753. Bibcode:2001PNAS...98.9748P. doi:10.1073/pnas.171285098. PMC 55524. PMID 11504945.
- ↑ Roy, Kuntal (2007). "Optimum Gate Ordering of CMOS Logic Gates Using Euler Path Approach: Some Insights and Explanations". Journal of Computing and Information Technology. 15 (1): 85–92. doi:10.2498/cit.1000731.
- ↑ Tarjan, Robert E.; Vishkin, Uzi (1985). "एक कुशल समानांतर बाइकनेक्टिविटी एल्गोरिदम". SIAM Journal on Computing. 14 (4): 862–874. CiteSeerX 10.1.1.465.8898. doi:10.1137/0214061.
- ↑ Berkman, Omer; Vishkin, Uzi (Apr 1994). "पेड़ों में स्तर-पूर्वजों को ढूँढना". J. Comput. Syst. Sci. 2. 48 (2): 214–230. doi:10.1016/S0022-0000(05)80002-9.
- ↑ Savage, Carla (January 1997). "कॉम्बिनेटोरियल ग्रे कोड का एक सर्वेक्षण". SIAM Review. 39 (4): 605–629. doi:10.1137/S0036144595295272. ISSN 0036-1445.
- ↑ Komjáth, Peter (2013), "Erdős's work on infinite graphs", Erdös centennial, Bolyai Soc. Math. Stud., vol. 25, János Bolyai Math. Soc., Budapest, pp. 325–345, doi:10.1007/978-3-642-39286-3_11, MR 3203602.
- ↑ Bollobás, Béla (1998), Modern graph theory, Graduate Texts in Mathematics, vol. 184, Springer-Verlag, New York, p. 20, doi:10.1007/978-1-4612-0619-4, ISBN 0-387-98488-7, MR 1633290.
- ↑ 20.0 20.1 20.2 20.3 Corberán, Ángel; Laporte, Gilbert, eds. (2015). Arc Routing | SIAM Digital Library. doi:10.1137/1.9781611973679. ISBN 978-1-61197-366-2. Retrieved 2022-08-19.
{{cite book}}
:|website=
ignored (help) - ↑ 21.0 21.1 Corberán, Ángel; Laporte, Gilbert, eds. (2015). Arc Routing | SIAM Digital Library. doi:10.1137/1.9781611973679. ISBN 978-1-61197-366-2. Retrieved 2022-08-19.
{{cite book}}
:|website=
ignored (help)
संदर्भ
- Erdõs, Pál; Grünwald, Tibor; Weiszfeld, Endre (1936), "Végtelen gráfok Euler vonalairól" [On Euler lines of infinite graphs] (PDF), Mat. Fix. Lapok (in magyar), 43: 129–140. Translated as Erdős, P.; Grünwald, T.; Vázsonyi, E. (1938), "Über Euler-Linien unendlicher Graphen" [On Eulerian lines in infinite graphs] (PDF), J. Math. Phys. (in Deutsch), 17 (1–4): 59–75, doi:10.1002/sapm193817159.
- Euler, L., "Solutio problematis ad geometriam situs pertinentis", Comment. Academiae Sci. I. Petropolitanae 8 (1736), 128–140.
- Hierholzer, Carl (1873), "Ueber die Möglichkeit, einen Linienzug ohne Wiederholung und ohne Unterbrechung zu umfahren", Mathematische Annalen, 6 (1): 30–32, doi:10.1007/BF01442866, S2CID 119885172.
- Lucas, E., Récréations Mathématiques IV, Paris, 1921.
- Fleury, "Deux problemes de geometrie de situation", Journal de mathematiques elementaires (1883), 257–261.
- T. van Aardenne-Ehrenfest and N. G. de Bruijn (1951) "Circuits and trees in oriented linear graphs", Simon Stevin 28: 203–217.
- Thorup, Mikkel (2000), "Near-optimal fully-dynamic graph connectivity", Proc. 32nd ACM Symposium on Theory of Computing, pp. 343–350, doi:10.1145/335305.335345, S2CID 128282
- W. T. Tutte and C. A. B. Smith (1941) "On Unicursal Paths in a Network of Degree 4", American Mathematical Monthly 48: 233–237.