थ्रेडेड बाइनरी ट्री

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

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

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

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

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

एक सरल पुनरावर्ती ट्रैवर्सल एल्गोरिदम जो बाइनरी सर्च ट्री के प्रत्येक नोड पर जाता है वह निम्नलिखित है। मान लीजिए $t$ नोड के लिए पॉइंटर है, या $nil$. है। "विज़िट" $t$ का अर्थ नोड $t$ या इसकी सामग्री पर कोई भी क्रिया करना हो सकता है.



एल्गोरिथम ट्रैवर्स($t$):
 * इनपुट: पॉइंटर्स $t$ एक नोड के लिए (या $nil$)
 * यदि $t = nil$, वापस करना।
 * अन्य:
 * ट्रैवर्स (बाएं-बच्चे ($t$))
 * विजिट $t$
 * ट्रैवर्स (राइट-चाइल्ड ($t$))

इस प्रकार से एल्गोरिदम के साथ समस्या यह है कि, इसकी पुनरावृत्ति के कारण, यह ट्री की ऊंचाई के अनुपात में स्टैक स्पेस का उपयोग करता है। यदि ट्री अधिक संतुलित है, तो यह $n$ तत्वों वाले ट्री के लिए $O(log n)$ स्थान जिसमें सम्मिलित है तत्व. अधिक व्यर्थ स्थिति में, जब ट्री चैन का रूप लेता है, तो ट्री की ऊंचाई $n$ होती है इसलिए एल्गोरिथ्म $O(n)$ लेता है। द्वतीय समस्या यह है कि सभी ट्रैवर्सल मूल से प्रारंभ होने चाहिए जब नोड्स में केवल उनके चाइल्ड के लिए पॉइंटर्स होते है। किसी विशेष नोड के लिए पॉइंटर होना समान बात है, किन्तु जब तक थ्रेड पॉइंटर्स जैसी अतिरिक्त जानकारी नहीं जोड़ी जाती है, तब तक वह बाकी ट्री पर वापस जाने के लिए पर्याप्त नहीं है।

इस दृष्टिकोण में, यह बताना संभव नहीं हो सकता है कि किसी दिए गए नोड में बाएँ और/या राइट पॉइंटर वास्तव में चाइल्ड को इंगित करते हैं, या थ्रेडिंग का परिणाम हैं। यदि अंतर आवश्यक है, तो प्रत्येक नोड में बिट जोड़ना इसे रिकॉर्ड करने के लिए पर्याप्त है।

अतः 1968 की पाठ्यपुस्तक में, डोनाल्ड नुथ ने पूछा कि क्या इन-ऑर्डर ट्रैवर्सल के लिए गैर-पुनरावर्ती एल्गोरिदम उपस्तिथ होते है, जो की किसी स्टैक का उपयोग नहीं करता है और ट्री को अपरिवर्तित छोड़ देता है। इस समस्या का समाधान ट्री थ्रेडिंग है, जिसे जोसेफ एम. मॉरिस ने 1979 में प्रस्तुत किया था।

इस प्रकार से 1969 के अनुवर्ती संस्करण में, नुथ ने थ्रेडेड ट्री प्रतिनिधित्व का श्रेय एलन पर्लिस और थॉर्नटन (1960) को दिया गया था।

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

इस प्रकार से पैरेंट पॉइंटर्स या स्टैक के स्पष्ट उपयोग के बिना, थ्रेडेड बाइनरी ट्री से नोड के पैरेंट की खोज करना भी संभव है, चूंकि यह धीमा है। इसे देखने के लिए, दाएं चाइल्ड r के साथ नोड k पर विचार करें। यदि r का बायां पॉइंटर या तो चाइल्ड होना चाहिए या k पर वापस थ्रेड होना चाहिए। इस प्रकार की स्तिथि में जब r का लेफ्ट चाइल्ड है, तो उस बाएँ चाइल्ड के समीप या तो अपना लेफ्ट चाइल्ड होना चाहिए या k की ओर धागा होना चाहिए, और इसी तरह सभी क्रमिक बाएँ चाइल्ड के लिए है। जब r से बाएँ पॉइंटर की श्रृंखला का अनुसरण करके, हम अंततः k की ओर इंगित करने वाला धागा पाएंगे। किन्तु स्थिति सममित रूप से समान है जब q, p का लेफ्ट चाइल्ड है - हम q के राइट चाइल्ड का अनुसरण p की ओर इंगित करने वाले धागे तक कर सकते हैं।

पायथन (प्रोग्रामिंग लैंग्वेज) में:

प्रकार

 * 1) एकल थ्रेडेड: प्रत्येक नोड को या तो इन-ऑर्डर पूर्ववर्ती या उत्तराधिकारी (बाएं या दाएं) की ओर पिरोया गया है।
 * 2) डबल थ्रेडेड: प्रत्येक नोड को इन-ऑर्डर पूर्ववर्ती और उत्तराधिकारी (बाएं और दाएं) दोनों की ओर पिरोया गया है।

इन-ऑर्डर ट्रैवर्सल की सरणी
इस प्रकार से क्रम में ट्रैवर्सल के अनुसार थ्रेड्स नोड के पूर्ववर्तियों और उत्तराधिकारियों के संदर्भ हैं।

थ्रेडेड ट्री का इन-ऑर्डर ट्रैवर्सल है,   का पूर्ववर्ती   है,   का उत्तराधिकारी   है।



उदाहरण
आइए सामान्य बाइनरी ट्री से थ्रेडेड बाइनरी ट्री बनाएं:

उपरोक्त ट्री के लिए इन-ऑर्डर ट्रैवर्सल है - D B A E C. तो, संबंधित थ्रेडेड बाइनरी ट्री होगा -



शून्य लिंक
n नोड्स वाले एम-वे थ्रेडेड बाइनरी ट्री में, 'n×m - (n−1)' शून्य लिंक होते हैं।

बाहरी संबंध

 * GNU libavl 2.0.2, Section on threaded binary search trees