यूक्लिडियन न्यूनतम प्रसारित ट्री

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

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

परिभाषा और संबंधित समस्याएँ
एक यूक्लिडियन न्यूनतम फैले हुए ट्री, के एक सेट के लिए $$n$$ यूक्लिडियन विमान या यूक्लिडियन स्पेस में बिंदु, रेखा खंडों की एक प्रणाली होती होती है, जिसमें मात्र दिए गए बिंदु उनके अंतिम बिंदु होते हैं, जिनके संघ में एक जुड़े हुए सेट के सभी बिंदु सम्मलित होते हैं, और जिसमें ऐसी किसी भी प्रणाली की न्यूनतम संभव कुल लंबाई होती है। ऐसे नेटवर्क में खंडों का बहुभुज वलय नहीं हो सकता; यदि कोई अस्तित्व में है, तो बहुभुज के एक किनारे को हटाकर नेटवर्क को छोटा किया जा सकता है। इसलिए, न्यूनतम लंबाई वाला नेटवर्क एक ट्री (ग्राफ़ सिद्धांत) बनाता है। यह अवलोकन समतुल्य परिभाषा की ओर ले जाता है कि यूक्लिडियन न्यूनतम फैले हुए ट्री, न्यूनतम कुल लंबाई के दिए गए बिंदुओं के जोड़े के मध्य रेखा खंडों का एक ट्री होता है। उसी ट्री को भारित पूर्ण ग्राफ के न्यूनतम फैले हुए ट्री के रूप में भी वर्णित किया जा सकता है, जिसमें दिए गए बिंदु इसके शीर्ष के रूप में होते हैं और बिंदुओं के मध्य की दूरी किनारे के वजन के रूप में होती है। समान बिंदुओं पर एक से अधिक न्यूनतम फैले हुए ट्री हो सकते हैं। उदाहरण के लिए, एक नियमित बहुभुज के शीर्षों के लिए, बहुभुज के किसी भी किनारे को हटाने से न्यूनतम फैले हुए ट्री का निर्माण होता है।

यूक्लिडियन मिनिमम स्पैनिंग ट्री पर प्रकाशन सामान्यतः इसे ईएमएसटी के रूप में संक्षिप्त करते हैं। इन्हें ज्यामितीय न्यूनतम फैले हुए ट्री भी कहा जा सकता है, लेकिन उस शब्द का उपयोग सामान्यतः गैर-यूक्लिडियन दूरियों वाले ज्यामितीय स्थानों के लिए किया जा सकता है, जैसे कि $L^{p}$ स्पेस। जब यूक्लिडियन बिंदु सेटों का संदर्भ स्पष्ट हो, तो उन्हें मात्र न्यूनतम फैले हुए ट्री कहा जा सकता है।

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

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

वही 60° कोण सीमा चुंबन संख्या समस्या में भी होती है, यूक्लिडियन अंतरिक्ष में इकाई क्षेत्रों की अधिकतम संख्या को अन्वेषण के लिए जो किसी भी दो क्षेत्रों को प्रतिच्छेद किए बिना (स्पर्शरेखा के एक बिंदु से परे) एक केंद्रीय इकाई क्षेत्र के स्पर्शरेखा हो सकती है। इन क्षेत्रों के केंद्र बिंदुओं में एक तारे (ग्राफ सिद्धांत) के रूप में एक न्यूनतम फैला हुआ ट्री होता है, जिसका केंद्रीय बिंदु अन्य सभी बिंदुओं के निकट होता है। इसके विपरीत, किसी भी शीर्ष $$v$$ के लिए किसी भी न्यूनतम फैले हुए ट्री के केंद्र में गैर-अतिव्यापी इकाई गोले का निर्माण किया जा सकता है $$v$$ और इसके प्रत्येक किनारे के साथ बिंदुओं पर दो इकाइयां, $$v$$ के प्रत्येक पड़ोसी के लिए स्पर्शरेखा के साथ इसलिए, $$n$$-आयामी स्थान एक शीर्ष की अधिकतम संभव डिग्री (इससे जुड़े फैले हुए ट्री के किनारों की संख्या) में $$n$$ आयाम में गोले की चुंबन संख्या के बराबर होती है प्लेनर न्यूनतम फैले हुए ट्र की डिग्री अधिकतम छह होती है, और जब एक ट्री की डिग्री छह होती है तो सदैव अधिकतम डिग्री पांच वाला एक और न्यूनतम फैला हुआ ट्री होता है। त्रि-आयामी न्यूनतम फैले हुए ट्री की डिग्री अधिकतम बारह होती है। एकमात्र उच्च आयाम जिसमें चुंबन संख्या का स्पष्ट मान ज्ञात होता है, और इस प्रकार इसमें 4, 8 और 24 आयाम होते हैं।

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

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

