ट्रीविड्थ

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

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

ट्रीविड्थ का उपयोग आमतौर पर आलेख कलन विधि के पैरामिट्रीकृत जटिलता विश्लेषण में एक पैरामीटर के रूप में किया जाता है। कई कलन विधि जो सामान्य आलेख के लिए एनपी कठिन  हैं, आसान हो जाते हैं जब ट्रीविड्थ एक स्थिरांक से घिरा होता है।

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

परिभाषा
एक आलेख का एक ट्री अपघटन $G = (V, E)$ एक ट्री है $T$ नोड्स के साथ $X1, …, Xn$, जहां प्रत्येक $Xi$ का उपसमुच्चय है $V$, निम्नलिखित गुणों को संतुष्ट करता है (नोड शब्द का प्रयोग एक शीर्ष को संदर्भित करने के लिए किया जाता है $T$ के शीर्ष के साथ भ्रम से बचने के लिए $G$): एक ट्री के अपघटन की चौड़ाई उसके सबसे बड़े समुच्चय का आकार है $Xi$ शून्य से एक कम। ट्रीविड्थ $(v, w)$ आलेख का $V$ के सभी संभव ट्री अपघटन के बीच न्यूनतम चौड़ाई है $Xi$. इस परिभाषा में, ट्रीविड्थ को एक के बराबर बनाने के लिए सबसे बड़े समुच्चय के आकार को एक से घटा दिया जाता है।
 * 1) सभी समुच्चयों का मिलन $Xj$ बराबर है $v$. यही है, प्रत्येक आलेख शीर्ष कम से कम एक ट्री नोड में समाहित है।
 * 2) अगर $Xk$ और $T$ दोनों में एक शीर्ष है $Xi$, पुनः सभी नोड्स $Xj$ का $v$ के बीच (अद्वितीय) पथ में $v$ और $T$ रोकना $Xi$ भी। समतुल्य रूप से, ट्री नोड्स में शीर्ष होता है $v$ का कनेक्टेड सबट्री बनाता है $w$.
 * 3) हर किनारे के लिए $tw(G)$ आलेख में, एक सबसमुच्चय है $Xi$ जिसमें दोनों सम्मिलित हैं $G$ और $G$. यही है, कोने आलेख में आसन्न होते हैं, जब संबंधित उप-वृक्षों में एक आम नोड होता है।

समान रूप से, कीट्रीविड्थ $G$ युक्त कॉर्डल आलेख में सबसे बड़े क्लिक (आलेख सिद्धांत) के आकार से एक कम है $G$ सबसे छोटी अधिकतम क्लिक के साथ। इस क्लिक साइज के साथ कॉर्डल आलेख को जोड़कर प्राप्त किया जा सकता है $G$ हर दो शीर्षों के बीच एक किनारा जो दोनों कम से कम एक समुच्चय से संबंधित हैं $Xi$.

ट्रीविड्थ को हेवन (आलेख थ्योरी) के संदर्भ में भी चित्रित किया जा सकता है, एक आलेख पर परिभाषित एक निश्चित खोज-चोरी के खेल के लिए एक चोरी की रणनीति का वर्णन करने वाले कार्य। एक आलेख $G$ में ट्रीविड्थ है $k$ अगर और केवल अगर यह आदेश का स्श्रेणी है $k + 1$ लेकिन कोई उच्च क्रम नहीं, जहां आदेश का स्श्रेणी है $k + 1$ एक कार्य है $β$ जो प्रत्येक समुच्चय को मानचित्र करता है $X$ अधिक से अधिक $k$ कोने में $G$ के जुड़े घटकों में से एक में $G \ X$ और वह एकरसता गुण का पालन करता है $&beta;(Y) ⊆ &beta;(X)$ जब कभी भी $X ⊆ Y$.

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

