जैसा कि टिप्पणियों में पहले ही कहा गया है, यह हमेशा की तरह परिभाषाओं पर निर्भर करता है। इसका उत्तर देने का मेरा प्रयास काफी कुछ परिभाषाओं की जरूरत है, इसलिए संक्षिप्त जवाब देने में असमर्थता का यह एक और उदाहरण होगा।
परिभाषा: एक अनुकूलन समस्या एक टपल है(X,F,Z,⊙)
- X उपयुक्त रूप से एन्कोडेड (स्ट्रिंग्स) इंस्टेंस या इनपुट का सेट ।
- एक्स ∈ एक्स एफ ( एक्स ) एक्सF एक समारोह है कि प्रत्येक उदाहरण के नक्शे है एक सेट करने के लिए के संभव समाधान की ।x∈XF(x)x
- Z , एक ऐसा फंक्शन है जो प्रत्येक जोड़ी मैप करता है , जहां और , वास्तविक संख्या को का मान कहते हैं ।एक्स ∈ एक्स वाई ∈ एफ ( एक्स ) जेड ( एक्स , वाई ) y(x,y)x∈Xy∈F(x)Z(x,y)y
- न्यूनतम अधिकतम⊙ है अनुकूलन दिशा , या तो या ।minmax
परिभाषा: अनुकूलन समस्या के उदाहरण का एक इष्टतम समाधान एक व्यवहार्य समाधान है , जिसके लिए । एक इष्टतम समाधान के मूल्य को साथ चिह्नित किया जाता है और इसे इष्टतम कहा जाता है ।पी ओ वाई ∈ एफ ( एक्स ) जेड ( एक्स , वाई ) = ⊙ { जेड ( एक्स , वाई ' ) | y ' ∈ एफ ( एक्स ) } हे पी टी ( एक्स )x∈XPOy∈ एफ( x )Z(x,y)=⊙{Z(x,y′)∣y′∈F(x)}Opt(x)
परिभाषा: मूल्यांकन समस्या , निरूपित किया , अनुकूलन समस्या के लिए इसी निम्नलिखित है: एक उदाहरण को देखते हुए , गणना यदि सर्वोत्कृष्ट समाधान और आउटपुट "कोई इष्टतम समाधान" अन्यथा है।पी ओ एक्स ∈ एक्स ओ पी टी ( एक्स ) एक्सPEPOx∈XOpt(x)x
ध्यान दें कि यह सिर्फ इष्टतम समाधान के मूल्य के लिए पूछता है न कि पूरे समाधान को अपने सभी विवरणों के साथ।
परिभाषा: निर्णय समस्या , निरूपित किया अनुकूलन समस्या के लिए इसी पीछा कर रहा है: एक जोड़ी को देखते हुए , जहां और यह तय करें कि एक व्यवहार्य समाधान है ऐसे कि अगर और ऐसे अगर ।पी ओ ( एक्स , कश्मीर ) एक्स ∈ एक्स कश्मीर ∈ क्यू x y जेड ( एक्स , वाई ) ≤ कश्मीर ⊙ = मिनट जेड ( एक्स , वाई ) ≥ कश्मीर ⊙ = अधिकतमPDPO(x,k)x∈Xk∈QxyZ(x,y)≤k⊙=minZ(x,y)≥k⊙=max
एक पहला अवलोकन अब यह है कि । प्रमाण मुश्किल नहीं है और यहाँ छोड़ दिया गया है।PO∈NPO⇒PD∈NP
अब सहज और करने के लिए इसी की तुलना में कठिन नहीं हैं ही। औपचारिक रूप से इस भावना व्यक्त करने के लिए (और इस प्रकार को परिभाषित करने के लिए क्या बराबर मतलब माना जाता है) हम में कटौती का प्रयोग करेंगे।पी डी पी ओ पी ओPEPDPOPO
याद है कि एक भाषा किसी अन्य भाषा में बहुपद समय कम करने योग्य है अगर वहाँ एक समारोह , बहुपद समय में शुमार कर सका, जैसे कि सभी शब्दों के लिए , । इस तरह की reducibility को Karp या कई-से-एक reducibility के रूप में जाना जाता है , और यदि इस तरीके से लिए reducible है, तो हम लिखकर इसे व्यक्त करते हैं । यह एनपी-पूर्णता की परिभाषा में एक केंद्रीय अवधारणा है।एल 2 च एक्स एक्स ∈ एल 1 ⇔ च ( एक्स ) ∈ एल 2 एल 1 एल 2 एल 1 ≤ मीटर एल 2L1L2fxx∈L1⇔f(x)∈L2L1L2L1≤mL2
दुर्भाग्य से, कई-से-एक कटौती भाषाओं के बीच जाती है और यह स्पष्ट नहीं है कि अनुकूलन समस्याओं के संदर्भ में उन्हें कैसे नियोजित किया जाए। इसलिए हमें एक अलग तरह की रिड्यूसबिलिटी, ट्यूरिंग रेड्यूसबिलिटी पर विचार करने की जरूरत है । पहले हमें इसकी आवश्यकता है:
परिभाषा: किसी समस्या के लिए एक अलंकृत एक (काल्पनिक) उप-प्रकार है जो निरंतर समय में उदाहरणों को हल कर सकता है ।पीPP
परिभाषा: एक समस्या बहुपद-काल है Turing-reducible to a problem , लिखित , यदि उदाहरणों को बहुपद समय में एक एल्गोरिथ्म द्वारा पहुंच के साथ हल किया जा सकता है ।पी 2 पी 1 ≤ टी पी 2 पी 1 पी 2P1P2P1≤TP2P1P2
अनौपचारिक रूप से, बस के साथ के रूप में , संबंध व्यक्त किया, कि से भी अधिक कठिन है । यह भी देखना आसान है कि यदि को बहुपद समय में हल किया जा सकता है, तो । दोबारा एक सकर्मक संबंध है। निम्नलिखित तथ्य स्पष्ट है:पी 1 ≤ टी पी 2 पी 1 पी 2 पी 2 पी 1 ≤ टी≤mP1≤TP2P1P2P2P1≤T
चलो , तो ।पी डी ≤ टी पी ई ≤ टी पी ओPO∈NPOPD≤TPE≤TPO
क्योंकि पूर्ण समाधान दिया गया है, इसके मूल्य की गणना करना और यह तय करना कि क्या यह बाध्य से मिलता है सरल है।k
परिभाषा: यदि दो समस्याओं के लिए और दोनों संबंध , होल्ड करते हैं, तो हम ; तुल्यता की हमारी धारणा ।पी 2 पी 1 ≤ टी पी 2 पी 2 ≤ पी 1 पी 1 ≡ टी पी 2P1P2P1≤TP2P2≤P1P1≡TP2
अब हम यह करने के लिए तैयार हैं कि को इसी अनुकूलन समस्या को और को पूर्णांक दिया गया है । हमें यह दिखाना होगा कि धारण करता है। हम F_ साथ को P_D के लिए बाइनरी खोज के साथ । की परिभाषा यह सुनिश्चित करती है कि कुछ बहुपद लिए , इसलिए बाइनरी खोज में चरणों की संख्या बहुपद है। PD≡TPE जेड पी ई ≤ टी पी डी ⊙ { जेड ( एक्स , वाई ) | y ∈ एफ ( एक्स ) } पी डी एन पी ओ | Z ( x , y ) | ≤ 2 क्ष ( | x | ) क्ष | x | ◻PO∈NPOZPE≤TPD⊙{Z(x,y)∣y∈F(x)}PDNPO|Z(x,y)|≤2q(|x|)q|x|□
एक अनुकूलन समस्या के लिए के संबंध कम स्पष्ट है। कई ठोस मामलों में, कोई भी सीधे दिखा सकता है कि । यह साबित करने के लिए कि यह आम तौर पर यहां दिए गए ढांचे के भीतर है, हमें एक अतिरिक्त धारणा की आवश्यकता है।पी ई पी डी ≡ टी पी ई ≡ टी पी ओPOPEPD≡TPE≡TPO
पहले हमें निर्णय की समस्याओं के लिए भाषाओं के जोड़े से का विस्तार करने की आवश्यकता है। तो फिर यह देखने के लिए कि आसान है से अधिक सामान्य है ।≤ टी ≤ एम≤m≤T≤m
चलो और निर्णय समस्याओं हो सकता है; उसके बाद । यह इसलिए माना जाता है क्योंकि बहुत से एक-एक कमी को बहुत ही सीमित तरीके से एक ओरेकल का उपयोग करने के रूप में व्याख्या की जा सकती है: ऑरेकल को एक बार, बहुत अंत में कहा जाता है, और इसका परिणाम भी समग्र परिणाम के रूप में वापस आ जाता है। पी ' पी ≤ मीटर पी ' ⇒ पी ≤ टी पी ' ◻PP′P≤mP′⇒P≤TP′□
अब हम समापन के लिए तैयार हैं:
बता दें कि और मान लीजिए पूर्णांक-मूल्यवान है और NP-पूर्ण है, तोपिछली टिप्पणियों के साथ यह दिखाने के लिए बना हुआ है । ऐसा करने के लिए हम जैसे । फिर हमारे पासनिर्णय और मूल्यांकन संस्करण के पहले के कारण दूसरा और तीसरा पकड़। तीसरा के एनपी- और पहले वर्णित दो तथ्यों से आता है, अर्थात् जेड पी डी पी डी ≡ टी पीPO∈NPOZPDपी ओ ≤ टी पी ई पी ' हे ∈ एन पी ओ पी ओ ≤ टी पी ' ई पी ओ ≤ टी पी ' ई ≤ टी पी ' डी ≤ टी पी डी ≤ टी पी ई ।
PD≡TPE≡TPO.
PO≤TPEP′O∈NPOPO≤TP′EPO≤TP′E≤TP′D≤TPD≤TPE.
≤ टी पी डी पी ओ ∈ एन पी ओ ⇒ पी डी ∈ एन पी पी ≤ मीटर पी ' हे ⇒ पी ≤ टी पी ' हे≤T≤TPDPO∈NPO⇒PD∈NP और ।
P≤mP′O⇒P≤TP′O
अब विवरण: मान लें कि के व्यवहार्य समाधान कुल आदेश से लैस एक वर्णमाला का उपयोग करके एन्कोड हैं । चलो से शब्द हो आम लंबाई के साथ शब्दों के ब्लॉक के भीतर लंबाई और कोषगत क्रम nondecreasing के क्रम में सूचीबद्ध। (इस प्रकार खाली शब्द है।) सभी let अद्वितीय पूर्णांक निरूपित करता है जैसे कि । दोनों और गणना बहुपद समय में की जा सकती है। मान लीजिए कि एक बहुपद है, जो कि सभी Σ wPOΣΣ * डब्ल्यू 0 वाई ∈ Σ * σ ( y ) मैं y = डब्ल्यू मैं σ σ - 1 क्ष एक्स ∈ एक्स वाई ∈ एफ ( एक्स ) σ ( y ) < 2 क्ष ( | x | )w0,w1,…Σ∗w0y∈Σ∗σ(y)iy=wiσσ−1qx∈Xऔर सभी हमारे पास ।y∈F(x)σ(y)<2q(|x|)
अब समस्या संशोधित उद्देश्य फ़ंक्शन को छोड़कर समान है । के लिए और हम ले । बहुपदीय समय में इस प्रकार । पीओजेड'एक्स∈एक्सवाई∈एफ(एक्स)जेड'(एक्स,वाई)=2क्ष(|x|)⋅जेड(एक्स,वाई)+σ(y)जेड'पी ' हे ∈एनपीओP′OPOZ′x∈Xy∈F(x)Z′(x,y)=2q(|x|)⋅Z(x,y)+σ(y)Z′P′O∈NPO
यह दिखाने के लिए कि हम देखते हैं कि लिए संभव है, यदि और केवल तभी यह लिए संभव है ।हम मान सकते हैं कि यह मामला है, क्योंकि विपरीत मामले को संभालने के लिए तुच्छ है। एक्स पी ओ पी ' ईPO≤TP′ExPOP′E
की substituion के लिए अर्थ में monotonic है कि सभी के लिए , अगर तो । इसका मतलब है कि के लिए हर इष्टतम समाधान में का एक इष्टतम समाधान है में । इस प्रकार हमारा कार्य में के एक इष्टतम समाधान की गणना को कम करता है । जेड y 1 , y 2 ∈ एफ (Z′Zजेड ( एक्स , वाई 1 ) < जेड ( एक्स , वाई 2 ) जेड ' ( x , y 1 ) < जेड ' ( एक्स , वाई 2 ) x पी ' हे एक्स पी ओ y x पी ' हेy1,y2∈F(x)Z(x,y1)<Z(x,y2)Z′(x,y1)<Z′(x,y2)xP′OxPOyxP′O
लिए oracle को हम का मान प्राप्त कर सकते हैं । इस संख्या के शेष भाग का गठन करते हुए modulo yields जिसमें से गणना बहुपद समय में की जा सकती है। जेड ' ( एक्स , वाई ) = 2 क्ष ( | x | ) ⋅ जेड ( एक्स , वाई ) + σ ( y ) 2 क्ष ( | x |P′EZ′(x,y)=2q(|x|)⋅Z(x,y)+σ(y) σ(y)y2q(|x|)σ(y)y