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

मैं एक प्रमेय की तलाश कर रहा हूं जो कुछ इस तरह से कहता है: यदि प्रतिवर्ती मार्कोव श्रृंखला का कवर समय छोटा है, तो वर्णक्रमीय अंतर बड़ा है। यहाँ स्पेक्ट्रल गैप का मतलब है1−|λ2|1−|λ2|1-|\lambda_2|, अर्थात्, हम श्रृंखला के सबसे छोटे प्रतिजन को अनदेखा करते हैं। इस दिशा में जो …

9 ds.algorithms  pr.probability  random-walks 

मैं इस पत्र में नीलामी के सिद्धांत से संबंधित एक प्रमाण के तकनीकी विवरण के साथ संघर्ष कर रहा हूं: http://users.eecs.northwestern.edu/~hartline/omd.pdf विशेष रूप से, प्रमेय 2.5: एक सत्य तंत्र के लिए आवश्यक और पर्याप्त परिस्थितियां। इससे भी अधिक विशेष रूप से, सबूत की आगे की दिशा, पृष्ठ 6 पर दी …

9 gt.game-theory 

मैंने बिना किसी संतोषजनक उत्तर के, MathOverflow में यह समस्या पूछी है । निम्नलिखित दो-खिलाड़ी गेम पर विचार करें, जो कि कार्ड गेम का एक सरलीकरण है जिसे विजेता कहा जाता है । (मैथ्यूवेरफ़्लो पर गिलाउम ब्रूनरी की एक टिप्पणी से निम्नलिखित सूत्र लिया गया।) दो खिलाड़ी ए और बी …

9 gt.game-theory  card-games 

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

9 ds.algorithms  linear-algebra  linear-programming 

मान लीजिए हमारे पास एक ग्राफ है nnnनोड्स। हम प्रत्येक नोड को असाइन करना चाहते हैं या तो ए+1+1+1 या ए -1−1−1। इसे विन्यास कहेंσ∈{+1,-1}nσ∈{+1,−1}n\sigma \in \{+1,−1\}^n। की संख्या+1+1+1एस हमें असाइन करना होगा बिल्कुल रोंss (इसलिए की संख्या -1−1−1s है n-रोंn−sn−s।) एक विन्यास दिया σσ\sigma, हम प्रत्येक नोड को देखते …

9 graph-theory  co.combinatorics  optimization 

संपादित करें: अब इस पोस्ट से संबंधित एक अनुवर्ती प्रश्न है । परिभाषाएं चलो और पूर्णांक हैं। हम संकेतन ।ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} एक मैट्रिक्स को एक -to- रंग मैट्रिक्स कहा जाता है यदि निम्नलिखित धारण करें:c×cc×cc \times cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk हमारे पास में सभी ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] …

9 co.combinatorics  lower-bounds  dc.distributed-comp 

कुछ एनपी-पूर्ण समस्याएं हैं (एस ए टीSAT \mathsf{SAT} , एस यू बी एस ई टी एस यू एमSUBSETSUM \mathsf{SUBSETSUM} आदि) में जाना जाता है D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} । उप-रैखिक स्थानों के बारे में क्या? क्या कोई ज्ञात एनपी-पूर्ण (या एनपी-इंटरमीडिएट) सबलाइनियर नॉन्डेटेरमिनिस्टिक स्पेस …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

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

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

चलो SSSएक इकाई वर्ग हो। के कार्य के रूप मेंββ\beta, की अधिकतम संख्या क्या है ββ\betaकम से कम 1 के व्यास के साथ जोड़ीदार-असंतुष्ट क्षेत्रों को काटें जो अंतर कर सकते हैंSSS? नीचे, हम एक आंकड़ा दिखाते हैं जो इसके लिए है β=1β=1\beta=1अधिकतम संख्या 7. किस बारे में है β=2,3,…,nβ=2,3,…,n\beta …

9 cg.comp-geom 

मैं निम्नलिखित सेट प्रणाली के कुलपति-आयाम की खोज कर रहा हूं। ब्रम्हांड यू= {पी1,पी2, … ,पीम}U={p1,p2,…,pm}U=\{p_1,p_2,\ldots,p_m\} ऐसा है कि यू⊆आर3U⊆R3U\subseteq \mathbb{R}^3। सेट सिस्टम मेंआरR\mathcal{R} प्रत्येक सेट एस∈ आरS∈RS\in \mathcal{R} में एक क्षेत्र से मेल खाती है आर3R3\mathbb{R}^3 ऐसा है कि सेट SSS में एक तत्व होता है UUU अगर और …

9 cg.comp-geom  machine-learning  vc-dimension 

चलो GGG जीनस के एक उन्मुख कॉम्पैक्ट सतह पर एम्बेडेड एक ग्राफ हो gggताकि एम्बेडिंग सेलुलर हो। ग्राफ के दोहरे पर विचार करेंG∗G∗G^*। चलोC1C1C_1 तथा C2C2C_2 में चक्रवृद्धि होना G∗G∗G^* जो एक दूसरे के समरूप हैं और जाने देते हैं E1E1E_1 तथा E2E2E_2 में उनके इसी बढ़त सेट हो GGGक्रमशः। …

9 graph-theory  co.combinatorics  topological-graph-theory 

एक पिछले प्रश्न में , पैमाइश के लिए पैरामीट्रिज्ड अल्गोरिदम फॉर बिचैलिक्स , मैंने पूछताछ की कि क्या कोई खोजने के लिए तेज पैरामीरिज्ड एल्गोरिदम थेk×kk×kk\times kएक में -Biclique nnn वर्टेक्स ग्राफ और पता चला कि यह FPT wrt था तो यह खुला था kkk। गिनती के लिए भी यही …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

मैं नीचे दिए गए सभी पदों के लिए क्षमा चाहता हूं। मूल रूप से इसे पोस्ट करने के लिए गलत फोरम उठाया। हालांकि इसके बजाय यह एक पूरी बर्बादी है कि मैंने प्रश्न को "थ्योरिटिकल कंप्यूटर साइंस" समस्या होने के लिए फिर से काम किया है। समस्या: एक 2D प्लेन …

9 ds.algorithms  cg.comp-geom  polygon 

में ग्राफिक TSP , आप एक अनिर्धारित अनिर्दिष्ट ग्राफ दिया जाता हैGGGऔर लक्ष्य है कि में एक छोटा दौरा किया जाए जो हर शिखर पर कम से कम एक बार जाता है । ध्यान दें कि यह में हैमिल्टनियन सर्किट खोजने के समान नहीं है । मेरे प्रश्न हैं:GGGGGG बंधे …

9 ds.algorithms  treewidth  tsp 

क्या किसी दिए गए संपत्ति को अलग करने वाले (किसी भी आकार के) को खोजने की जटिलता पर कोई ज्ञात परिणाम हैं? मुझे पता है कि एक क्लिक्स सेपरेटर आसान (बहुपद समय) है और यह भी जानता है कि कई पेपर छोटे विभाजक या विभाजक खोजने की समस्या पर विचार …

9 ds.algorithms  graph-theory  graph-algorithms