यूलेरियन पाथ: Difference between revisions

From Vigyanwiki
m (Sugatha moved page यूलेरियन पथ to यूलेरियन पाथ without leaving a redirect)
No edit summary
 
(3 intermediate revisions by 3 users not shown)
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 में कोनिग्सबर्ग के प्रसिद्ध सेवेन ब्रिजेस समस्या को हल करते समय [[लियोनहार्ड यूलर]] द्वारा पहली बार उनकी चर्चा की गई थी। समस्या को गणितीय रूप से इस तरह बताया जा सकता है:
[[ग्राफ सिद्धांत]] में, एक '''यूलेरियन ट्रेल''' (या यूलेरियन ट्रेल) एक परिमित ग्राफ़ में एक ट्रेल है जो प्रत्येक किनारे पर मात्र  एक बार जाता है (शीर्षों पर फिर से जाने की अनुमति देता है)। इसी प्रकार, एक यूलेरियन सर्किट या यूलेरियन चक्र एक यूलेरियन ट्रेल है जो एक ही शीर्ष पर प्रारंभ और समाप्त होता है। 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> इसे '''यूलर प्रमेय''' के रूप में जाना जाता है:
यूलर ने सिद्ध किया कि यूलेरियन परिपथ के अस्तित्व के लिए एक आवश्यक शर्त यह है कि ग्राफ के सभी शीर्षों की डिग्री एक समान हो, और बिना किसी प्रमाण के कहा गया कि सम डिग्री के सभी शीर्षों वाला एक संबद्ध हुआ ग्राफ एक यूलेरियन परिपथ है। इस बाद के दावे का पहला पूर्ण प्रमाण 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>{{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">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>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> शब्द "यूलेरियन ग्राफ" का उपयोग कभी-कभी कमजोर अर्थ में एक ऐसे ग्राफ को दर्शाने के लिए भी किया जाता है जहां प्रत्येक शीर्ष पर एक सम डिग्री होती है। परिमित संबद्ध ग्राफ़ के लिए दो परिभाषाएँ समतुल्य हैं, जबकि संभावित रूप से असंबद्ध ग्राफ़ कमज़ोर अर्थ में यूलेरियन है यदि और केवल तभी जब प्रत्येक संबद्ध घटक में एक यूलेरियन चक्र हो।
एक यूलेरियन चक्र,<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> शब्द "यूलेरियन ग्राफ" का उपयोग कभी-कभी कमजोर अर्थ में एक ऐसे ग्राफ को दर्शाने के लिए भी किया जाता है जहां प्रत्येक शीर्ष पर एक सम डिग्री होती है। परिमित संबद्ध ग्राफ़ के लिए दो परिभाषाएँ समतुल्य हैं, जबकि संभावित रूप से असंबद्ध ग्राफ़ कमज़ोर अर्थ में यूलेरियन है यदि और केवल तभी जब प्रत्येक संबद्ध घटक में एक यूलेरियन चक्र हो।


निर्देशित ग्राफ़ के लिए, "पथ" को निर्देशित पथ से और "चक्र" को निर्देशित चक्र से प्रतिस्थापित करना होगा।
निर्देशित ग्राफ़ के लिए, "पथ" को निर्देशित पथ से और "चक्र" को निर्देशित चक्र से प्रतिस्थापित करना होगा।
Line 26: Line 25:
यूलेरियन ट्रेल्स, चक्र और ग्राफ़ की परिभाषा और गुण मल्टीग्राफ के लिए भी मान्य हैं।
यूलेरियन ट्रेल्स, चक्र और ग्राफ़ की परिभाषा और गुण मल्टीग्राफ के लिए भी मान्य हैं।


एक अप्रत्यक्ष ग्राफ ''G'' का यूलेरियन अभिविन्यास, ''G'' के प्रत्येक किनारे के लिए एक दिशा का असाइनमेंट है, जैसे कि, प्रत्येक शीर्ष ''v'' पर, v की इन-डिग्री, ''v'' के आउटडिग्री के बराबर होती है। ऐसा अभिविन्यास किसी भी अप्रत्यक्ष ग्राफ के लिए मौजूद होता है जिसमें प्रत्येक वर्टेक्स में सम डिग्री है, और जी के प्रत्येक संबद्ध घटक में एक यूलर टूर का निर्माण करके और फिर टूर के अनुसार किनारों को उन्मुख करके पाया जा सकता है।<ref>{{citation
एक अप्रत्यक्ष ग्राफ ''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 44: Line 43:
*एक निर्देशित ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल यदि एक शीर्ष पर (आउट-डिग्री) - (इन-डिग्री) = 1 हो, अधिकतम एक शीर्ष पर (इन-डिग्री) - (आउट-डिग्री) = 1 हो, प्रत्येक अन्य शीर्ष में इन-डिग्री और आउट-डिग्री समान है, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष अंतर्निहित अप्रत्यक्ष ग्राफ के एक एकल संबद्ध घटक से संबंधित हैं
*एक निर्देशित ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल यदि एक शीर्ष पर (आउट-डिग्री) - (इन-डिग्री) = 1 हो, अधिकतम एक शीर्ष पर (इन-डिग्री) - (आउट-डिग्री) = 1 हो, प्रत्येक अन्य शीर्ष में इन-डिग्री और आउट-डिग्री समान है, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष अंतर्निहित अप्रत्यक्ष ग्राफ के एक एकल संबद्ध घटक से संबंधित हैं


== यूलेरियन ट्रेल्स और सर्किट का निर्माण ==
== यूलेरियन ट्रेल्स और परिपथ का निर्माण ==
[[File:Eulerian_path_puzzles.svg|thumb|250px|निरंतर स्ट्रोक के साथ एक आकृति बनाने से जुड़ी पहेलियों को हल करने के लिए यूलेरियन ट्रेल्स का उपयोग करना: {{olist
[[File:Eulerian_path_puzzles.svg|thumb|250px|निरंतर स्ट्रोक के साथ एक आकृति बनाने से जुड़ी पहेलियों को हल करने के लिए यूलेरियन ट्रेल्स का उपयोग करना: {{olist
     |As the [[:de:Haus vom Nikolaus|Haus vom Nikolaus puzzle]] has two odd vertices (orange), the trail must start at one and end at the other.
     |As the [[:de:Haus vom Nikolaus|Haus vom Nikolaus puzzle]] has two odd vertices (orange), the trail must start at one and end at the other.
Line 69: Line 68:
हायरहोल्ज़र का 1873 का पेपर यूलर चक्र खोजने के लिए एक अलग विधि प्रदान करता है जो फ़्ल्यूरी के एल्गोरिदम से अधिक कुशल है:
हायरहोल्ज़र का 1873 का पेपर यूलर चक्र खोजने के लिए एक अलग विधि प्रदान करता है जो फ़्ल्यूरी के एल्गोरिदम से अधिक कुशल है:
*कोई भी आरंभिक शीर्ष v चुनें, और उस शीर्ष से किनारों के निशान का अनुसरण तब तक करें जब तक कि v पर वापस न आ जाए। v के अलावा किसी भी शीर्ष पर अटक जाना संभव नहीं है, क्योंकि सभी शीर्षों की सम डिग्री यह सुनिश्चित करती है, जब निशान दूसरे शीर्ष में प्रवेश करता है w को छोड़कर कोई अप्रयुक्त किनारा अवश्य होना चाहिए। इस तरह से बनाया गया टूर एक सवृत टूर है, लेकिन प्रारंभिक ग्राफ़ के सभी शीर्षों और किनारों को कवर नहीं कर सकता है।
*कोई भी आरंभिक शीर्ष v चुनें, और उस शीर्ष से किनारों के निशान का अनुसरण तब तक करें जब तक कि v पर वापस न आ जाए। v के अलावा किसी भी शीर्ष पर अटक जाना संभव नहीं है, क्योंकि सभी शीर्षों की सम डिग्री यह सुनिश्चित करती है, जब निशान दूसरे शीर्ष में प्रवेश करता है w को छोड़कर कोई अप्रयुक्त किनारा अवश्य होना चाहिए। इस तरह से बनाया गया टूर एक सवृत टूर है, लेकिन प्रारंभिक ग्राफ़ के सभी शीर्षों और किनारों को कवर नहीं कर सकता है।
*जब तक एक शीर्ष ''u'' मौजूद है जो वर्तमान दौरे से संबंधित है लेकिन इसके निकटवर्ती किनारे दौरे का हिस्सा नहीं हैं, आप से एक और निशान प्रारंभ करें, अप्रयुक्त किनारों का अनुसरण करते हुए आपके पास लौटने तक, और इस तरह से बने दौरे में पिछले दौरे में शामिल हों।
*जब तक एक शीर्ष ''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>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>
Line 76: Line 75:
{{Hamiltonian_platonic_graphs.svg}}
{{Hamiltonian_platonic_graphs.svg}}


==यूलेरियन सर्किट की गिनती==
==यूलेरियन परिपथ की गिनती==


=== जटिलता मुद्दे ===
=== जटिलता मुद्दे ===
निडिग्राफ में यूलेरियन सर्किट की संख्या की गणना तथाकथित '''बेस्ट प्रमेय''' का उपयोग करके की जा सकती है, जिसका नाम डी ब्रुइज़न, वैन आर्डेन-एरेनफेस्ट, स्मिथ और टुट्टे  के नाम पर रखा गया है। सूत्र बताता है कि एक डिग्राफ में यूलेरियन सर्किट की संख्या कुछ डिग्री फैक्टोरियल और रूटेड आर्बोरेसेंस की संख्या का उत्पाद है। उत्तरार्द्ध की गणना आव्यूह ट्री प्रमेय द्वारा, एक बहुपद समय एल्गोरिथ्म देकर, एक निर्धारक के रूप में की जा सकती है।
निडिग्राफ में यूलेरियन परिपथ की संख्या की गणना तथाकथित '''बेस्ट प्रमेय''' का उपयोग करके की जा सकती है, जिसका नाम डी ब्रुइज़न, वैन आर्डेन-एरेनफेस्ट, स्मिथ और टुट्टे  के नाम पर रखा गया है। सूत्र बताता है कि एक डिग्राफ में यूलेरियन परिपथ की संख्या कुछ डिग्री फैक्टोरियल और रूटेड आर्बोरेसेंस की संख्या का उत्पाद है। उत्तरार्द्ध की गणना आव्यूह ट्री प्रमेय द्वारा, एक बहुपद समय एल्गोरिथ्म देकर, एक निर्धारक के रूप में की जा सकती है।


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 में एंटोन कोट्ज़िग द्वारा प्रस्तुत) एक ग्राफ में यूलेरियन सर्किट की संख्या का तेजी से अनुमान लगाता है, हालांकि इसका अभी तक कोई प्रमाण नहीं है। तथ्य (सीमाबद्ध डिग्री के ग्राफ़ के लिए भी)।
अप्रत्यक्ष ग्राफ़ पर यूलेरियन परिपथ की संख्या की गणना करना अधिक कठिन है। इस समस्या को शार्प-पी-कम्प्लीट #पी-कम्प्लीट के रूप में जाना जाता है।<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 में एंटोन कोट्ज़िग द्वारा प्रस्तुत) एक ग्राफ में यूलेरियन परिपथ की संख्या का तेजी से अनुमान लगाता है, हालांकि इसका अभी तक कोई प्रमाण नहीं है। तथ्य (सीमाबद्ध डिग्री के ग्राफ़ के लिए भी)।


=== विशेष मामले ===
=== विशेष मामले ===
संपूर्ण ग्राफ़ में यूलेरियन सर्किट की संख्या के लिए एक एसिम्प्टोटिक विश्लेषण ब्रेंडन मैके (गणितज्ञ) और रॉबिन्सन (1995) द्वारा निर्धारित किया गया था:<ref>[[Brendan McKay (mathematician)|Brendan McKay]] and Robert W. Robinson, [http://cs.anu.edu.au/~bdm/papers/euler.pdf Asymptotic enumeration of eulerian circuits in the complete graph], ''[[Combinatorica]]'', 10 (1995), no. 4, 367–377.</ref>
संपूर्ण ग्राफ़ में यूलेरियन परिपथ की संख्या के लिए एक एसिम्प्टोटिक विश्लेषण ब्रेंडन मैके (गणितज्ञ) और रॉबिन्सन (1995) द्वारा निर्धारित किया गया था:<ref>[[Brendan McKay (mathematician)|Brendan McKay]] and Robert W. Robinson, [http://cs.anu.edu.au/~bdm/papers/euler.pdf Asymptotic enumeration of eulerian circuits in the complete graph], ''[[Combinatorica]]'', 10 (1995), no. 4, 367–377.</ref>
:<math>
:<math>
\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).
Line 94: Line 93:
\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).
</math>
</math>
== अनुप्रयोग ==
== अनुप्रयोग ==
यूलेरियन ट्रेल्स का उपयोग जैव सूचना विज्ञान में इसके टुकड़ों से डीएनए अनुक्रम को फिर से बनाने के लिए किया जाता है।<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>
यूलेरियन ट्रेल्स का उपयोग जैव सूचना विज्ञान में इसके टुकड़ों से डीएनए अनुक्रम को फिर से बनाने के लिए किया जाता है।<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|एक अनंत ग्राफ़ जिसके सभी शीर्ष अंश चार के बराबर हैं लेकिन कोई यूलेरियन रेखा नहीं है]]अनंत ग्राफ़ में, यूलेरियन ट्रेल या यूलेरियन चक्र की संबंधित अवधारणा एक यूलेरियन लाइन है, एक दोगुना-अनंत निशान जो ग्राफ़ के सभी किनारों को कवर करता है। इस तरह के निशान के अस्तित्व के लिए यह पर्याप्त नहीं है कि ग्राफ संबद्ध हो और सभी शीर्ष डिग्री सम हों; उदाहरण के लिए, दिखाया गया अनंत केली ग्राफ, जिसमें सभी शीर्ष डिग्री चार के बराबर हैं, में कोई यूलेरियन रेखा नहीं है। यूलेरियन रेखाओं वाले अनंत ग्राफ़ की विशेषता एर्डोज़, ग्रुनवाल्ड और वीज़फेल्ड (1936) द्वारा की गई थी। एक अनंत ग्राफ़ या मल्टीग्राफ़ G के लिए एक यूलेरियन रेखा प्राप्त करने के लिए, यह आवश्यक और पर्याप्त है कि निम्नलिखित सभी शर्तें पूरी हों:<ref>{{citation
[[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
Line 133: Line 130:


== निर्देशित यूलेरियन ग्राफ ==
== निर्देशित यूलेरियन ग्राफ ==
एक निर्देशित ग्राफ़ होना संभव है जिसमें सभी डिग्री सम-आउट हैं लेकिन ऑयलेरियन नहीं है। चूंकि एक यूलेरियन सर्किट एक शीर्ष को उतनी ही बार छोड़ता है जितनी बार वह उस शीर्ष में प्रवेश करता है, एक यूलेरियन सर्किट के अस्तित्व के लिए एक आवश्यक शर्त यह है कि प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर होती है। स्पष्ट रुप से कनेक्टिविटी भी जरूरी है. कोनिग ने साबित किया कि ये स्थितियाँ भी पर्याप्त हैं। अर्थात्, एक निर्देशित ग्राफ यूलेरियन है यदि और केवल यदि यह जुड़ा हुआ है और प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर हैं<ref name=":0" />
एक निर्देशित ग्राफ़ होना संभव है जिसमें सभी डिग्री सम-आउट हैं लेकिन ऑयलेरियन नहीं है। चूंकि एक यूलेरियन परिपथ एक शीर्ष को उतनी ही बार छोड़ता है जितनी बार वह उस शीर्ष में प्रवेश करता है, एक यूलेरियन परिपथ के अस्तित्व के लिए एक आवश्यक शर्त यह है कि प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर होती है। स्पष्ट रुप से कनेक्टिविटी भी जरूरी है. कोनिग ने साबित किया कि ये स्थितियाँ भी पर्याप्त हैं। अर्थात्, एक निर्देशित ग्राफ यूलेरियन है यदि और केवल यदि यह जुड़ा हुआ है और प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर हैं<ref name=":0" />


इस प्रमेय में इससे कोई फर्क नहीं पड़ता कि कनेक्टेड का अर्थ कमजोर रूप से संबद्ध हुआ है या दृढ़तापूर्वक से संबद्ध हुआ है क्योंकि वे यूलेरियन ग्राफ़ के लिए समकक्ष हैं।
इस प्रमेय में इससे कोई फर्क नहीं पड़ता कि कनेक्टेड का अर्थ कमजोर रूप से संबद्ध हुआ है या दृढ़तापूर्वक से संबद्ध हुआ है क्योंकि वे यूलेरियन ग्राफ़ के लिए समकक्ष हैं।


यूलेरियन टूर के निर्माण के लिए हायरहोल्ज़र का रैखिक समय एल्गोरिदम निर्देशित ग्राफ़ पर भी प्रयुक्त होता है।<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.]]यदि किसी मिश्रित ग्राफ़ में केवल सम अंश हैं, तो इसके यूलेरियन ग्राफ़ होने की गारंटी नहीं है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता एक आवश्यक लेकिन पर्याप्त शर्त नहीं है। यदि कोई मिश्रित ग्राफ़ सम और सममित है, तो उसके सममित होने की गारंटी है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता और सममित होना एक आवश्यक शर्त है। हालाँकि, यह एक आवश्यक और पर्याप्त शर्त नहीं है, क्योंकि ऐसा ग्राफ़ बनाना संभव है जो सममित न हो और फिर भी यूलेरियन हो।<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>
[[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>
Line 145: Line 140:


यह जाँचने की प्रक्रिया कि क्या एक मिश्रित ग्राफ़ यूलेरियन है, यह जाँचने से अधिक कठिन है कि क्या एक अप्रत्यक्ष या निर्देशित ग्राफ़ यूलेरियन है क्योंकि संतुलित सेट की स्थिति शीर्षों के हर संभावित उपसमुच्चय से संबंधित होती है।[[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 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.|233x233px]]
 
 
 
 
 
 
 
 
 
 


[[Category:All articles with unsourced statements]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Articles with unsourced statements from June 2021]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 magyar-language sources (hu)]]
[[Category:CS1 русский-language sources (ru)]]
[[Category:Commons category link is locally defined]]
[[Category:Created On 25/06/2023]]
[[Category:Machine Translated Page]]


== यह भी देखें ==
== यह भी देखें ==
Line 163: Line 158:
* हैंडशेक लेम्मा , जिसे यूलर ने अपने मूल पेपर में सिद्ध किया है, यह दर्शाता है कि किसी भी अप्रत्यक्ष रूप से संबद्ध ग्राफ़ में विषम-डिग्री शीर्षों की संख्या सम होती है
* हैंडशेक लेम्मा , जिसे यूलर ने अपने मूल पेपर में सिद्ध किया है, यह दर्शाता है कि किसी भी अप्रत्यक्ष रूप से संबद्ध ग्राफ़ में विषम-डिग्री शीर्षों की संख्या सम होती है
* [[हैमिल्टनियन पथ|हैमिल्टनियन ट्रेल]] - एक ट्रेल जो प्रत्येक शीर्ष पर ठीक एक बार जाता है।
* [[हैमिल्टनियन पथ|हैमिल्टनियन ट्रेल]] - एक ट्रेल जो प्रत्येक शीर्ष पर ठीक एक बार जाता है।
* मार्ग निरीक्षण समस्या, सबसे छोटे ट्रेल की खोज करें जो सभी किनारों पर जाता है, यदि यूलेरियन ट्रेल मौजूद नहीं है तो संभवतः किनारों को दोहराया जा सकता है।
* मार्ग निरीक्षण समस्या, सबसे छोटे ट्रेल की खोज करें जो सभी किनारों पर जाता है, यदि यूलेरियन ट्रेल उपस्थित नहीं है तो संभवतः किनारों को दोहराया जा सकता है।
* वेब्लेन का प्रमेय, जो बताता है कि सम शीर्ष डिग्री वाले ग्राफ़ को उनकी कनेक्टिविटी की परवाह किए बिना किनारे-असंबद्ध चक्रों में विभाजित किया जा सकता है
* वेब्लेन का प्रमेय, जो बताता है कि सम शीर्ष डिग्री वाले ग्राफ़ को उनकी कनेक्टिविटी की परवाह किए बिना किनारे-असंबद्ध चक्रों में विभाजित किया जा सकता है


Line 217: Line 212:
* [http://mathforum.org/kb/message.jspa?messageID=3648262&tstart=135 Discussion of early mentions of Fleury's algorithm].
* [http://mathforum.org/kb/message.jspa?messageID=3648262&tstart=135 Discussion of early mentions of Fleury's algorithm].
* [http://www.encyclopediaofmath.org/index.php/Euler_tour ''Euler tour''] at [[Encyclopedia of Mathematics]].
* [http://www.encyclopediaofmath.org/index.php/Euler_tour ''Euler tour''] at [[Encyclopedia of Mathematics]].
[[Category: ग्राफ़ सिद्धांत वस्तुएँ]] [[Category: लियोनहार्ड यूलर]]


 
[[Category:All articles with unsourced statements]]
 
[[Category:Articles with invalid date parameter in template]]
[[Category: Machine Translated Page]]
[[Category:Articles with unsourced statements from June 2021]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 magyar-language sources (hu)]]
[[Category:CS1 русский-language sources (ru)]]
[[Category:Commons category link is locally defined]]
[[Category:Created On 25/06/2023]]
[[Category:Created On 25/06/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:ग्राफ़ सिद्धांत वस्तुएँ]]
[[Category:लियोनहार्ड यूलर]]

Latest revision as of 12:10, 14 July 2023

कोनिग्सबर्ग पुलों और पांच कमरे वाली पहेलियों के मल्टीग्राफ में दो से अधिक विषम शीर्ष (नारंगी रंग में) हैं, इस प्रकार ये यूलेरियन नहीं हैं और इसलिए पहेलियों का कोई समाधान नहीं है।
इस ग्राफ़ के प्रत्येक शीर्ष पर एक सम डिग्री (ग्राफ़ सिद्धांत) है। इसलिए, यह एक ऑयलेरियन ग्राफ है। किनारों का वर्णानुक्रम में अनुसरण करने से एक यूलेरियन परिपथ/चक्र प्राप्त होता है।

ग्राफ सिद्धांत में, एक यूलेरियन ट्रेल (या यूलेरियन पाथ) एक परिमित ग्राफ़ में एक ट्रेल है जो प्रत्येक किनारे पर मात्र  एक बार जाता है (शीर्षों पर फिर से जाने की अनुमति देता है)। इसी प्रकार, एक यूलेरियन परिपथ या यूलेरियन चक्र एक यूलेरियन ट्रेल है जो एक ही शीर्ष पर प्रारंभ और समाप्त होता है। 1736 में कोनिग्सबर्ग के प्रसिद्ध सेवेन ब्रिजेस समस्या को हल करते समय लियोनहार्ड यूलर द्वारा पहली बार उनकी चर्चा की गई थी। समस्या को गणितीय रूप से इस तरह बताया जा सकता है:

छवि में ग्राफ़ को देखते हुए, क्या एक ट्रेल (या एक चक्र; यानी, एक ही शीर्ष पर प्रारंभ और समाप्त होने वाला ट्रेल) बनाना संभव है जो प्रत्येक किनारे पर बिल्कुल एक बार जाता है?

यूलर ने सिद्ध किया कि यूलेरियन परिपथ के अस्तित्व के लिए एक आवश्यक शर्त यह है कि ग्राफ के सभी शीर्षों की डिग्री एक समान हो, और बिना किसी प्रमाण के कहा गया कि सम डिग्री के सभी शीर्षों वाला एक संबद्ध हुआ ग्राफ एक यूलेरियन परिपथ है। इस बाद के दावे का पहला पूर्ण प्रमाण 1873 में कार्ल हायरहोल्ज़र द्वारा मरणोपरांत प्रकाशित किया गया था।[1] इसे यूलर प्रमेय के रूप में जाना जाता है:

एक कनेक्टेड ग्राफ़ में एक यूलर चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर एक सम डिग्री हो।

ग्राफ़ सिद्धांत में यूलेरियन ग्राफ़ शब्द के दो सामान्य अर्थ हैं। एक अर्थ यूलेरियन परिपथ वाला एक ग्राफ है, और दूसरा सम डिग्री के प्रत्येक शीर्ष वाला एक ग्राफ है। ये परिभाषाएँ संबद्ध हुए ग्राफ़ के लिए मेल खाती हैं[2]

यूलेरियन ट्रेल्स के अस्तित्व के लिए, यह आवश्यक है कि शून्य या दो शीर्षों की एक विषम डिग्री हो; इसका अर्थ यह है कि कोनिग्सबर्ग ग्राफ़ यूलेरियन नहीं है। यदि विषम डिग्री के कोई शीर्ष नहीं हैं, तो सभी यूलेरियन ट्रेल्स परिपथ हैं। यदि विषम डिग्री के बिल्कुल दो शीर्ष हैं, तो सभी यूलेरियन ट्रेल्स उनमें से एक पर प्रारंभ होते हैं और दूसरे पर समाप्त होते हैं। एक ग्राफ़ जिसमें यूलेरियन ट्रेल तो है लेकिन यूलेरियन परिपथ नहीं है, उसे अर्ध-यूलेरियन कहा जाता है।

परिभाषा

एक यूलेरियन ट्रेल,[3] या यूलर वॉक, एक अप्रत्यक्ष ग्राफ़ में, एक ऐसा वॉक है जो प्रत्येक किनारे का ठीक एक बार उपयोग करता है। यदि ऐसी कोई चाल उपस्थित है, तो ग्राफ़ को ट्रैवर्सेबल या सेमी-यूलेरियन कहा जाता है[4]

एक यूलेरियन चक्र,[3] जिसे यूलेरियन परिपथ या यूलर टूर भी कहा जाता है, एक अप्रत्यक्ष ग्राफ़ में एक चक्र है जो प्रत्येक किनारे का ठीक एक बार उपयोग करता है। यदि ऐसा कोई चक्र उपस्थित है, तो ग्राफ़ को यूलेरियन या यूनिकर्सल कहा जाता है।[5] शब्द "यूलेरियन ग्राफ" का उपयोग कभी-कभी कमजोर अर्थ में एक ऐसे ग्राफ को दर्शाने के लिए भी किया जाता है जहां प्रत्येक शीर्ष पर एक सम डिग्री होती है। परिमित संबद्ध ग्राफ़ के लिए दो परिभाषाएँ समतुल्य हैं, जबकि संभावित रूप से असंबद्ध ग्राफ़ कमज़ोर अर्थ में यूलेरियन है यदि और केवल तभी जब प्रत्येक संबद्ध घटक में एक यूलेरियन चक्र हो।

निर्देशित ग्राफ़ के लिए, "पथ" को निर्देशित पथ से और "चक्र" को निर्देशित चक्र से प्रतिस्थापित करना होगा।

यूलेरियन ट्रेल्स, चक्र और ग्राफ़ की परिभाषा और गुण मल्टीग्राफ के लिए भी मान्य हैं।

एक अप्रत्यक्ष ग्राफ G का यूलेरियन अभिविन्यास, G के प्रत्येक किनारे के लिए एक दिशा का असाइनमेंट है, जैसे कि, प्रत्येक शीर्ष v पर, v की इन-डिग्री, v के आउटडिग्री के बराबर होती है। ऐसा अभिविन्यास किसी भी अप्रत्यक्ष ग्राफ के लिए उपस्थित होता है जिसमें प्रत्येक वर्टेक्स में सम डिग्री है, और जी के प्रत्येक संबद्ध घटक में एक यूलर टूर का निर्माण करके और फिर टूर के अनुसार किनारों को उन्मुख करके पाया जा सकता है।[6] कनेक्टेड ग्राफ़ का प्रत्येक यूलेरियन ओरिएंटेशन एक मजबूत ओरिएंटेशन है, एक ओरिएंटेशन जो परिणामी निर्देशित ग्राफ़ को दृढ़ता से कनेक्ट करता है।

गुण

  • एक अप्रत्यक्ष ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर एक सम डिग्री हो, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष एक एकल संबद्ध घटक से संबंधित हों
  • एक अप्रत्यक्ष ग्राफ़ को किनारे-असंयुक्त चक्रों में विघटित किया जा सकता है यदि और केवल तभी जब इसके सभी शीर्षों की डिग्री सम हो। तो, एक ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब इसे किनारे-असंबद्ध चक्रों में विघटित किया जा सके और इसके गैर-शून्य-डिग्री कोने एक एकल संबद्ध घटक से संबंधित हों।
  • एक अप्रत्यक्ष ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल तभी जब बिल्कुल शून्य या दो शीर्षों में विषम डिग्री होती है, और गैर-शून्य डिग्री वाले इसके सभी कोने एक एकल संबद्ध घटक से संबंधित होते हैं
  • एक निर्देशित ग्राफ़ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री समान हो, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष एक ही दृढ़तापूर्वक से संबद्ध घटक से संबंधित हों। समान रूप से, एक निर्देशित ग्राफ में एक यूलेरियन चक्र होता है यदि और केवल तभी जब इसे किनारे-असंबद्ध निर्देशित चक्रों में विघटित किया जा सके और गैर-शून्य डिग्री वाले इसके सभी कोने एक ही दृढ़तापूर्वक से संबद्ध घटक से संबंधित हों
  • एक निर्देशित ग्राफ़ में एक यूलेरियन ट्रेल होता है यदि और केवल यदि एक शीर्ष पर (आउट-डिग्री) - (इन-डिग्री) = 1 हो, अधिकतम एक शीर्ष पर (इन-डिग्री) - (आउट-डिग्री) = 1 हो, प्रत्येक अन्य शीर्ष में इन-डिग्री और आउट-डिग्री समान है, और गैर-शून्य डिग्री वाले इसके सभी शीर्ष अंतर्निहित अप्रत्यक्ष ग्राफ के एक एकल संबद्ध घटक से संबंधित हैं

यूलेरियन ट्रेल्स और परिपथ का निर्माण

निरंतर स्ट्रोक के साथ एक आकृति बनाने से जुड़ी पहेलियों को हल करने के लिए यूलेरियन ट्रेल्स का उपयोग करना:
  1. As the Haus vom Nikolaus puzzle has two odd vertices (orange), the trail must start at one and end at the other.
  2. Annie Pope's with four odd vertices has no solution.
  3. If there are no odd vertices, the trail can start anywhere and forms an Eulerian cycle.
  4. Loose ends are considered vertices of degree 1.

फ़्ल्यूरी का एल्गोरिदम

फ़्ल्यूरी का एल्गोरिदम एक सुंदर लेकिन अप्रभावी एल्गोरिदम है जो 1883 का है।[7] एक ऐसे ग्राफ़ पर विचार करें जिसके सभी किनारे एक ही घटक में हों और अधिकतम दो शीर्ष विषम डिग्री के हों। एल्गोरिथ्म विषम डिग्री के शीर्ष पर प्रारंभ होता है, या, यदि ग्राफ़ में कोई नहीं है, तो यह मनमाने ढंग से चुने गए शीर्ष से प्रारंभ होता है। प्रत्येक चरण में, यह पथ में अगला किनारा चुनता है जिसका विलोपन ग्राफ़ को तब तक डिस्कनेक्ट नहीं करेगा जब तक कि ऐसा कोई किनारा न हो, इस स्थिति में यह वर्तमान शीर्ष पर बचे शेष किनारे को चुनता है। फिर यह उस किनारे के दूसरे अंतिम बिंदु पर चला जाता है और किनारे को हटा देता है। एल्गोरिदम के अंत में, कोई किनारा नहीं बचा है, और जिस अनुक्रम से किनारों को चुना गया था वह एक यूलेरियन चक्र बनाता है यदि ग्राफ़ में विषम डिग्री का कोई शीर्ष नहीं है, या एक यूलेरियन ट्रेल बनता है यदि विषम डिग्री के दो शीर्ष हैं।

जबकि फ़्ल्यूरी के एल्गोरिदम में ग्राफ़ ट्रैवर्सल किनारों की संख्या में रैखिक है, यानी , हमें ब्रिज (ग्राफ सिद्धांत) का पता लगाने की जटिलता को भी ध्यान में रखना होगा। यदि हमें रॉबर्ट टार्जन के रैखिक समय ब्रिज (ग्राफ़ सिद्धांत) को फिर से चलाना है#टार्जन का ब्रिज-फाइंडिंग एल्गोरिदम: ब्रिज-फाइंडिंग एल्गोरिदम[8] प्रत्येक किनारे को हटाने के बाद, फ़्ल्यूरी के एल्गोरिदम में समय की जटिलता होगी . का एक गतिशील ब्रिज-फाइंडिंग एल्गोरिदम Thorup (थोरुप) (2000) इसमें सुधार करने की अनुमति देता है , लेकिन यह अभी भी वैकल्पिक एल्गोरिदम की तुलना में अधिक धीमा है।

हियरहोल्ज़र का एल्गोरिदम

हायरहोल्ज़र का 1873 का पेपर यूलर चक्र खोजने के लिए एक अलग विधि प्रदान करता है जो फ़्ल्यूरी के एल्गोरिदम से अधिक कुशल है:

  • कोई भी आरंभिक शीर्ष v चुनें, और उस शीर्ष से किनारों के निशान का अनुसरण तब तक करें जब तक कि v पर वापस न आ जाए। v के अलावा किसी भी शीर्ष पर अटक जाना संभव नहीं है, क्योंकि सभी शीर्षों की सम डिग्री यह सुनिश्चित करती है, जब निशान दूसरे शीर्ष में प्रवेश करता है w को छोड़कर कोई अप्रयुक्त किनारा अवश्य होना चाहिए। इस तरह से बनाया गया टूर एक सवृत टूर है, लेकिन प्रारंभिक ग्राफ़ के सभी शीर्षों और किनारों को कवर नहीं कर सकता है।
  • जब तक एक शीर्ष u उपस्थित है जो वर्तमान दौरे से संबंधित है लेकिन इसके निकटवर्ती किनारे दौरे का हिस्सा नहीं हैं, आप से एक और निशान प्रारंभ करें, अप्रयुक्त किनारों का अनुसरण करते हुए आपके पास लौटने तक, और इस तरह से बने दौरे में पिछले दौरे में शामिल हों।
  • चूंकि हम मानते हैं कि मूल ग्राफ़ संबद्ध हुआ ग्राफ़ है, पिछले चरण को दोहराने से ग्राफ़ के सभी किनारे समाप्त हो जाएंगे।

प्रत्येक शीर्ष पर अप्रयुक्त किनारों के समुच्चय को बनाए रखने के लिए ड्यूल लिंक की गई सूची जैसी डेटा संरचना का उपयोग करके, वर्तमान दौरे पर उन शीर्षों की सूची को बनाए रखने के लिए जिनमें अप्रयुक्त किनारे हैं, और दौरे को बनाए रखने के लिए, व्यक्तिगत संचालन एल्गोरिदम (प्रत्येक शीर्ष से बाहर निकलने वाले अप्रयुक्त किनारों को ढूंढना, एक दौरे के लिए एक नया प्रारंभिक शीर्ष ढूंढना, और एक शीर्ष साझा करने वाले दो दौरे को जोड़ना) प्रत्येक निरंतर समय में किया जा सकता है, इसलिए समग्र एल्गोरिदम रैखिक समय लेता है, .[9]

इस एल्गोरिदम को द्वि श्रंखलित सुची के साथ भी प्रयुक्त किया जा सकता है। क्योंकि फंसना तभी संभव है जब डेक एक सवृत दौरे का प्रतिनिधित्व करता है, किसी को पूंछ से किनारों को हटाकर और उन्हें सिर से जोड़कर डेक को घुमाना चाहिए, और तब तक जारी रखना चाहिए जब तक कि सभी किनारों का हिसाब न हो जाए। इसमें रैखिक समय भी लगता है, क्योंकि निष्पादित घुमावों की संख्या कभी भी इससे अधिक नहीं होती है (सहज ज्ञान से, किसी भी खराब किनारे को सिर पर ले जाया जाता है, जबकि ताजा किनारों को पूंछ में जोड़ा जाता है)

Orthographic projections and Schlegel diagrams with Hamiltonian cycles of the vertices of the five platonic solids – only the octahedron has an Eulerian path or cycle, by extending its path with the dotted one

यूलेरियन परिपथ की गिनती

जटिलता मुद्दे

निडिग्राफ में यूलेरियन परिपथ की संख्या की गणना तथाकथित बेस्ट प्रमेय का उपयोग करके की जा सकती है, जिसका नाम डी ब्रुइज़न, वैन आर्डेन-एरेनफेस्ट, स्मिथ और टुट्टे के नाम पर रखा गया है। सूत्र बताता है कि एक डिग्राफ में यूलेरियन परिपथ की संख्या कुछ डिग्री फैक्टोरियल और रूटेड आर्बोरेसेंस की संख्या का उत्पाद है। उत्तरार्द्ध की गणना आव्यूह ट्री प्रमेय द्वारा, एक बहुपद समय एल्गोरिथ्म देकर, एक निर्धारक के रूप में की जा सकती है।

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]

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
सभी सम घातों वाला एक निर्देशित ग्राफ जो यूलेरियन नहीं है, इस कथन के प्रति उदाहरण के रूप में कार्य करता है कि एक निर्देशित ग्राफ के यूलेरियन होने के लिए पर्याप्त शर्त यह है कि इसमें सभी सम घात हों

हायरहोल्ज़र ने एक अप्रत्यक्ष ग्राफ़ में यूलेरियन दौरे के निर्माण के लिए एक रैखिक समय एल्गोरिदम विकसित किया।

निर्देशित यूलेरियन ग्राफ

एक निर्देशित ग्राफ़ होना संभव है जिसमें सभी डिग्री सम-आउट हैं लेकिन ऑयलेरियन नहीं है। चूंकि एक यूलेरियन परिपथ एक शीर्ष को उतनी ही बार छोड़ता है जितनी बार वह उस शीर्ष में प्रवेश करता है, एक यूलेरियन परिपथ के अस्तित्व के लिए एक आवश्यक शर्त यह है कि प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर होती है। स्पष्ट रुप से कनेक्टिविटी भी जरूरी है. कोनिग ने साबित किया कि ये स्थितियाँ भी पर्याप्त हैं। अर्थात्, एक निर्देशित ग्राफ यूलेरियन है यदि और केवल यदि यह जुड़ा हुआ है और प्रत्येक शीर्ष पर इन-डिग्री और आउट-डिग्री बराबर हैं[20]

इस प्रमेय में इससे कोई फर्क नहीं पड़ता कि कनेक्टेड का अर्थ कमजोर रूप से संबद्ध हुआ है या दृढ़तापूर्वक से संबद्ध हुआ है क्योंकि वे यूलेरियन ग्राफ़ के लिए समकक्ष हैं।

यूलेरियन टूर के निर्माण के लिए हायरहोल्ज़र का रैखिक समय एल्गोरिदम निर्देशित ग्राफ़ पर भी प्रयुक्त होता है।[20]

मिश्रित यूलेरियन ग्राफ

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.
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.

यदि किसी मिश्रित ग्राफ़ में केवल सम अंश हैं, तो इसके यूलेरियन ग्राफ़ होने की गारंटी नहीं है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता एक आवश्यक लेकिन पर्याप्त शर्त नहीं है। यदि कोई मिश्रित ग्राफ़ सम और सममित है, तो उसके सममित होने की गारंटी है। इसका अर्थ यह है कि मिश्रित ग्राफ के यूलेरियन होने के लिए समता और सममित होना एक आवश्यक शर्त है। हालाँकि, यह एक आवश्यक और पर्याप्त शर्त नहीं है, क्योंकि ऐसा ग्राफ़ बनाना संभव है जो सममित न हो और फिर भी यूलेरियन हो।[21]

फोर्ड और फुलकरसन ने 1962 में अपनी पुस्तक फ्लोज़ इन नेटवर्क्स में एक ग्राफ के यूलेरियन होने के लिए एक आवश्यक और पर्याप्त शर्त साबित की, अर्थात, प्रत्येक शीर्ष सम होना चाहिए और संतुलन की स्थिति को पूरा करना चाहिए। शीर्ष S के प्रत्येक उपसमुच्चय के लिए, S को छोड़ने और S में प्रवेश करने वाले चापों की संख्या के बीच का अंतर S के साथ आपतित किनारों की संख्या से कम या उसके बराबर होना चाहिए। यह संतुलित सेट स्थिति है। एक मिश्रित और दृढ़ता से जुड़ा हुआ ग्राफ़ यूलेरियन है यदि और केवल यदि G सम और संतुलित है।[21]

यह जाँचने की प्रक्रिया कि क्या एक मिश्रित ग्राफ़ यूलेरियन है, यह जाँचने से अधिक कठिन है कि क्या एक अप्रत्यक्ष या निर्देशित ग्राफ़ यूलेरियन है क्योंकि संतुलित सेट की स्थिति शीर्षों के हर संभावित उपसमुच्चय से संबंधित होती है।

An even mixed graph that violates the balanced set condition and is therefore not Eulerian.
An even mixed graph that violates the balanced set condition and is therefore not Eulerian.
An even mixed graph that satisfies the balanced set condition and is therefore an Eulerian mixed graph.
An even mixed graph that satisfies the balanced set condition and is therefore an Eulerian mixed graph.







यह भी देखें

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

टिप्पणियाँ

  1. 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.
  2. 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. 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.
  4. Jun-ichi Yamaguchi, Introduction of Graph Theory.
  5. Schaum's outline of theory and problems of graph theory By V. K. Balakrishnan [1].
  6. Schrijver, A. (1983), "Bounds on the number of Eulerian orientations", Combinatorica, 3 (3–4): 375–380, doi:10.1007/BF02579193, MR 0729790, S2CID 13708977.
  7. 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.
  8. 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.
  9. 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.
  10. Brightwell and Winkler, "Note on Counting Eulerian Circuits", 2004.
  11. Brendan McKay and Robert W. Robinson, Asymptotic enumeration of eulerian circuits in the complete graph, Combinatorica, 10 (1995), no. 4, 367–377.
  12. M.I. Isaev (2009). "संपूर्ण द्विदलीय ग्राफ़ में यूलेरियन सर्किट की स्पर्शोन्मुख संख्या". Proc. 52-nd MFTI Conference (in русский). Moscow: 111–114.
  13. 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.
  14. 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.
  15. Tarjan, Robert E.; Vishkin, Uzi (1985). "एक कुशल समानांतर बाइकनेक्टिविटी एल्गोरिदम". SIAM Journal on Computing. 14 (4): 862–874. CiteSeerX 10.1.1.465.8898. doi:10.1137/0214061.
  16. Berkman, Omer; Vishkin, Uzi (Apr 1994). "पेड़ों में स्तर-पूर्वजों को ढूँढना". J. Comput. Syst. Sci. 2. 48 (2): 214–230. doi:10.1016/S0022-0000(05)80002-9.
  17. Savage, Carla (January 1997). "कॉम्बिनेटोरियल ग्रे कोड का एक सर्वेक्षण". SIAM Review. 39 (4): 605–629. doi:10.1137/S0036144595295272. ISSN 0036-1445.
  18. 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.
  19. 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. 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. 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)


संदर्भ


बाहरी संबंध