न्यूनतम स्पैनिंग ट्री (एमएसटी)

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

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

, जिसके किनारे का वजन शीर्षों के बीच रेक्टिलिनियर दूरी के

संभावित बहुलता
यदि ग्राफ़ में $n$ शीर्ष हैं तो प्रत्येक स्पैनिंग ट्री में $n − 1$ किनारे हैं।

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

अद्वितीयता
यदि प्रत्येक किनारे का अलग वजन है जिससे केवल एक, अद्वितीय न्यूनतम स्पैनिंग ट्री होता है। यह कई यथार्थवादी स्थितियों में सही है, जैसे कि ऊपर दूरसंचार कंपनी का उदाहरण, जहां यह संभव नहीं है कि किन्हीं दो रास्तों की निवेश पूर्ण रूप से समान होता है। यह विस्तृत वनों का भी सामान्यीकरण करता है।

प्रमाण:
 * 1) विरोधाभास से प्रमाण, कि दो $A$ और $B$ अलग-अलग एमएसटी हैं.
 * 2) चूंकि $A$ और $B$ समान नोड्स होने के अतिरिक्त भिन्न हैं, इसलिए कम से कम एक किनारा ऐसा है जो एक का है किन्तु दूसरे का नहीं। ऐसे किनारों के बीच मान लीजिए कि $e1$ सबसे कम वजन वाला है, यह विकल्प अद्वितीय है क्योंकि सभी किनारों का वजन अलग-अलग है। व्यापकता की हानि के बिना मान लें कि $e1$, $A$ में है।
 * 3) चूँकि $B$ एक एमएसटी है ${e1} ∪ B$ में $e1$ के साथ एक चक्र $C$ होना चाहिए।
 * 4) चूंकि ट्री A में कोई चक्र नहीं है इसलिए $C$ का एक किनारा $e2$ होना चाहिए जो $A$ में नहीं है।
 * 5) चूँकि $e1$ को $A$ और $B$ में से किसी एक से संबंधित अद्वितीय सबसे कम वजन वाले किनारे के रूप में चुना गया था, इसलिए $e2$ का वजन $e1$ के वजन से अधिक होना चाहिए।
 * 6) चूँकि $e1$ और $e2$ चक्र $C$ का भाग हैं, इसलिए $B$ में $e2$ को $e1$ से बदलने पर कम वजन वाला एक स्पैनिंग ट्री प्राप्त होता है।
 * 7) यह इस धारणा का खंडन करता है कि $B$ एमएसटी है.

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

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

साइकिल प्रोपर्टी
ग्राफ़ में किसी भी चक्र $C$ के लिए यदि $C$ के किनारे $e$ का वजन $C$ के अन्य सभी किनारों के किसी भी व्यक्तिगत वजन से बड़ा है तो यह किनारा एमएसटी से संबंधित नहीं हो सकता है।

प्रमाण: इसके विपरीत मान लें कि $e$ एक एमएसटी $T1$ से संबंधित है। फिर $e$ को हटाने से $T1$ दो सबट्री में टूट जाएगा और $e$ के दोनों सिरे अलग-अलग सबट्री में होंगे। $C$ का शेष भाग सबट्री को फिर से जोड़ता है इसलिए C का एक किनारा $f$ होता है जिसके सिरे अलग-अलग सबट्री में होते हैं अर्थात यह सबट्री को $T1$ के भार से कम भार वाले $T2$ वृक्ष में पुनः जोड़ता है क्योंकि f का भार $e$ के भार से कम है।

प्रोपर्टी कट
किसी भी कट के लिए (ग्राफ सिद्धांत) $T$ ग्राफ़ का, यदि किनारे का भार $BC$ के कट-सेट में $EC$ कट-सेट के अन्य सभी किनारों के वजन से पूर्ण रूप से छोटा है $EF$, तो यह किनारा ग्राफ़ के सभी एमएसटी से संबंधित है।

