निर्णय समस्याओं का अनुकूलन संस्करण


26

यह ज्ञात है कि प्रत्येक अनुकूलन / खोज समस्या में एक समान निर्णय समस्या है। उदाहरण के लिए सबसे छोटी पथ समस्या

  • ऑप्टिमाइज़ेशन / खोज संस्करण: एक अप्रत्यक्ष अनवैल्टेड ग्राफ और दो वर्टीकल , और बीच एक छोटा रास्ता ।G=(V,E)v,uVvu
  • निर्णय संस्करण: एक अप्रत्यक्ष अनवैल्टेड ग्राफ , दो कोने हुए और एक गैर-नकारात्मक पूर्णांक , क्या और बीच का एक पथ है, जिसकी लंबाई बीच सबसे अधिक है ?G=(V,E)v,uVkGuvk

सामान्य तौर पर, "खोज सेंट !" हो जाता है "वहाँ है x \ में एक्स सेंट f (x) \ Leq कश्मीर ?"।xXf(x)=min{f(x)xX}( एक्सxXf(x)k

लेकिन क्या रिवर्स भी सच है, यानी हर निर्णय समस्या के लिए एक समान अनुकूलन समस्या है? यदि नहीं, तो एक निर्णय समस्या का क्या उदाहरण है जिसमें कोई समतुल्य अनुकूलन समस्या नहीं है?


6
क्या यह शून्य के बराबर है?
जेफई

5
आपको "समतुल्य" को और अधिक विस्तार से समझाना होगा, जैसे कि क्या आपका मतलब है कि दूसरे को बहुपद समय (या लघुगणक अंतरिक्ष में) में एक ओरेकल / ब्लैकबॉक्स के रूप में उपयोग करके हल किया जा सकता है? क्या आप सभी समस्याओं या केवल sf {NP} के अंदर की समस्याओं की परवाह करते हैं NP?
केव

1
आपके दृष्टिकोण के आधार पर, प्रश्न या तो तुच्छ है (कोई भी निर्णय समस्या जिसमें " " नहीं है) या उत्तर देने योग्य नहीं है (यह कैसे साबित करें कि "कोई समान विकल्प नहीं है?")। k
राफेल

जवाबों:


28

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


परिभाषा: एक अनुकूलन समस्या एक टपल है(X,F,Z,)

  • X उपयुक्त रूप से एन्कोडेड (स्ट्रिंग्स) इंस्टेंस या इनपुट का सेट
  • एक्स एक्स एफ ( एक्स ) एक्सF एक समारोह है कि प्रत्येक उदाहरण के नक्शे है एक सेट करने के लिए के संभव समाधान की ।xXF(x)x
  • Z , एक ऐसा फंक्शन है जो प्रत्येक जोड़ी मैप करता है , जहां और , वास्तविक संख्या को का मान कहते हैं ।एक्स एक्स वाई एफ ( एक्स ) जेड ( एक्स , वाई ) y(x,y)xXyF(x)Z(x,y)y
  • न्यूनतम अधिकतम है अनुकूलन दिशा , या तो या ।minmax

परिभाषा: अनुकूलन समस्या के उदाहरण का एक इष्टतम समाधान एक व्यवहार्य समाधान है , जिसके लिए । एक इष्टतम समाधान के मूल्य को साथ चिह्नित किया जाता है और इसे इष्टतम कहा जाता है ।पी वाई एफ ( एक्स ) जेड ( एक्स , वाई ) = { जेड ( एक्स , वाई ' ) | y 'एफ ( एक्स ) } हे पी टी ( एक्स )xXPOyF(x)Z(x,y)={Z(x,y)yF(x)}Opt(x)

परिभाषा: मूल्यांकन समस्या , निरूपित किया , अनुकूलन समस्या के लिए इसी निम्नलिखित है: एक उदाहरण को देखते हुए , गणना यदि सर्वोत्कृष्ट समाधान और आउटपुट "कोई इष्टतम समाधान" अन्यथा है।पी एक्स एक्स पी टी ( एक्स ) एक्सPEPOxXOpt(x)x

ध्यान दें कि यह सिर्फ इष्टतम समाधान के मूल्य के लिए पूछता है न कि पूरे समाधान को अपने सभी विवरणों के साथ।

परिभाषा: निर्णय समस्या , निरूपित किया अनुकूलन समस्या के लिए इसी पीछा कर रहा है: एक जोड़ी को देखते हुए , जहां और यह तय करें कि एक व्यवहार्य समाधान है ऐसे कि अगर और ऐसे अगर ।पी ( एक्स , कश्मीर ) एक्स एक्स कश्मीर क्यू x y जेड ( एक्स , वाई ) कश्मीर = मिनट जेड ( एक्स , वाई ) कश्मीर = अधिकतमPDPO(x,k)xXkQxyZ(x,y)k=minZ(x,y)k=max

एक पहला अवलोकन अब यह है कि । प्रमाण मुश्किल नहीं है और यहाँ छोड़ दिया गया है।PONPOPDNP

अब सहज और करने के लिए इसी की तुलना में कठिन नहीं हैं ही। औपचारिक रूप से इस भावना व्यक्त करने के लिए (और इस प्रकार को परिभाषित करने के लिए क्या बराबर मतलब माना जाता है) हम में कटौती का प्रयोग करेंगे।पी डी पी पी PEPDPOPO

याद है कि एक भाषा किसी अन्य भाषा में बहुपद समय कम करने योग्य है अगर वहाँ एक समारोह , बहुपद समय में शुमार कर सका, जैसे कि सभी शब्दों के लिए , । इस तरह की reducibility को Karp या कई-से-एक reducibility के रूप में जाना जाता है , और यदि इस तरीके से लिए reducible है, तो हम लिखकर इसे व्यक्त करते हैं । यह एनपी-पूर्णता की परिभाषा में एक केंद्रीय अवधारणा है।एल 2एक्स एक्स एल 1( एक्स ) एल 2 एल 1 एल 2 एल 1 मीटर एल 2L1L2fxxL1f(x)L2L1L2L1mL2

दुर्भाग्य से, कई-से-एक कटौती भाषाओं के बीच जाती है और यह स्पष्ट नहीं है कि अनुकूलन समस्याओं के संदर्भ में उन्हें कैसे नियोजित किया जाए। इसलिए हमें एक अलग तरह की रिड्यूसबिलिटी, ट्यूरिंग रेड्यूसबिलिटी पर विचार करने की जरूरत है । पहले हमें इसकी आवश्यकता है:

परिभाषा: किसी समस्या के लिए एक अलंकृत एक (काल्पनिक) उप-प्रकार है जो निरंतर समय में उदाहरणों को हल कर सकता है ।पीPP

परिभाषा: एक समस्या बहुपद-काल है Turing-reducible to a problem , लिखित , यदि उदाहरणों को बहुपद समय में एक एल्गोरिथ्म द्वारा पहुंच के साथ हल किया जा सकता है ।पी 2 पी 1 टी पी 2 पी 1 पी 2P1P2P1TP2P1P2

अनौपचारिक रूप से, बस के साथ के रूप में , संबंध व्यक्त किया, कि से भी अधिक कठिन है । यह भी देखना आसान है कि यदि को बहुपद समय में हल किया जा सकता है, तो । दोबारा एक सकर्मक संबंध है। निम्नलिखित तथ्य स्पष्ट है:पी 1 टी पी 2 पी 1 पी 2 पी 2 पी 1 टीmP1TP2P1P2P2P1T

चलो , तो ।पी डी टी पी टी पी PONPOPDTPETPO

क्योंकि पूर्ण समाधान दिया गया है, इसके मूल्य की गणना करना और यह तय करना कि क्या यह बाध्य से मिलता है सरल है।k

परिभाषा: यदि दो समस्याओं के लिए और दोनों संबंध , होल्ड करते हैं, तो हम ; तुल्यता की हमारी धारणा ।पी 2 पी 1 टी पी 2 पी 2पी 1 पी 1 टी पी 2P1P2P1TP2P2P1P1TP2

अब हम यह करने के लिए तैयार हैं कि को इसी अनुकूलन समस्या को और को पूर्णांक दिया गया है । हमें यह दिखाना होगा कि धारण करता है। हम F_ साथ को P_D के लिए बाइनरी खोज के साथ । की परिभाषा यह सुनिश्चित करती है कि कुछ बहुपद लिए , इसलिए बाइनरी खोज में चरणों की संख्या बहुपद है। PDTPE जेड पी टी पी डी{ जेड ( एक्स , वाई ) | y एफ ( एक्स ) } पी डी एन पी | Z ( x , y ) | 2 क्ष ( | x | ) क्ष | x | PONPOZPETPD{Z(x,y)yF(x)}PDNPO|Z(x,y)|2q(|x|)q|x|

एक अनुकूलन समस्या के लिए के संबंध कम स्पष्ट है। कई ठोस मामलों में, कोई भी सीधे दिखा सकता है कि । यह साबित करने के लिए कि यह आम तौर पर यहां दिए गए ढांचे के भीतर है, हमें एक अतिरिक्त धारणा की आवश्यकता है।पी पी डी टी पी टी पी POPEPDTPETPO

पहले हमें निर्णय की समस्याओं के लिए भाषाओं के जोड़े से का विस्तार करने की आवश्यकता है। तो फिर यह देखने के लिए कि आसान है से अधिक सामान्य है ।टी एमmTm

चलो और निर्णय समस्याओं हो सकता है; उसके बाद । यह इसलिए माना जाता है क्योंकि बहुत से एक-एक कमी को बहुत ही सीमित तरीके से एक ओरेकल का उपयोग करने के रूप में व्याख्या की जा सकती है: ऑरेकल को एक बार, बहुत अंत में कहा जाता है, और इसका परिणाम भी समग्र परिणाम के रूप में वापस आ जाता है। पी ' पी मीटर पी 'पी टी पी 'PPPmPPTP

अब हम समापन के लिए तैयार हैं:

बता दें कि और मान लीजिए पूर्णांक-मूल्यवान है और NP-पूर्ण है, तोपिछली टिप्पणियों के साथ यह दिखाने के लिए बना हुआ है । ऐसा करने के लिए हम जैसे । फिर हमारे पासनिर्णय और मूल्यांकन संस्करण के पहले के कारण दूसरा और तीसरा पकड़। तीसरा के एनपी- और पहले वर्णित दो तथ्यों से आता है, अर्थात् जेड पी डी पी डी टी पीPONPOZPDपी टी पी पी ' हेएन पी पी टी पी ' पी टी पी ' टी पी ' डीटी पी डी टी पी

PDTPETPO.
POTPEPONPOPOTPE
POTPETPDTPDTPE.
टी पी डी पी एन पी पी डीएन पी पी मीटर पी ' हेपी टी पी ' हेTTPDPONPOPDNP और ।PmPOPTPO

अब विवरण: मान लें कि के व्यवहार्य समाधान कुल आदेश से लैस एक वर्णमाला का उपयोग करके एन्कोड हैं । चलो से शब्द हो आम लंबाई के साथ शब्दों के ब्लॉक के भीतर लंबाई और कोषगत क्रम nondecreasing के क्रम में सूचीबद्ध। (इस प्रकार खाली शब्द है।) सभी let अद्वितीय पूर्णांक निरूपित करता है जैसे कि । दोनों और गणना बहुपद समय में की जा सकती है। मान लीजिए कि एक बहुपद है, जो कि सभी Σ wPOΣΣ * डब्ल्यू 0 वाई Σ * σ ( y ) मैं y = डब्ल्यू मैं σ σ - 1 क्ष एक्स एक्स वाई एफ ( एक्स ) σ ( y ) < 2 क्ष ( | x | )w0,w1,Σw0yΣσ(y)iy=wiσσ1qxXऔर सभी हमारे पास ।yF(x)σ(y)<2q(|x|)

अब समस्या संशोधित उद्देश्य फ़ंक्शन को छोड़कर समान है । के लिए और हम ले । बहुपदीय समय में इस प्रकार । पीजेड'एक्सएक्सवाईएफ(एक्स)जेड'(एक्स,वाई)=2क्ष(|x|)जेड(एक्स,वाई)+σ(y)जेड'पी ' हेएनपीPOPOZxXyF(x)Z(x,y)=2q(|x|)Z(x,y)+σ(y)ZPONPO

यह दिखाने के लिए कि हम देखते हैं कि लिए संभव है, यदि और केवल तभी यह लिए संभव है ।हम मान सकते हैं कि यह मामला है, क्योंकि विपरीत मामले को संभालने के लिए तुच्छ है। एक्स पी पी ' POTPExPOPE

की substituion के लिए अर्थ में monotonic है कि सभी के लिए , अगर तो । इसका मतलब है कि के लिए हर इष्टतम समाधान में का एक इष्टतम समाधान है में । इस प्रकार हमारा कार्य में के एक इष्टतम समाधान की गणना को कम करता है । जेड y 1 , y 2एफ (ZZजेड ( एक्स , वाई 1 ) < जेड ( एक्स , वाई 2 ) जेड ' ( x , y 1 ) < जेड ' ( एक्स , वाई 2 ) x पी ' हे एक्स पी y x पी ' हेy1,y2F(x)Z(x,y1)<Z(x,y2)Z(x,y1)<Z(x,y2)xPOxPOyxPO

लिए oracle को हम का मान प्राप्त कर सकते हैं । इस संख्या के शेष भाग का गठन करते हुए modulo yields जिसमें से गणना बहुपद समय में की जा सकती है। जेड ' ( एक्स , वाई ) = 2 क्ष ( | x | )जेड ( एक्स , वाई ) + σ ( y ) 2 क्ष ( | x |PEZ(x,y)=2q(|x|)Z(x,y)+σ(y) σ(y)y2q(|x|)σ(y)y


"एक समस्या के लिए एक ओ P एक एक (काल्पनिक) सबरूटीन है जो निरंतर समय में पी के उदाहरणों को हल कर सकता है।" एक ओरेकल केवल निरंतर समय लेना चाहिए?
टिम

@ निश्चित रूप से किताबें हैं, मैंने कुछ अन्य उत्तर
uli

ओरेकल के बारे में @Tim: आप मिला है, तो / कमी की कल्पना की दोनों समस्याओं के बीच और आप है कम के लिए एक कुशल एल्गोरिथ्म खोजने की समस्या के लिए एक कुशल एल्गोरिथ्म पाने के लिए । या दूसरे शब्दों में कटौती आपको बताती है कि को हल करने के लिए आप उपयोग कर सकते हैं । यह लिए एल्गोरिथ्म में लिए एक सबरूटीन का उपयोग करने जैसा है । हालाँकि समस्याएं औरबी बी बी बी बीATBABABABBAABअक्सर ऐसी समस्याएं होती हैं जहाँ हम कुशल समाधान नहीं जानते हैं। और ट्यूरिंग-रिड्यूसबिलिटी के मामले में हम इसका उपयोग उन मामलों में भी करते हैं जहां शामिल समस्याएं बिल्कुल भी नहीं हैं।
औली

@ इस प्रकार एक अज्ञात सबरूटीन है। यह जटिलता सिद्धांत में एक कस्टम के लिए काल्पनिक एल्गोरिथ्म कॉल करने के लिए बन गया है एक के रूप में कमी से प्राप्त ओरेकल के साथ एल्गोरिथ्म । के लिए अज्ञात सबरूटीन कॉलिंग दैवज्ञ बस को व्यक्त करता है कि हम के लिए एक कुशल एल्गोरिथ्म खोजने के लिए आशा नहीं कर सकते बस के रूप में हम के लिए एक दैवज्ञ प्राप्त करने के लिए आशा है कि नहीं कर सकते । यह विकल्प कुछ दुर्भाग्यपूर्ण है, क्योंकि यह एक जादुई क्षमता को दर्शाता है। ओरेकल के लिए लागत होनी चाहिएसबरूटीन के रूप में इनपुट को पढ़ने के लिए कम से कम है । A B B B B | x | एक्सBABBBB|x|x
औली

3
चारों ओर एक उत्कृष्ट उत्तर; केवल एक चीज जो मैं जोड़ूंगा (अब एक और प्रश्न के माध्यम से यह आ रहा है) यह है कि 'अनुकूलन दिशा' जटिलता की एक अनावश्यक बिट है और संक्षिप्तता के लिए हम हमेशा मान सकते हैं कि उद्देश्य फ़ंक्शन को अधिकतम किया जाना है; यदि इरादा कम से कम करना है, तो हम बस एक नए उद्देश्य समारोह को परिभाषित कर सकते हैं और के अधिकतमकरण के रूप में सभी न्यूनतम को फिर से लिख सकते हैं ।जेड ' = - जेड जेड जेड 'ZZ=ZZZ
स्टीवन स्टडनिक

5

जैसा कि टिप्पणियां कहती हैं, उत्तर सटीक परिभाषाओं पर निर्भर करता है। मुझे बहुत बेसिक (यहां तक ​​कि भोले) तरीके से प्रश्न की व्याख्या करने दें।

चलो कुछ संबंध, यह है कि हो सकता है ।एस { ( एक , ) | एक , Σ * }SS{(a,b)a,bΣ}

अब हम लिए एक खोज समस्या को परिभाषित करते हैं :S

दिए गए , एक ऐसा खोजें जो ।( एक , ) एसab(a,b)S

और लिए एक निर्णय समस्या :S

दिए गए उत्तर देते हैं या नहीं या नहीं ।( एक , ) एस(a,b)(a,b)S

(उदाहरण के लिए, प्रश्न में दिए गए उदाहरण में, सभी जोड़े ऐसे पकड़ लेगा कि और बीच एक पथ मौजूद है जो से छोटा है ।)( यू , वी , के ) यू वी केS(u,v,k)uvk

ध्यान दें कि इन दो समस्याओं को अच्छी तरह से परिभाषित किया गया हैइस परिभाषा के लिए , हम पूछ सकते हैं कि क्या दोनों समस्याएं किसी भी लिए "समकक्ष" हैं । "समतुल्य" में मेरा मतलब है कि यदि उनमें से एक संगणनीय है (अर्थात, एक एल्गोरिथ्म मौजूद है जो इसे हल करता है) तो अन्य की तुलना में भी गणना योग्य है। सामान्य तौर पर, वे नहीं हैं।S

दावा 1 : निर्णय का अर्थ है खोज

प्रमाण: एल्गोरिथ्म है जो की निर्णय समस्या को हल करता है । इनपुट को देखते हुए , हम किसी भी लिए चला सकते हैं , एक के बाद एक, या समानांतर में। अगर वहाँ मौजूद ऐसा है कि , हम अंततः इसे पा लेंगे। यदि नहीं, तो एल्गोरिथ्म रोक नहीं सकता है । एस एक डी एस ( एक , एक्स ) एक्स Σ *( एक , ) एस DSSaDS(a,x)xΣb(a,b)S

का दावा 2 : खोज करता है नहीं मतलब निर्णय

इसका कारण यह है कि खोज एल्गोरिथ्म एक अलग वापस कर सकता है जिसकी हमें ज़रूरत है। यही है, हर लिए कुछ ऐसा है जिसे खोजना बहुत आसान है, लेकिन अन्य जो नहीं है। उदाहरण के लिए, को कुछ अनिर्दिष्ट भाषा होने दें , फिर परिभाषित प्रत्येक लिए खोज एल्गोरिदम वापस आ सकता है । लेकिन कोई निर्णय एल्गोरिथ्म सही ढंग से जवाब कर सकते हैं कि क्या , के लिए सभी जोड़े । यदि ऐसा हो सकता है, तो यह एक अनिर्णायक समस्या का निर्णय ले सकता है, जो असंभव है।एक ' एल एस = { ( x , 0 ) | एक्स Σ * } { ( x , 1 ) | एक्स एल } एक्स 0 ( एक्स , 1 ) एस ( एक्स , 1 )babbL

S={(x,0)xΣ}{(x,1)xL}.
x0(x,1)S(x,1)


एस एस यह पर निर्भर करता है । यदि, उदाहरण के लिए, बाध्य है, तो एक एल्गोरिथ्म मौजूद हो सकता है जो बंद हो जाता है।SS


2
सही निर्णय समस्या st का अस्तित्व है । एक , एसba,bS
केवह

यदि निर्णय को के अस्तित्व के रूप में परिभाषित किया जाता है , तो खोज का अर्थ है निर्णय। b
रैन जी।

1
एक कमजोर अर्थ में, iewrt संगणना लेकिन जटिलता नहीं एक अधिक नाजुक मुद्दा है।
केवह
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.