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

किसी भाषा की (सामान्यीकृत) स्टार ऊँचाई क्लेनी सितारों की न्यूनतम घोंसले के शिकार है जो एक विस्तारित नियमित अभिव्यक्ति द्वारा भाषा का प्रतिनिधित्व करने के लिए आवश्यक है। याद रखें कि एक परिमित वर्णमाला के ऊपर एक विस्तारित नियमित अभिव्यक्ति को संतुष्ट करता है निम्नलिखित:AAA (1) और एक सब के …

15 fl.formal-languages  lower-bounds  regular-expressions 

मैं स्नातक कंप्यूटर विज्ञान का छात्र हूं और वर्तमान में अपनी स्नातक परियोजना के लिए योजना बना रहा हूं। मुझे क्वांटम कंप्यूटिंग क्षेत्र में कुछ विचारों की आवश्यकता है। कोई मदद?

15 quantum-computing  soft-question 

प्रोग्रामिंग कोर्स के लिए मेरे परिचय में, हम एल्गोरिथ्म को साबित करने के प्रारंभिक-रखरखाव-समाप्ति की विधि के बारे में सीख रहे हैं जो हम उससे उम्मीद करते हैं। लेकिन हमें केवल यह साबित करना है कि पहले से ही ज्ञात एक एल्गोरिथ्म सही है, सही है। हमें यह दिखाने के …

15 ds.algorithms  proofs 

मैं FOL के लिए कॉम्पैक्टिस प्रमेय के एक औपचारिककरण की तलाश कर रहा हूं, लेकिन कोई भी नहीं मिला है। क्या किसी को इस तरह के विकास या संबंधित काम के बारे में पता है?

15 lo.logic  coq 

क्या पैच की एक श्रेणी है जो लगभग इस तरह दिखती है: ऑब्जेक्ट कुछ आधार वर्णमाला में तार होते हैं आकारिकी को स्ट्रिंग्स के बीच स्क्रिप्ट ("भिन्न" या "पैच") संपादित किया जाता है मुझे इन सवालों में दिलचस्पी है: क्या न्यूनतम संपादन स्क्रिप्ट की श्रेणीबद्ध धारणा है ? हो सकता …

14 ct.category-theory  edit-distance 

यह तय करने की जटिलता क्या है कि प्राकृतिक संख्याओं के एक अंतराल में एक प्रधान होता है या नहीं? एरेटोस्थेनेज की चलनी का एक प्रकार एक देता है एल्गोरिथ्म, जहां एल अंतराल की लंबाई है और ~ खाल अंतराल के प्रारंभिक बिंदु में पाली लघुगणक कारक; क्या हम बेहतर …

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

ऑटोमेटा थ्योरी में जेफरी शेलिट के दूसरे पाठ्यक्रम के अध्याय 4 में निम्नलिखित समस्या को खुले रूप में सूचीबद्ध किया गया है: p(n)p(n)p(n)p(n)∈Np(n)∈Np(n) \in \mathbb{N}n∈Nn∈Nn \in \mathbb{N}{p(n)∣n⩾0}{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}ppp⩽1⩽1\leqslant 1 अब इसकी स्थिति क्या है (अक्टूबर 2018 तक)? क्या यह सिद्ध है? कुछ विशेष मामलों के बारे में …

14 fl.formal-languages  nt.number-theory  grammars 

यदि कोई लॉगस्पेस ट्यूरिंग मशीन मौजूद है जो भाषा में सलाह की बहुपद राशि के साथ भाषा तय करती है तो एक भाषा ।L/polyL/polyL/poly अधिक जानकारी के लिए यहां देखें: https://en.wikipedia.org/wiki/L/poly सवाल के परिणाम क्या हैं ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

निम्नलिखित निर्णय समस्या पर विचार करें इनपुट : एक मोनोटोन CNF और एक मोनोटोन DNF \ Psi ।ΦΦ\PhiΨΨ\Psi प्रश्न : क्या Φ→ΨΦ→Ψ\Phi \to \Psi एक तनातनी है? निश्चित रूप से आप इस समस्या को O(2n⋅poly(l))O(2n⋅poly(l))O(2^n \cdot \mathrm{poly}(l)) -time में हल कर सकते हैं , जहाँ n \ Phi \ to …

14 exp-time-algorithms  boolean-formulas  fine-grained 

यह देखते हुए आदानों एक्स 0 , ... , x n - 1 , हम साथ एक यादृच्छिक छंटाई नेटवर्क का निर्माण मीटर iteratively उठा दो चर द्वारा फाटकों x मैं , एक्स जे के साथ मैं < j और एक तुलनित्र गेट कहा कि स्वैप उन्हें अगर एक्स मैं …

14 sorting-network 

एसटीओसी जैसे सम्मेलन में शामिल विषयों पर विचार करते हुए, क्या कोई एल्गोरिथ्म या जटिलता शोधकर्ता सीओक्यू या इसाबेल का सक्रिय रूप से उपयोग कर रहे हैं? यदि हां, तो वे अपने शोध में इसका उपयोग कैसे कर रहे हैं? मुझे लगता है कि ज्यादातर लोग ऐसे उपकरणों का उपयोग …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

चलो समारोह जो नक्शे एक होना है -gate सर्किट सी पर n बिट और एक n -बिट स्ट्रिंग एक्स के लिए सी ( एक्स ) । मान लें कि सर्किट असाइनमेंट k : = g ( i , j ) जहां i , j , k वायर लेबल हैं , …

14 cc.complexity-theory  circuit-complexity  circuit-families 

निम्नलिखित सरल मोनोटोन सर्किट मॉडल पर विचार करें: प्रत्येक गेट बस एक बाइनरी या है। किसी फ़ंक्शन की जटिलता क्या है जहां A एक बूलियन n × n मैट्रिक्स है जिसमें O ( n ) 0 है? क्या यह रैखिक आकार OR-परिपथों द्वारा गणना की जा सकती है?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) …

14 ds.algorithms  circuit-complexity  upper-bounds 

Hott किताब के अध्याय 1 और परिशिष्ट A में , कई आदिम प्रकार के परिवार प्रस्तुत किए जाते हैं (ब्रह्माण्ड प्रकार, आश्रित प्रकार प्रकार, आश्रित जोड़ी प्रकार, कॉप्टर प्रकार, खाली प्रकार, इकाई प्रकार, प्राकृतिक संख्या प्रकार, और पहचान प्रकार) नींव बनाने के लिए होमोटोपी प्रकार के सिद्धांत के लिए। हालाँकि …

14 type-theory  dependent-type  homotopy-type-theory 

BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} (max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) को एक सेमिनार होने दें । में बहुपद के अनुक्रम का एक शून्य प्रतिमान एक उप- , जिसके लिए मौजूद है और ऐसा है कि सभी के लिए , iff । यही है, साथ बिल्कुल उन बहुपद के ग्राफ को में बिंदु को हिट करना होगा । ("शून्य-पैटर्न" …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension