लॉजिकल मिन कट (LMC) समस्या परिभाषा
मान लीजिए कि एक अनवील डगआउट है, s और t , V के दो कोने हैं , और t s से पहुंच योग्य है । LMC समस्या का अध्ययन करता है कि कैसे हम निम्नलिखित बाधाओं को G के कुछ किनारों को हटाकर s से t को अगम्य बना सकते हैं :
- हटाए गए किनारों की संख्या न्यूनतम होनी चाहिए।
- हम के किसी भी शीर्ष के प्रत्येक निकास किनारे को नहीं हटा सकते हैं (यानी, आउटगोइंग किनारों वाले किसी भी शीर्ष पर इसके सभी आउटगोइंग किनारों को हटाया नहीं जा सकता है)।
इस दूसरे अवरोध को तार्किक निष्कासन कहा जाता है। तो हम G के कुछ किनारों को तार्किक, कम से कम हटाने की तलाश करते हैं , ताकि t s से पहुंच से बाहर हो ।
समाधान के प्रयास
अगर हम LMC समस्या के तार्किक निष्कासन की कमी को नजरअंदाज करते हैं , तो यह अनवीटेड डिग्राफ में न्यूनतम कटौती की समस्या होगी, इसलिए यह सॉल्व करने योग्य बहुपद (अधिकतम-प्रवाह मिन-कट प्रमेय) होगा।
अगर हम LMC समस्या के न्यूनतम हटाने बाधा की अनदेखी, यह एक DAG में फिर से व्याख्या करने योग्य polynomially हो जाएगा: लगता है एक शीर्ष ऐसी है कि कश्मीर से पहुंचा जा सकता है रों और टी से पहुंच योग्य नहीं है कश्मीर । फिर एक पथ p पर विचार करें जो कि s से k तक का एक मनमाना मार्ग है । अब पथ p को G के उपसमूह के रूप में मानें : उत्तर सबग्राफ p के प्रत्येक निकास किनारे होगा । यह स्पष्ट है कि शीर्ष k को बहुपद समय में DFS द्वारा G में पाया जा सकता है । दुर्भाग्य से यह एल्गोरिथ्म सामान्य रूप से काम नहीं करता है एक मनमाने ढंग से निर्देशित ग्राफ के लिए।
मैंने एक गतिशील प्रोग्रामिंग तकनीक द्वारा LMC समस्या को हल करने की कोशिश की लेकिन समस्या को हल करने के लिए आवश्यक राज्यों की संख्या घातीय हो गई। इसके अलावा, मैंने कुछ एनपी-कंप्लीट समस्याओं जैसे 3-सैट, मैक्स 2 सेट, मैक्स-कट और एलएमसी समस्या को कम करने की कोशिश की जिसे मैंने कम करने के लिए प्रबंधित नहीं किया।
मुझे व्यक्तिगत रूप से लगता है कि LMC समस्या NP- पूर्ण है भले ही एक द्विआधारी DAG हो (यानी, एक DAG जहाँ कोई नोड 2 से अधिक नहीं है)।
प्रशन
- क्या एलएमसी समस्या एनपी-पूर्ण एक मनमाना डिजीट ? (मुख्य प्रश्न)
- क्या एलएमसी समस्या एनपी-पूर्ण एक डीएजी ?
- क्या एलएमसी समस्या एनपी-पूर्ण एक मनमाना बाइनरी डीएजी ?