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

मेरे पास एक प्रमाण प्रयास का हिस्सा है ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}। प्रमाण के प्रयास में कर की कमी होती है⊕P⊕P\oplus \mathbf{P}- अपूर्ण समस्या ⊕⊕\oplus3-REGULAR VERTEX COVER to SAT। एक घन ग्राफ दिया GGGकमी CNF सूत्र का उत्पादन करती है FFF दोनों निम्नलिखित गुण हैं: FFF सबसे ज्यादा है 111 …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

क्या चर घटनाओं की प्रतिबंधित संख्या के साथ 1-इन-3-सैट की जटिलता वर्ग पर एक ज्ञात परिणाम है? मैं पीटर नाइटिंगेल के साथ निम्नलिखित पारिश्रमिक में कमी के साथ आया हूं, लेकिन मैं कुछ का हवाला देना चाहता हूं यदि यह ज्ञात है। यह वह तरकीब है जिसके साथ हम आए …

11 reference-request  sat  reductions 

इम्पेग्लियाज़ो, पटुरी और कैलाब्रो, इम्पाग्लियाज़ो , पटुरी ने एक्सपोनेंशियल-टाइम हाइपोथीसिस (ETH) और स्ट्रॉन्गली एक्सपोनेंशियल-टाइम हाइपोथिसिस (SETH) की शुरुआत की। मोटे तौर पर, SETH का कहना है कि कोई भी एल्गोरिथ्म नहीं है जो समय में SAT को हल करता है । 1.99n1.99n1.99^n मैं सोच रहा था कि SETH को तोड़ने …

11 cc.complexity-theory  sat  exp-time-algorithms 

चलो x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) बूलियन चर का एक वेक्टर हो। आज्ञा देना C,DC,DC,D दो बूलियन सर्किट पर xxx। कहो कि CCC , समान है DDDयदि: Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D एक छोटी राशि द्वारा ग्राफ एडिट डिस्टेंस में अंतर करते हैं (उनकी एडिट दूरी सर्किट के आकार से बहुत छोटी है, कहते हैं, …

11 sat  application-of-theory 

FOCS2013 का यह हालिया पेपर, गैसपर्स और सेज़िडर द्वारा बाउंडेड ट्रेविद सैट का स्ट्रांग बैकसाइड , सैट क्लॉज ग्राफ और उदाहरण कठोरता के बीच के लिंक के बारे में बात करता है । रैंडम 3-सैट, यानी 3-सैट के उदाहरणों को रैंडम के लिए चुना जाता है, क्लॉज ग्राफ और उदाहरण …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

सभी #SAT सॉल्वरों को मैं जानता हूं, जैसे RelSat, C2D, केवल संतोषजनक उदाहरणों की संख्या वापस करते हैं। लेकिन मैं उनमें से प्रत्येक उदाहरण को जानना चाहता हूं? क्या ऐसा #SAT सॉल्वर है या मुझे ऐसा करने के लिए उपलब्ध #SAT सॉल्वर को कैसे संशोधित करना चाहिए? धन्यवाद।

11 lo.logic  sat  software 

एसएटी सॉल्वर को विशेष ग्राफ एल्गोरिदम के साथ प्रतिस्पर्धी बनाने में क्या बाधाएं हैं? दूसरे शब्दों में, क्या एसएटी सॉल्वर्स से यह उम्मीद करना संभव है कि एल्गोरिथ्म डिजाइनर की भूमिका को बदल सकता है - अर्थात, स्वचालित रूप से समस्या संरचना को पहचानने में सक्षम हो सकता है और …

11 ds.algorithms  graph-theory  sat 

मैं थोड़ी देर के लिए SAT एल्गोरिथ्म विकसित कर रहा हूं, और एक बिंदु पर पहुंच गया हूं जहां मैं इसे साझा करना चाहता हूं। मुझे कंप्यूटर विज्ञान में बहुत से लोग नहीं जानते हैं, और मुझे यकीन नहीं है कि वास्तव में कहाँ मोड़ना है। मैं सोच रहा हूं …

11 sat  soft-question  proofs 

मैं एसएटी भिन्नता में दिलचस्पी रखता हूं जहां सीएनएफ फॉर्मूला मोनोटोन है (कोई चर नकारात्मक नहीं हैं)। ऐसा सूत्र स्पष्ट रूप से संतोषजनक है। लेकिन कहते हैं कि सच्चे चर की संख्या इस बात का माप है कि हमारा समाधान कितना अच्छा है। तो हम निम्नलिखित समस्या है: मिनिमम ट्रायल …

11 cc.complexity-theory  np-hardness  sat 

एल्बरफेल्ड, जकोबी, और टेंटाउ 2010 ( ईसीसीसी टीआर 10-062 ) ने बोदलेन्डर के प्रमेय का एक अंतरिक्ष-कुशल संस्करण साबित किया। उन्होंने दिखाया कि अधिकांश पर treewidth के साथ रेखांकन के लिए ककk, चौड़ाई का वृक्ष अपघटन कkkलॉगरिदमिक स्पेस का उपयोग करके पाया जा सकता है। अंतरिक्ष बाउंड में निरंतर कारक …

10 cc.complexity-theory  sat  treewidth  space-complexity 

मैं को कम करने में दिलचस्पी रहा हूँ सैट को उदाहरण को ज्यादा बड़ा किए बिना।kkk क्लिक एनपी में है, इसलिए इसे लॉगरिदमिक स्पेस का उपयोग करके एसएटी में कम किया जा सकता है। सीधी गैरे / जॉनसन पाठ्यपुस्तक की कमी उदाहरण के लिए घन आकार तक बढ़ जाती है …

10 cc.complexity-theory  sat  reductions  clique 

प्लानर 3-सैट की मानक परिभाषा क्या है? मैंने कई तरह की परिभाषाएँ देखी हैं। मूल कागज क्या था जिसने इसे परिभाषित किया और इसे एनपी-पूर्ण साबित किया?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

क्या CNF SAT समस्या एनपी कठिन है जब कुल संख्या (लेकिन चौड़ाई नहीं) 3 या अधिक अवधि के क्लॉज एक निरंतरता से ऊपर बंधी है? क्या विशेष रूप से के बारे में जब वहाँ केवल एक ही खंड है?

10 np-hardness  sat  upper-bounds 

क्या CNF फ़ार्मुलों का एक प्राकृतिक वर्ग है - अधिमानतः एक जिसे पहले साहित्य में अध्ययन किया गया है - निम्नलिखित गुणों के साथ:सीसीC सीसीC , SAT का एक आसान मामला है, जैसे कि Horn या 2-CNF, यानी में सदस्यता को बहुपद समय में परखा जा सकता है, और सूत्र …

10 sat  proof-complexity 

प्रसंग : Kavvadias और Sideri पता चला है कि उलटा 3-सैट समस्या coNP पूरा है: यह देखते हुए पर मॉडल का एक सेट चर, वहाँ एक 3-CNF सूत्र ऐसी है कि मॉडल की अपनी सटीक सेट है? एक तत्काल उम्मीदवार सूत्र उत्पन्न होता है, जो सभी मॉडलों के संयोजन है …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat