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

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

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

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

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

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

आसन्नता लेबलिंग योजनाएं
ग्राफ़ के कुशल प्रतिनिधित्व के संदर्भ में, जे.एच. मुलर ने ग्राफ़ के लिए एक स्थानीय संरचना या आसन्न लेबलिंग योजना को परिभाषित किया $G$ किसी दिए गए परिवार में $F$ ग्राफ़ का एक असाइनमेंट होना $O(log n)$-प्रत्येक शीर्ष के लिए बिट पहचानकर्ता $G$, एक एल्गोरिदम के साथ (जो इस पर निर्भर हो सकता है $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 दैवज्ञ]], मैट्रोइड एल्गोरिदम के लिए एक अंतर्निहित मॉडल