किसी भी किनारे के लिए किसी भी यूक्लिडियन न्यूनतम फैले हुए ट्री का $$uv$$ 60° और 120° के कोण वाला समचतुर्भुज, जिसमें $$uv$$ अपने लंबे विकर्ण के रूप में, यह अन्य सभी किनारों द्वारा समान रूप से निर्मित रम्बी से असंयुक्त होता है। एक समापन बिंदु को साझा करने वाले दो किनारों में ओवरलैपिंग रॉम्बी नहीं हो सकती है, क्योंकि इसका मतलब 60° सेअधिक किनारे का कोण होगा, और दो असंयुक्त किनारों में ओवरलैपिंग रॉम्बी नहीं हो सकती है; यदि वे ऐसा करते, तो दोनों किनारों में से लंबे किनारे को उन्हीं चार शीर्षों के मध्य एक छोटे किनारे से बदला जा सकता है।

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

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

कुल लंबाई
$$n$$ बिंदु के लिए इकाई वर्ग (या किसी अन्य निश्चित आकार), न्यूनतम फैले हुए ट्री के किनारों की कुल लंबाई $$O(\sqrt n)$$ होती है। बिंदुओं के कुछ सेट, जैसे कि एक में समान दूरी पर स्थित बिंदु $$\sqrt n \times \sqrt n$$ ग्रिड, इस सीमा को प्राप्त करते है। एक इकाई हाइपरक्यूब में अंकों के लिए $$d$$-आयामी स्थान, संगत सीमा$$O(n^{(d-1)/d})$$ होती है। यही सीमा न्यूनतम फैले हुए ट्री की अपेक्षित कुल लंबाई पर भी होती है। $$n$$ एक इकाई वर्ग या इकाई हाइपरक्यूब से समान रूप से और स्वतंत्र रूप से चुने गए बिंदु होते है। इकाई वर्ग पर लौटने पर, न्यूनतम फैले हुए ट्री के वर्ग किनारे की लंबाई का योग $$O(1)$$ होता है। यह सीमा इस अवलोकन से मिलती है कि किनारों में असंयुक्त रम्बी है, जिसका क्षेत्रफल किनारे की लंबाई के वर्ग के समानुपाती होता है। $$O(\sqrt n)$$ कुल लंबाई पर बाध्य कॉची-श्वार्ज़ असमानता के अनुप्रयोग द्वारा अनुसरण किया जाता है।

इन परिणामों की एक और व्याख्या यह है कि एक इकाई वर्ग में बिंदुओं के किसी भी सेट के लिए औसत किनारे की लंबाई $$O(1/\sqrt n)$$ होती है, नियमित ग्रिड में बिंदुओं के अंतर के अधिकतम आनुपातिक; और एक इकाई वर्ग में यादृच्छिक बिंदुओं के लिए औसत लंबाई $$1/\sqrt n$$ आनुपातिक होती है। चूकिं, यादृच्छिक स्थितियों में, उच्च संभावना के साथ सबसे लंबे किनारे की लंबाई लगभग होती है$$\sqrt{\frac{\log n}{\pi n}},$$इस प्रकार यह क गैर-स्थिर कारक द्वारा औसत से अधिक लंबा होता है। उच्च संभावना के साथ, सबसे लंबा किनारा फैले हुए ट्री का एक पत्ता बनाता है, और अन्य सभी बिंदुओं से दूर एक बिंदु को उसके निकटतम पड़ोसी से जोड़ता है। बड़ी संख्या में अंकों के लिए, इसके अपेक्षित मूल्य के आसपास सबसे लंबी किनारे की लंबाई का वितरण लाप्लास वितरण में परिवर्तित हो जाता है।कोई भी ज्यामितीय स्पैनर, एक पूर्ण ज्यामितीय ग्राफ का एक उपग्राफ जिसकी सबसे छोटी पथ समस्या यूक्लिडियन दूरी का अनुमान लगाती है, उसकी कुल किनारे की लंबाई कम से कम न्यूनतम फैले हुए ट्री जितनी बड़ी होनी चाहिए, और एक ज्यामितीय स्पैनर के लिए मानक गुणवत्ता उपायों में से एक इसकी कुल लंबाई और समान बिंदुओं के लिए न्यूनतम फैले हुए ट्री के मध्य का अनुपात इसकी होता है। स्पैनर के निर्माण की कई विधियाँ होती है ,जैसे कि ग्रीडी ज्यामितीय स्पैनर, इस अनुपात के लिए एक स्थिर सीमा प्राप्त करती हैं। यह अनुमान लगाया गया है कि स्टीनर अनुपात, विमान में बिंदुओं के समान सेट के लिए न्यूनतम फैले हुए ट्री और स्टीनर ट्री की कुल लंबाई के मध्य सबसे बड़ा संभव अनुपात होता है। $$2/\sqrt{3}\approx 1.1547$$, एक समबाहु त्रिभुज में तीन बिंदुओं का अनुपात होता है।

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

