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

Immerman-वर्दी प्रमेय कहा गया है कि PTIME (या पी) ठीक भाषाओं के वर्ग प्रथम क्रम तर्क की सजा द्वारा वर्णित है कि किया जा सकता है एक साथ एक निश्चित बिंदु ऑपरेटर के साथ, आदेश दिया संरचनाओं के वर्ग खत्म हो गया है। फिक्स्ड-पॉइंट ऑपरेटर या तो कम से कम …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

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

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

ऐसा नहीं है कि एक प्रश्न का उत्तर नहीं मिलता के लिए जाना जाता प्रतीत हो रहा है एक संबंधपरक डेटाबेस से अधिक विकास एक समय की जरूरत है, | D | | क्यू | , और एक प्रतिपादक से छुटकारा नहीं मिल सकता है | क्यू | ।QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| जैसा …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: singleton: एक आइटम के साथ एक सूची बनाता है, इसके लिए एक पॉइंटर लौटाता है insertAfter: किसी आइटम को एक पॉइंटर दिया जाता है, उसके बाद एक नया आइटम सम्मिलित करता है, एक पॉइंटर को …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

सीएमएसओएल मोनाडिक सेकंड ऑर्डर लॉजिक की गिनती कर रहा है, यानी ग्राफ़ का एक तर्क जहां डोमेन वर्टीकल और किनारों का सेट है, वहाँ वर्टेक्स-वर्टेक्स आसन्नता और एज-वर्टेक्स घटना के लिए विधेय हैं, किनारों, वर्टीकल, एज सेट्स और वर्टेक्स की मात्रा का ठहराव है। सेट, और एक विधेय जो व्यक्त …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

कागज़ लॉरी हेला और जोस मारिया तुरुल-टॉरेस, उच्च-क्रम लॉजिक्स , टीसीएस 355 197-214, 2006 के साथ कम्प्यूटिंग क्वेश्चन। doi: 10.1016 / j.tcs.2006.01.009 तर्क VO, चर-क्रम तर्क का प्रस्ताव करता है। यह चर पर आदेशों पर मात्रा का ठहराव की अनुमति देता है। VO काफी शक्तिशाली है और कुछ गैर-गणना योग्य …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Immerman (वर्णनात्मक जटिलता, 1999) प्रस्तुत एफई पेज 127. के रूप में पर अस्तित्व monadic दूसरा आदेश (Ajtai-फेगिन खेल) के लिए खेल शब्दों पर एमएसओ नियमित भाषाओं के बराबर है, खेल के रूप में निम्नानुसार लिखा जा सकता है।∃∃\exists एक भाषा नियमित रूप से यदि और केवल यदि दलीला निम्नलिखित खेल …

11 lo.logic  automata-theory  descriptive-complexity 

जटिलता चिड़ियाघर में, यह कहता है कि [ 1 ] वर्णनात्मक जटिलता में, को तीन अलग-अलग प्रकार के सूत्रों द्वारा परिभाषित किया जा सकता है, जो भी है, और रूप में भी। ।पीपीPएफO ( L F)पी)एफहे(एलएफपी)FO(LFP)एफओ ( एन)ओ ( 1 ))एफहे(nहे(1))FO(n^{O(1)})एसओ ( एच)ओ आर एन)एसहे(एचहेआरएन)SO(HORN) हालांकि, कुछ अपवाद हैं, उदाहरण …

10 lo.logic  polynomial-time  descriptive-complexity 

यह सर्वविदित है कि NP -problems के कुछ वर्गों में डाइकोटॉमी प्रमेय हैं, जो इस बात की गारंटी देते हैं कि कक्षा में प्रत्येक कार्य या तो NP -complete है या P में है । इस तरह के सबसे प्रसिद्ध परिणाम शहाफर के द्विभाजन प्रमेय के साथ-साथ कई सामान्यीकरण भी …

10 cc.complexity-theory  np  descriptive-complexity 

संदर्भ: हम केवल डिग्राफ मानते हैं। आज्ञा देना चक्र के साथ रेखांकन की भाषा हो; यह एनएल-पूर्ण समस्या है। आज्ञा देना कम से कम एक किनारे के साथ रेखांकन की भाषा हो। तब तुच्छता, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} नहीं रह NL-कठिन है, जबकि CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} रहता है तो। वास्तविक समस्या: …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

में इस सवाल है, यह उल्लेख किया गया था चावल की प्रमेय के वर्णनात्मक जटिलता संस्करणों रहे हैं। मुझे निम्नलिखित प्रमेय का प्रमाण मिला: एक जटिलता वर्ग को देखते हुए सी , में भाषाओं के nontrivial गुण सी में नहीं की जा सकती सी मैंने पहले पाया गया सबूत पोस्ट …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

चलो एक क्रमचय हो। ध्यान दें कि जब inf एक अनंत डोमेन पर कार्य करता है, तो इसका विवरण परिमित हो सकता है। द्वारा वर्णन , मैं एक प्रोग्राम है जो वर्णन करता है मतलब π की कार्यक्षमता। (कोलमोगोरोव जटिलता के रूप में।) नीचे स्पष्टीकरण देखें।π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

बन्द है। यह सवाल ऑफ टॉपिक है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि यह सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज के लिए विषय पर हो । 7 साल पहले बंद हुआ । हम कैसे व्यक्त कर …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

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

9 lo.logic  descriptive-complexity  proof-complexity 

एक पेपर को बेहतर ढंग से समझने के लिए मैं कम से कम फिक्स्ड पॉइंट लॉजिक की संक्षिप्त समझ प्राप्त करने की कोशिश कर रहा हूं। कुछ बिंदु हैं जहां मैं फंस गया हूं। यदि एक ग्राफ है औरG=(V,E)जी=(वी,इ)G = (V,E) Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(पी)={(ए,ख)|जी⊨इ(ए,ख)∨पी(ए,ख)∨∃z(इ(ए,z)∧पी(z,ख))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor …

9 lo.logic  descriptive-complexity  finite-model-theory