उदाहरण
हर पूरा आलेख $Kn$ में ट्रीविड्थ है$n – 1$. कॉर्डल आलेख के संदर्भ में ट्रीविड्थ की परिभाषा का उपयोग करके इसे सबसे आसानी से देखा जा सकता है: पूरा आलेख पहले से ही कॉर्डल है, और अधिक किनारों को जोड़ने से इसके सबसे बड़े समूह के आकार को कम नहीं किया जा सकता है।

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

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

समतलीय रेखांकन में परिबद्ध ट्रीविड्थ नहीं होता है, क्योंकि $n × n$ ग्रिड आलेख ट्रीविड्थ के साथ एक प्लेनर आलेख है $n$. इसलिए, अगर $F$ एक उपसारणिक-बंद आलेख श्रेणी है जिसमें बाउंड ट्रीविड्थ है, इसमें सभी समतली आलेख सम्मिलित नहीं हो सकते। इसके विपरीत, यदि श्रेणी में आलेख के लिए कुछ  समतली आलेख उपसारणिक के रूप में नहीं हो सकते हैं $F$, तो एक स्थिरांक है $k$ जैसे कि सभी रेखांकन $F$ में अधिकतम ट्रीविड्थ है $k$. अर्थात्, निम्नलिखित तीन स्थितियाँ एक दूसरे के समतुल्य हैं:
 * 1) $F$ बाउंडेड-ट्रीविड्थ आलेख का उपसारणिक-बंद श्रेणी है;
 * 2) चरित्र चित्रण करने वाले बहुत से वर्जित उपसारणिकों में से एक $F$ तलीय है;
 * 3) $F$ एक छोटा-बंद आलेख श्रेणी है जिसमें सभी समतली आलेख सम्मिलित नहीं हैं।

निषिद्ध उपसारणिक
के प्रत्येक परिमित मूल्य के लिए $k$, ज़्यादा से ज़्यादा ट्रीविड्थ का आलेख $k$ निषिद्ध आलेख लक्षण वर्णन के एक परिमित समुच्चय द्वारा विशेषता हो सकती है। (अर्थात, ट्रीविड्थ का कोई भी आलेख $K5$ में उपसारणिक के रूप में समुच्चय में से एक आलेख सम्मिलित है।) वर्जित उपसारणिकों के इन समुच्चयों में से प्रत्येक में कम से कम एक समतली आलेख सम्मिलित है। के बड़े मूल्यों के लिए $k$, वर्जित उपसारणिकों की संख्या कम से कम उतनी ही तीव्रतासे बढ़ती है जितनी कि के श्रेणीमूल की चरघातांकी$k$. हालांकि, वर्जित उपसारणिकों के आकार और संख्या पर ज्ञात ऊपरी सीमाएं इस निचली सीमा से बहुत अधिक हैं।
 * के लिए $> k$, अद्वितीय वर्जित उपसारणिक एक 3-शीर्ष चक्र आलेख है।
 * के लिए $k = 1$, अद्वितीय वर्जित उपसारणिक 4-शीर्ष पूर्ण आलेख है $k = 2$. *के लिए $K4$, चार वर्जित उपसारणिक हैं: $k = 3$, अष्टफलक का आलेख, पंचकोणीय प्रिज्म प्रिज्म आलेख और वैगनर आलेख। इनमें से दो बहुफलकीय आलेख समतलीय हैं।

ट्रीविड्थ की गणना
यह निर्धारित करने के लिए एनपी-पूर्ण है कि क्या दिया गया आलेख है $G$ में किसी दिए गए वेरिएबल पर ट्रीविड्थ है $k$.

हालाँकि, कब $k$ कोई निश्चित स्थिरांक है, ट्रीविड्थ वाला आलेख $k$ पहचाना जा सकता है, और एक चौड़ाई $k$ उनके लिए निर्मित वृक्ष अपघटन, रैखिक समय में। इस एल्गोरिथम की समय निर्भरता $k$ चरघातांकी है।

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

