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

क्या सैट के हल के लिए कोई एल्गोरिदम हैं जो डीपीएलएल आधारित नहीं हैं? या एसएटी सॉल्वर द्वारा उपयोग किए जाने वाले सभी एल्गोरिदम डीपीएलएल आधारित हैं?

18 ds.algorithms  reference-request  sat 

यहाँ लक्ष्य बहुसंख्यक वर्गों और चर की सबसे कम संख्या का उपयोग करके बहुपद समय में 3-सैट के लिए एक मनमाने ढंग से सैट समस्या को कम करना है। मेरा प्रश्न जिज्ञासा से प्रेरित है। औपचारिक रूप से, मैं जानना चाहता हूं: "SAT से 3-SAT में 'सबसे प्राकृतिक' कमी क्या …

18 cc.complexity-theory  sat  reductions 

Satisfiability समस्या सैद्धांतिक सीएस में एक मौलिक समस्या निश्चित रूप से, है। मैं असीम रूप से कई चर के साथ समस्या के एक संस्करण के साथ खेल रहा था। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} बुनियादी ढांचा। मान लें कि एक गैर-रिक्त और संभवतः चर का अनंत सेट है । एक शाब्दिक या तो …

18 reference-request  lo.logic  sat  topology  lattice 

लघु संस्करण। मूल प्रमाण है कि # 2-सैट है #P -Complete शो, वास्तव में, कि # 2-सैट के उन लोगों के उदाहरण हैं जिनमें दोनों कर रहे हैं एक लय और (किसी भी चर के negations को शामिल नहीं) द्विपक्षीय (ग्राफ से अधिक खंड द्वारा गठित चर एक द्विदलीय ग्राफ …

17 cc.complexity-theory  sat  counting-complexity 

यह देखते हुए कि , कितने -DNF के साथ वैरिएबल और क्लॉज़ हैं, टॉटोलॉजी है? (या कितने -CNFs unsatisfiable हैं?)के एन एम केm,n,km,n,km, n, kkkknnnmmmkkk

17 co.combinatorics  lo.logic  sat 

अतीत में, मैंने अपने इंजनों में कोर वर्कहॉर्स के रूप में सैट और नियमित बाधा संतुष्टि का उपयोग करके समन्वय मॉडल लागू किया। काम की इस पंक्ति में आगे बढ़ते हुए, मैं मॉडल को और अधिक संवादात्मक बनाना चाहूंगा, और सबसे अच्छा तरीका यह है कि मैं ऐसा करने के …

17 sat  lo.logic  csp 

यह प्रश्न संभवतः ऑन-टॉपिक और ऑफ़-टॉपिक के बीच की सीमा रेखा पर है, हालाँकि मैंने यहाँ इसी तरह के प्रश्न देखे हैं, इसलिए मैं इसे पूछूँगा। मैं एक अनोखा -SAT सॉल्वर लागू कर रहा हूं , जिसका इनपुट -CNF फॉर्मूला है जिसमें अधिकतम संतोषजनक असाइनमेंट है। इसके व्यावहारिक व्यवहार का …

16 sat 

कुरोदा के एक क्लासिक परिणाम के द्वारा, जटिलता वर्ग NSPACE [ ]nnn (जिसे NLIN-SPACE के रूप में भी जाना जाता है) वास्तव में संदर्भ-संवेदनशील भाषाओं का वर्ग CSL है । संतुष्टि की समस्या SAT NSPACE [ ] में है, क्योंकि समाधान के लिए रैखिक-आकार के अनुमान को पुस्तक-रखने के लिए …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

यह सर्वविदित है कि क्लाज के साथ वैरिएबल पर यादृच्छिक -CNF फॉर्मूले पर्याप्त रूप से बड़े निरंतर लिए उच्च संभावना के साथ असंतोषजनक हैं (यानी वे विरोधाभास हैं) । इस प्रकार, यादृच्छिक सीएनएफ फ़ार्मुलों ( लिए पर्याप्त रूप से) असंतोषजनक बूलियन फ़ार्मुलों पर एक प्राकृतिक वितरण का गठन होता है …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

यदि , तो एक लॉगस्पेस एल्गोरिथ्म है जो 2-सैट के निर्णय संस्करण को हल करता है ।L=NLL=NL\mathsf{L = NL} क्या का अर्थ यह है कि संतोषजनक असाइनमेंट प्राप्त करने के लिए एक लॉगस्पेस एल्गोरिथ्म है , जब इनपुट के रूप में संतोषजनक 2-SAT उदाहरण दिया जाता है?L=NLL=NL\mathsf{L = NL} यदि …

15 sat  search-problem  logspace 

यह प्रश्न कसकर किसी अन्य पोस्ट से संबंधित है: एनपी हार्ड समस्याओं में चरण संक्रमण लेकिन यह कुछ अलग है। जबकि यह प्रश्न एनपी की कठिन समस्याओं के विशेष उदाहरणों की कठोरता के बारे में है, यह उन्हीं उदाहरणों की कठिनाई को क्रमबद्ध करने के बारे में है। चरण संक्रमण …

15 cc.complexity-theory  np-hardness  sat 

एसएटी सॉल्वर एक क्वांटिफायर के साथ बूलियन फॉर्मूला की वैधता की जांच करने का एक शक्तिशाली तरीका देते हैं। उदाहरण के लिए, की वैधता की जांच करने के लिए , हम निर्धारित करने के लिए एक सैट solver उपयोग कर सकते हैं φ ( एक्स ) तृप्तियोग्य है। की वैधता …

15 ds.algorithms  lo.logic  sat  boolean-functions 

यादृच्छिक 3-SAT के लिए चर के खंडों का महत्वपूर्ण अनुपात 3 से अधिक और 6 से कम है, और आमतौर पर इसे "लगभग 4.2" या "लगभग 4.25" के रूप में वर्णित किया जाता है। मेज़र्ड, पेरिसी और ज़ेकिना साबित (भौतिकी अर्थ में) कि महत्वपूर्ण अनुपात 4.256 है, जबकि पहले और …

14 sat  phase-transition  random-k-sat 

मैंने इंटरनेट पर देखा, लेकिन मुझे SAT समस्या के किसी भी प्रकार की 'बड़ी सूची' नहीं मिली। इसके अलावा (आम) बैठ गया, कश्मीर-सैट, MAX-kSAT, आधा सैट, XOR-सैट, NAE-सैट और क्या रूप हैं? (यह भी वास्तव में उपयोगी होगा यदि जटिलता कक्षाएं दी जाती हैं (जहां संभव हो))

14 cc.complexity-theory  sat  big-list 

समस्या #SAT विहित # P- पूर्ण समस्या है। यह एक निर्णय समस्या के बजाय एक कार्य समस्या है। यह पूछता है, प्रस्तावित तर्क में बूलियन फॉर्मूला गया है, पास कितने संतोषजनक असाइनमेंट हैं । # एसएटी पर सबसे अच्छे निचले सीमा कौन से हैं?एफएफFFएफFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity