सैद्धांतिक कंप्यूटर विज्ञान

वेसफाइलर-लेहमैन (WL) विधि के माध्यम से ग्राफ आइसोमोर्फिज्म के लिए प्रसिद्ध काउंटर उदाहरण में इस पेपर में कै, फ्यूरर और इमरमन द्वारा निम्न गैजेट का निर्माण किया गया था । वे एक ग्राफ का निर्माण द्वारा दिए गएएक्सक= ( वीक, ईक)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

इसके बाद क्या एक मोनड का उदाहरण है जो एक वैकल्पिक है लेकिन एक मोनडप्लस नहीं है? : मान लें एक इकाई है। संबंधों betweem क्या हैं मीटर एक जा रहा है वैकल्पिक , एक MonadPlusCatch और एक MonadPlusDistr ? mmmmmmछह संभव जोड़े में से प्रत्येक के लिए, मैं या …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

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

12 cc.complexity-theory  quantum-computing  query-complexity 

एन नोड्स के साथ एक निर्देशित ग्राफ को देखते हुए कि प्रत्येक शीर्ष पर दो आउटगोइंग किनारों हैं, और एक प्राकृतिक संख्या एन बाइनरी में एनकोडेड है, दो कोने एस और टी, मैं एन चरणों के भीतर एस से टी तक (जरूरी नहीं कि सरल) पथों की संख्या को गिनना …

12 cc.complexity-theory  graph-theory  counting-complexity 

हम एक समारोह है कहो च: Zn2→ आरच:जेड2n→आरf:\mathbb{Z}_2^n \to \mathbb{R} , ऐसी है कि Σx ∈ जेडn2च( x )2= 1Σएक्स∈जेड2nच(एक्स)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1 (ताकि हम सोच सकते हैं { च( x )2}x ∈ जेडn2{च(एक्स)2}एक्स∈जेड2n\{ f(x)^2\} _{x\in \mathbb{Z}_2^n} एक वितरण के रूप में) । यह इस प्रकार है के …

12 it.information-theory  boolean-functions  fourier-analysis 

एक "समस्या" को परिभाषित एक एल्गोरिथ्म होने के लिए प्राकृतिक संख्या को स्वीकार करने और लौटने 0 या 1 जो रिटर्न 1 कम से कम एक पर n ∈ एन । ऐसे किसी भी n को A को "समाधान" कहा जाता हैAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA एल्गोरिथ्म को एक समस्या स्वीकार करने …

12 cc.complexity-theory  ai.artificial-intel 

अगर हमें आकार n1n1n_1 और दो तार दिए जाते हैं n2n2n_2, तो मानक Levenshtein संपादित दूरी गणना एक गतिशील एल्गोरिथ्म द्वारा समय जटिलता ओ ( एन)1n2)हे(n1n2)O(n_1 n_2) और अंतरिक्ष जटिलता ओ ( एन)1n2)हे(n1n2)O(n_1 n_2) । (कुछ सुधार संपादित दूरी एक समारोह के रूप में किए जा सकते हैं घघd, लेकिन …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

मैं दो स्वतंत्र असतत यादृच्छिक चर और के योग के एन्ट्रापी पर एक बाध्यता की तलाश में हूं । स्वाभाविक रूप से, हालांकि, स्वतंत्र बर्नौली यादृच्छिक चर के योग पर लागू होता है , यह देता है दूसरे शब्दों में, बाध्य बार-बार लागू होने पर साथ रैखिक रूप से बढ़ता …

12 it.information-theory  shannon-entropy 

निःशुल्क के लिए Wadler के पुनरावर्ती प्रकार में! [1], वह दो प्रकार का प्रदर्शन किया, ∀X.(F(X)→X)→X∀X.(F(X)→X)→X\forall X . (F(X) \rightarrow X) \rightarrow X और ∃X.(X→F(X))×X∃X.(X→F(X))×X\exists X . (X \rightarrow F(X)) \times X , और दावा किया कि वे दोहरी हैं । विशेष रूप से, वह उस प्रकार बताया ∃X.X→(X→F(X))∃X.X→(X→F(X))\exists X …

12 lo.logic  type-theory 

की अभिव्यक्ति बीच क्या संबंध है LTL , बुची / QPTL , सीटीएल और सीटीएल * ? क्या आप कुछ संदर्भ दे सकते हैं जो इन अस्थायी लौकिकों में से कई को कवर करते हैं (विशेष रूप से रैखिक- और शाखा-समय के बीच)? उन लौकिक लॉजिक्स और उदाहरण के रूप …

12 lo.logic  automata-theory  model-checking  temporal-logic 

यदि आपको आंशिक आदेशों का संग्रह दिया जाता है, तो सामयिक प्रकार आपको बताएंगे कि क्या कुल आदेश के लिए संग्रह का विस्तार है (इस मामले में एक एक्सटेंशन कुल आंशिक आदेशों में से प्रत्येक के अनुरूप है)। मैं एक विविधता में आया हूं: एक सेट ठीक करें । आपको …

12 ds.algorithms  reference-request  order-theory 

पेटकोवस्क, विल्फ और ज़िलबर्गर की पुस्तक ए = बी , एल्गोरिदम का वर्णन करती है, जो कि बिनोमिल्स के विभिन्न योगों की गणना करती है। AFAIK, इन एल्गोरिदम अभी भी विभिन्न लेखकों द्वारा सुधार किया जा रहा है। क्या आप जानते हैं कि हम इन एल्गोरिदम का सबसे अद्यतित कार्यान्वयन …

12 ds.algorithms  co.combinatorics  implementation 

एक एमपीए (मल्टीएबल ऑटोमेटोन) एक 2DFA (दो-तरफा नियतात्मक परिमित ऑटोमोटन) है जो किसी दिए गए इनपुट w पर कंकड़ की वास्तव में संख्या का उपयोग कर सकता है (वास्तव में कंकड़ - इनपुट दो छोर के बीच टेप पर लिखा गया है। -मार्कर्स # w # के रूप में )। …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

अरोड़ा और बराक दिखाते हैं कि को रूप में व्यक्त किया जा सकता है, अर्थात 3SAT को यादृच्छिक रूप से कम करने वाली भाषाओं का समूह। भी का एक प्राकृतिक यादृच्छिकीकृत सामान्यीकरण है जिसमें आप निर्धारक सत्यापनकर्ता को यादृच्छिक रूप से प्रतिस्थापित करते हैं।ए एमएम\mathsf{AM}बी पी ⋅ एन पीबीपी⋅एनपी\mathsf{BP}\cdot \mathsf{NP}एम …

12 cc.complexity-theory  big-picture 

मुझे आशा है कि कोई व्यक्ति इसके लिए एक रेफरी जानता है, इसलिए मुझे साहित्य पढ़ने की ज़रूरत नहीं है ... संख्या 1 अनुक्रम पर विचार करें । अनुक्रम के बारे में n - 1 अंतराल [ x 1 , x 2 ] , [ x 2 , x 3 …

12 ds.algorithms  reference-request  sorting