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

मान लें कि एनपी = सह-एनपी और बहुपद 3-CNF उदाहरण x के लिए असंतोषजनकता के प्रमाण की लंबाई को सीमित करता है । तो क्या इस पर कोई परिणाम नहीं हैं फार्म के लिए unsatisfiability के लिए किसी प्रमाण की एक्स लंबाई की ≤ पी ( एक्स ) ले जा …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

इस प्रश्न के लिए प्रेरणा तथ्य यह है कि अधिकांश एन-बिट स्ट्रिंग्स असंगत हैं। सहज रूप से, हम सादृश्य द्वारा प्रस्ताव कर सकते हैं कि टॉटोलोजी के अधिकांश प्रमाण बहुपद के आकार के लिए असंगत हैं। मूल रूप से, मेरा अंतर्ज्ञान यह है कि कुछ प्रमाण स्वाभाविक रूप से यादृच्छिक …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

सबूत जटिलता कम्प्यूटेशनल जटिलता सिद्धांत का एक सबसे बुनियादी क्षेत्र है। इस क्षेत्र का एक अंतिम उद्देश्य को साबित करने के है , यह है कि, किसी भी prover नहीं दिए गए इनपुट सूत्र के unsatisfiability का एक सबूत दे सकते हैं। NP≠coNPNP≠coNPNP\neq coNP एक ग्राफ सबूत के औपचारिक मॉडल …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

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

10 sat  proof-complexity 

रेज़बोरोव द्वारा एक बातचीत में, एक जिज्ञासु थोड़ा बयान पोस्ट किया गया है। यदि FACTORING कठिन है, तो Fermat की छोटी प्रमेय में सिद्ध नहीं है S12S21S_{2}^{1}। क्या है S12S21S_{2}^{1}और वर्तमान सबूत में क्यों नहीं हैं S12S21S_{2}^{1}?

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

संकल्प CNFs की असंतोषजनकता साबित करने के लिए एक योजना है। रिज़ॉल्यूशन में एक प्रमाण CNF के प्रारंभिक क्लॉज के लिए खाली क्लॉज की तार्किक कटौती है। विशेष रूप से किसी भी प्रारंभिक खंड निष्कर्ष निकाला जा सकता है, और दो खंड से और बी ∨ ¬ एक्स खंड एक …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

विकिपीडिया [1] बताता है कि फ्रीज सबूतों के आकार के लिए सबसे अच्छी ज्ञात निचली सीमा द्विघात है, और यह कि फ्रीज सबूतों की लाइनों की संख्या के लिए कोई ज्ञात सुपरलाइनियर कम सीमा नहीं है। प्रशन: 1) विस्तारित फ्रीज सबूतों की लाइनों की संख्या के लिए सबसे अच्छा ज्ञात …

9 proof-complexity 

मैं पी-ऑप्टिमल प्रूफ सिस्टम और लॉजिक के लिए पीटी टाइम पर पेपर को खड़ा करने की कोशिश कर रहा हूं । कागज में प्रूफ सिस्टम नामक एक धारणा है और मुझे इस बारे में जानकारी नहीं है: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... हम सबसेट के …

9 lo.logic  descriptive-complexity  proof-complexity