प्रेरित मिलान

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

दिए गए ग्राफ़ के लाइन ग्राफ की ग्राफ़ शक्ति में प्रेरित मिलान को स्वतंत्र समुच्चय (ग्राफ़ सिद्धांत) के रूप में भी वर्णित किया जा सकता है।

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

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

अभिकलनात्मक जटिलता
कम से कम $$k$$ आकार के प्रेरित मिलान की खोज NP-पूर्ण है (और इस प्रकार अधिकतम आकार का प्रेरित मिलान खोजना NP-कठिन है)। कॉर्डल ग्राफ में इसे बहुपद समय में हल किया जा सकता है क्योंकि कॉर्डल ग्राफ़ के लाइन ग्राफ़ के वर्ग आदर्श ग्राफ हैं। इसके अतिरिक्त इसे कॉर्डल ग्राफ़ में रैखिक समय में हल किया जा सकता है। जब तक बहुपद पदानुक्रम में अप्रत्याशित पतन नहीं होता तब तक सबसे बड़ा प्रेरित मिलान बहुपद समय में सन्निकटन अनुपात $$n^{1-\varepsilon}$$ किसी में अनुमानित नहीं किया जा सकता है।

W[1]-कठिन (मापदण्ड जटिलता) भी समस्या है जिसका अर्थ है कि किसी दिए गए आकार $$k$$ के छोटे से प्रेरित मिलान को खोजने की संभावना नहीं है जबकि किनारों के सभी $$k$$- टपल्स का प्रयास करने की विस्तृत बल खोज दृष्टिकोण की तुलना में एल्गोरिथ्म अधिक तीव्र है। जबकि $$k$$ कोने खोजने की समस्या जिसका निष्कासन प्रेरित मिलान को छोड़ देता है, फिक्स्ड-पैरामीटर ट्रैक्टेबल है। $$n$$ वर्टेक्स रेखांकन $$O(1.3752^n)$$ समय में घातीय स्थान के साथ या $$O(1.4231^n)$$ समय में बहुपद स्थान के साथ पर भी समस्या का समाधान किया जा सकता है।

यह भी देखें

 * प्रेरित पथ