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

सबसे तेज़ ज्ञात अप्रत्यक्ष ग्राफ़ आइसोमॉर्फिज़्म एल्गोरिथ्म क्या है?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

एक रंगीन ग्राफ को टपल के रूप में वर्णित किया जा सकता है (G,c)(G,c)(G,c) कहाँ पे GGG एक ग्राफ है और c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}रंग है। दो रंगीन रेखांकन(G,c)(G,c)(G,c) तथा (H,d)(H,d)(H,d) कहा जाता है कि अगर वहाँ एक समरूपता मौजूद है, तो आइसोमोर्फिक है π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) …

9 terminology  graph-isomorphism  equivalence 

चलो d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}एक ऐसा फंक्शन होना चाहिए जिसे हम समानता फंक्शन के रूप में देखें । समानता फ़ंक्शन के उदाहरण कॉशन दूरी हैं,l2l2l_2 मानदंड, हैमिंग दूरी, जैकार्ड समानता, आदि। विचार करें nnn लंबाई के बाइनरी वैक्टर kkk: v⃗ ∈({0,1}k)nv→∈({0,1}k)n\vec{v} \in (\{0,1\}^k)^n। हमारा लक्ष्य समूह वैक्टरों के लिए है …

9 ds.algorithms  graph-algorithms  clustering 

यह शास्त्रीय सचिव समस्या का विस्तार है । हायरिंग गेम में आपके पास उम्मीदवारों का एक सेट होता है C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\}, और प्रत्येक श्रमिक कितना कुशल है, इस पर आदेश। Wlog, हम मानते हैं कि सबसे कुशल है, इसके बाद , आदि।c1c1c_1c2c2c_2 जिस क्रम में उम्मीदवारों का साक्षात्कार समान रूप …

9 ds.algorithms  gt.game-theory 

चलो एक बहुपद अंकगणितीय सर्किट द्वारा दिए गए हो आकार के । यह देखते हुए इनपुट के रूप में, वहाँ सब है कि क्या की अलघुकरणीय कारकों की जांच करने के लिए एक नियतात्मक एल्गोरिथ्म है में रैखिक रूप हैं? एक संबंधित नोट पर, एक रैखिक रूप , क्या हम …

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

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

9 cc.complexity-theory  it.information-theory  polynomial-time 

बोलो हमारे पास बूलियन फ़ंक्शन है f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} और हम आवेदन करते हैं δδ\deltaपर -random प्रतिबंध । इसके अलावा, यह कहें कि निर्णय वृक्ष जो यादृच्छिक प्रतिबंध के परिणामस्वरूप को आकार देने के लिए सिकुड़ता है । क्या इसका मतलब यह है कि का प्रभाव बहुत कम है?fffTTTfffO(1)O(1)O(1)fff

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

दो एन-बिट पूर्णांक को गुणा करने वाले सर्किट में फाटकों की संख्या के लिए सबसे अच्छा परिणाम क्या है? स्पष्ट विधि द्वार उत्पन्न करती है । और फाटकों के साथ बेहतर दृष्टिकोण हैं ।θ (n2)θ(n2)\theta(n^2)θ ( n लॉगn लॉगलॉगn )θ(nलॉग⁡nलॉग⁡लॉग⁡n)\theta(n\log n \log\log n)θ ( n लॉगn2लॉग*( एन ))θ(nलॉग⁡n2लॉग*⁡(n))\theta(n\log n2^{\log^*(n)}) मुझे …

9 cc.complexity-theory  circuit-complexity 

मैं दो समान आकार के सबसेट में बिंदुओं के एक सेट को विभाजित करना चाहता हूं, ताकि वर्गों के भीतर-क्लस्टर योग कम से कम हो। हम मान सकते हैं कि अंक दो-आयामी यूक्लिडियन अंतरिक्ष में हैं। मैं सामान्य k- साधन क्लस्टरिंग एल्गोरिथ्म की तुलना में तेजी से कुछ के लिए …

9 ds.algorithms  approximation-algorithms  clustering 

शास्त्रीय # पी-पूर्ण समस्या पर विचार करें # 3SAT, अर्थात, चरों के साथ 3CNF को संतोषजनक बनाने के लिए मूल्यांकन की संख्या की गणना करना । मैं additive सन्निकटन में रुचि रखता हूं । स्पष्ट रूप से, -रोर को प्राप्त करने के लिए एक तुच्छ एल्गोरिथ्म है , लेकिन यदि …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

सभी CFG में अस्पष्ट CFG का अनुपात क्या है ? चूंकि दोनों सेट समान रूप से अनंत हैं, इसलिए अनुपात अच्छी तरह से परिभाषित नहीं है। लेकिन असममित घनत्व के बारे में क्या : लिमn ↦ ∞# अस्पष्ट सीजीजी आकार का < n# आकार का CFG < nलिमn↦∞# आकार का …

9 fl.formal-languages  grammars  context-free 

अधिकांश आश्रित टाइप की गई प्रणालियों में प्रेरक प्रकारों के लिए एक सख्त सकारात्मकता की स्थिति होती है। क्या किसी को एक उदाहरण पता है जहां स्थिति का उल्लंघन प्रणाली में असंगति की ओर जाता है?

9 lo.logic  type-theory  dependent-type 

एक ग्राफ से एक समरूपताG=(V,E)G=(V,E)G = (V, E)एक ग्राफ लिए से एक मैपिंग हैG′=(V′,E′)G′=(V′,E′)G' = (V', E')fffVVVV′V′V' है कि अगर इस तरह केxxx तथा yyy में समीप हैं EEE फिर f(x)f(x)f(x) तथा f(y)f(y)f(y) में समीप हैं E′E′E'। एक एंडोमोर्फिज्म ग्राफ काGGG से एक समरूपता है GGGखुद को; यह निश्चित-बिंदु-मुक्त है …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

यहाँ सकर्मक पूर्णता के बारे में कुछ प्रश्न ( १ , २ , ३ ) हुए हैं जिससे मुझे लगता है कि यदि ऐसा कुछ संभव है तो: मान लें कि हमें एक इनपुट निर्देशित ग्राफ और आप " ?" प्रकार के प्रश्नों का उत्तर देना चाहेंगे , अर्थात यह …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

लगाए गए गुच्छों की समस्या में, एक को एर्दोस-रेनी के यादृच्छिक ग्राफ में लगाए गए -clique को पुनर्प्राप्त करना होगा । यह ज्यादातर लिए देखा गया है , जिस स्थिति में इसे बहुपद-काल संक्रांति के रूप में जाना जाता है यदि और लिए कड़ा अनुमान लगाया जाए ।kkkG(n,p)G(n,p)G(n,p)p=12p=12p=\frac{1}{2}k&gt;n−−√k&gt;nk > \sqrt{n}k&lt;n−−√k&lt;nk< …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness