निर्णय की समस्याएं बनाम "वास्तविक" समस्याएं जो हां या नहीं नहीं हैं


36

मैंने कई जगहों पर पढ़ा कि कुछ समस्याएं लगभग अनुमानित हैं (यह लगभग एनपी-मुश्किल है उन्हें अनुमानित करने के लिए)। लेकिन सन्निकटन एक निर्णय समस्या नहीं है: उत्तर एक वास्तविक संख्या है और नहीं हां या नहीं। प्रत्येक वांछित सन्निकटन कारक के लिए भी, कई उत्तर हैं जो सही हैं और कई गलत हैं, और यह वांछित सन्निकटन कारक के साथ बदलता है!

तो कोई कैसे कह सकता है कि यह समस्या एनपी-हार्ड है?

(दूसरी गोली से प्रेरित कितनी मुश्किल से एक निर्देशित ग्राफ में दो नोड्स के बीच सरल रास्तों की संख्या की गिनती है? )

जवाबों:


27

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

ऐसा करने का एक तरीका दो नई कक्षाएं एनपीओ और पीओ हैं जिनमें अनुकूलन संबंधी समस्याएं हैं और वे निर्णय की समस्याओं के लिए एनपी और पी की कक्षाओं की नकल करते हैं । नए कटौती की भी जरूरत है। फिर हम लाइनों की अनुकूलन समस्याओं के लिए एनपी-कठोरता का एक संस्करण फिर से बना सकते हैं जो निर्णय समस्याओं के लिए सफल था। लेकिन पहले हमें यह स्वीकार करना होगा कि अनुकूलन-समस्या क्या है।