प्रमाण: यह कहना व्यर्थ है कि एमएसटी $T$ है जिसमें सम्मिलित $C$ नहीं है. जोड़ा जा रहा है $e$ को $C$ चक्र का उत्पादन करेगा, जो एक ही बार में कट को पार कर जाएगा $C$ और दूसरे किनारे पर वापस चला जाता है $T$. हटाया जा रहा है $e$ हमें फैला हुआ ट्री मिलता है $S = {A,B,D,E},$ की तुलना में सख्ती से कम वजन का $e$. यह इस धारणा का खंडन करता है कि $T$ एमएसटी था.

इसी तरह के तर्क से, यदि कट में से अधिक किनारे न्यूनतम वजन के होते हैं, तो ऐसा प्रत्येक किनारा किसी न्यूनतम स्पैनिंग ट्री में समाहित होता है।

न्यूनतम-निवेश बढ़त
यदि न्यूनतम निवेश बढ़त e किसी ग्राफ़ का अद्वितीय है, जिससे यह किनारा किसी भी एमएसटी में सम्मिलित है।

प्रमाण: यदि $e$ को एमएसटी में सम्मिलित नहीं किया गया था, जोड़ने के बाद बने चक्र में किसी भी (बड़ी निवेश) किनारे को हटा दिया गया था $e'$ एमएसटी के लिए, कम वजन का फैला हुआ ट्री प्राप्त होता है।

संकुचन
यदि $e'$ एमएसटी किनारों का ट्री है, तो हम अनुबंध कर सकते हैं $T$ अनुबंधित ग्राफ प्लस के एमएसटी को अपरिवर्तनीय बनाए रखते हुए ही शीर्ष पर $T$ संकुचन से पहले ग्राफ़ के लिए एमएसटी देता है।

एल्गोरिदम
नीचे दिए गए सभी एल्गोरिदम में, $e$ ग्राफ़ में किनारों की संख्या है और $e$ शीर्षों की संख्या है.

क्लासिक एल्गोरिदम
न्यूनतम स्पैनिंग ट्री को खोजने के लिए पहला एल्गोरिदम 1926 में चेक वैज्ञानिक ओटाकर बोरोव्का द्वारा विकसित किया गया था (बोरोव्का का एल्गोरिदम देखें)। इसका उद्देश्य मोराविया का कुशल विद्युत कवरेज था। एल्गोरिदम चरणों के अनुक्रम में आगे बढ़ता है। प्रत्येक चरण में, जिसे बोरुव्का चरण कहा जाता है, यह जंगल की पहचान करता है $T$ ग्राफ़ में प्रत्येक शीर्ष पर न्यूनतम-वजन वाली बढ़त की घटना सम्मिलित है $T$, फिर ग्राफ बनाता है $V – S = {C,F},$ अगले चरण के इनपुट के रूप में। यहाँ $(S, V – S)$ से प्राप्त ग्राफ़ को दर्शाता है $T$ किनारों को अंदर की ओर सिकोड़कर $m$ (कट प्रोपर्टी के अनुसार, ये किनारे एमएसटी से संबंधित हैं)। प्रत्येक बोरुव्का चरण में रैखिक समय लगता है। चूँकि प्रत्येक चरण में शीर्षों की संख्या कम से कम आधी हो जाती है, बोरुव्का का एल्गोरिथ्म $S ∪ {e}$ समय लेता है।

