प्रमेय। पोस्ट में समस्या एनपी-हार्ड है।
"पोस्ट में समस्या" से, मेरा मतलब है, एक ग्राफ दिया जी = ( वी, ई) और पूर्णांक क, चुनना क संशोधित ग्राफ में न्यूनतम कटौती को अधिकतम करने के लिए किनारों को बढ़ाना।
मैक्स कट से कम करने का विचार है। मोटे तौर पर, एक दिया गया ग्राफजी = ( वी, ई) अधिकतम कट आकार है रों अगर और केवल अगर आप की क्षमता बढ़ा सकते हैं एन - 2 किनारों ताकि परिणामी ग्राफ में न्यूनतम कट आकार हो रों। विचार यह है किएन - 2 किनारों के परिणामस्वरूप परिणामी ग्राफ को केवल एक परिमित-क्षमता में कटौती के लिए बाध्य करने के लिए पर्याप्त है, और यह आपके द्वारा चुने गए किसी भी कटौती हो सकती है।
दिए गए कट को प्राप्त करने के लिए यह विचार काफी काम नहीं करता है ( सी), वी∖ सी), आप से प्रेरित उपसमूहों की जरूरत है सी तथा वी∖ सीप्रत्येक को जोड़ा जाना है। लेकिन आप इसके आसपास उचित गैजेट के साथ काम कर सकते हैं।
सबूत।
जुड़ा हुआ ग्राफ दियाजी = ( वी, ई)एक कट होने के लिए कनेक्टेड कट को परिभाषित करें( सी), वी∖ सी) इस तरह के उपसमूहों से प्रेरित है सी और द्वारा वी∖ सीप्रत्येक जुड़े हुए हैं। मैक्स कनेक्टेड कट को परिभाषित करें कटे हुए कट को पार करने वाले किनारों की संख्या को अधिकतम करने के लिए कनेक्टेड कट (किसी दिए गए जुड़े ग्राफ में) को खोजने की समस्या।
हम दिखाते हैं कि मैक्स कनेक्टेड कट पोस्ट में समस्या को कम करता है। फिर हम दिखाते हैं कि अनवीटेड मैक्स कट मैक्स कनेक्टेड कट को कम करता है।
लेम्मा 1. मैक्स कनेक्टेड कट पॉली टाइम में पोस्ट में परिभाषित समस्या को कम करता है।
सबूत। एक मैक्स-कनेक्टेड-कट उदाहरण दियाजी = ( वी, ई), चलो के = | वी| -२। लेम्मा सिद्ध करने के लिए, हम निम्नलिखित सिद्ध करते हैं:
दावा 1: किसी के लिएs > 0, जुड़ा हुआ कट है ( सी), वी∖ सी) में जी कम से कम की क्षमता रों, IFF इसे उठाना संभव है क में धार क्षमता जी अनंत तक ताकि परिणामी ग्राफ में न्यूनतम कट क्षमता हो रों।
केवल IF: मान लीजिए कि कोई जुड़ा हुआ कट है ( सी), वी∖ सी) कम से कम की क्षमता रों। चलोटी1 तथा टी2 क्रमशः फैले हुए उप-योग होते हैं, सी तथा वी∖ सी, फिर किनारों की क्षमता बढ़ाएं टी1 तथा टी2। (ध्यान दें कि|टी1| + |टी2| = | सी| -1+ | वी∖ सी| -1= | वी| -2=के।) ग्राफ में बची एकमात्र परिमित क्षमता है ( सी), वी∖ सी)कम से कम क्षमता के रों, इसलिए परिणामी ग्राफ में न्यूनतम कट की क्षमता है रों।
IF: मान लीजिए कि इसे उठाना संभव है क में धार क्षमता जी ताकि परिणामी ग्राफ में न्यूनतम कट की क्षमता हो रों। द्वारा गठित उपसमूह पर विचार करेंककिनारों को उठाया। व्यापकता के नुकसान के बिना, मान लें कि यह उपसमूह चक्रीय है। (अन्यथा, उठाए गए किनारों के एक चक्र से एक किनारे को "हटाएं" और इसके बजाय कुछ अप्रकाशित बढ़त को बढ़ाएं जो कि उपसमूह से दो जुड़े हुए घटकों को जोड़ता है। यह केवल परिणामस्वरूप ग्राफ में न्यूनतम कटौती को बढ़ाता है।)के = एन - २उप-किनारों को ऊपर उठाने के दो जुड़े घटक हैं, कहते हैं सी तथा वी∖ सी, इसलिए परिणामी ग्राफ में एकमात्र परिमित क्षमता में कटौती है ( सी), वी∖ सी)। और इस कटौती में कम से कम क्षमता हैरों, जैसा कि उसने मूल ग्राफ में किया था।
यह दावा (और लेम्मा) साबित करता है। (QED)
पूर्णता के लिए, हम दिखाते हैं कि मैक्स कनेक्टेड कट एनपी-पूर्ण है, बिना कटे हुए मैक्स कट से घटाकर।
लेम्मा 2. अनवीटेड मैक्स कट पॉली टाइम में मैक्स कनेक्टेड कट में कम हो जाता है ।
सबूत। किसी भी पूर्णांक के लिएएन≥ १, ग्राफ को परिभाषित करें पी( एन) दो रास्तों से मिलकर ए तथा बीलंबाई के प्रत्येक एनप्रत्येक शीर्ष से किनारों के साथ ए में प्रत्येक शीर्ष पर बी। हम इसे सत्यापित करने के लिए पाठक के लिए एक अभ्यास के रूप में छोड़ देते हैं कि अधिकतम में कटौतीपी( एन) (ए एक तरफ, बी दूसरे पर) का आकार है N2, और कोई अन्य कट आकार से बड़ा है, कहते हैं, N2−N/100।
यहाँ कमी है। किसी भी अनकवर्ड मैक्स कट उदाहरण को देखते हुएG=(V,E)एक ग्राफ का निर्माण करें G′=(V′,E′)निम्नलिखित नुसार। चलोn=|V|। चलोN=100(n2+2n)। में जोड़ेG लेखाचित्र P(N) ऊपर परिभाषित किया गया (इसके दो रास्तों के साथ) A तथा B)। प्रत्येक शीर्ष सेv∈V में एक शीर्ष करने के लिए एक बढ़त जोड़ें A और एक किनारे से दूसरे किनारे तक B। यह कमी को परिभाषित करता है। समाप्त करने के लिए, हम इसे सही साबित करते हैं:
दावा २: किसी के लिए भीs≥0, एक कटौती है (C,V∖C) में G कम से कम की क्षमता s, IFF में एक जुड़ा हुआ कट है G′ कम से कम आकार का s+N2+n।
केवल आईएफ: किसी भी कटौती को देखते हुए (C,V∖C) में G कम से कम की क्षमता s, जुड़े कट पर विचार करें (A∪C,B∪V∖C) में G′। इसमें कनेक्टेड कटG′ कम से कम s किनारों से C सेवा V∖C, प्लस N2 किनारों से A सेवा B, प्लस n का 2n किनारों से V सेवा A∪B।
यदि: मान लीजिए कि कोई जुड़ा हुआ कट है G′ कम से कम आकार का s+N2+n। A तथा Bकटौती के विपरीत पक्ष में हैं। (अन्यथा, दूसरे सबसे बड़े कटौती के बाद सेP(N) ज्यादातर पर कटौती N2−N/100 में किनारों P(N)किनारों की कुल संख्या में कटौती सबसे अधिक है N2−N/100+|E|+2|V|≤N2−N/100+n2+2n=N2।) चलो C में कोने को निरूपित करें V के साथ कटौती की ओर A। फिर हैंN2 से कटौती में किनारों A सेवा B, तथा n से V सेवा A∪B, इसलिए कम से कम होना चाहिए s से C सेवा V∖C।
यह दावा और लेम्मा 2 साबित करता है (QED)
Lemmas 1 और 2 के बाद से, अनवीटेड मैक्स कट एनपी-हार्ड है, पोस्ट में समस्या एनपी-हार्ड भी है।