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

मैं महत्वपूर्ण 3-संतुष्टि (3-सैट) घनत्व में रुचि रखता हूं । यह अनुमान लगाया है कि इस तरह है α मौजूद है: अनियमित रूप से उत्पन्न 3-सैट खंड की संख्या है अगर ( α + ε ) n या अधिक, वे लगभग निश्चित रूप से unsatisfiable हैं। (यहाँ ε किसी भी …

26 pr.probability  random-k-sat 

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

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

क्या इस पर कोई काम किया गया है कि # 2-SAT के यादृच्छिक उदाहरणों की जटिलता खंड घनत्व के साथ कैसे भिन्न होती है? यह है: 2-सैट के बेतरतीब ढंग से उत्पन्न उदाहरण के लिए संतोषजनक समाधान गिनने की कठिनाई कैसे होती है, क्योंकि क्लॉज का घनत्व अलग - अलग …

18 cc.complexity-theory  counting-complexity  random-k-sat 

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

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

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

14 sat  phase-transition  random-k-sat 

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

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