दूसरा एल्गोरिथम प्राइम का एल्गोरिथम है, जिसका आविष्कार 1930 में वोजटेक जार्निक द्वारा किया गया था और 1957 में रॉबर्ट सी. प्राइम और 1959 में एडस्गर डब्ल्यू. डिज्क्स्ट्रा द्वारा फिर से खोजा गया था। मूल रूप से, यह एमएसटी को बढ़ाता है ($n$) समय में किनारा प्रारंभ में, $F$ में सही शीर्ष सम्मिलित है। प्रत्येक चरण में, $G$ को कम से कम वजन वाले किनारे के साथ संवर्धित किया गया है $T∖{e' } ∪ {e}$ ऐसा है कि $G$ में है $F$ और $T$ अभी तक अंदर नहीं है $T$. कट प्रॉपर्टी द्वारा, सभी किनारों को जोड़ा गया $T$ एमएसटी में हैं। इसका रन-टाइम या तो है $G1 = G \ F$ या $G \ F$, प्रयुक्त डेटा-संरचनाओं पर निर्भर करता है।

सामान्यतः उपयोग में आने वाला तीसरा एल्गोरिदम क्रुस्कल का एल्गोरिदम है, जो $O(m log n)$ समय भी लेता है ।

एक चौथा एल्गोरिदम, जो सामान्यतः उपयोग नहीं किया जाता है, रिवर्स-डिलीट एल्गोरिदम है, जो क्रुस्कल के एल्गोरिदम के विपरीत है। इसका रनटाइम है $(x,y)$.

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

तेज़ एल्गोरिदम
कई शोधकर्ताओं ने अधिक कम्प्यूटेशनल रूप से कुशल एल्गोरिदम खोजने का प्रयास किया है।

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

ज्ञात जटिलता के साथ सबसे तेज़ गैर-यादृच्छिक तुलना-आधारित एल्गोरिदम, बर्नार्ड चेज़ेल द्वारा, सॉफ्ट हीप, अनुमानित प्राथमिकता कतार पर आधारित है। इसके चलने का समय है $O(m log n)$, जहाँ $O(m + n log n)$ शास्त्रीय कार्यात्मक एकरमैन फ़ंक्शन इनवर्स है। प्रोग्राम $O(m log n)$ अत्यंत धीमी गति से बढ़ता है, जिससे सभी व्यावहारिक उद्देश्यों के लिए इसे 4 से अधिक नहीं स्थिरांक माना जा सके; इस प्रकार चेज़ेल का एल्गोरिदम रैखिक समय के बहुत निकट ले जाता है।

सघन रेखांकन
यदि ग्राफ सघन है (अर्थात्) $O(m log n (log log n)3)$, फिर फ्रेडमैन और टार्जन द्वारा नियतात्मक एल्गोरिदम समय $O(m α(m,n))$ में एमएसटी का पता लगाता है. एल्गोरिदम कई चरणों को क्रियान्वित करता है। प्रत्येक चरण प्राइम के एल्गोरिदम को कई बार निष्पादित करता है, प्रत्येक चरण सीमित संख्या में चरणों के लिए। प्रत्येक चरण का रन-टाइम $α$ है यदि चरण से पहले शीर्षों की संख्या $x$ है चरण के बाद शेष शीर्षों की संख्या $$\tfrac{n'}{2^{m/n'}}$$ अधिकतम होती है. इसलिए, अधिक से अधिक $α$ चरणों की आवश्यकता होती है, जो घने ग्राफ़ के लिए रैखिक रन-टाइम देता है।

ऐसे अन्य एल्गोरिदम हैं जो घने ग्राफ़ पर रैखिक समय में काम करते हैं।

पूर्णांक भार
यदि किनारे का भार बाइनरी में दर्शाए गए पूर्णांक हैं, जिससे नियतात्मक एल्गोरिदम ज्ञात होते हैं जो $m/n ≥ log log log n)$ पूर्णांक संचालन समस्या को हल करते हैं । क्या तुलना-आधारित एल्गोरिदम द्वारा रैखिक समय में सामान्य ग्राफ़ के लिए समस्या को निश्चित रूप से हल किया जा सकता है या नहीं यह खुला प्रश्न बना हुआ है।