कम्प्यूटेशनल जटिलता
$$O(n^2)$$ बिंदुओं के प्रत्येक जोड़े के मध्य एक किनारे के साथ एक पूर्ण ग्राफ़ का निर्माण करके, यूक्लिडियन दूरी के आधार पर, और फिर उस पर प्राइम के एल्गोरिदम जैसे ग्राफ़ न्यूनतम स्पैनिंग ट्री एल्गोरिदम को प्रयुक्त करके किसी भी आयाम में बिंदुओं के लिए, समय में न्यूनतम फैले हुए ट्री का निर्माण किया जा सकता है। इन एल्गोरिदम को पूर्ण ग्राफ़ पर समय $$O(n^2)$$ लेने के लिए बनाया जा सकता है, एक अन्य सामान्य विकल्प के विपरीत, क्रुस्कल का एल्गोरिदम, जो धीमा होता है क्योंकि इसमें सभी दूरियों को क्रमबद्ध में सम्मलित करना होता है। निम्न-आयामी स्थानों में बिंदुओं के लिए, समस्या को अधिक शीघ्रता से हल किया जा सकता है, जैसा कि नीचे बताया गया है।

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

दो आयाम
समतल बिंदुओं के न्यूनतम फैले हुए ट्री के अन्वेषण के लिए एक उच्च दृष्टिकोण इस गुण का उपयोग करता है कि यह डेलाउने त्रिकोण का एक उपसमूह होता है: परिणाम एक एल्गोरिथ्म $$O(n\log n)$$ समय लेता है, गणना के कुछ मॉडलों में सर्वश्रेष्ठ निम्नलिखित दिए गये है (निचली सीमा देखें)।
 * 1) डेलाउने त्रिभुज की गणना करें, जिसे किया $$O(n\log n)$$ समय में जा सकता है। क्योंकि डेलाउने त्रिभुज एक समतलीय ग्राफ होता है, इसमें अधिकतम $$3n-6$$ किनारे होते है।
 * 2) प्रत्येक किनारे को उसकी (वर्गीकृत) लंबाई के साथ लेबल करें।
 * 3) एक ग्राफ़ न्यूनतम स्पैनिंग ट्री एल्गोरिदम चलाएँ। क्योंकि वहां $$O(n)$$ किनरे होते है, किसी भी मानक न्यूनतम स्पैनिंग ट्री एल्गोरिदम का उपयोग द्वारा समय $$O(n\log n)$$ की इसको आवश्यकता होती है।

यदि इनपुट निर्देशांक पूर्णांक होता हैं और उन्हें सरणी सूचकांक के रूप में उपयोग किया जा सकता है, तो उच्च एल्गोरिदम संभव होता हैं: डेलाउने त्रिकोण का निर्माण यादृच्छिक एल्गोरिदम द्वारा अपेक्षित समय $$O(n\log\log n)$$ में किया जा सकता है। इसके अतिरिक्त, चूंकि डेलाउने त्रिकोण एक समतलीय ग्राफ होता है, इसलिए इसके न्यूनतम फैले हुए ट्री को बोरोव्का के एल्गोरिदम के एक प्रकार द्वारा रैखिक समय में पाया जा सकता है जो एल्गोरिदम के प्रत्येक चरण के बाद घटकों की प्रत्येक जोड़ी के मध्य सबसे सस्ते किनारे को छोड़कर सभी को हटा देता है। इसलिए, इस एल्गोरिथम के लिए कुल अपेक्षित समय $$O(n\log\log n)$$होता है। दूसरी दिशा में, डेलाउने त्रिकोण का निर्माण निकट-रेखीय समय सीमा $$O(n\log^* n)$$ में न्यूनतम फैले हुए ट्री से किया जा सकता है, जहाँ $$\log^*$$ पुनरावृत्त लघुगणक को दर्शाता है।

