बॉक्सिसिटी

ग्राफ थ्योरी में, बॉक्सिसिटी एक ग्राफ अपरिवर्तनीय है, जिसे 1969 में फ्रेड एस रॉबर्ट्स द्वारा प्रवेशित किया गया था।

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

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

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

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

ने साबित किया कि द्विदलीय ग्राफ G की बॉक्सिकता ऊंचाई के आदेश आयाम के एक कारक 2 के भीतर है- दो आंशिक रूप से G से जुड़े समुच्चय का आदेश इस प्रकार है: न्यूनतम तत्वों का समुच्चय G के एक आंशिक समुच्चय से मेल खाता है, का समुच्चय अधिकतम तत्व G के दूसरे पक्षीय समुच्चय से मेल खाते हैं, और दो तत्व तुलनीय हैं यदि संबंधित कोने G में आसन्न हैं। समान रूप से, ऊंचाई-दो आंशिक रूप से आदेशित समुच्चय P का ऑर्डर आयाम तुलनात्मकता के बॉक्सिकता के कारक 2 के भीतर है P का ग्राफ (जो द्विदलीय है, चूँकि P की ऊँचाई दो है)।

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

अपने प्राकृतिक मापदण्ड के लिए कठोर होने के बावजूद, निवेश ग्राफ के शीर्ष आवरण नंबर द्वारा मापदण्ड किए जाने पर बॉक्सिकिटी स्थायी-मापदण्ड सुविधाजनक है।

सीमा
यदि किसी ग्राफ़ G में m किनारे हैं, तो: $$box(G) = O(\sqrt{m \cdot \log(m)})$$.

यदि ग्राफ G k-डीजेनेरसी (ग्राफ़ सिद्धांत) है ($$k\ge 2$$ के साथ) और n शीर्ष हैं, तो G में $$box(G) \le (k+2) \lceil 2e \log n \rceil$$ बॉक्सिकता है।

यदि ग्राफ़ G का ग्राफ अवयस्क के रूप में शीर्षों पर कोई पूर्ण ग्राफ़ नहीं है, तो $$box(G) = O(t^2 \log t)$$ जबकि ग्राफ़ अवयस्क के रूप में और बॉक्सिसिटी के साथ t कोने पर कोई पूर्ण ग्राफ़ नहीं है और बॉक्सिकिटी के साथ ग्राफ़ $$\Omega(t \sqrt{\log t})$$ हैं। विशेष रूप से, किसी भी ग्राफ G में $$box(G) = O(\mu(G)^2 \log \mu(G))$$ बॉक्सीसिटी होती है, जहां $$\mu(G)$$ कॉलिन डी वेर्डिएर ग्राफ अपरिवर्तनीय को दर्शाता है |

संबंधित ग्राफ़ अपरिवर्तनशीलता

 * घनापन को उसी तरह से परिभाषित किया जाता है जैसे कि बॉक्सिसिटी लेकिन हाइपररेक्टैंगल्स के बजाय अक्ष-समानांतर हाइपरक्यूब्स के साथ। बॉक्सिसिटी घनता का एक सामान्यीकरण है।
 * गोलाकारता (ग्राफ़ सिद्धांत) को उसी तरह से परिभाषित किया जाता है जैसे कि बॉक्सिकता लेकिन इकाई-व्यास वाले क्षेत्रों के साथ।