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

EDD TO ADD : यह प्रश्न अब अनिवार्य रूप से उत्तर दिया गया है; अधिक जानकारी के लिए कृपया इस ब्लॉग प्रविष्टि को देखें। यहां टिप्पणी और उत्तर पोस्ट करने वाले सभी को धन्यवाद। मूल प्रश्न यह MathOverflow पर पूछे गए एक प्रश्न का एक उम्मीद के मुताबिक होशियार और …

9 co.combinatorics 

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

9 ds.algorithms  polynomials  semidefinite-programming 

मेरे पास एक परिमित सेट है SSS, एक समारोह f:S→Sf:S→Sf:S\to S, और कुल आदेश &lt;&lt;< पर SSS। मैं अलग-अलग चक्रों की संख्या का पता लगाना चाहता हूंSSS। किसी दिए गए तत्व के लिए s∈Ss∈Ss\in S मैं फ़्लॉइड के एल्गोरिथ्म (या ब्रेंट का, आदि) का उपयोग कर सकता हूं ताकि उस …

9 graph-theory  graph-algorithms 

यूएस में सीएस पोस्टडॉक्टोरल शोधकर्ताओं के लिए प्रति वर्ष (सम्मेलन की कार्यवाही सहित) प्रकाशनों की औसत संख्या क्या है? इस संख्या का पता लगाने या अनुमान लगाने के क्या तरीके हैं?

9 soft-question  advice-request  research-practice  career 

इसलिए, मैं विस्तार के बारे में थोड़ा पढ़ रहा हूं, विशेष रूप से, निर्माण के बीकोलेरेड कैलकुलस पर आधारित एल्गोरिदम, और मैं थोड़ा भ्रमित हूं। मुझे समझ में नहीं आया कि वास्तव में का उद्देश्य क्या है। यह समान प्रतीत होता है सिवाय इसके कि कार्यों के लिए निहित और …

9 type-theory  lambda-calculus  type-inference  dependent-type 

जैसा कि मैंने हाल ही में λ-पथरी के आधार को पढ़ाया है, मैंने सामान्य लिस्प में एक साधारण λ-पथरी मूल्यांकनकर्ता को लागू किया है। जब मैं Y fac 3सामान्य-क्रम में कमी के सामान्य रूप से पूछता हूं , तो इसमें 619 कदम होते हैं, जो थोड़ा ज्यादा लगता था। बेशक, …

9 lo.logic  lambda-calculus 

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

9 ds.algorithms  reference-request  cache-oblivious 

मेरे पास पेड़ों का एक बड़ा डेटासेट है और मैं इसे एक ट्रीलेट (जुड़ा हुआ उपसमूह ) निर्दिष्ट करके खोज करना चाहता हूं । क्वेरी को डेटासेट में ट्रीलेट के सभी सुधारों को वापस करना चाहिए। क्या ऐसा करने के लिए कुशल एल्गोरिदम हैं? मैं प्रत्यय सरणियों की तरह कुछ …

9 graph-algorithms  ds.data-structures  tree  graph-isomorphism  string-search 

चार्ट पार्सर को चॉम्स्की सामान्य रूप में या सीधे उत्पादन नियमों के आधार पर लागू किया जा सकता है। पल के लिए मान लें कि हमारे पास एक CYK चार्ट पार्सर है जो चॉम्स्की सामान्य रूप का उपयोग करता है। बिनाराइजेशन को विशिष्ट रूप से परिभाषित नहीं किया गया है। …

9 fl.formal-languages  parsing 

मैं कोने के साथ यूनिट डिस्क ग्राफ़ के सेट की कार्डिनैलिटी पर एक बाध्य होना चाहूंगा । यह ज्ञात है कि यह जाँचना कि क्या एक ग्राफ इस सेट का सदस्य है एनपी-हार्ड है। क्या यह P NP को मानते हुए, पर किसी निचले स्तर तक ले जाता है ?NNN≠≠\neq …

9 cc.complexity-theory  graph-theory 

मैं किसी भी संकेत या शर्तों की सराहना करता हूं जो मुझे सही दिशा में शुरू कर सकता है। हम एक का निर्देशन किया है ग्राफ और लंबाई प्रत्येक बढ़त के लिए कि सकारात्मक माना जा सकता है। वहाँ एक विशेष शुरू नोड और अंत नोड ।जी = ( वी, …

9 ds.algorithms  reference-request  graph-algorithms 

में capacitated सुविधा स्थान समस्या (CFLP) , हम ग्राहकों का एक सेट दिए गए हैंCसीCऔर संभावित सुविधाओं का एक सेट । प्रत्येक क्लाइंट डिमांड है जिसे एक या अधिक खुली सुविधाओं द्वारा सेवा दी जानी चाहिए। प्रत्येक सुविधाFएफFj∈Cजे∈सीj \in Cdjdjd_ji∈Fi∈Fi \in F एक प्रारंभिक लागत है fifif_i और एक क्षमता …

9 ds.algorithms  cg.comp-geom  approximation-algorithms 

3 डी में एक जाल को परिभाषित करें जो असंतुष्ट अंदरूनी हिस्सों के साथ टेट्राहेड्रा के जुड़े संग्रह के रूप में है (इसलिए टेट्राहेड्रा केवल के-चेहरे, ) को साझा करते हैं। एक मनमाना ग्राफ को देखते हुए, क्या यह परीक्षण करने के लिए एक कुशल प्रक्रिया है कि क्या इसे …

9 ds.algorithms  graph-theory 

चलो एक हो या एक के साथ मैट्रिक्स प्रविष्टियों । क्या कोई मुझे एक मैट्रिक्स प्रदान कर सकता है ताकि ? सबसे छोटा स्पष्ट बी क्या है जो इस तरह से जाना जाता है कि \ operatorname {per} (A) = \ det (B) ? स्पष्ट उदाहरणों के साथ इस पर …

9 cc.complexity-theory  algebraic-complexity  permanent 

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

9 quantum-computing  program-verification  sample-complexity