उच्च आयाम
समस्या का सामान्यीकरण $$n$$ में अंक $$d$$-आयामी स्थान $$\R^d$$में भी किया जा सकता है। उच्च आयामों में, कनेक्टिविटी डेलाउने त्रिकोण द्वारा निर्धारित की जाती है (जो, इसी तरह, उत्तल पतवार को $$d$$-डायमेंशनल संकेतन में विभाजित करती है) इसमें कुछ न्यूनतम फैले हुए ट्री सम्मलित होते हैं; यघपि, त्रिभुज में पूरा ग्राफ़ सम्मलित हो सकता है। इसलिए, यूक्लिडियन न्यूनतम फैले हुए ट्री को पूर्ण ग्राफ़ के फैले हुए ट्री के रूप में या डेलाउने त्रिकोण के फैले हुए ट्री के रूप में अन्वेषण के लिए दोनों $$O(dn^2)$$ समय लेते है। तीन आयामों के लिए न्यूनतम फैले हुए ट्री को समय $$O\bigl((n\log n)^{4/3}\bigr)$$में पाया जा सकता है, और किसी भी बड़े आयाम को, प्रदर्शित किये गये समय में पाया जा सकता है $$O\left(n^{2-\frac{2}{\lceil d/2\rceil+1}+\varepsilon}\right)$$किसी के लिए $$\varepsilon>0$$- संपूर्ण ग्राफ़ औलेकिनउने त्रिभुज एल्गोरिदम के लिए द्विघात समय सीमा से अधिक शीघ्र होता है।

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

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

एक अच्छी तरह से अलग किया गया जोड़ी अपघटन दिए गए बिंदुओं के उपसमुच्चय के जोड़े का एक परिवार होता है, जिससे प्रत्येक जोड़ी अंक उपसमुच्चय के इन जोड़े में से एक से संबंधित होती है, और जिससे उपसमुच्चय की एक ही जोड़ी से आने वाले बिंदुओं के सभी जोड़े लगभग एक ही लंबाई के होते है। $$O(n\log n)$$समय में उपसमुच्चय की एक रैखिक संख्या और प्रत्येक उपसमुच्चय के लिए बिंदुओं की एक प्रतिनिधि जोड़ी के साथ एक अच्छी तरह से अलग की गई जोड़ी का अपघटन अन्वेषण करना संभव होता है।. इन प्रतिनिधि जोड़ियों द्वारा बनाए गए ग्राफ़ का न्यूनतम स्पैनिंग ट्री न्यूनतम स्पैनिंग ट्री का एक अनुमानित मान होता है। इन विचारों का उपयोग करते हुए, एक $$(1+\varepsilon)$$-न्यूनतम फैले हुए ट्री का अनुमानित मान $$O(n\log n)$$ समय में नियतांक $$\varepsilon$$ के लिए पाया जा सकता है। अधिक स्पष्ट रूप से, प्रत्येक प्रतिनिधि जोड़ी को उसके समकक्ष वर्ग में निकटतम जोड़ी का अनुमान लगाने के लिए चुनकर, और विभिन्न जोड़ियों के लिए इस सन्निकटन की गुणवत्ता को ध्यान से अलग करके, $$\varepsilon$$ पर निर्भरता $$O(n \log n + (\varepsilon^{-2} \log ^2 \tfrac{1}{\varepsilon})n)$$समय सीमा में किसी भी निश्चित आयाम के लिए इस प्रकार दिया जा सकता है।

