proof-complexity पर टैग किए गए जवाब

यह सवाल मैथमैटवर्फ्लो पर लागू गणित के बारे में इसी तरह के सवाल से प्रेरित है , और उस नेगिंग ने सोचा कि TCS के महत्वपूर्ण प्रश्न जैसे P बनाम NP, ZFC (या अन्य सिस्टम) से स्वतंत्र हो सकते हैं। थोड़ा पृष्ठभूमि के रूप में, रिवर्स गणित कुछ महत्वपूर्ण प्रमेयों …

37 cc.complexity-theory  lo.logic  proof-complexity 

यह एक भोला सवाल है, मेरी विशेषज्ञता से बाहर; माफी पहले से। गोल्डबैच का अनुमान और गणित में कई अन्य अनसुलझे प्रश्न विधेय गणना में संक्षिप्त सूत्र के रूप में लिखे जा सकते हैं। उदाहरण के लिए, कुक का पेपर "कैन कंप्यूटर रूटीन डिस्कवर गणितीय प्रूफ?" के रूप में अनुमान …

35 cc.complexity-theory  proof-complexity  automated-theorem-proving  proof-search 

Cstheory पर सवाल " क्या एनपी रैखिक आकार के गवाहों के लिए प्रतिबंधित है? " वर्ग एनपी रैखिक आकार O(n)O(n)O(n) गवाहों के लिए प्रतिबंधित के बारे में पूछता है , लेकिन देखते हैं प्राकृतिक एन पी-सम्पूर्ण समस्याओं जिसमें (हाँ) आकार के उदाहरण nnn से आकार अधिक से अधिक के गवाह …

28 cc.complexity-theory  np  proof-complexity 

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

27 reference-request  big-list  sat  proof-complexity  lo.logic 

हाल ही में मैंने arxiv पर कई लेख देखे हैं जो सम-वर्ग नामक एक प्रमाण प्रणाली का उल्लेख करते हैं। क्या कोई समझा सकता है कि एक राशि-वर्ग प्रमाण क्या है और इस तरह के प्रमाण महत्वपूर्ण / दिलचस्प क्यों हैं? वे अन्य बीजीय प्रूफ सिस्टम से कैसे संबंधित हैं? …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

क्या कंप्यूटिंग प्रक्षेपों के लिए एल्गोरिदम का कोई सर्वेक्षण है? केवल एक एल्गोरिथ्म पर कागजात के बारे में क्या? जिस मामले में मैं सबसे ज्यादा दिलचस्पी रखता हूं, वह है और , साथ ही बाधा भी है कि इंटरपोलेंट जितना संभव हो उतना छोटा है। (मैं 2005 से मैकमिलन के …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

XORification हर चर की जगह एक बूलियन फ़ंक्शन या फ़ॉर्मूला कठिन बनाने के लिए तकनीक है के XOR द्वारा कश्मीर ≥ 2 अलग चर । xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k मैं मुख्य रूप से रिज़ॉल्यूशन-आधारित प्रूफ सिस्टम के लिए स्पेस लोअर सीमाएँ प्राप्त करने के लिए प्रूफ जटिलता में …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

मैं कुशल एल्गोरिदम के प्राकृतिक उदाहरणों की तलाश कर रहा हूं (यानी बहुपद में) सेंट उनकी शुद्धता और दक्षता रचनात्मक रूप से सिद्ध की जा सकती है (जैसे या ), लेकिनPRAPRAPRAHAHAHA केवल कुशल अवधारणाओं का उपयोग करने वाला कोई भी प्रमाण ज्ञात नहीं है (अर्थात हम या में अपनी शुद्धता …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

यह प्रश्न प्रस्तावक तर्क के बारे में है और "प्रस्ताव" की सभी घटनाओं को "प्रस्ताव प्रस्ताव" के रूप में पढ़ा जाना चाहिए। यह सवाल कुछ बेहद बुनियादी है लेकिन यह मुझे कुछ समय के लिए परेशान कर रहा है। मैं ऐसे लोगों को देखता हूं जो प्रस्ताव को पूरा करते …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

हम जानते हैं कि DPLL आधारित SAT-समाधानकर्ताओं की unsatisfiable उदाहरणों पर सही ढंग से जवाब देने के लिए असफल (कबूतर छेद सिद्धांत), उदाहरण के लिए "वहाँ से एक injective मानचित्रण है पर के लिए ": एन + 1 एनPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} …

15 cc.complexity-theory  lo.logic  proof-complexity 

जब पेपर " एफपीएच के लिए एक आवेदन सिद्धांत " आप निम्नलिखित मार्ग का सामना कर सकते हैं: कम्प्यूटेशनल जटिलता के वर्गों को चिह्नित करने वाले सिद्धांतों को ध्यान में रखते हुए, तीन अलग-अलग दृष्टिकोण हैं: एक में, जिन कार्यों को सिद्धांत के भीतर परिभाषित किया जा सकता है, वे …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

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

14 cc.complexity-theory  sat  proof-complexity 

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

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

एनपी मान लें! = CoNP, तो coNP- पूर्ण समस्या के लिए कोई बहुपद आकार का प्रमाण पत्र नहीं है। लेकिन उपसंचाई के आकार के प्रमाण पत्र के बारे में क्या? विशेष रूप से coSAT के लिए, क्या सूत्र को सिद्ध करने के लिए उपप्रकारक आकार का प्रमाण असंतोषजनक है? यदि …

13 cc.complexity-theory  proof-complexity 

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

12 cc.complexity-theory  lo.logic  proof-complexity