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

अधिकांश कागजात अब सहयोगी रूप से लिखे गए हैं, और सहयोगी अक्सर विभिन्न स्थानों पर स्थित होते हैं। मैंने हमेशा अपने दस्तावेज़ों और कोड के लिए संस्करण नियंत्रण प्रणालियों का उपयोग किया है, और सहयोगी सॉफ़्टवेयर परियोजनाओं के लिए संस्करण नियंत्रण को भी महत्वपूर्ण पाया है, लेकिन ऐसा लगता है …

20 soft-question  research-practice  software  writing 

मैं रेखीय बीजगणित के एल्गोरिदम और जटिलता पर एक अच्छे सर्वेक्षण की तलाश कर रहा हूं (बूलियन, , और समानांतर / पदानुक्रम पर जोर देने के साथ पूर्णांक / परिमेय मैट्रिक्स) के लिए (रैंक, उलटा, eigenvalues ​​जैसे संचालन ... ) और बहुपत्नी एल्गोरिदम। मुझे हाल ही में एक नहीं मिला।एफपीएफपी\mathbb{F}_pएनसीएनसीNC …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

इम्मेरमैन और सेज़ले पीसीसेनी ने स्वतंत्र रूप से साबित कर दिया कि । आगमनात्मक गिनती की अपनी तकनीक का उपयोग करते हुए, बोरोडिन एट अल ने साबित किया कि एस ए सी मैं पूरक के तहत बंद है, i > 0 के लिए । रींगोल्ड के प्रमेय ( एस एल …

20 cc.complexity-theory  space-bounded 

मान लीजिए कि हमारे पास n मैट्रिक्स द्वारा n है। क्या इसकी पंक्तियों और स्तंभों को फिर से बनाना संभव है, जैसे कि हमें एक ऊपरी-त्रिकोणीय मैट्रिक्स मिलता है? यह प्रश्न इस समस्या से प्रेरित है: सकारात्मक सामयिक आदेश मूल निर्णय समस्या कम से कम इस एक के रूप में …

20 ds.algorithms  np-hardness  open-problem  matrices 

संभावना सिद्धांत में एक क्लासिक समस्या अधिक विशिष्ट घटनाओं के संदर्भ में किसी घटना की संभावना व्यक्त करना है। सामान्य स्थिति में, कहा जा सकता है । आइए लिखने एक बी घटना के लिए एक ∩ बी ।पी[ ए ∪ बी ] = पी[ ए ] + पी[ बी ] …

20 reference-request  pr.probability 

पत्ती भाषाएं कई जटिलता वर्गों को समान रूप से परिभाषित करने का एक सुंदर तरीका है। अधिकांश जटिलता वर्ग आमतौर पर गणना के मॉडल (जैसे, निर्धारक / यादृच्छिक टीएम), और एक संसाधन बाध्य (लॉग समय, पाली स्थान, आदि) द्वारा निर्दिष्ट किए जाते हैं। हालाँकि लीफ लैंग्वेज फॉर्मुलेशन में, कंप्युटेशन का …

20 cc.complexity-theory  complexity-classes 

बता दें कि एक फ़ंक्शन है। हम के औसत का अनुमान लगाना चाहते हैं ; वह है: ।f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x) NOTE: In the OP, the range of f was [0,1]. I changed this a bit for technical reasons. (This …

20 ds.algorithms  randomized-algorithms  black-box 

एक अतिरिक्त श्रृंखला सकारात्मक पूर्णांक का एक अनुक्रम है जहां और प्रत्येक सूचकांक , हमारे पास कुछ सूचकांकों के लिए । जोड़ श्रृंखला की लंबाई ; लक्ष्य अलावा श्रृंखला के है ।x 1 = 1 मैं ≥ 2 एक्स मैं = एक्स जे + एक्स कश्मीर 1 ≤ j , …

20 reference-request  np-hardness 

क्वांटम पर हाल के कुछ धागे पढ़ना कंप्यूटिंग ( यहाँ , यहाँ , और यहाँ ), मुझे किसी तरह का की शक्ति के बारे में एक दिलचस्प सवाल याद कर मशीन संरक्षण -norm।ℓpℓp\ell_p क्वांटम जटिलता में जाने वाले जटिलता सिद्धांत में काम करने वाले लोगों के लिए एक महान परिचयात्मक …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

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

20 derandomization  quantum-computing 

"प्रॉपर्टी टेस्टिंग" पर एक बड़ा साहित्य है - एक कार्य लिए ब्लैक बॉक्स प्रश्नों की एक छोटी संख्या बनाने की समस्या दो मामलों के बीच अंतर करने के :च: { 0 , 1 }n→ आरच:{0,1}n→आरf\colon\{0,1\}^n \to R चचf कुछ कार्यों के वर्ग का एक सदस्य हैसीसी\mathcal{C} चचf है -far कक्षा …

20 reference-request  lg.learning  metrics  property-testing  black-box 

[नोट: मेरा मानना ​​है कि यह प्रश्न किसी भी तरह से देओललीकर के कागज की शुद्धता या गलतता पर टिका है।] स्कॉट आरोनसन के ब्लॉग पर Shtetl ऑप्टिमाइज्ड , पी बनाम एनपी पर हाल ही में देओलिकर के प्रयास के बारे में, लियोनिद गुरविट्स ने निम्नलिखित टिप्पणी की : मैंने …

20 cc.complexity-theory  lower-bounds  tensor-rank 

पी / एनपी समस्या की आत्म-संदर्भता को कभी-कभी इसके संकल्प के लिए एक बाधा के रूप में उजागर किया गया है, उदाहरण के लिए, स्कॉट आरोनसन के कागज, पी बनाम एनपी औपचारिक रूप से स्वतंत्र है ? पी / एनपी के लिए कई बोधगम्य संकल्पों में से एक यह प्रदर्शन …

20 cc.complexity-theory  lo.logic 

जटिलता वर्ग पीपीएडी (उदाहरण के लिए विभिन्न नैश इक्विलिब्रिया की गणना) को कुल खोज समस्याओं के सेट के रूप में परिभाषित किया जा सकता है जो कभी भी लाइन ऑफ़ अंत में लाइन की तरह हो सकती है : लाइन ऑफ़ END : एन इनपुट बिट्स और एन आउटपुट बिट्स …

20 reference-request  combinatory-logic  graph-theory  ppad 

सामान्य तौर पर, एक ओरेकल के लिए क्वेरी-टेप एक टीएम की अंतरिक्ष-जटिलता की ओर गिना जाता है। हालांकि, यह केवल लिखने योग्य ऑरेकल-टेप (जैसे एल-स्पेस रिडक्शन में उपयोग किया जाता है) की अनुमति देने के लिए प्रशंसनीय लगता है। क्या ऐसा निर्माण उपयोगी है? क्या यह किसी विशेष रूप से …

20 cc.complexity-theory  space-bounded  oracles