अंतर्निहित ग्राफ

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

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

कम्प्यूटेशनल जटिलता सिद्धांत में, अंतर्निहित ग्राफ़ के संबंध में कई जटिलता वर्गों को परिभाषित किया गया है, जैसा कि एक शीर्ष के पड़ोसियों को सूचीबद्ध करने के लिए एक नियम या एल्गोरिदम द्वारा ऊपर परिभाषित किया गया है। उदाहरण के लिए, पीपीए समस्याओं का वह वर्ग है जिसमें इनपुट के रूप में एक अप्रत्यक्ष अंतर्निहित ग्राफ दिया जाता है (जिसमें कोने n-बिट बाइनरी स्ट्रिंग होते हैं, किसी भी शीर्ष के पड़ोसियों को सूचीबद्ध करने के लिए एक बहुपद समय एल्गोरिदम के साथ) और विषम डिग्री का एक शीर्ष होता है ग्राफ़ में, और विषम डिग्री का दूसरा शीर्ष खोजना होगा। हाथ मिलाने की प्रमेयिका द्वारा, ऐसा शीर्ष मौजूद है; NP में किसी को ढूंढना एक समस्या है, लेकिन जिन समस्याओं को इस तरह से परिभाषित किया जा सकता है, जरूरी नहीं कि वे NP-पूर्ण हों, क्योंकि यह अज्ञात है कि PPA = NP है या नहीं। PPAD अंतर्निहित निर्देशित ग्राफ़ पर परिभाषित एक अनुरूप वर्ग है जिसने एल्गोरिथम गेम सिद्धांत में ध्यान आकर्षित किया है क्योंकि इसमें नैश संतुलन की गणना करने की समस्या शामिल है। एक अंतर्निहित ग्राफ़ में एक शीर्ष से दूसरे शीर्ष तक पहुंच योग्यता का परीक्षण करने की समस्या का उपयोग NL सहित अंतरिक्ष-बद्ध गैर-नियतात्मक जटिलता वर्गों को चिह्नित करने के लिए भी किया जा सकता है (समस्याओं का वर्ग जिसे अंतर्निहित निर्देशित ग्राफ़ में पहुंच योग्यता द्वारा विशेषता दी जा सकती है जिनके शीर्ष O(log n)-bit बिटस्ट्रिंग्स), SL (अप्रत्यक्ष ग्राफ़ के लिए अनुरूप वर्ग), और पीएसपीएसीई (समस्याओं का वर्ग जिसे बहुपद-लंबाई बिटस्ट्रिंग्स के साथ अंतर्निहित ग्राफ़ में पहुंच द्वारा विशेषता दी जा सकती है)। इस जटिलता-सैद्धांतिक संदर्भ में, एक अंतर्निहित ग्राफ़ के शीर्ष एक गैर-नियतात्मक ट्यूरिंग मशीन की स्थितियों का प्रतिनिधित्व कर सकते हैं, और किनारे संभावित राज्य परिवर्तनों का प्रतिनिधित्व कर सकते हैं, लेकिन अंतर्निहित ग्राफ़ का उपयोग कई अन्य प्रकार की संयोजन संरचना का प्रतिनिधित्व करने के लिए भी किया जा सकता है। PLS, एक अन्य जटिलता वर्ग, एक अंतर्निहित ग्राफ़ में स्थानीय ऑप्टिमा खोजने की जटिलता को पकड़ता है।

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

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

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

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

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

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

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

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

यह भी देखें

 * ब्लैक बॉक्स समूह, समूह सिद्धांत के लिए एक अंतर्निहित मॉडल|समूह-सैद्धांतिक एल्गोरिदम
 * [[matroid दैवज्ञ]], मैट्रोइड एल्गोरिदम के लिए एक अंतर्निहित मॉडल