क्लॉसेस साथ चर पर एक गया । मान लीजिए कि दोनों और सूत्र में सबसे अधिक दिखाई देते हैंφ 1 , ... , φ कश्मीर एक्स 1 , ... , एक्स एन एक्स मैं ¯ एक्स मैं k मैंϕ1,…,ϕkx1,…,xnxixi¯¯¯¯¯ki क्रमशः समय हैं।
हम एक रंगीन DAG G डिजाइन करते Gहैं, जिसके शीर्ष में तीन भाग होते हैं:
- "असाइनमेंट" कोने v मैं ( जे )vi(j) और ˉ v मैं ( जे )v¯i(j) , 1 ≤ मैं ≤ n1≤i≤n , 1 ≤ जे ≤ k मैं1≤j≤ki । रंग v मैं ( जे )vi(j) "रंग" के साथ x मैं ( जे )xi(j) , और ˉ v मैं ( जे )v¯i(j) के साथ ¯ एक्स मैं ( जे )xi¯¯¯¯¯(j) ।
- "क्लाज़" कोने डब्ल्यू मैं ' ( जे ' )wi′(j′) , 1 ≤ मैं ' ≤ कश्मीर1≤i′≤k , जे ' = 1 , 2 , 3j′=1,2,3 । रंग डब्ल्यू मैं ' ( जे ' )wi′(j′) रंग के साथ x मैं ( जे )xi(j) (या ¯ एक्स मैं ( जे )xi¯¯¯¯¯(j) ) अगर ¯ एक्स मैंxi¯¯¯¯¯ (या x मैंxi , resp।) है j 'j′मई के खंड का शाब्दिक φ मैं 'ϕi′ , और यह है jj -वें इस शाब्दिक युक्त खंड।
- "कट" वर्टीकल s = s 0 , s 1 , ... , s n , s n + 1 , ... s n + k = ts=s0,s1,…,sn,sn+1,…sn+k=t । ऊपर से अलग-अलग रंगों के साथ उन्हें रंग दें।
किनारों में शामिल हैं:
- s i - 1 v i ( 1 ) , v i ( j ) v i ( j + 1 ) , v i ( k i ) s i ;si−1vi(1)vi(j)vi(j+1)vi(ki)si
- एस मैं - 1 ˉ v मैं ( 1 ) , ˉ v मैं ( जे ) ˉ v मैं ( j + 1 ) , ˉ v मैं ( k मैं ) रों मैंsi−1v¯i(1)v¯i(j)v¯i(j+1)v¯i(ki)si ;
- और एस एन + मैं ' - 1 डब्ल्यू मैं ' ( जे ' ) , डब्ल्यू मैं ' ( जे ' ) रों n + मैं ' ।sn+i′−1wi′(j′)wi′(j′)sn+i′
उदाहरण के लिए, 3CNF से
( एक्स 1 ∨ एक्स 2 ∨ ¯ एक्स 3 ) ∧ ( एक्स 1 ∨ ¯ एक्स 2 ∨ एक्स 3 )
निम्नलिखित ग्राफ निर्माण किया है (धार दिशाओं बाएं से दाएं कर रहे हैं)।
(x1∨x2∨x3¯¯¯¯¯)∧(x1∨x2¯¯¯¯¯∨x3)
अब यह देखना मुश्किल नहीं है कि मूल 3CNF संतोषजनक है अगर और केवल अगर G में विभिन्न शीर्ष रंगों के साथ एक s - t पथ है ।stG
(वैसे, यह एक उप-उत्पाद है जो रंगीन DAG में अलग-अलग शीर्ष रंगों के साथ s - t पथ की मौजूदगी है। NP- हार्डstNP-hard । मुझे कम्प्यूटेशनल परिप्रेक्ष्य में इस समस्या के बारे में कई साहित्य नहीं मिले। यदि आप जानते हैं, तो कृपया टिप्पणी!)
तो जी और ओपी की समस्या के बीच क्या संबंध है? अंतःक्रियात्मक रूप से हम जो करने जा रहे हैं वह मैट्रिक्स एच को डिजाइन करना है , ताकि प्रत्येक रंग को एक पंक्ति में (जो एक व्यक्ति है) मैप किया जाए, और किनारों को लगातार कॉलम (समय स्लॉट) में मैप किया जाए। इसलिए अधिकतम शेड्यूलिंग, जो मूल रूप से मैट्रिक्स में बाएं से दाएं जा रहा है, एस - टी पथ से मेल खाती है ।Ghst
हमारे मैट्रिक्स ज है 2 n + 1 + Σ मैं 2 कश्मीर मैं + कश्मीर सूचकांक से शुरू के साथ, कॉलम 0 । निम्नलिखित constrcution में एक्स एक वाई दो मानों को संतुष्ट कर रहे हैं 1 « एक्स « वाई । अनुपात X / 1 , Y / X k और n की बड़ी शक्तियां हो सकती हैं । चलो कश्मीर मैं = 2 मैं + 2 Σ मैं jh2n+1+∑i2ki+k0XY1≪X≪YX/1,Y/Xkn= 1 ki।Ki=2i+2∑ij=1ki
- प्रत्येक s i के लिए , 0 ≤ i s n , let h ( s i , K i ) = h ( s i , K i - k i - 1 ) = h ( s i , K i + k i + 1 + 1 ) = वाई (यदि समन्वय मौजूद है, उसी के नीचे)।si0≤i≤nh(si,Ki)=h(si,Ki−ki−1)=h(si,Ki+ki+1+1)=Y
- प्रत्येक x i ( j ) के लिए , h ( x i ( j ) , K i - 1 + j ) = X ; प्रत्येक के लिए ¯ एक्स मैं ( जे ) , चलो ज ( ¯ एक्स मैं ( जे ) , कश्मीर मैं - 1 + k मैं + 1 + j ) = एक्स ।xi(j)h(xi(j),Ki−1+j)=Xxi¯¯¯¯¯(j)h(xi¯¯¯¯¯(j),Ki−1+ki+1+j)=X
- प्रत्येक φ मैं ' , 1 ≤ मैं ' ≤ कश्मीर और एक शाब्दिक एक्स खंड में φ मैं ' , चलो ज ( एक्स , कश्मीर n + मैं ' ) = 1 ।ϕi′1≤i′≤kxϕi′h(x,Kn+i′)=1
- अन्य सभी प्रविष्टियाँ 0 हैं।
उदाहरण के लिए, उपरोक्त उदाहरण ग्राफ के लिए संबंधित मैट्रिक्स है
अब हम दावा करते हैं: मूल 3CNF संतुष्टि योग्य है यदि और केवल यदि अधिकतम मूल्य है ( 2 n + 1 ) वाई + Σ मैं k मैं एक्स + कश्मीर ।(2n+1)Y+∑ikiX+k
अधिकतम मूल्य प्राप्त करने वाले शेड्यूलिंग पर विचार करें। चूँकि H युक्त Y में ठीक ( 2 n + 1 ) कॉलम हैं , उन्हें सभी को कवर किया जाना चाहिए। स्तंभ के लिए कश्मीर मैं + k मैं + 1 जिनमें से दो विकल्प है Y , करने के लिए समय-निर्धारण प्रदान करती है यह लगता है रों मैं । चूंकि स्तंभ कश्मीर मैं को सौंपा जाना चाहिए रों मैं , consecutiveness द्वारा हम कॉलम खोने के लिए है कश्मीर मैं + 1 को कश्मीर मैं + कश्मीर(2n+1)hYKi+ki+1YsiKisiKi+1 मैंKi+ki । अगर शेड्यूलिंग के i + k i + 1 से s i + 1 को असाइन करती है तो भी वही चीजें होती हैं ।Ki+ki+1si+1
इसलिए, मूल्य के लिए में Σ मैं k मैं एक्स , हम सब आराम उपलब्ध का चयन करना होगा एक्स 'मैट्रिक्स में है, जो मेल खाती है चर पर एक काम करने के लिए। तो कश्मीर का बाकी मूल्य प्राप्त करने योग्य है अगर और केवल अगर असाइनमेंट प्रत्येक खंड को संतुष्ट करता है।∑ikiXXk
निष्कर्ष के रूप में, कानूनी निर्धारण का अधिकतम मूल्य तय करना एनपी-हार्ड में है । हो सकता है कि एल्गोरिथम खोजने के हमारे पिछले सभी प्रयास विफल रहे हों।NP-hard