ट्री (डेटा संरचना)

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

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

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

कंप्यूटिंग में उपयोग किए जाने वाले ट्री समान हैं परन्तु ट्री(रेखा-चित्र सिद्धांत), ट्री(समूह सिद्धांत), और ट्री(वर्णनात्मक समूह सिद्धांत) के गणितीय निर्माणों से भिन्न हो सकते हैं।

अनुप्रयोग
ट्री का उपयोग सामान्यतः अनुप्रयोगों में पदानुक्रमित डेटा का प्रतिनिधित्व या क्रमभंग करने के लिए किया जाता है जैसे:
 * फाइल पद्धति के लिए:
 * निर्देशिका संरचना का उपयोग उपनिर्देशिकाओं और फ़ाइलों को व्यवस्थित करने के लिए किया जाता है(प्रतीकात्मक लिंक गैर-ट्री रेखा-चित्र बनाते हैं, जैसा कि एक ही फ़ाइल या निर्देशिका के लिए कई दृढ़ लिंक करते हैं)
 * स्टोरेज डिवाइस पर डेटा के खंड आवंटित करने और लिंक करने के लिए प्रयुक्त तंत्र
 * वर्ग पदानुक्रम या वंशानुक्रम ट्री ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग में वर्ग(कंप्यूटर प्रोग्रामिंग) के बीच संबंधों को दर्शाता है; एकाधिक वंशानुक्रम गैर-ट्री रेखांकन उत्पन्न करता है
 * कंप्यूटर भाषाओं के लिए संक्षेप वाक्य रचना का ट्री
 * प्राकृतिक भाषा प्रसंस्करण:
 * पदव्‍याख्‍या ट्री
 * एक उत्पादक व्याकरण में मॉडलिंग उच्चारण
 * वार्तालाप उत्पन्न करने के लिए संवाद ट्री
 * एक्सएमएल और एचटीएमएल दस्तावेज़ों के दस्तावेज़ ऑब्जेक्ट मॉडल(डीओएम ट्री)।
 * परीक्षण ट्री डेटा को एक ट्री से संंग्रहीत करता है जो ट्री पथक्रमण के माध्यम से एक कुशल परीक्षण कलन विधि को संभव बनाता है
 * द्विआधारी परीक्षण ट्री एक प्रकार का द्विआधारी ट्री है
 * डेटा के क्रमबद्ध कलन विधि का प्रतिनिधित्व करना
 * कंप्यूटर जनित कल्पना:
 * स्थान विभाजन, जिसमें द्विआधारी स्थान विभाजन सम्मिलित है
 * डिजिटल रचना
 * भंडारण बार्न्स-हट के ट्री आकाशगंगाओं का अनुकरण करते थे
 * कार्यान्वयन ढेर(डेटा संरचना)
 * नीडित समूह
 * टैक्सोनॉमी(सामान्य)एप्लिकेशन जैसे डेवी दशमलव वर्गीकरण जिसमें बढ़ती विशेषता के अनुभाग हों।
 * पदानुक्रमित अस्थायी मेमोरी
 * आनुवंशिक प्रोग्रामिंग
 * पदानुक्रमित गुच्छन

ट्री का उपयोग विभिन्न गणितीय संरचनाओं का प्रतिनिधित्व और क्रमभंग करने के लिए किया जा सकता है, जैसे:
 * एकपक्षीय रेखा-चित्र(असतत गणित) के माध्यम से पथ | नोड-और -किनारे का रेखा-चित्र(बहु रेखांकन सहित), कई मार्गों में उपयोग किए जाने वाले प्रत्येक रेखा-चित्र नोड के लिए ट्री में कई नोड बनाकर
 * कोई पदानुक्रम(गणित)

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

जेएसओएन और वाईएएमएल दस्तावेज़ों को ट्री के रूप में माना जा सकता है, परन्तु सामान्यतः नीडित सूची(संक्षेप डेटा प्रकार) और साहचर्य सरणी द्वारा प्रतिनिधित्व किया जाता है।

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

एक आंतरिक नोड(जिसे एक आंतरिक नोड के रूप में भी जाना जाता है, लघु या ब्रांच नोड के लिए इनोड) एक ट्री का कोई भी नोड होता है जिसमें बच्चे के नोड होते हैं। इसी ट्री, एक बाह्य नोड(जिसे बाह्य नोड, पत्ती नोड या आवधिक नोड के रूप में भी जाना जाता है) कोई भी नोड होता है जिसमें सन्तान नोड नहीं होता है।

एक नोड की ऊंचाई उस नोड से एक पत्ती के सबसे लंबे नीचे की ओर जाने वाले पथ की लंबाई है। रुट की ऊंचाई ही ट्री की ऊंचाई होती है। एक नोड की गहराई इसके रुट के पथ की लंबाई है(अर्थात, इसका 'रुट पथ')। शून्य-आधारित गणना का उपयोग करते समय, रुट नोड की गहराई शून्य होती है, पत्ती नोड्स की ऊंचाई शून्य होती है, और मात्र एक नोड वाले ट्री(इसलिए रुट और पत्ती दोनों) की गहराई और ऊंचाई शून्य होती है। परंपरागत रूप से, एक रिक्त ट्री(बिना नोड्स वाला ट्री, यदि इसकी अनुमति है) की ऊंचाई -1 है।