परिभाषा: एक अनुकूलन-समस्या होएक्स इनपुट्स या इंस्टेंस का सेट है जिसे स्ट्रिंग्स के रूप में उपयुक्त एन्कोड किया गया है। एल एक समारोह है कि प्रत्येक उदाहरण के नक्शे है एक्स एक्स तार का एक सेट, पर संभव समाधान के कहने एक्स । यह एक सेट है क्योंकि अनुकूलन-समस्या के कई समाधान हैं। इस प्रकार हम हेवन एक उद्देश्य समारोह है कि हर जोड़ी के लिए हमें बताता है (O=(X,L,f,opt)XLxXx fy एल ( x ) उदाहरण और समाधान अपने कीलागतयामूल्यo p t हमें बताता है कि क्या हम अधिकतम या न्यूनतम कर रहे हैं।(x,y) yL(x)opt

यह परिभाषित करने के लिए क्या एक की अनुमति देता है इष्टतम समाधान है: चलो हो इष्टतम समाधान एक उदाहरण के एक्स एक्स एक अनुकूलन-समस्या का हे = ( एक्स , एल , एफ , पी टी ) के साथ f ( x , y o p t ) = o p t { f ( x , y)yoptL(x)xXO=(X,L,f,opt)इष्टतम समाधान अक्सर से दर्शाया जाता है y *

f(x,yopt)=opt{f(x,y)yL(x)}.
y

अब हम वर्ग NPO को परिभाषित कर सकते हैं : को सभी अनुकूलन-समस्याओं O = ( X , L , f , o p t ) के साथ सेट करें:NPOO=(X,L,f,opt)

  1. XP
  2. के साथ एक बहुपद है | y | पी ( | x | ) सभी उदाहरणों के लिए एक्स एक्स और सभी संभव समाधान y एल ( x ) । इसके अलावा वहाँ एक नियतात्मक एल्गोरिथ्म कि बहुपद समय है कि क्या में फैसला करता है y एल ( x )p|y|p(|x|)xXyL(x)yL(x)
  3. बहुपद काल में f का मूल्यांकन किया जा सकता है।f

इसके पीछे अंतर्ज्ञान है:

  1. हम कुशलता से सत्यापित कर सकते हैं कि क्या वास्तव में हमारी अनुकूलन समस्या का एक वैध उदाहरण है।x
  2. संभव समाधान के आकार आदानों के आकार में polynomially घिरा है, और हम कुशलतापूर्वक सत्यापित कर सकते हैं, तो का उदाहरण एक fesible समाधान है एक्सyL(x)x
  3. एक समाधान के मान कुशलता से निर्धारित किया जा सकता है।yL(x)

इस दर्पण कैसे के लिए परिभाषित किया गया है, अब पीओ : Let पी से सभी समस्याओं का सेट हो एन पी कि बहुपद समय में एक नियतात्मक एल्गोरिथ्म द्वारा हल किया जा सकता है।NPPONPO

अब हम परिभाषित करने में सक्षम हैं कि हम एक अनुमान-एल्गोरिथ्म को क्या कहते हैं : एक अनुकूलन-समस्या O = ( X , L , f , o p t ) का एक अनुमान-एल्गोरिथ्म एक एल्गोरिथ्म है जो एक व्यवहार्य समाधान y L (1 ) की गणना करता है एक्स ) एक उदाहरण के लिए एक्स एक्सO=(X,L,f,opt)yL(x)xX

नोट: कि हम एक इष्टतम समाधान के लिए नहीं पूछते हैं हम केवल एक व्यवहार्य है।

अब हम दो प्रकार की त्रुटियां हैं: निरपेक्ष त्रुटि एक व्यवहार्य समाधान के एक उदाहरण के एक्स एक्स अनुकूलन-समस्या का हे = ( एक्स , एल , एफ , पी टी ) है | ( एक्स , वाई ) - ( एक्स , वाई * ) | yL(x)xXO=(X,L,f,opt)|f(x,y)f(x,y)|

हम एक सन्निकटन-एल्गोरिथ्म के निरपेक्ष त्रुटि फोन अनुकूलन-समस्या के लिए हे से घिरा कश्मीर अगर एल्गोरिथ्म एक हर उदाहरण के लिए computes एक्स एक्स एक से घिरा एक निरपेक्ष त्रुटि के साथ संभव समाधान कश्मीरAOkAxXk

उदाहरण: ग्राफ के रंगीन सूचकांक के आकार के सिद्धांत के अनुसार (प्रयुक्त रंगों की सबसे कम संख्या के साथ किनारे के रंग में रंगों की संख्या) या तो या Δ + 1 है , जहां Δ अधिकतम नोड डिग्री है। प्रमेय के प्रमाण से एक अनुमान-एल्गोरिथ्म को तैयार किया जा सकता है जो Δ + 1 रंगों के साथ किनारे के रंग की गणना करता है । तदनुसार हम के लिए एक सन्निकटन-एल्गोरिथ्म है एम मैं n मैं हूँ यू m - डी जी सी एल आर मैं nΔΔ+1ΔΔ+1 -Problem जहां पूर्ण त्रुटि 1 से बंधी है।MinimumEdgeColoring1

यह उदाहरण एक अपवाद है, छोटे निरपेक्ष त्रुटियों कर रहे हैं दुर्लभ, इस प्रकार हम परिभाषित रिश्तेदार त्रुटि सन्निकटन-एल्गोरिथ्म के एक पर उदाहरण एक्स अनुकूलन-समस्या का हे = ( एक्स , एल , एफ , पी टी ) साथ ( एक्स , वाई ) > 0 सभी के लिए एक्स एक्स और वाई एल ( x ) होने के लिएϵA(x)AxO=(X,L,f,opt)f(x,y)>0xXyL(x)

ϵA(x):={0f(x,A(x))=f(x,y)|f(x,A(x))f(x,y)|max{f(x,A(x)),f(x,y)}f(x,A(x))f(x,y)

जहां संभव समाधान सन्निकटन-कलन विधि द्वारा गणना है एकA(x)=yL(x)A

अब हम सन्निकटन-एल्गोरिथ्म परिभाषित कर सकते हैं अनुकूलन-समस्या के लिए हे = ( एक्स , एल , एफ , पी टी ) एक होने के लिए δ -approximation-कलन विधि के लिए हे अगर रिश्तेदार त्रुटि ε एक ( एक्स ) से घिरा है δ 0 हर उदाहरण के लिए एक्स एक्स , इस प्रकार ε एक ( एक्स ) δAO=(X,L,f,opt)δOϵA(x)δ0xX

ϵA(x)δxX.

के चुनाव रिश्तेदार त्रुटि की परिभाषा के हर में अधिकतम और न्यूनतम करने के लिए परिभाषा सममित बनाने के लिए चुना गया था। रिश्तेदार त्रुटि के मूल्य ε एक ( एक्स ) [ 0 , 1 ] । एक अधिकतम समस्या के मामले में समाधान के मूल्य कभी नहीं की तुलना में कम है ( 1 - ε एक ( एक्स )max{f(x,A(x)),f(x,y)}ϵA(x)[0,1] और कभी नहीं से बड़ा 1 / ( 1 - ε एक ( एक्स ) ) ( एक्स , वाई * ) एक न्यूनतम करने के लिए समस्या।(1ϵA(x))f(x,y)1/(1ϵA(x))f(x,y)

अब हम एक अनुकूलन-समस्या कॉल कर सकते हैं अगर वहाँ एक है -approximable δ -approximation-एल्गोरिथ्म एक के लिए हे कि बहुपद समय में चलाता है।δδAO

हम हर उदाहरण लिए त्रुटि नहीं देखना चाहते हैं , हम केवल सबसे खराब स्थिति में देखते हैं। इस प्रकार हम परिभाषित ε एक ( एन ) , अधिक से अधिक relativ त्रुटि सन्निकटन-एल्गोरिथ्म के एक अनुकूलन-समस्या के लिए हे होने की ε एक ( एन ) = sup { ε एक ( एक्स ) | | x | एन } xϵA(n)AO

ϵA(n)=sup{ϵA(x)|x|n}.

कहाँ उदाहरण का आकार होना चाहिए ।|x|

उदाहरण: एक ग्राफ़ में अधिकतम मिलान मिलान से शीर्ष कवर तक सभी घटना नोड्स को जोड़कर एक न्यूनतम नोड कवर में परिवर्तित किया जा सकता है । इस प्रकार 1 / 2 | सी | किनारों को कवर किया जाता है। इष्टतम एक-एक कवर बढ़त के नोड्स के एक होना चाहिए सहित प्रत्येक शीर्ष कवर, अन्यथा यह सुधार किया जा सकता के रूप में, हमारे पास 1 / 2 | सी | ( एक्स , वाई * ) । यह इस प्रकार है | सी | - ( एक्स , वाई *C1/2|C|1/2|C|f(x,y) इस प्रकार एक अधिक से अधिक मिलान के लिए लालची एल्गोरिथ्म एक है1/2के लिए -approximatio-एल्गोरिथ्मएममैंnमैंहूँएकएल-वीआरटीएक्ससीवीआर। इसलिएएममैंnमैंहूँएकएल-वीआरटीएक्ससीवीआरहै1/2-approximable।

|C|f(x,y)|C|12
1/2MinimalVertexCoverMinimalVertexCover1/2

दुर्भाग्य से सापेक्ष त्रुटि हमेशा सन्निकटन के लिए गुणवत्ता की सबसे अच्छी धारणा नहीं होती है क्योंकि निम्न उदाहरण प्रदर्शित करता है:

उदाहरण: एक सरल लालची-एल्गोरिथ्म । एक विश्लेषण से पता चलता है कि | सी |MinimumSetCoverऔर इस प्रकारएममैंnमैंहूँयूm-एसटीसीवीआरहोगाln(एन)

|C||C|Hn1+ln(n)
MinimumSetCover -approximable।ln(n)1+ln(n)

यदि सापेक्ष त्रुटि के करीब है तो निम्नलिखित परिभाषा लाभप्रद है।1

चलो के साथ एक अनुकूलन-समस्या हो ( एक्स , वाई ) > 0 सभी के लिए एक्स एक्स और वाई एल ( x ) और एक के लिए एक सन्निकटन-एल्गोरिथ्म हेसन्निकटन-अनुपात आर ( एक्स ) संभव समाधान की एक ( एक्स ) = yO=(X,L,f,opt)f(x,y)>0xXyL(x)AO rA(x) उदाहरण के एक्स एक्स है आर ( एक्स ) = { 1 ( एक्स , एक ( एक्स ) ) = ( एक्स , वाई * ) अधिकतम { ( एक्स , एक ( एक्स ) )A(x)=yL(x)xX

rA(x)={1f(x,A(x))=f(x,y)max{f(x,A(x))f(x,y),f(x,y)f(x,A(x))}f(x,A(x))f(x,y)

जैसा कि पहले हम एक सन्निकटन-एल्गोरिथ्म फोन एक आर अनुकूलन-समस्या के लिए -approximation-एल्गोरिथ्म हे अगर सन्निकटन-अनुपात आर ( एक्स ) से घिरा है r 1 हर इनपुट के लिए एक्स एक्सआर ( एक्स ) आर और एक बार फिर अगर हम एक है आर -approximation-एल्गोरिथ्म एक अनुकूलन-समस्या के लिए हे तो हे कहा जाता है आर -approximableArOrA(x)r1xX

rA(x)r
rAOOr। फिर से हम केवल सबसे खराब स्थिति की परवाह करते हैं और अधिकतम अनुमानित अनुपात-अनुपात को परिभाषित करते हैं r A ( n ) = sup { r A ( x ) about | x | एन } तदनुसार उप-समकालिक समाधानों के लिए सन्निकटन-अनुपात 1 से बड़ा है । इस प्रकार बेहतर समाधानों में छोटे अनुपात होते हैं। के लिए एम मैं n मैं हूँ यू m - एस टी सी rA(n)
rA(n)=sup{rA(x)|x|n}.
1 अब हम लिख सकते हैं कि यह ( 1 + ln ( n ) ) -approximable है। और M i n i m u u m - V e r t e x C o v e r के बारे में हम पिछले उदाहरण से जानते हैं कि यह 2 -approximable है। सापेक्ष त्रुटि और सन्निकटन-अनुपात के बीच हमारे सरल संबंध हैं: आर ( एक्स ) = 1MinimumSetCover(1+ln(n))MinimumVertexCover2
rA(x)=11ϵA(x)ϵA(x)=11rA(x).

ϵ<1/2r<2ϵ1/2r2

αα1α1α=1

ONPOrr1

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

O1O2O2O1

O1=(X1,L1,f1,opt1)O2=(X2,L2,f2,opt2)NPOO1 APO2O1APO2ghc

  1. g(x1,r)X2x1X1r>1
  2. L2(g(x,r1))L1(x1)x1X1r>1
  3. h(x1,y2,r)L1(x1)x1X1r>1y2L2(g(x1,r))
  4. rgh
  5. f2(g(x1,r),y2)rf1(x1,h(x1,y2,r))1+c(r1)
    x1X1r>1y2L2(g(x1,r))

ghrg(x1)h(x1,y2)

O2APXO1APO2O1APX

CC

ONPOCNPOOCAPOC OAPO

CCAPC

NPOAPXNPOSATWeightedSatisfiabilityNPOMaximum3SATAPX


11
ओह और कृपया इस तुलनात्मक रूप से लंबी पोस्टिंग के लिए मेरी माफी स्वीकार करें, लेकिन मेरे पास एक छोटा लिखने के लिए समय नहीं था।
औली

1
पंच लाइन की निश्चितता यह है कि PCP प्रमेय द्वारा आप MAX3SAT और SAT को लिंक कर सकते हैं, इस प्रकार यह दिखाते हैं कि MAX 3SAT को लगभग कुछ हद तक बेहतर करने के लिए लगभग NP-कठिन है। यह एक अर्थ में, कुक-लेविन प्रमेय के बराबर है।
सुरेश

1
@ सुरेश बेशक, लेकिन इस परिणाम में आपको एक अंतर-संरक्षण में कमी की आवश्यकता है जहाँ तक मुझे याद है। और जैसा कि आप पहले ही अपने पोस्ट में उनके बारे में लिख चुके हैं, मैं उन्हें यहां नकल नहीं करना चाहता था।
औली

शानदार जवाब, +1! मुझे आश्चर्य है कि क्या आपका जवाब कुछ संदर्भों पर आधारित है?
टिम

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

19

आमतौर पर जो दिखाया जाता है वह समस्या के "गैप" संस्करण की एनपी-कठोरता है। उदाहरण के लिए, मान लें कि आप दिखाना चाहते हैं कि 2 के कारक के भीतर SET COVER को अनुमानित करना कठिन है।

आप SET COVER के निम्नलिखित "वादे" उदाहरण को परिभाषित करते हैं जिसे हम 2-GAP-SET-COVER कहेंगे:

  • 2

मान लीजिए कि हम दिखाते हैं कि दोनों में से किसी एक मामले में निर्णय लेने की समस्या एनपी-पूर्ण है। तब हमने दिखाया है कि 2 के एक कारक के भीतर सेट सेवर को एनपी-हार्ड किया गया है, क्योंकि हम इन दोनों मामलों को अलग करने के लिए इस तरह के एक एल्गोरिथ्म का उपयोग कर सकते हैं।


4

दो मौजूदा उत्तर बहुत जानकारीपूर्ण हैं, लेकिन मुझे नहीं लगता कि उनमें से कोई भी वास्तव में सवाल का जवाब देता है, जो है, "एक समस्या कैसे हो सकती है जो निर्णय की समस्या भी नहीं है, एनपी-हार्ड हो, जब एनपी निर्णय समस्याओं का एक वर्ग है। ? "

LLL

कुछ उदाहरण।

  1. LLLL
  2. #SAT सीएनएफ फॉर्मूले को संतोषजनक असाइनमेंट की संख्या की गणना करने की समस्या है। यह स्पष्ट रूप से एनपी में नहीं है क्योंकि, जैसा कि आप देखते हैं, एनपी निर्णय की समस्याओं का एक वर्ग है और # एसएटी उनमें से एक नहीं है। हालाँकि, बहुपत्नी-काल ट्यूरिंग कटौती के तहत #SAT एनपी-हार्ड है क्योंकि हम एसएटी को कम कर सकते हैं। SAT उदाहरण को देखते हुए, हम पूछते हैं कि कितने संतोषजनक कार्य हैं: यदि कम से कम एक है, तो हम कहते हैं कि "संतोषजनक"; अन्यथा, "असंतोषजनक"।
  3. φφφφ=φ(Z1Z10)Ziφφφφφ
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.