नीचे दी गई तालिका कुछ ट्रीविड्थ कलन विधि का अवलोकन प्रदान करती है। यहाँ $k$ ट्रीविड्थ है और $n$ एक इनपुट आलेख के शीर्षों की संख्या है $G$. प्रत्येक कलन विधि समय में आउटपुट करता है $K5$ अनुमानित कॉलम में दी गई चौड़ाई का अपघटन। उदाहरण के लिए, का कलन विधि समय के भीतर $f(k) ⋅ g(n)$ या तो इनपुट आलेख के ट्री अपघटन का निर्माण करता है $G$ अधिकतम चौड़ाई $k$ या रिपोर्ट करता है कि की ट्रीविड्थ $G$ से अधिक होता है $k$. इसी तरह, का कलन विधि  समय के भीतर $2O(k3)⋅n$ या तो इनपुट आलेख के ट्री अपघटन का निर्माण करता है  $G$ अधिकतम चौड़ाई $2O(k)⋅n$ या रिपोर्ट करता है कि की ट्रीविड्थ $G$ से अधिक होता है $k$. ने इसमें सुधार किया $5k + 4$ एक ही रनिंग टाइम में।

यह ज्ञात नहीं है कि प्लैनर आलेख की ट्रीविड्थ का निर्धारण एनपी-पूर्ण है, या क्या उनकी ट्रीविड्थ की गणना बहुपद समय में की जा सकती है।

व्यवहार में, का एक एल्गोरिथ्म इष्टतम ट्रीविड्थ के साथ इन आलेखों की कॉर्डल पूर्णता का पता लगाते हुए 100 शीर्षों तक के आलेख की ट्रीविड्थ और 11 तक ट्रीविड्थ का निर्धारण कर सकते हैं।

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

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

डॉव और कोर्फ़ सर्वोत्तम-प्रथम खोज का उपयोग करके QuickBB एल्गोरिद्म में सुधार किया। कुछ आलेख पर, यह सर्वोत्तम-प्रथम खोज एल्गोरिथम QuickBB की तुलना में तीव्रता का एक क्रम है।

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

एक उदाहरण के रूप में, ट्रीविड्थ के आलेख को रंगने वाले आलेख की समस्या $k$ आलेख के वृक्ष अपघटन पर एक गतिशील प्रोग्रामिंग कलन विधि का उपयोग करके हल किया जा सकता है। प्रत्येक समुच्चय के लिए $Xi$ ट्री के अपघटन का, और प्रत्येक विभाजन के शीर्षों के एक समुच्चय का $Xi$ रंग श्रेणीों में, एल्गोरिथ्म निर्धारित करता है कि क्या वह रंग वैध है और ट्री के अपघटन में सभी वंशज नोड्स तक बढ़ाया जा सकता है, उन नोड्स पर गणना की गई और संग्रहीत समान प्रकार की जानकारी को मिलाकर। परिणामी एल्गोरिथ्म एक का एक इष्टतम रंग पाता है $n$-समय में शीर्ष आलेख $2k + 1$, एक समयबद्धता जो इस समस्या को पैरामिट्रीकृत जटिलता|फिक्स्ड-पैरामीटर ट्रैक्टेबल बनाती है।

