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

Let कनेक्टेड ग्राफ की औसत दूरी होएक घ ( जी )एघ(जी)\rm{ad}(G)जी ।जी।G. एक तरीका यह गणना करने के लिए के तत्वों संक्षेप द्वारा होता है की दूरी मैट्रिक्स और उचित रूप से योग स्केलिंग।एक घ ( जी )एघ(जी)\rm{ad}(G)डी ( जी ) ,डी(जी),D(G),जीजीG यदि आउटपुट ग्राफ एक पेड़ है तो यह …

11 cc.complexity-theory  graph-theory  graph-algorithms 

मोटे तौर पर रैंक एक मैट्रिक्स को कठोर कहा जाता है, अगर इसकी रैंक को नीचे लाने के लिए एनnnn , एक कम से कम बदलने के लिए हैn1+εअपनी प्रविष्टियों में से, कुछ के लिएε>0।n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 एक तो मैट्रिक्स एक कठोर है, तो छोटी से छोटी सीधी रेखा कार्यक्रम …

11 cc.complexity-theory 

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

11 cc.complexity-theory 

मैं सोच रहा था कि निम्न समस्या के लिए ज्ञात कोई निम्न बाध्य (नमूना जटिलता के संदर्भ में) है: दो अज्ञात वितरण D1D1D_1 , D2D2D_2 पर {1,…,n}{1,…,n}\{1,\dots,n\} , परीक्षण (whp) पर नमूना ओरेकल पहुंच को देखते हुए: D1=D2D1=D2D_1=D_2 या d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon बाटू एट अल। [BFR + …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

मैं जानना चाहूंगा कि क्या कोई संबंधित दुनिया मौजूद है जहां । मुझे यह भी पता करने के लिए अगर वहाँ एक relativized दुनिया मौजूद है दिलचस्पी है जहां पी बी ≠ एन पी बी = पी पी बी ।PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} …

11 cc.complexity-theory  oracles  relativization 

एक पाठ्यक्रम के शिक्षण सहायक एक कार्यक्रम लिखने में कामयाब रहे हैं जो (निर्धारक रूप से) कठिन परीक्षा प्रश्न उत्पन्न करता है। अब, वह एक प्रोग्राम लिखना चाहती है जो संबंधित उत्तर उत्पन्न करे। परीक्षक समस्या पूछता है कि क्या यह हमेशा संभव है; परीक्षक अनुमान कहा गया है कि,, …

11 cc.complexity-theory  uniformity 

मैं कम्प्यूटेशनल क्रिप्टोग्राफिक सुरक्षा के संदर्भ में बिटकॉइन प्रोटोकॉल को समझने की कोशिश कर रहा हूं। प्रश्न बिटकॉइन पर क्रिप्टोग्राफी लेखों की नींव के लिए एक संदर्भ अनुरोध है। मेरा पहला सवाल क्या अमूर्त क्रिप्टोग्राफिक प्रोटोकॉल बिटकॉइन को लागू करने की कोशिश कर रहा है? क्या हमारे पास क्रिप्टोग्राफी में …

11 reference-request  cr.crypto-security 

मेरे पास निरंतर गहराई वाले सर्किट को बेवकूफ बनाने के बारे में कुछ प्रश्न हैं। यह ज्ञात है कि -वाइस इंडिपेंडेंस आवश्यक है ए सी 0 सर्किट की गहराई डी , जहां एन इनपुट का आकार है। इसे कोई कैसे साबित कर सकता है?लॉगहे(d)( एन )logO(घ)⁡(n)\log^{O(d)}(n)A सी0एसी0AC^0घघdnnn के बाद से …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

पर cs.stackexchange मैं के बारे में पूछा algebird GitHub पर स्केला पुस्तकालय, क्यों वे एक सार बीजगणित पैकेज की आवश्यकता हो सकती पर अटकलें। जीथब पृष्ठ में कुछ सुराग हैं: दिलचस्प सन्निकटन एल्गोरिदम, जैसे ब्लूम फ़िल्टर, हाइपरलॉगलॉग और काउंटमाइनकेट के लिए मोनॉयड का कार्यान्वयन। ये आपको इन परिष्कृत परिचालनों के …

11 soft-question  machine-learning  linear-algebra  db.databases 

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

11 graph-algorithms  ds.data-structures  edit-distance 

के दो उप-समूहों को देखते हुए आयामी hypercube (यानी, एम , एन ⊆ { 0 , 1 } घ ), मैं एक एल्गोरिथ्म जो अंक पुन: प्राप्त करता रहा हूँ हूँ ∈ एम , एन ∈ एन सेंट आलोचनात्मक दूरी (या एल 1 - हाइपरक्यूब पर दूरी) डी एच ( …

11 cg.comp-geom 

मैं कमी के लिए दृढ़ता से एनपी-कठिन समस्याओं की तलाश कर रहा हूं । अब तक मुझे निम्नलिखित समस्याएं मिली हैं: 3-विभाजन की समस्या बिन-पैकिंग की समस्या संख्यात्मक 3-आयामी मिलान TSP संख्यात्मक डेटा के बिना कोई भी एनपी-पूर्ण समस्या, उदाहरण के लिए, SATISFIABILITY, HAMILTONIAN CYCLE, 3-COLOURABILITY। क्या किसी को एनपी-कठिन …

11 np-hardness  big-list  hamiltonian-paths 

बूलियन फ़ंक्शन के जटिलता उपायों के अध्ययन में एक बहुत ही दिलचस्प खुली समस्या तथाकथित संवेदनशीलता बनाम ब्लॉक संवेदनशीलता अनुमान है। संवेदनशीलता बनाम ब्लॉक संवेदनशीलता पर पृष्ठभूमि के लिए आप एस। एरनसन के निम्नलिखित ब्लॉगपोस्ट पर देख सकते हैं http://www.scottaaronson.com/blog/?p=453 । मेरी जानकारी के अनुसार करने के लिए, सबसे अच्छा …

11 cc.complexity-theory  reference-request  fourier-analysis 

1996 में, एक लंबे समय से खुली समस्या को एक कंप्यूटर द्वारा हल किया गया था; अर्थात्, रॉबिंस बीजगणित और बूलियन बीजगणित समान हैं। प्रमाण एक स्वचालित प्रमेय कहावत द्वारा पाया गया था। इसके अलावा, चार रंग प्रमेय के ज्ञात प्रमाण में कंप्यूटर से उत्पन्न घटक होते हैं। इस प्रश्न …

11 soft-question  big-list  proofs  automated-theorem-proving 

क्या यह सही जानकारी वाला खेल रेखांकन पर खेला गया है / जानते हैं? एक ग्राफ को देखते हुए G=(V,E)जी=(वी,इ)G= (V,E), दो खिलाड़ी वैकल्पिक रूप से एक किनारे या एक अलग नोड उठाते हैं । यदि खिलाड़ी एक किनारे उठाता है ,e=(u,v)इ=(यू,v)e = (u,v) तो दो नोड्स uयूu और vvv …

11 reference-request  combinatorial-game-theory