3-sat पर टैग किए गए जवाब

जीसैट एल्गोरिथ्म सबसे अधिक भाग के लिए है, सीधे आगे: आप एक सूत्र को सामान्य रूप में प्राप्त करते हैं और खंडों के शाब्दिक रूप से तब तक फ्लिप करते हैं जब तक कि आपको कोई समाधान नहीं मिलता है जो सूत्र को संतुष्ट करता है या आप अधिकतम_ट्री / …

20 algorithms  satisfiability  3-sat 

मैं अपना सिर एक एनपी-पूर्णता प्रमाण के चारों ओर लपेटने की कोशिश कर रहा हूं जो सैट / 3 सीएनएफ-सैट के चारों ओर घूमता हुआ प्रतीत होता है। शायद यह देर का समय है, लेकिन मुझे डर है कि मैं एक 3CNF फॉर्मूला के बारे में नहीं सोच सकता हूं …

15 logic  satisfiability  3-sat 

प्लानर 3SAT एनपी-पूर्ण है। एक प्लानर 3SAT उदाहरण एक 3SAT उदाहरण है जिसके लिए निम्नलिखित नियमों का उपयोग करके बनाया गया ग्राफ़ प्लानर है: प्रत्येक और ver x i के लिए एक शीर्ष जोड़ेंएक्समैंएक्समैंx_iएक्समैं¯एक्समैं¯\bar{x_i} प्रत्येक खंड C j के लिए एक शीर्ष जोड़ेंसीजेसीजेC_j हर के लिए किनारे से जोड़ने जोड़ी( …

14 np-complete  reductions  satisfiability  3-sat 

मैं एक असाइनमेंट (पुस्तक अल्गोरिद्म से ली गई - एस। दासगुप्ता, सीएच पापादिमित्रिउ , और यूवी वाज़िरानी , चैप 8, समस्या 8.6a) पर काम करने की कोशिश कर रहा हूँ , और मैं इसे बताता हूँ: यह देखते हुए कि 3 एसएटी एनपी-पूर्ण तब भी बना रहता है जब तक …

10 complexity-theory  satisfiability  3-sat