ट्री-डेप्थ
ग्राफ़ सिद्धांत में, किसी जुड़े हुए ग्राफ़ की ट्री-डेप्थ अप्रत्यक्ष ग्राफ का एक संख्यात्मक ग्राफ़ अपरिवर्तनीय है , ग्राफ़ सिद्धांत की शब्दावली के लिए ट्रेमॉक्स ट्री की न्यूनतम ऊंचाई है। इस अपरिवर्तनीय और इसके निकट आपेक्षिक को साहित्य में कई अलग-अलग नामों से जाना जाता है, जिसमें शीर्ष रैंकिंग संख्या, क्रमबद्ध रंगीन संख्या और न्यूनतम उन्मूलन ट्री की ऊंचाई सम्मिलित है; यह निर्देशित ग्राफ के चक्र रैंक और नियमित भाषाओं की स्टार ऊंचाई से भी निकटता से संबंधित है।[1] सहज रूप से, जहां एक ग्राफ की ट्री विड्थ मापती है कि वह एक ट्री (ग्राफ सिद्धांत) होने से कितनी दूर है, यह पैरामीटर मापता है कि एक ग्राफ एक तारा (ग्राफ सिद्धांत) होने से कितनी दूर है।
परिभाषाएँ
ग्राफ़ की ट्री-डेप्थ इसे फॉरिस्ट की न्यूनतम ऊंचाई के रूप में परिभाषित किया जा सकता है (ग्राफ सिद्धांत) उस विशेशता के साथ जो हर किनारे पर है नोड्स की एक जोड़ी को जोड़ता है जिनका एक दूसरे से ऐन्सेस्टर-डेस्केंडेंट संबंध होता है .[2] अगर जुड़ा हुआ है, यह फॉरिस्ट एक ही ट्री होना चाहिए; इसका उपसमूह होने की आवश्यकता नहीं है, लेकिन अगर ऐसा है, तो एक ट्रेमॉक्स ट्री है।
ऐन्सेस्टर-डेस्केंडेंट जोड़ियों का समूह बिना प्रयास किये बिलकुल सही रूप से परिपूर्ण ग्राफ बनाता है, और की ऊंचाई इस ग्राफ़ में सबसे बड़े समूह क्लिक (ग्राफ़ सिद्धांत) का आकार है। इस प्रकार, ट्री-डेप्थ को वैकल्पिक रूप से एक तुच्छ रूप से परिपूर्ण सुपरग्राफ में सबसे बड़े समूह के आकार के रूप में परिभाषित किया जा सकता है , कॉर्डल ग्राफ सुपरग्राफ में सबसे बड़े क्लिक के आकार से एक कम के रूप में ट्रीविड्थ की परिभाषा को प्रतिबिंबित करता है।[3]
एक अन्य परिभाषा निम्नलिखित है:
ट्री-डेप्थ को ग्राफ़ रंग के एक रूप का उपयोग करके भी परिभाषित किया जा सकता है। किसी ग्राफ़ का केन्द्रित रंग उसके शीर्षों का रंग इस गुण के साथ होता है कि प्रत्येक जुड़े प्रेरित सबग्राफ में एक रंग होता है जो बिल्कुल एक बार दिखाई देता है। फिर, ट्री-डेप्थ दिए गए ग्राफ़ के केंद्रित रंग में रंगों की न्यूनतम संख्या है। अगर ऊंचाई का फॉरिस्ट है उस विशेशता के साथ जो हर किनारे पर है ऐन्सेस्टर और डेस्केंडेंट को जोड़ता है , फिर एक केन्द्रित रंग का उपयोग करते हुए प्रत्येक शीर्ष को उसके ट्री का मूल से उसकी दूरी के आधार पर रंगकर रंग प्राप्त किया जा सकता है।[5]
अंत में, कोई इसे कंकड़ खेल के रूप में, या अधिक सटीक रूप से पीछा-चोरी खेल के रूप में परिभाषित कर सकता है। अप्रत्यक्ष ग्राफ पर खेले गए निम्नलिखित खेल पर विचार करें। दो खिलाड़ी एक डाकू और एक पुलिसकर्मी हैं। डाकू के पास एक कंकड़ है जिसे वह दिए गए ग्राफ के किनारों के साथ घुमा सकता है। पुलिस के पास असीमित संख्या में कंकड़ हैं, लेकिन वह अपने द्वारा उपयोग किए जाने वाले कंकड़ की मात्रा को कम करना चाहती है। ग्राफ़ पर रखे जाने के बाद पुलिस एक कंकड़ को हिला नहीं सकती। खेल इस प्रकार आगे बढ़ता है। डाकू अपना कंकड़ डालता है। पुलिस तब घोषणा करती है कि वह एक नया पुलिस कंकड़ कहाँ रखना चाहती है। इसके बाद डाकू अपने कंकड़ को किनारों के साथ ले जा सकता है, लेकिन कब्जे वाले शीर्षों के माध्यम से नहीं। जब पुलिस खिलाड़ी डाकू कंकड़ के ऊपर एक कंकड़ रखता है तो खेल खत्म हो जाता है। दिए गए ग्राफ़ की ट्री-डेप्थ पुलिस द्वारा जीत की गारंटी के लिए आवश्यक कंकड़ की न्यूनतम संख्या है।[6] एक स्टार (ग्राफ सिद्धांत) के लिए, दो कंकड़ पर्याप्त हैं: रणनीति यह है कि एक कंकड़ को केंद्र के शीर्ष पर रखें, डाकू को एक हाथ पर जबरदस्ती करें, और फिर शेष कंकड़ को डाकू पर रखें। पथ ग्राफ के लिए शीर्ष पर, पुलिस एक द्विआधारी सर्च रणनीति का उपयोग करती है, जो अधिकतम इसकी गारंटी देती है कंकड़ की जरूरत है।
उदाहरण
एक पूर्ण ग्राफ़ की ट्री-डेप्थ उसके शीर्षों की संख्या के बराबर होती है। क्योंकि, इस स्थिति में, यह एकमात्र संभावित फॉरिस्ट है जिसके लिए शीर्षों का प्रत्येक जोड़ा ऐन्सेस्टर-डेस्केंडेंट संबंध में एक ही पथ है। इसी प्रकार, एक पूर्ण द्विदलीय ग्राफ की ट्री-डेप्थ है . क्योंकि, वे गांठें जो फॉरिस्ट की पत्तियों पर रखी जाती हैं कम से कम ऐन्सेस्टरों में होना ही चाहिए। इसे सिद्ध करने वाला एक फॉरिस्ट बाउंड का निर्माण द्विविभाजन के छोटे पक्ष के लिए एक पथ बनाकर किया जा सकता है, जिसमें द्विविभाजन के बड़े पक्ष पर प्रत्येक शीर्ष पर एक पत्ती बनती है इस पथ के निचले शीर्ष से जुड़ा हुआ है।
पथ की ट्री-डेप्थ शिखर बिल्कुल सही है। एक फॉरिस्ट इस डेप्थ के साथ इस पथ का प्रतिनिधित्व पथ के मध्यबिंदु को मूल के रूप में रखकर बनाया जा सकता है और इसके दोनों ओर दो छोटे पथों के भीतर पुनरावृत्ति करना है।[7]
ट्री आयाम और ट्री की विड्थ से संबंध
कोई -वर्टेक्स ट्री (ग्राफ सिद्धांत) में ट्री-डेप्थ है। क्योंकि, एक फॉरिस्ट में, कोई भी निरंतर शिखरों की एक स्थिर संख्या पा सकता है, जिसके हटने पर एक फॉरिस्ट बनता है जिसे अधिकतम दो छोटे उपफॉरिस्टों में विभाजित किया जा सकता है। प्रत्येक वर्टेक्स इन दोनों उपफॉरिस्टों में से प्रत्येक को पुनरावर्ती रूप से विभाजित करके, कोई आसानी से ट्री की डेप्थ पर एक लघुगणकीय ऊपरी सीमा प्राप्त कर सकता है। ग्राफ़ के ट्री अपघटन पर लागू की गई वही तकनीक दर्शाती है कि, यदि किसी ग्राफ़ की ट्री विड्थ -वर्टेक्स ग्राफ है , फिर ट्री-डेप्थ की है .[8] चूंकि बाह्यतलीय ग्राफ, श्रृंखला-समानांतर ग्राफ़ और हालीन ग्राफ ़ सभी में सीमित ट्री-विड्थ होती है, इसलिए उन सभी में अधिकतम लघुगणकीय ट्री-डेप्थ भी होती है। बड़ी ट्रीडेप्थ और छोटी ट्रीविड्थ वाले विशिष्ट ग्राफ़ उत्तम बाइनरी ट्री और पथ हैं। वस्तुतः, एक स्थिरांक है निम्नलिखित विशेशता के साथ: यदि किसी ग्राफ़ में कम से कम ट्रीडेप्थ है और ट्रीविड्थ से कम तो इसमें ऊंचाई के साथ आदर्श बाइनरी ट्री होता है या लंबाई का पथ लघु के रूप में है।[9]
दूसरी दिशा में, किसी ग्राफ़ की ट्री-विड्थ उसकी ट्री-डेप्थ के बराबर होती है। अधिक सटीक रूप से, ट्री-विड्थ अधिकतम पथ-विड्थ है, जो ट्री-डेप्थ से अधिकतम एक कम है।[10]
लघु ग्राफ
ग्राफ़ का एक लघु (ग्राफ़ सिद्धांत) के सबग्राफ से एक और ग्राफ है इसके कुछ किनारों को अनुबंध करके बना है। ट्री-डेप्थ माइनर्स के तहत मोनोटोनिक है: ग्राफ़ का प्रत्येक माइनर ट्री-डेप्थ अधिकतम ट्री-डेप्थ के बराबर अपने आप होती है।[11] इस प्रकार, रॉबर्टसन-सेमुर प्रमेय द्वारा, प्रत्येक निश्चित के लिए अधिकतम ट्री-डेप्थ वाले ग्राफ़ का सेट इसमें निषिद्ध ग्राफ़ लक्षण वर्णन का एक सीमित सेट है।
अगर ग्राफ़ का एक वर्ग है जिसे लघु ग्राफ़, फिर ग्राफ़ों को लेने के अंतर्गत बंद किया जाता है ट्री-डेप्थ है अगर और केवल अगर इसमें सभी पथ ग्राफ़ सम्मिलित नहीं हैं।[12]
अधिक सटीक रूप से, एक स्थिरांक है ऐसा कि ट्री की डेप्थ का हर ग्राफ़ कम से कम निम्नलिखित माइनरों में से एक सम्मिलित है (प्रत्येक ट्रीडेप्थ कम से कम ):[9]
- ग्रिड,
- ऊंचाई का पूरा बाइनरी ट्री ,
- क्रम का पथ .
प्रेरित उपग्राफ
ग्राफ माइनर के तहत अच्छा व्यवहार करने के साथ-साथ, ट्री-डेप्थ का ग्राफ के प्रेरित सबग्राफ के सिद्धांत से घनिष्ठ संबंध है। ग्राफ़ के उस वर्ग के भीतर जिसमें अधिकतम ट्री-डेप्थ है (किसी भी निश्चित पूर्णांक के लिए ), एक प्रेरित उपसमूह होने का संबंध एक अच्छी तरह से अर्ध-क्रम बनाता है।[13] प्रमाण का मूल विचार यह है कि यह संबंध एक अच्छी तरह से अर्ध-क्रम है, प्रेरण का उपयोग करना है ; ऊंचाई के फॉरिस्ट ऊंचाई के फॉरिस्टों के अनुक्रम के रूप में व्याख्या की जा सकती है (ऊंचाई में ट्री का मूलों को हटाकर बनाई गई- फॉरिस्ट) और हिगमैन के लेम्मा का उपयोग प्रेरण परिकल्पना के साथ एक साथ किया जा सकता है ताकि यह दिखाया जा सके कि ये अनुक्रम सुव्यवस्थित हैं।
अच्छी तरह से अर्ध-क्रम का तात्पर्य है कि ग्राफ़ की कोई भी विशेशता जो प्रेरित सबग्राफ के संबंध में मोनोटोनिक है, उसमें सीमित रूप से कई निषिद्ध प्रेरित सबग्राफ हैं, और इसलिए बंधे हुए ट्री-डेप्थ के ग्राफ़ पर बहुपद समय में परीक्षण किया जा सकता है। अधिकतम ट्री-डेप्थ वाले ग्राफ़ स्वयं के पास भी निषिद्ध प्रेरित उपसमूहों का एक सीमित सेट है।[14]
अगर सीमाबद्ध अध:पतन (ग्राफ़ सिद्धांत) वाले ग्राफ़ का एक वर्ग है, इसमें ग्राफ़ ट्री-डेप्थ को सीमित किया गया है यदि और केवल यदि कोई पथ ग्राफ है जो ग्राफ के प्रेरित उपग्राफ के रूप में नहीं हो सकता है।[12]
सम्मिश्रता
ट्री-डेप्थ की गणना करना कम्प्यूटेशनल रूप से कठिन है: संबंधित निर्णय समस्या एनपी-पूर्ण है।[15] द्विदलीय ग्राफ के लिए समस्या एनपी-पूर्ण बनी हुई है (Bodlaender et al. 1998), साथ ही कॉर्डल ग्राफ़ के लिए भी है।[16]
धनात्मक भाग पर, ट्री-डेप्थ की गणना अंतराल ग्राफ़ पर बहुपद समय में की जा सकती है,[17] साथ ही क्रमपरिवर्तन, समलम्बाकार, वृत्ताकार-चाप, वृत्ताकार क्रमपरिवर्तन ग्राफ़ और परिबद्ध आयाम के सह तुलनीयता ग्राफ़ पर भी है।[18] अप्रत्यक्ष ट्री के लिए, ट्री की डेप्थ की गणना रैखिक समय में की जा सकती है।[19]
Bodlaender et al. (1995) सन्निकटन अनुपात के साथ ट्री-डेप्थ के लिए एक सन्निकटन एल्गोरिदम दें , इस तथ्य पर आधारित है कि ट्री-डेप्थ निरंतर एक ग्राफ़ की ट्री-विड्थ के लघुगणकीय कारक के भीतर होती है।
क्योंकि ग्राफ माइनर के तहत ट्री-डेप्थ मोनोटोनिक है, यह पैरामीटरयुक्त जटिलता है | फिक्स्ड-पैरामीटर ट्रैक्टेबल: समय में चलने वाले ट्री-डेप्थ की गणना के लिए एल्गोरिदम है , जहाँ दिए गए ग्राफ़ की डेप्थ है और इसके शीर्षों की संख्या है। इस प्रकार, प्रत्येक निश्चित मान के लिए , यह परीक्षण करने की समस्या कि ट्री-डेप्थ अधिकतम है या नहीं बहुपद समय में हल किया जा सकता है। अधिक विशेष रूप से, पर निर्भरता इस एल्गोरिथ्म को निम्नलिखित विधि द्वारा रैखिक बनाया जा सकता है: पहले सर्च ट्री की डेप्थ की गणना करें, और परीक्षण करें कि क्या ट्री-डेप्थ से अधिक है। यदि ऐसा है, तो ग्राफ़ की ट्री-डेप्थ इससे अधिक है और समस्या हल हो गई है। यदि नहीं, तो उथली डेप्थ वाले पहले सर्च ट्री का उपयोग बंधी हुई विड्थ के साथ ट्री अपघटन के निर्माण के लिए किया जा सकता है, और बंधी हुई ट्री विड्थ के ग्राफ़ के लिए मानक गतिशील प्रोग्रामिंग तकनीकों का उपयोग रैखिक समय में डेप्थ की गणना करने के लिए किया जा सकता है।[20]
यह भी संभव है कि, उन ग्राफ़ों के लिए ट्री-डेप्थ की सटीक गणना करना भी संभव है जिनकी ट्री-डेप्थ बड़ी हो सकती है, एक स्थिरांक के लिए , 2 से थोड़ा छोटा है।[21]
टिप्पणियाँ
- ↑ Bodlaender et al. (1998); Rossman (2008); Nešetřil & Ossona de Mendez (2012), p. 116.
- ↑ Nešetřil & Ossona de Mendez (2012), Definition 6.1, p. 115.
- ↑ Eppstein, David (November 15, 2012), Graph parameters and cliques in supergraphs.
- ↑ Nešetřil & Ossona de Mendez (2012), Lemma 6.1, p. 117.
- ↑ Nešetřil & Ossona de Mendez (2012), Section 6.5, "Centered Colorings", pp. 125–128.
- ↑ Gruber & Holzer (2008), Theorem 5, Hunter (2011), Main Theorem.
- ↑ Nešetřil & Ossona de Mendez (2012), Formula 6.2, p. 117.
- ↑ Bodlaender et al. (1995); Nešetřil & Ossona de Mendez (2012), Corollary 6.1, p. 124.
- ↑ 9.0 9.1 Kawarabayashi & Rossman (2018)
- ↑ Bodlaender et al. (1995); Nešetřil & Ossona de Mendez (2012), p. 123.
- ↑ Nešetřil & Ossona de Mendez (2012), Lemma 6.2, p. 117.
- ↑ 12.0 12.1 Nešetřil & Ossona de Mendez (2012), Proposition 6.4, p. 122.
- ↑ Nešetřil & Ossona de Mendez (2012), Lemma 6.13, p. 137.
- ↑ Nešetřil & Ossona de Mendez (2012), p. 138. Figure 6.6 on p. 139 shows the 14 forbidden subgraphs for graphs of tree-depth at most three, credited to the 2007 Ph.D. thesis of Zdeněk Dvořák.
- ↑ Pothen (1988).
- ↑ Dereniowski & Nadolski (2006).
- ↑ Aspvall & Heggernes (1994).
- ↑ Deogun et al. (1999).
- ↑ Iyer, Ratliff & Vijayan (1988); Schäffer (1989).
- ↑ Nešetřil & Ossona de Mendez (2012), p. 138. A more complicated linear time algorithm based on the planarity of the excluded minors for tree-depth was given earlier by Bodlaender et al. (1998). For improved parameterized algorithms see Reidl et al. (2014).
- ↑ Fomin, Giannopoulou & Pilipczuk (2013).
संदर्भ
- Aspvall, Bengt; Heggernes, Pinar (1994), "Finding Minimum Height Elimination Trees for Interval Graphs in Polynomial Time", BIT, 34 (4): 484–509, doi:10.1007/BF01934264, S2CID 16141974.
- Bodlaender, Hans L.; Deogun, Jitender S.; Jansen, Klaus; Kloks, Ton; Kratsch, Dieter; Müller, Haiko; Tuza, Zsolt (1998), "Rankings of graphs" (PDF), SIAM Journal on Discrete Mathematics, 11 (1): 168–181, doi:10.1137/S0895480195282550
- Bodlaender, Hans L.; Gilbert, John R.; Hafsteinsson, Hjálmtýr; Kloks, Ton (1995), "Approximating treewidth, pathwidth, frontsize, and shortest elimination tree", Journal of Algorithms, 18 (2): 238–255, CiteSeerX 10.1.1.29.7198, doi:10.1006/jagm.1995.1009.
- Deogun, Jitender S.; Kloks, Ton; Kratsch, Dieter; Müller, Haiko (1999), "On the vertex ranking problem for trapezoid, circular-arc and other graphs", Discrete Applied Mathematics, 98 (1–2): 39–63, doi:10.1016/S0166-218X(99)00179-1.
- Dereniowski, D.; Nadolski, A. (2006), "Vertex rankings of chordal graphs and weighted trees", Information Processing Letters, 98 (3): 96–100, doi:10.1016/j.ipl.2005.12.006.
- Fomin, Fedor V.; Giannopoulou, Archontia C.; Pilipczuk, Michał (2013), "Computing tree-depth faster than 2n", in Gutin, Gregory; Szeider, Stefan (eds.), Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers, Lecture Notes in Computer Science, vol. 8246, pp. 137–149, arXiv:1306.3857, doi:10.1007/978-3-319-03898-8_13.
- Gruber, Hermann; Holzer, Markus (2008), "Finite automata, digraph connectivity, and regular expression size" (PDF), Proc. 35th International Colloquium on Automata, Languages and Programming, Lecture Notes on Computer Science, vol. 5126, Springer-Verlag, pp. 39–50, doi:10.1007/978-3-540-70583-3_4.
- Hunter, Paul (2011), "LIFO-Search on Digraphs: A Searching Game for Cycle-Rank", 18th International Symposium on Fundamentals of Computation Theory, Lecture Notes on Computer Science, vol. 6914, Springer-Verlag, pp. 217–228, arXiv:1103.6019, doi:10.1007/978-3-642-22953-4_19, S2CID 14278138
- Iyer, Ananth V.; Ratliff, H. Donald; Vijayan, Gopalakrishnan (1988), "Optimal node ranking of trees", Information Processing Letters, 28 (5): 225–229, doi:10.1016/0020-0190(88)90194-9.
- Kawarabayashi, Ken-ichi; Rossman, Benjamin (2018), "A Polynomial Excluded-Minor Approximation of Treedepth", Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, pp. 234–246, doi:10.1137/1.9781611975031.17.
- Nešetřil, Jaroslav; Ossona de Mendez, Patrice (2012), "Chapter 6. Bounded height trees and tree-depth", Sparsity: Graphs, Structures, and Algorithms, Algorithms and Combinatorics, vol. 28, Heidelberg: Springer, pp. 115–144, doi:10.1007/978-3-642-27875-4, ISBN 978-3-642-27874-7, MR 2920058.
- Pothen, Alex (1988), The complexity of optimal elimination trees, Tech. Report CS-88-13, Pennsylvania State University.
- Reidl, Felix; Rossmanith, Peter; Sánchez Villaamil, Fernando; Sikdar, Somnath (2014), "A faster parameterized algorithm for treedepth", in Esparza, Javier; Fraigniaud, Pierre; Husfeldt, Thore; et al. (eds.), Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8–11, 2014, Proceedings, Part I, Lecture Notes in Computer Science, vol. 8572, pp. 931–942, arXiv:1401.7540, doi:10.1007/978-3-662-43948-7_77, S2CID 7235055.
- Rossman, Benjamin (2008), "Homomorphism preservation theorems", Journal of the ACM, 55 (3): Article 15, doi:10.1145/1379759.1379763, S2CID 306577.
- Schäffer, Alejandro A. (1989), "Optimal node ranking of trees in linear time", Information Processing Letters, 33 (2): 91–96, doi:10.1016/0020-0190(89)90161-0.