प्रत्येक गैर-रुट नोड को अपने स्वयं के उपट्री के रुट नोड के रूप में माना जा सकता है, जिसमें वह नोड और उसके सभी वंशज सम्मिलित हैं।

ट्री के साथ प्रयुक्त अन्य शब्द:

निकटवर्ती: माता-पिता या बच्चा। पूर्वज: बच्चे से माता-पिता के लिए बार-बार आगे बढ़ने से पहुंचने योग्य नोड। वंशज: माता-पिता से बच्चे के लिए बार-बार आगे बढ़ने पर एक नोड। 'उपबच्चे ' के रूप में भी जाना जाता है। परिमाण: किसी दिए गए नोड के लिए, उसके बच्चों की संख्या। एक पत्ते की आवश्यक रूप से परिमाण शून्य होता है। ट्री का परिमाण: ट्री का परिमाण ट्री में नोड का अधिकतम परिमाण है। दूरी: दो नोड्स के बीच सबसे छोटे पथ के किनारों की संख्या। स्तर: एक नोड का स्तर इसके साथ किनारों की संख्या है इसके और रुट नोड के बीच अद्वितीय पथ। शून्य-आधारित गणना का उपयोग करते समय यह गहराई के समान है। Width: एक स्तर में नोड्स की संख्या। चौड़ाई: पत्तों की संख्या। वन: एक या एक से अधिक असंबद्ध ट्री का समूह। क्रमित ट्री: एक रुट वाला ट्री जिसमें प्रत्येक शीर्ष के बच्चों के लिए एक क्रम निर्दिष्ट किया गया है। कंप्यूटर प्रोग्रामिंग की कला पुस्तक उन्मुखी ट्री शब्द का प्रयोग करती है। एक ट्री का आकार: ट्री में नोड्स की संख्या।

सामान्य संचालन

 * सभी वस्तुओं की गणना करना
 * ट्री के एक खंड की गणना
 * किसी वस्तु की परीक्षण करना
 * ट्री पर एक निश्चित स्थान पर एक नवीन वस्तु जोड़ना
 * किसी वस्तु को हटाना
 * प्रूनिंग(कलन विधि): ट्री के पूरे खंड को हटाना
 * रेखा-चित्र्टिंग(कलन विधि): ट्री में एक पूरा खंड जोड़ना
 * किसी भी नोड के लिए रुट ढूँढना
 * दो नोड्स के सबसे कम सामान्य पूर्वज का पता लगाना

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

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

नोड्स को एक सरणी डेटा संरचना में वस्तु के रूप में भी संग्रहीत किया जा सकता है, उनके बीच संबंधों को सरणी में उनकी स्थिति द्वारा निर्धारित किया जाता है(जैसा कि द्विआधारी ढेर में)।

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

क्रमिक ट्री को स्वाभाविक रूप से परिमित अनुक्रमों द्वारा कोडित किया जा सकता है, उदाहरण के लिए प्राकृतिक संख्याओं के साथ।

प्रकार सिद्धांत
संक्षेप डेटा प्रकार के रूप में, संक्षेप ट्री प्रकार $T$ किसी प्रकार के मूल्यों के साथ $E$ संक्षेप वन प्रकार का उपयोग करके परिभाषित किया गया है $F$(ट्री की सूची), कार्यों द्वारा:
 * मूल्य: $T$ → $E$
 * बच्चे: $T$ → $F$
 * शून्य: → $F$
 * नोड: $E$ × $F$ → $T$

सिद्धांतों के साथ:
 * मान(नोड($e$, $f$)) = $e$
 * बच्चे(नोड($e$, $f$)) = $f$

प्रकार के सिद्धांत के संदर्भ में, एक ट्री एक पुनरावर्ती डेटा प्रकार है जिसे निर्माणकर्ताओं द्वारा परिभाषित किया गया है $nil$(रिक्त जंगल) और $node$(दिए गए मूल्य और बच्चों के साथ मूल नोड वाला ट्री)।

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

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

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

यह भी देखें

 * ट्री संरचना(सामान्य)
 * : श्रेणी: ट्री(डेटा संरचनाएं)( अभिकलनात्मक ट्री की सूची प्रकार)

अग्रिम पठन

 * Donald Knuth. The Art of Computer Programming: Fundamental Algorithms, Third Edition. Addison-Wesley, 1997. ISBN 0-201-89683-4 . Section 2.3: Trees, pp. 308–423.
 * Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0-262-03293-7. Section 10.4: Representing rooted trees, pp. 214–217. Chapters 12–14(Binary Search Trees, Red–Black Trees, Augmenting Data Structures), pp. 253–320.

बाह्य संबंध

 * Data Trees as a Means of Presenting Complex Data Analysis by Sally Knipe on August 8, 2013
 * Description from the Dictionary of Algorithms and Data Structures
 * CRAN package data.tree – implementation of a tree data structure in the R programming language
 * WormWeb.org: Interactive Visualization of the C. elegans Cell Tree – Visualize the entire cell lineage tree of the nematode C. elegans(javascript)
 * Binary Trees by L. Allison

Baum (Graphentheorie)