गतिशील और गतिज(काइनेटिक)
यूक्लिडियन न्यूनतम फैले हुए ट्री को चलती या बदलते बिंदुओं की प्रणालियों के लिए कई अलग-अलग ढंग से सामान्यीकृत किया गया है:
 * यदि बिंदुओं का एक सेट गतिशील सम्मिलन या बिंदुओं के विलोपन के अनुक्रम से होकर निकलता है, तो इनमें से प्रत्येक अद्यतन बिंदुओं के न्यूनतम फैले हुए ट्री में परिवर्तन की एक सीमित मात्रा को प्रेरित करता है। जब अद्यतन अनुक्रम पहले से ज्ञात होता है, तो विमान में बिंदुओं के लिए, प्रत्येक प्रविष्टि या विलोपन के बाद परिवर्तन समय $$O(\log^2 n)$$पर पाया जा सकता है। जब अद्यतनों को ऑनलाइन एल्गोरिदम तरीके से पलेकिनत किया जाता है, तो धीमी (परन्तु फिर भी बहु-लघुगणकीय) $$O(\log^{10} n)$$ समयबद्धता ज्ञात होती है। समस्या के उच्च-आयामी संस्करणों के लिए प्रति अद्यतन समय धीमा होता है, परन्तु फिर भी अधरेखीय होता है।
 * $$n$$ स्थिर गति के लिए एक साथ, या अधिक सामान्य बीजगणितीय गति के साथ रैखिक रूप से आगे बढ़ने वाले बिंदु, न्यूनतम फैले हुए ट्री स्वैप के अनुक्रम से बदल जाएंगे, जिसमें एक किनारा हटा दिया जाता है और दूसरा इसे उस समय में बदल देता है जहां दोनों की लंबाई समान होती है। रैखिक गतियों के लिए, परिवर्तनों की संख्या अधिक से अधिक $$n^{25/9}$$ से थोड़ी अधिक होती है। अधिक सामान्य बीजगणितीय गतियों के लिए, डेवनपोर्ट-शिन्ज़ेल अनुक्रमों के सिद्धांत के आधार पर, स्वैप की संख्या पर एक निकट-घन ऊपरी सीमा होती है।
 * न्यूनतम गतिमान स्पैनिंग ट्री समस्या फिर से समय के अंतराल पर निरंतर गति के साथ रैखिक रूप से आगे बढ़ने वाले बिन्दुओं से संबंधित होती है, और एक ऐसे ट्री की खोज करती है जो इस अंतराल के समय किसी भी क्षण होने वाले वजन के अधिकतम योग को कम कर दे। त्रुटिहीन गणना करना एनपी-कठिन होता है, परन्तु बहुपद समय में दो के कारक के भीतर इसका अनुमान लगाया जा सकता है।
 * गतिज यूक्लिडियन न्यूनतम फैले हुए ट्री समस्या एक गतिज डेटा संरचना की मांग करती है जो न्यूनतम स्पैनिंग ट्री को बनाए रख सके क्योंकि इसके बिंदु निरंतर गति और सम्मिलन और विलोपन दोनों से गुजरते हैं। कई पत्रों ने ऐसी संरचनाओं का अध्ययन किया है, और जो लगभग घन-कुल समय के साथ बीजगणितीय रूप से गतिशील बिंदुओं के लिए एक गतिज संरचना ज्ञात होती है, जो स्वैप की संख्या की सीमा से लगभग समान होती है।

निचली सीमा
स्पर्शोन्मुख निचली सीमा $$\Omega(n\log n)$$ यूक्लिडियन न्यूनतम फैले हुए ट्री की समस्या को गणना के प्रतिबंधित मॉडल में स्थापित किया जा सकता है। इनमें बीजगणितीय निर्णय ट्री और बीजगणितीय संगणना ट्री मॉडल सम्मलित होता हैं, जिसमें एल्गोरिदम को मात्र कुछ प्रतिबंधित प्राइमेटिव्स के माध्यम से इनपुट बिंदुओं तक पहुंच होती है जो उनके निर्देशांक पर सरल बीजगणितीय गणना करते हैं। इन मॉडलों में, अंक समस्या की निकटतम जोड़ी की आवश्यकता होती है, परन्तु निकटतम जोड़ी आवश्यक रूप से न्यूनतम फैले हुए ट्री का एक किनारा होता है, इसलिए न्यूनतम फैले हुए ट्री कोभी इतने समय $$\Omega(n\log n)$$की आवश्यकता होती है। इसलिए, समय में समतल न्यूनतम फैले हुए ट्री के निर्माण के लिए एल्गोरिदम $$O(n\log n)$$ इस मॉडल के भीतर, उदाहरण के लिए डेलाउने त्रिभुज का उपयोग करके, सर्वश्रेष्ठ होते हैं। यघपि, ये निचली सीमाएँ पूर्णांक बिंदु निर्देशांक के साथ गणना के मॉडल पर लागू नहीं होती हैं, जिसमें उन निर्देशांक पर बिटवाइज़ संचालन और रैंडम एक्सेस संचालन की अनुमति प्राप्त होती है। इन मॉडलों में, तेज़ एल्गोरिदम संभव होता हैं, जैसा कि ऊपर बताया गया है।

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

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

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

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

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

यह भी देखें

 * सरलरेखीय न्यूनतम स्पैनिंग ट्री, टैक्सीकैब ज्यामिति का उपयोग करके मापी गई दूरियों वाला एक न्यूनतम स्पैनिंग ट्री होता है।

बाहरी संबंध

 * EMST tutorial, mlpack documentation