कौरसेल प्रमेय
समस्याओं के एक बड़े श्रेणी के लिए, कक्षा से किसी समस्या को हल करने के लिए एक रैखिक समय एल्गोरिथ्म है यदि एक ट्री-अपघटन निरंतर बाध्य ट्रीविड्थ के साथ प्रदान किया जाता है। विशेष रूप से, कौरसेल की प्रमेय बताता है कि यदि मोनाडिक द्वितीय-क्रम तर्क का उपयोग करते हुए आलेख के तर्क में एक आलेख समस्या व्यक्त की जा सकती है, तो इसे रेखीय समय में बाउंड ट्रीविड्थ के साथ आलेख पर हल किया जा सकता है। मोनाडिक दूसरे क्रम का तर्क लॉजिक आलेख गुणों का वर्णन करने वाली एक भाषा है जो निम्नलिखित निर्माणों का उपयोग करती है:
 * तर्क संचालन, जैसे $$ \wedge ,\vee ,\neg ,\Rightarrow $$
 * सदस्यता परीक्षण, जैसे $f(k)$, $g(n)$
 * शीर्षों, किनारों, शीर्षों के समुच्चयों और/या किनारों के समुच्चयों पर परिमाणीकरण, जैसे $O(1)$, $O(nk+2)$, $4k + 3$, $O(33k)$
 * निकटता परीक्षण ($u$ का समापन बिंदु है $e$), और कुछ एक्सटेंशन जो ऑप्टिमाइज़ेशन जैसी चीज़ों की अनुमति देते हैं।

उदाहरण के लिए आलेख कलरिंग | आलेख के लिए 3-कलरिंग समस्या पर विचार करें। एक आलेख के लिए $O(n2)$, यह समस्या पूछती है कि क्या प्रत्येक शीर्ष निर्दिष्ट करना संभव है $8k + 7$3 रंगों में से एक ऐसा है कि कोई भी दो आसन्न शीर्षों को समान रंग नहीं दिया गया है। इस समस्या को मोनाडिक सेकंड ऑर्डर लॉजिक में निम्नानुसार व्यक्त किया जा सकता है:
 * $$ \exists W_1 \subseteq V : \exists W_2 \subseteq V : \exists W_3 \subseteq V : \forall v \in V : (v \in W_1 \vee v \in W_2 \vee v \in W_3) \wedge $$
 * $$ \forall v \in V : \forall w \in V : (v,w) \in E \Rightarrow (\neg (v \in W_1 \wedge w \in W_1) \wedge \neg (v \in W_2 \wedge w \in W_2) \wedge \neg (v \in W_3 \wedge w \in W_3))$$,

कहाँ $2O(k log k)$, $n log2 n$, $5k + 4$ 3 रंगों में से प्रत्येक वाले कोने के सबसमुच्चय का प्रतिनिधित्व करते हैं।

इसलिए, कौरसेल के परिणामों से, 3-रंग की समस्या को एक आलेख के लिए रैखिक समय में हल किया जा सकता है, जो कि निरंतर ट्रीविड्थ के ट्री-अपघटन को देखते हैं।

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

ग्रिड लघु आकार
क्योंकि एक की ट्रीविड्थ $7k + 6$ ग्रिड आलेख है $n$, आलेख की ट्रीविड्थ $G$ हमेशा छोटे आकार के सबसे बड़े श्रेणी ग्रिड आलेख के आकार से बड़ा या उसके बराबर होता है $G$. दूसरी दिशा में, नील रॉबर्टसन (गणितज्ञ) और पॉल सीमोर (गणितज्ञ) द्वारा ग्रिड उपसारणिक प्रमेय से पता चलता है कि एक असीम कार्य मौजूद है $f$ जैसे कि सबसे बड़े श्रेणी ग्रिड उपसारणिक का आकार कम से कम हो $2O(k log k)$ कहाँ $r$ ट्रीविड्थ है। सबसे अच्छी सीमा पर जाना जाता है $f$ वो है $f$ कम से कम होना चाहिए $n log n$ कुछ निश्चित स्थिरांक के लिए $2O(k3)$, और अधिक से अधिक
 * $$O \left( \sqrt{ r / \log r} \right).$$

के लिए $O(n)$ निचले बाउंड में प्रतीकांकन, बिग ओ प्रतीकांकन देखें। प्रतिबंधित आलेख श्रेणीों के लिए सख्त सीमाएँ जानी जाती हैं, जिससे द्विविमता के सिद्धांत के माध्यम से उन श्रेणीों पर कई आलेख अनुकूलन समस्याओं के लिए कुशल कलन विधि की ओर अग्रसर होता है।

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

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

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

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

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