निर्णय ट्री
दिया गया ग्राफ $T$ जहां नोड्स और किनारे तय हो गए हैं किन्तु वजन अज्ञात है, वजन के किसी भी क्रमपरिवर्तन के लिए एमएसटी की गणना के लिए बाइनरी निर्णय ट्री (डीटी) का निर्माण करना संभव है। डीटी के प्रत्येक आंतरिक नोड में दो किनारों के बीच तुलना होती है, उदाहरण के लिए के बीच किनारे का वजन है $y$ और $T$ बीच के किनारे के वजन से बड़ा $T$ और $n'$? . नोड के दो बच्चे हां या ना में दो संभावित उत्तरों के अनुरूप हैं। डीटी के प्रत्येक पत्ते में किनारों की सूची $G$ होती है जो एमएसटी के अनुरूप है। डीटी की रनटाइम जटिलता एमएसटी को खोजने के लिए आवश्यक प्रश्नों की सबसे बड़ी संख्या है, जो डीटी की गहराई है। ग्राफ़ के लिए डीटी $x$ को इष्टतम कहा जाता है यदि इसमें सभी सही डीटी $y$ की तुलना में सबसे छोटी गहराई होटी है.

प्रत्येक पूर्णांक के लिए $w$, सभी ग्राफ़ के लिए इष्टतम निर्णय ट्री $z$ खोज संभव है पाशविक-बल खोज द्वारा शिखर। यह खोज दो चरणों में आगे बढ़ती है.

A. सभी संभावित डीटी उत्पन्न करना
 * $G$ शीर्षों पर $$2^{r \choose 2}$$ अलग-अलग ग्राफ़ हैं।
 * प्रत्येक ग्राफ़ के लिए एक एमएसटी सदैव $O(m)$ तुलनाओं का उपयोग करके पाया जा सकता है जैसे प्राइम के एल्गोरिदम द्वारा।
 * इसलिए, $O(m + n)$ इष्टतम डीटी की गहराई से कम है.
 * इसलिए, इष्टतम डीटी में आंतरिक नोड्स की संख्या $$2^{r^2}$$ कम है.
 * प्रत्येक आंतरिक नोड दो किनारों की तुलना करता है। किनारों की संख्या $log*n$ अधिकतम है इसलिए तुलनाओं की भिन्न संख्या अधिकतम $O(m + n)$ है.
 * इसलिए, संभावित डीटी की संख्या से कम है
 * $${(r^4)}^{(2^{r^2})} = r^{2^{(r^2+2)}}.$$

बी. सही डीटी की पहचान करना यह जांचने के लिए कि क्या डीटी सही है, इसे किनारे के वजन के सभी संभावित क्रमपरिवर्तनों पर जांचा जाना चाहिए।
 * ऐसे क्रमपरिवर्तनों की संख्या $r(r – 1)$ अधिकतम है.
 * प्रत्येक क्रमपरिवर्तन के लिए, किसी भी वर्तमान एल्गोरिदम का उपयोग करके दिए गए ग्राफ़ पर एमएसटी समस्या को हल करें, और परिणाम की तुलना डीटी द्वारा दिए गए उत्तर से करें।
 * किसी भी एमएसटी एल्गोरिदम का रनिंग टाइम अधिकतम $r2$ होता है, इसलिए सभी क्रमपरिवर्तनों की जांच करने के लिए आवश्यक कुल समय $r2$ अधिकतम है.

इसलिए, सभी ग्राफ़ के लिए इष्टतम डीटी खोजने के लिए आवश्यक कुल समय $G$ शीर्ष है: :

$$2^{r \choose 2} \cdot r^{2^{(r^2+2)}} \cdot (r^2+1)!,$$

जो कि कम है
 * $$2^{2^{r^2+o(r)}}.$$

