मैं एक असाइनमेंट (पुस्तक अल्गोरिद्म से ली गई - एस। दासगुप्ता, सीएच पापादिमित्रिउ , और यूवी वाज़िरानी , चैप 8, समस्या 8.6a) पर काम करने की कोशिश कर रहा हूँ , और मैं इसे बताता हूँ:
यह देखते हुए कि 3 एसएटी एनपी-पूर्ण तब भी बना रहता है जब तक कि फार्मूले को प्रतिबंधित न किया जाए जिसमें प्रत्येक शाब्दिक दो बार दिखाई देता है, यदि प्रत्येक शाब्दिक एक बार में प्रकट होता है, तो समस्या बहुपद समय में हल करने योग्य है।
मैंने खंडों को कई समूहों में विभाजित करके इसे हल करने का प्रयास किया:
- जो खंड बाकी खंडों के साथ आम तौर पर कोई चर नहीं था
- खण्ड जो आम में केवल 1 चर था
- खण्ड जो आम में 2 चर थे
- क्लॉस जिनके सभी 3 चर सामान्य थे
मेरे तर्क को इस तरह के समूहों के साथ करने का प्रयास किया गया था कि ऐसे समूहों का # परिमित है (बिना किसी शाब्दिक के एक बार से अधिक प्रतिबंध लगाए जाने के कारण), और हम सबसे पहले प्रतिबंधित समूह (समूह 4) को संतुष्ट करने का प्रयास कर सकते हैं और फिर स्थानापन्न कर सकते हैं। कम प्रतिबंधित समूहों (3, 2 और फिर 1) में परिणाम, लेकिन मुझे एहसास हुआ कि यह मुझे कहीं भी नहीं मिल रहा था, क्योंकि यह 3SAT के विवश संस्करण के लिए मामले से बहुत अलग नहीं है, जिसमें प्रत्येक शाब्दिक प्रकट हो सकता है अधिकतम दो बार, जो एनपी-पूर्ण साबित हुआ है।
मैंने किसी भी संकेत / समाधान के लिए ऑनलाइन खोज करने की कोशिश की, लेकिन मैं जो कुछ भी प्राप्त कर सकता था वह यह लिंक था , जिसमें कहा गया संकेत मेरे लिए पर्याप्त अर्थ नहीं था, जो मैं यहाँ शब्दशः पुन: प्रस्तुत कर रहा हूं:
या तो संकेत को डिक्रिप्ट करने में, या एक पथ प्रदान करने में कोई मदद जो मुझे पता चल सकती है, वास्तव में सराहना की जाएगी।