satisfiability पर टैग किए गए जवाब

मैं एक हाईस्कूल का छात्र हूं, जिसे कंप्यूटर साइंस में दिलचस्पी है। मैंने #SAT के लिए एक कूल एल्गोरिथ्म विकसित किया है, और मैं इस पर एक विज्ञान निष्पक्ष परियोजना को लागू कर रहा हूं और कर रहा हूं। मेरे सलाहकार, जो मेरे स्कूल में सबसे अच्छे विज्ञान शिक्षक हैं …

9 algorithms  satisfiability 

बहादुर और वाज़िरानी ने सिद्ध किया कि SAT, बहुपत्नी समय में यादृच्छिक संभाव्य कटौती के तहत UNIQUE SAT के लिए पुनर्निर्धारण है। कैलाब्रो एट अल । दिखाया गया है कि UNIQUE k-SAT, k-SAT जितना ही कठिन है। अब सवाल यह है कि अगर कोई दिखाता है कि UNIQUE k-SAT पी …

9 complexity-theory  satisfiability  p-vs-np 

मैं सोच रहा था कि क्या इस समस्या का नाम है: एक सरल ग्राफ को देखते हुए, जिसके किनारे लाल, नीले और हरे रंग के होते हैं, , क्या कोई शीर्ष-रंग ऐसा है कि हर किनारे का एक ही रंग के साथ एक समापन बिंदु है?जी = ( वी, बी …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

चलो LϵएलεL_\epsilon सभी की भाषा बनो 222-सीएनएफ के सूत्र φφ\varphi, ऐसा कम से कम (12+ϵ)(12+ε)(\frac{1}{2}+\epsilon) का φφ\varphiक्लाज संतुष्ट हो सकते हैं। मुझे यह साबित करने की जरूरत है कि वहां मौजूद है ϵ′ε'\epsilon' सेंट LϵएलεL_\epsilon है NPएनपी\mathsf{NP}-किसी के लिए भी ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon'। हम जानते हैं कि Max2SatMax2Sat\text{Max}2\text{Sat} के लिए लगभग हो …

9 complexity-theory  satisfiability  approximation