इष्टतम एल्गोरिदम
सेठ पेटी और विजय रामचन्द्रन ने पाया है सिद्धतः इष्टतम नियतात्मक तुलना-आधारित न्यूनतम स्पैनिंग ट्री एल्गोरिदम है। निम्नलिखित एल्गोरिथम का सरलीकृत विवरण है।


 * 1) माना $r4$, जहाँ $G$ शीर्षों की संख्या है. सभी इष्टतम निर्णय ट्री खोजें $r$ शिखर. यह $(r2)!$ समय रहते किया जा सकता है (ऊपर निर्णय ट्री देखें)।
 * 2) ग्राफ़ $r$ को अधिकतम घटकों में विभाजित करें  प्रत्येक घटक में शीर्ष यह विभाजन सॉफ्ट हीप का उपयोग करता है, जो ग्राफ़ के किनारों की छोटी संख्या को दूषित करता है।
 * 3) प्रत्येक घटक के अन्दर अदूषित सबग्राफ के लिए एमएसटी खोजने के लिए इष्टतम निर्णय ट्री का उपयोग करें।
 * 4) एमएसटी द्वारा फैलाए गए प्रत्येक जुड़े हुए घटक को शीर्ष पर अनुबंधित करें, और किसी भी एल्गोरिदम को प्रयुक्त करें जो समय में $r2$ घने ग्राफ़ पर काम करता है  अभ्रष्ट उपसमूह के संकुचन के लिए
 * 5) परिणामी फ़ॉरेस्ट में दूषित किनारों को वापस जोड़ें जिससे सबग्राफ़ बनाया जा सके जिसमें न्यूनतम स्पैनिंग ट्री सम्मिलित होने की गारंटी हो, और प्रारंभिक ग्राफ़ की तुलना में स्थिर कारक से छोटा हो। इस ग्राफ़ पर पुनरावर्ती रूप से इष्टतम एल्गोरिदम प्रयुक्त करें।

एल्गोरिथम $(r2 + 1)!$ में सभी चरणों का रनटाइम है, निर्णय ट्री का उपयोग करने के चरण को छोड़कर। इस चरण का रनटाइम अज्ञात है, किन्तु यह सिद्ध हो चुका है कि यह इष्टतम है - कोई भी एल्गोरिदम इष्टतम निर्णय ट्री से उत्तम नहीं कर सकता है। इस प्रकार, इस एल्गोरिथम में विशिष्ट गुण है सिद्धतः इष्टतम, चूँकि इसकी रनटाइम जटिलता अज्ञात है।

समानांतर और वितरित एल्गोरिदम
अनुसंधान ने न्यूनतम स्पैनिंग ट्री की समस्या के लिए समानांतर एल्गोरिदम पर भी विचार किया है। प्रोसेसर की रैखिक संख्या $r = log log log n$ समय के साथ समस्या को हल करना संभव है।  एल्गोरिदम प्रदर्शित करें जो अनुकूलित अनुक्रमिक एल्गोरिदम की तुलना में 8 प्रोसेसर पर 5 गुना तेजी से एमएसटी की गणना कर सकता है।

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

समस्या का समाधान वितरित कंप्यूटिंग में भी किया जा सकता है। यदि प्रत्येक नोड को कंप्यूटर माना जाता है और कोई भी नोड अपने स्वयं के जुड़े लिंक के अतिरिक्त कुछ भी नहीं जानता है, तब भी कोई वितरित न्यूनतम स्पैनिंग ट्री की गणना कर सकता है।

यादृच्छिक भार के साथ पूर्ण ग्राफ़ पर एमएसटी
एलन एम. फ़्रीज़ ने दिखाया कि n शीर्षों पर पूरा ग्राफ दिया गया है, किनारे के वजन के साथ जो वितरण फ़ंक्शन के साथ स्वतंत्र समान $$F$$ रूप से वितरित यादृच्छिक चर हैं संतुष्टि देने वाला $$F'(0) > 0$$, फिर जैसे-जैसे n विस्तारित वास्तविक संख्या रेखा के निकट पहुंचता है | $$\zeta(3)/F'(0)$$ +∞ एमएसटी का अपेक्षित वजन निकट आता है, जहाँ $$\zeta$$ रीमैन ज़ेटा फ़ंक्शन है (अधिक विशेष रूप से है)। $$\zeta(3)$$ एपेरी का स्थिरांक)। फ़्रीज़ और जे. माइकल स्टील ने भी संभाव्यता में अभिसरण सिद्ध किया था।  स्वंते जानसन ने एमएसटी के वजन के लिए केंद्रीय सीमा प्रमेय सिद्ध किया था।

