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

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

12 p-vs-np 

मैं सभी संतोषजनक प्रस्तावक तर्क सूत्रों की भाषा पर विचार कर रहा हूँ, SAT (यह सुनिश्चित करने के लिए कि यह एक परिमित वर्णमाला है, हम कुछ उपयुक्त तरीके से प्रस्ताव पत्र सांकेतिक शब्दों में बदलना होगा [संपादित करें: उत्तरों ने कहा कि प्रश्न के उत्तर के तहत मजबूत नहीं …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

हम कहते हैं कि एक ग्राफ पास संपत्ति यदि इसके शीर्षों को को इस तरह से किया जा सकता है तो ग्राफ को कोने से प्रेरित में सभी के लिए । दूसरे शब्दों में हमारे आदेश में अगला शीर्ष जोड़ना वर्तमान ग्राफ की दूरी मीट्रिक को प्रभावित नहीं करता है।GGGMMMv1,v2,…vnv1,v2,…vnv_1, …

12 reference-request  graph-theory 

मैं क्वांटम ऑटोमेटा के क्षेत्र में महत्वपूर्ण अवधारणाओं के एक सर्वेक्षण पत्र की तलाश कर रहा हूं। मैंने क्वांटम आटोमेटा थ्योरी - ए रिव्यू बाय हिरवेन्सालो पाया है, लेकिन इस विषय को समझने के लिए बहुत अच्छा लगता है। क्वांटम ऑटोमेटा के विषय पर काफी व्यापक सर्वेक्षण है? इसके अलावा, …

12 reference-request  quantum-computing  automata-theory 

मान लीजिए कि हम मैट्रिसेस को गुणा करना चाहते हैं । धीमी मैट्रिक्स गुणा एल्गोरिथ्म समय में चलता है और मेमोरी का उपयोग करता है । सबसे तेज मैट्रिक्स गुणा समय में चलता है , जहां रैखिक बीजगणित स्थिर है, लेकिन इसकी स्मृति जटिलता के बारे में क्या जाना जाता …

12 ds.algorithms  linear-algebra 

Let एक दिए गए मल्टीलाइनर बहुपद -मोनोटोन) अंकगणित के न्यूनतम आकार को निरूपित करते हैं। और एक (गैर-मोनोटोन) बूलियन के न्यूनतम आकार को निरूपित करते हैं बूलियन संस्करण की गणना करते हुए सर्किट के द्वारा परिभाषित किया गया: A(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-)f(x1,…,xn)=∑e∈Ece∏i=1nxeii,f(x1,…,xn)=∑e∈Ece∏i=1nxiei, f(x_1,\ldots,x_n)=\sum_{e\in E}c_e\prod_{i=1}^n x_i^{e_i}\,, B(f)B(f)B(f)(∨,∧,¬)(∨,∧,¬)(\lor,\land,\neg) fbfbf_bffffb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi.fb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi. f_b(x_1,\ldots,x_n)=\bigvee_{e\in E}\ \bigwedge_{i\colon e_i\neq …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

ग्रीबाच ने प्रसिद्ध रूप से एक भाषा परिभाषित किया है , जो तथाकथित nondeterministic संस्करण है , जैसे कि कोई भी CFL, की प्रतिलोम आकृति है । क्या डीसीएफएल के साथ एक समान बयान मौजूद है, संभवतः अनुमति दिए गए आकार पर कुछ प्रतिबंध के साथ?HHHD2D2D_2HHH (देखें, उदाहरण के लिए, …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

मैं निम्नलिखित पुनरावृत्ति संबंध कैसे हल कर सकता हूं? f(n)=f(n−1)+f(n−logn)f(n)=f(n−1)+f(n−log⁡n) f(n) = f(n-1) + f(n - \log n)

12 recursion 

एक स्ट्रिंग को देखते हुए , एक विलोमपद कवर एक दृश्य है पी 1 पी 2 ⋯ पी मीटर शब्दों के पी मैं ऐसा है कि पी 1 पी 2 ⋯ पी मीटर = डब्ल्यू और इस तरह है कि प्रत्येक पी मैं विलोमपद ।w=σ1σ2…σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯pmp1p2⋯pmp_1p_2\cdots p_mpipip_ip1p2⋯pm=wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i आकार …

12 ds.algorithms  dynamic-programming  string-matching  covering-problems 

मुझे आश्चर्य है, यदि (बहुपद पदानुक्रम, देखें, उदाहरण के लिए, यहां ) की परिभाषा में, क्या होगा, तो एन पी की भूमिका को आर पी से बदल दिया जाएगा ?पीएचपीएचPHएनपीएनपीNPआर पीआरपीRP ऐसा लगता है, हम अभी भी एक पदानुक्रम का निर्माण कर सकता है, के रूप में एक ही तरह …

12 cc.complexity-theory  randomized-algorithms  randomness 

CCC एक अक्ष-समानांतर आयत है। C1,…,CnC1,…,CnC_1,\dots,C_n जोड़ीदार-आंतरिक-असंतुष्ट अक्ष-समानांतर आयताकार हैं जैसे कि , जैसे:C1∪⋯∪Cn⊊CC1∪⋯∪Cn⊊CC_1\cup\dots\cup C_n \subsetneq C एक आयत के संरक्षण विभाजन की CCC एक विभाजन है C=E1∪⋯∪ENC=E1∪⋯∪ENC = E_1\cup\dots\cup E_N , ऐसी है कि N≥nN≥nN\geq n , EiEiE_i जोड़ो में-आंतरिक-संबंध तोड़ना अक्ष समानांतर आयताकार होते हैं, और हर के …

12 cg.comp-geom 

कंपोजिट जनरल नंबर फील्ड छलनी को पूर्णांक फैक्टराइजेशन के लिए सबसे अच्छी तरह से जाना जाता है । यह एक यादृच्छिक एल्गोरिथ्म है और हमें अपेक्षित जटिलता मिलती है फैक्टर को फैक्टर । एन ओ ( ई √N∈NN∈NN\in\Bbb NNNNएनओ ( ई)649√( लॉगएन)13(लॉगलॉगएन)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)एनNN मैंने इस यादृच्छिक एल्गोरिदम …

12 reference-request  derandomization  factoring  average-case-complexity  worst-case 

मैं टीसीएस पर दिलचस्पी रखने वाला एक गणित प्रमुख हूं। मैं समूह की सैद्धांतिक समस्याओं को हल करने के लिए एल्गोरिदम, और उनकी जटिलता का अध्ययन करना चाहता हूं जैसे कि तत्वों का क्रम, कोसेट एन्यूमरेशन, जनरेटर ढूंढना, परीक्षण करना अगर किसी दिए गए उप समूह को उत्पन्न करता है। …

12 ds.algorithms  reference-request  gr.group-theory  books 

'दिए गए , वहाँ , ' is ।a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} कौन सी जटिलता वर्ग 'दिया गया है , है , ' से संबंधित हैं?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by2=cax2+by2=cax^2+by^2=c

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

1979 में हॉपक्रॉफ्ट / उलमैन ने लिखा है कि L ⊆ P ⊆ NP ace PSpace जाना जाता है, लेकिन L the PSpace एकमात्र उचित (& तुच्छ) रोकथाम ज्ञात है, हालांकि सभी को उचित नियंत्रण होने के लिए अनुमान लगाया गया है, और "जहां चीजें अभी भी खड़ी हैं" ~ …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results