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

3CNF सूत्र CCC लिए C केM(C)M(C)M(C) किसी भी असाइनमेंट में संतुष्ट क्लॉज की अधिकतम संख्या CCC । यह ज्ञात है कि अधिकतम 3SAT (पी ≠ एनपी के अधीन), यानी कोई polytime एल्गोरिथ्म जिसका इनपुट एक 3CNF सूत्र है अनुमान लगाने के लिए मुश्किल है CCC , और जिसका उत्पादन होता …

26 cc.complexity-theory  sat 

क्या बूलियन फॉर्मूला बी का हॉर्न क्लॉस के बराबर संयोजन में अनुवाद करना संभव है? हॉर्नसैट के बारे में विकिपीडिया लेख का अर्थ है कि यह है, लेकिन मैं किसी भी संदर्भ का पीछा करने में सक्षम नहीं हूं। ध्यान दें कि मेरा मतलब "बहुपद में" नहीं है, बल्कि "बिल्कुल" …

26 reference-request  lo.logic  sat 

की एक प्रसिद्ध विशेषता -SAT उदाहरणों खंड की संख्या के अनुपात है चर की संख्या से अधिक , यानी, भागफल । हर के लिए , वहाँ एक सीमा मूल्य है सेंट \ लिए ρ « α , ज्यादातर मामलों संतुष्टि योग्य हैं, और के लिए ρ » α ज्यादातर मामलों …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

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

25 ds.algorithms  sat 

निम्नलिखित समस्या पर विचार करें: CNF सूत्र और असाइनमेंट दिया गया है जो इस सूत्र को संतुष्ट करता है, क्या इस सूत्र के लिए एक और संतोषजनक असाइनमेंट है? इस समस्या की जटिलता क्या है? (यह सबसे निश्चित रूप से एनपी में है, लेकिन क्या यह एनपी-हार्ड भी है?) क्या …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

मैं पहले सैट सॉल्वर बनाना चाहता हूं। मैं सैट प्रतियोगिता और सैट सम्मेलन को जानता हूं, और इस विषय पर अभी बहुत सारे पेपर हैं। मैं स्टार्टर हूं, अभिभूत स्टार्टर हूं। मुझे कहां से शुरू करना चाहिए? आखिरकार मैं अत्याधुनिक को आगे बढ़ाना चाहता हूं। मैं कैसे शुरू करने के …

24 ds.algorithms  reference-request  lo.logic  sat 

न्यूनतम सर्किट को खोजने की जटिलता के बारे में क्या जाना जाता है जो सैट की लंबाई तक गणना करता है ? nnn औपचारिक रूप से: एक फ़ंक्शन की जटिलता क्या है, जिसे इनपुट के रूप में दिया गया है, न्यूनतम सर्किट सी को ऐसे किसी भी सूत्र के लिए …

23 cc.complexity-theory  sat 

चर होने दें । दो चरों के बीच की दूरी को रूप में परिभाषित किया गया है । दो शाब्दिक के बीच की दूरी संगत दो चर के बीच की दूरी है।x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| मान लीजिए कि मेरे पास 3-सैट का उदाहरण …

22 np-hardness  sat 

एक से इसे जारी रखते हुए पिछले प्रश्न , सैट के लिए सबसे अच्छा वर्तमान स्थान कम सीमा क्या है? एक बाउंड लोअर बाउंड के साथ मेरा मतलब है कि ट्यूरिंग मशीन द्वारा उपयोग की जाने वाली वर्कटैप कोशिकाओं की संख्या जो बाइनरी वर्कटैप वर्णमाला का उपयोग करती है। एक …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

मुझे समझ में नहीं आता है कि लगभग सभी सैट सॉल्वर DNF के बजाय CNF का उपयोग क्यों करते हैं। यह मुझे लगता है कि डीएनएफ का उपयोग करके सैट को हल करना आसान है। आखिरकार, आपको बस इम्प्लांट्स के सेट के माध्यम से स्कैन करना होगा और यह जांचना …

22 ds.algorithms  sat 

क्या कोई एक या एक से अधिक वेबसाइटों को इंगित कर सकता है, जहां #SAT सॉल्वर का कार्यशील कार्यान्वयन संभव है? मैं उन लोगों में दिलचस्पी रखता हूं जो सटीक समाधान गिनती लौटाते हैं, न कि एक अनुमान।

21 ds.algorithms  sat  software 

मैं वर्तमान में 3-CNF फ़ार्मुलों को प्राप्त करने (या निर्माण) और अध्ययन करने में दिलचस्पी रखता हूं जो असंतोषजनक हैं, और न्यूनतम आकार के हैं। अर्थात्, उन्हें यथासंभव कुछ खंड (m = 8 अधिमानतः) और संभव के रूप में कुछ अलग चर (n = 4 या अधिक) से मिलकर होना …

19 cc.complexity-theory  sat 

निर्णय समस्या CNF-SAT को निम्नानुसार वर्णित किया जा सकता है: इनपुट: सामान्य रूप में एक बूलियन फॉर्मूला ।ϕϕ\phi प्रश्न: क्या कोई चर असाइनमेंट मौजूद है जो संतुष्ट करता है ?ϕϕ\phi मैं गैर-निर्धारक दो-टेप ट्यूरिंग मशीन के साथ CNF-SAT को हल करने के लिए कई अलग-अलग तरीकों पर विचार कर रहा …

19 time-complexity  sat  turing-machines  np  nondeterminism 

समस्या मैक्स-सत आपको एक CNF सूत्र के असाइनमेंट को खोजने के लिए कहती है जो यथासंभव अधिक क्लॉज को संतुष्ट करता है। सरल समस्या SAT के लिए कई ज्ञात विशेष मामले हैं जिन्हें बहुपद समय में हल किया जा सकता है, जैसे हम बहुपद में 2-SAT हल कर सकते हैं। …

18 sat  treewidth  max2sat 

बता दें कि वेरिएबल और क्लॉस के साथ एक संतोषजनक CNF फॉर्मूला है । चलो का समाधान स्थान होना ।F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 निर्धारित करने की समस्या को देखते हुए विचार करें , एक और CNF फॉर्मूला के रूप में चर के एक ही सेट के साथ , साथ (के रूप में ही …

18 cc.complexity-theory  co.combinatorics  sat  formulas