एकसमान यादृच्छिक भार के लिए $$[0,1]$$, छोटे पूर्ण ग्राफ़ के लिए न्यूनतम स्पैनिंग ट्री के सटीक अपेक्षित आकार की गणना की गई है।

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

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

संबंधित समस्याएँ
शीर्षों के उपसमुच्चय के स्टीनर ट्री को खोजने की समस्या, अर्थात, दिए गए उपसमुच्चय को फैलाने वाला न्यूनतम ट्री, एनपी-पूर्ण के रूप में जाना जाता है। एक संबंधित समस्या k-न्यूनतम स्पैनिंग ट्री है | k-न्यूनतम स्पैनिंग ट्री (k-एमएसटी), जो कि वह ट्री है जो न्यूनतम वजन के साथ ग्राफ में k शीर्षों के कुछ सबसेट को फैलाता है।

K-सबसे छोटे स्पैनिंग ट्री का सेट k स्पैनिंग ट्री का उपसमूह है (सभी संभावित स्पैनिंग ट्री में से) जिससे उपसमूह के बाहर किसी भी स्पैनिंग ट्री का वजन कम नही होटी है।  (ध्यान दें कि यह समस्या k-न्यूनतम स्पैनिंग ट्री से असंबंधित है।)

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

सरलरेखीय न्यूनतम स्पैनिंग ट्री ग्राफ का स्पैनिंग ट्री है, जिसके किनारे का वजन शीर्षों के बीच रेक्टिलिनियर दूरी के अनुरूप होता है, जो कि समतल (या स्थान) में बिंदु होते हैं।

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

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

डिग्री-बाधित स्पैनिंग ट्री न्यूनतम स्पैनिंग ट्री है जिसमें प्रत्येक शीर्ष किसी दी गई संख्या d के लिए d अन्य शीर्षों से अधिक नहीं जुड़ा होता है। स्थिति d = 2 ट्रैवलिंग सेल्समैन समस्या का विशेष स्थिति है, इसलिए न्यूनतम स्पैनिंग ट्री की डिग्री सामान्य रूप से एनपी-हार्ड है।

निर्देशित ग्राफ के लिए, न्यूनतम स्पैनिंग ट्री की समस्या को आर्बोरेसेंस (ग्राफ़ सिद्धांत) समस्या कहा जाता है और इसे हल किया जा सकता है $$O(E + V \log V)$$ चू-लियू/एडमंड्स एल्गोरिथम का उपयोग करते हुए समय होता है।

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

अधिकतम स्पैनिंग ट्री प्राकृतिक भाषा प्रसंस्करण के लिए पदच्छेद एल्गोरिदम में अनुप्रयोग पाते हैं और सशर्त यादृच्छिक क्षेत्र के लिए प्रशिक्षण एल्गोरिदम है।

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

अग्रिम पठन

 * Otakar Boruvka on Minimum Spanning Tree Problem (translation of both 1926 papers, Comments, history) (2000) Jaroslav Nešetřil, Eva Milková, Helena Nesetrilová. (SeCtion 7 gives his algorithm, whiCh looks like a Cross between Prim's and Kruskal's.)
 * 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. Chapter 23: Minimum Spanning Trees, pp. 561–579.
 * Eisner, Jason (1997). State-of-the-art algorithms for minimum spanning trees: A tutorial disCussion. ManusCript, University of Pennsylvania, April. 78 pp.
 * Kromkowski, John David. "Still Unmelted after All These Years", in Annual Editions, RaCe and EthniC Relations, 17/e (2009 MCGraw Hill) (Using minimum spanning tree as method of demographiC analysis of ethniC diversity aCross the United States).

बाहरी संबंध

 * Implemented in BGL, the Boost Graph Library
 * The Stony Brook Algorithm Repository - Minimum Spanning Tree Codes
 * Implemented in QuiCkGraph for .Net