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

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

14 cc.complexity-theory  sat  counting-complexity 

क्या कोई प्रमुख परिणाम होगा यदि सैट में अधिकांश उपसंचाई-संबंधी असंगत साक्ष्य थे या उससे भी अधिक दृढ़ता से, सैट के पास सब-प्रोनोटेंशियल-टाइम एल्गोरिदम थे?

14 cc.complexity-theory  sat  proof-complexity 

हम किसी दिए गए सामान्य बूलियन फॉर्मूला (CNF-SAT), एक दिए गए DNF फॉर्मूला, या यहां तक ​​कि दिए गए 2SAT फॉर्मूला में एक # पी-पूर्ण समस्या है , संतोषजनक संख्या की गणना की समस्या को जानते हैं । अब, CNF-SAT पर कोई नकारात्मक शाब्दिक (no negative , हमेशा ) के …

13 sat  counting-complexity  polynomial-time  monotone 

इस पत्र के अनुसार , जो सशक्त घातांक समय परिकल्पना (SETH) के एक nondeterministic विस्तार पर चर्चा करता है , "[…] विलियम्स ने हाल ही में k-TAUT के मर्लिन-आर्थर जटिलता के बारे में संबंधित परिकल्पना को दिखाया है"। हालांकि, वह कागज केवल एक व्यक्तिगत संचार का हवाला देता है। SETH …

13 sat  proofs  nondeterminism 

में Bundeswettberweb Infomatik 2010/2011, वहाँ एक दिलचस्प समस्या थी: तय लिए , एक न्यूनतम लगता है कश्मीर और एक नक्शा φ : { ( मैं , जे ) | मैं ≤ जे ≤ n } → { 1 , ... , कश्मीर } , कोई ट्रिपल है ऐसा है कि …

13 graph-theory  sat  combinatorics 

याद रखें कि चौड़ाई एक संकल्प निराकरण की एक CNF सूत्र के एफ में होने वाली किसी भी खंड में शाब्दिक की अधिकतम संख्या है आर । हर के लिए डब्ल्यू , वहाँ unsatisfiable सूत्रों हैं एफ 3-CNF सेंट में के हर संकल्प निराकरण एफ कम से कम चौड़ाई की …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

मैं एक एसएटी सॉल्वर पर भरोसा करने की संभावना की जांच करना शुरू कर रहा हूं, जिसमें मुझे दिलचस्पी है एक अनुकूलन समस्या से निपटने के लिए, और वर्तमान में मैं एक सर्वेक्षण की तलाश कर रहा हूं जो एसएटी के वेरिएंट के "चतुर" परिवर्तनों का उदाहरण पेश करेगा (अर्थात, …

13 ds.algorithms  reference-request  sat  optimization 

एक मोनोटोन -2 सीएनएफ फॉर्मूला एक सीएनएफ फॉर्मूला है जहां प्रत्येक क्लॉज को वास्तव में 2 पॉजिटिव शाब्दिक रूप से बनाया जाता है। अब, मेरे पास एक मोनोटोन -2 सीएनएफ फॉर्मूला । बता दें कि एस एफ के संतोषजनक काम का सेट है । मेरे पास एक ओरेकल ओ है …

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

मैं सभी संतोषजनक प्रस्तावक तर्क सूत्रों की भाषा पर विचार कर रहा हूँ, SAT (यह सुनिश्चित करने के लिए कि यह एक परिमित वर्णमाला है, हम कुछ उपयुक्त तरीके से प्रस्ताव पत्र सांकेतिक शब्दों में बदलना होगा [संपादित करें: उत्तरों ने कहा कि प्रश्न के उत्तर के तहत मजबूत नहीं …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

कैसे दिखाता है कि 2-CNF (2-SAT) में एक निश्चित संपत्ति व्यक्त नहीं की जा सकती है? क्या कोई खेल हैं, जैसे कंकड़ खेल? ऐसा लगता है कि शास्त्रीय काले कंकड़ वाले खेल और काले-सफेद कंकड़ वाले खेल इसके लिए अनुपयुक्त हैं (हर्टेल और पटासी, कम्प्यूटिंग, 2010 के एसआईएएम जे के …

12 sat  lower-bounds  combinatorial-game-theory 

क्या यह संभव है कि ? क्या इस तरह के नियंत्रण के दिलचस्प परिणाम हैं? क्या यह घातीय समय की परिकल्पना के विपरीत होगा?एसए टी¯¯¯¯¯¯¯¯¯¯∈ एनटीमैंमइ( ऍक्स्प( एन0.9) )एसएटी¯∈एनटीमैंमइ(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

यूनीक सैट एक बहुचर्चित समस्या है: एक CNF फॉर्मूला , क्या यह सच है कि F में ठीक एक मॉडल है?FFFFFF मैं «बिल्कुल एसएटी» समस्या में दिलचस्पी रखता हूं : एक सीएनएफ फॉर्मूला एफ और एक पूर्णांक एम > 1 दिया गया , क्या यह सच है कि एफ में …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

यह व्यापक रूप से ज्ञात है कि CNF सूत्र को मोटे तौर पर 2 व्यापक वर्गों में विभाजित किया जा सकता है: यादृच्छिक बनाम संरचित। संरचित CNF फ़ार्मुलों, यादृच्छिक CNF फ़ार्मुलों के विरोध में, कुछ प्रकार के आदेश प्रदर्शित करते हैं, पैटर्न दिखाते हैं जो संयोग से होने की संभावना …

12 cc.complexity-theory  sat  randomness  symmetry 

रैंडम के-सैट को परिभाषित करते समय हमारे पास 4 अलग-अलग बाधाएं हो सकती हैं। 1) किसी दिए गए क्लॉज़ में कुल शाब्दिक संख्या K या AT सबसे अधिक K 2 है) दिए गए शाब्दिक का उपयोग उसी खंड (A या A या A) 3 में प्रतिस्थापन के साथ या बिना …

12 cc.complexity-theory  sat  randomness  phase-transition 

मैं विशेष रूप से सोच रहा हूं कि क्या असाइनमेंट के प्रतिशत पर एक दिलचस्प स्थिति है जो इस बात की गारंटी देने के लिए 3SAT फॉर्मूला को संतुष्ट करती है कि ऐसी समस्याएं ट्रैक्टेबल हैं। उदाहरण के लिए मान लीजिए कि 3SAT समस्याओं का वर्ग जो कि संभव असाइनमेंट …

12 cc.complexity-theory  ds.algorithms  sat  np