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

मान लें कि हम 3-SAT को वेरिएबल और c क्लॉज़ के साथ मानते हैं। मैं एक ऐसी विधि पर शोध कर रहा हूं जो किसी भी SAT समस्या को हल करने के लिए O ( v 2 + log c ) समय / स्थान लेने के लिए प्रकट होती है …

10 ds.algorithms  sat  upper-bounds 

एक भाषा कक्षा में है डी पी iff वहाँ दो भाषाएं हैं एल 1 ∈ एन पी और एल 2 ∈ सी ओ एन पी ऐसी है कि एल = एल 1 ∩ एल 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 एक विहित अपूर्ण समस्या SAT-UNSAT है: दो …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

एंड्रोस सलामोन और कॉलिन मैकक्लिअन के मेरे पिछले प्रश्न मोनोटोन -2 सीएनएफ फॉर्मूला के समाधानों को गिनने के योगदान को पढ़ने के बाद मेरे दिमाग में यह सवाल उठ गया है । EDIT 30 वें मार्च 2011 जोड़ा गया प्रश्न n ° 2. EDIT 29 वें अक्टूबर 2010 प्रश्न एक …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

मैं यादृच्छिक के-सैट के लिए चरण संक्रमण की वर्तमान स्थिति जानना चाहूंगा, एन वेरिएबल्स और एम क्लॉज़ दिए गए हैं, जो ऊपरी और निचले सीमा के लिए सबसे अच्छा ज्ञात सी = एम / एन है।

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

मुझे एनपी-पूर्ण समस्याओं के "कठिन" व्यक्तिगत उदाहरणों में दिलचस्पी है। रेयान विलियम्स ने रिचर्ड लिप्टन के ब्लॉग पर SAT0 समस्या पर चर्चा की । SAT0 पूछता है कि क्या किसी SAT उदाहरण में विशिष्ट समाधान है जिसमें सभी 0 हैं। यह मुझे ऐसे SAT उदाहरणों के निर्माण के बारे में …

10 cc.complexity-theory  sat  hard-instances 

एसएमटी सॉल्वर जैसे कि जेड 3 या बूलेटोर समस्याओं को हल करने के लिए ह्यूरिस्टिक्स के एक जटिल सेट का उपयोग करते हैं। हालांकि, इससे किसी समस्या के लिए ऐसे सॉल्वर के प्रदर्शन की भविष्यवाणी करना बहुत कठिन हो जाता है। मेरा सवाल इस प्रकार है: सवाल क्वांटिफायर-मुक्त बिटवॉटर (QFBV) …

9 ds.algorithms  sat  heuristics 

मानक समस्या 1-इन -3 सैट (या एक्ससैट या एक्स 3 एसएटी ) है: उदाहरण : प्रत्येक 3 खंडों वाले प्रत्येक खंड के साथ एक सीएनएफ फॉर्मूला प्रश्न : क्या एक संतोषजनक असाइनमेंट सेटिंग प्रति 1 खंड प्रति सत्य सही है? समस्या एनपी-पूर्ण है और कोई भी चर नहीं होने पर …

9 cc.complexity-theory  np-hardness  sat 

शास्त्रीय # पी-पूर्ण समस्या पर विचार करें # 3SAT, अर्थात, चरों के साथ 3CNF को संतोषजनक बनाने के लिए मूल्यांकन की संख्या की गणना करना । मैं additive सन्निकटन में रुचि रखता हूं । स्पष्ट रूप से, -रोर को प्राप्त करने के लिए एक तुच्छ एल्गोरिथ्म है , लेकिन यदि …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

एक मोनोटोन 3CNF सूत्र पर विचार करें, जिसमें दोनों अतिरिक्त प्रतिबंध हैं: प्रत्येक चर बिल्कुल खंडों में प्रकट होता है ।222 किसी भी खंडों को देखते हुए , वे अधिकतम चर पर साझा करते हैं ।222111 मैं जानना चाहूंगा कि इस तरह के फॉर्मूले के संतोषजनक कामों को गिनना कितना …

9 cc.complexity-theory  sat  counting-complexity 

मैं जानना चाहता हूं कि मैं के-सैट के लिए एक अच्छे, सौम्य परिचय की ओर मुड़ सकता हूं (यह गणितज्ञों के लिए हो सकता है जिनके पास एक अच्छा कंप्यूटर विज्ञान पृष्ठभूमि नहीं हो सकता है)। मैं उन कागजों को भी जानना चाहूंगा जो शायद k-SAT को हल करने के …

9 reference-request  sat  survey 

मुझे आश्चर्य है कि अगर वे किसी वाहन-रूटिंग-टाइम-विंडोज ( वीआरपीटीडब्ल्यू ) (एक निर्णय समस्या के रूप में) के साथ एसएटी / एसएमटी उदाहरण के रूप में समस्या का समाधान कर रहे हैं? (वैकल्पिक: TSP) उदाहरण के लिए: "क्या n = 10 वाहनों के साथ उनके समय-खिड़कियों के भीतर सभी ग्राहकों …

9 ds.algorithms  reference-request  sat  reductions  tsp