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

यह मुझे लगता है कि अधिकांश जटिलता सिद्धांतकार आमतौर पर निम्नलिखित दार्शनिक नियम को मानते हैं: यदि हम समस्या लिए एक कुशल एल्गोरिथ्म का पता नहीं लगा सकते हैं , और हम समस्या को समस्या तक कम कर सकते हैं , तो शायद समस्या लिए एक कुशल एल्गोरिदम नहीं है …

14 cc.complexity-theory  big-picture  reductions 

क्या यह ज्ञात है कि सर्किट मूल्यांकन समस्या in ? कैसे के बारे में (वर्दी )? एन सी 1 ए एल ओ जी जी टी आई एम ई एन सी 1 1एन सी1NC1\mathsf{NC^1}एन सी1NC1\mathsf{NC^1}A L o g T T i m eALogTime\mathsf{ALogTime}एन सी1NC1\mathsf{NC^1} हम जानते हैं कि गहराई के सर्किट …

14 cc.complexity-theory  reference-request  circuit-complexity 

एक कंप्यूटर विज्ञान के छात्र के रूप में, मुझे गेम थ्योरी से परिचित कराया गया है, लेकिन इस विषय पर बहुत विस्तार नहीं देखा गया है। मैंने Google पर खोज की है और गेम थ्योरी के बारे में कुछ पुस्तकों को देखा है और उन्होंने कंप्यूटर विज्ञान में इसके उपयोग …

14 reference-request  gt.game-theory 

मुझे आश्चर्य है कि कैसे पता लगाने के लिए परिधि एक विरल अनिर्दिष्ट ग्राफ के। विरल से मेरा मतलब है । इष्टतम से मेरा मतलब है सबसे कम समय की जटिलता।|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) मैंने अप्रत्यक्ष रेखांकन के लिए टारजन के एल्गोरिथ्म पर कुछ संशोधन के बारे में सोचा , लेकिन मुझे अच्छे …

14 ds.algorithms  graph-theory  open-problem 

जेएम सिसकींड के शोध कथन में कहा गया है: स्टालिन स्कीम के लिए एक अनुकूलन करने वाला कंपाइलर है जो पूरे कार्यक्रम का स्थैतिक विश्लेषण करता है और अत्यंत कुशल कोड उत्पन्न करने के लिए उस विश्लेषण के परिणामों का उपयोग करता है। स्टालिन स्थैतिक-विश्लेषण तकनीकों के एक बड़े संग्रह …

14 compilers 

मैंने इस पर कुछ खोज की थी लेकिन मुझे इसका कोई जवाब नहीं मिल रहा था। हक ने इसका पूरा जवाब दिया। धन्यवाद :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

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

14 it.information-theory  data-streams 

Let वैरिएबल और क्लाज के साथ CNF फॉर्मूला हो । चलो एक चर असाइनमेंट और प्रतिनिधित्व के लिए एक चर काम से संतुष्ट खंड की संख्या की गिनती । फिर मेडियन-सैट को के माध्य मान की गणना करने में समस्या के रूप में सभी परिभाषित करें । उदाहरण के लिए, …

14 cc.complexity-theory  sat  counting-complexity 

यह एक नाम है जिसे मैंने इस समस्या के लिए बनाया है। मैंने पहले कहीं भी इसका वर्णन नहीं देखा है। मैं अभी तक इस समस्या के लिए न तो एनपी-पूर्णता और न ही एक बहुपद समय एल्गोरिथ्म का प्रमाण नहीं पा सका हूं। यह एक होमवर्क समस्या नहीं है …

14 cc.complexity-theory  np-hardness 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

प्रश्न ओकासाकी के बाद से विशुद्ध रूप से कार्यात्मक डेटा संरचनाओं में नया क्या है? , और jbapple के महाकाव्य उत्तर, कार्यात्मक प्रोग्रामिंग में अंतर सूचियों (तर्क प्रोग्रामिंग के विपरीत) का उपयोग करते हुए उल्लेख किया गया है, जो कि हाल ही में मेरी दिलचस्पी है, इसने मुझे हास्केल के …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

कई सार्वजनिक-कुंजी क्रिप्टोकरंसी में कुछ प्रकार की सिद्ध सुरक्षा है। उदाहरण के लिए, रैबिन क्रिप्टोसिस्टम फैक्टरिंग के रूप में काफी मुश्किल है। मुझे आश्चर्य है कि क्या गुप्त-कुंजी क्रिप्टोकरंसीज के लिए इस तरह की उत्तेजक सुरक्षा मौजूद है, जैसे कि एईएस। यदि नहीं, तो क्या प्रमाण है कि ऐसे क्रिप्टोकरंसी …

14 cr.crypto-security  algebra  algebraic-complexity 

उद्देश्य : अनुमान को निर्धारित करें कि क्रम 12 का कोई अनुमानित विमान नहीं है । 1989 में, एक क्रे पर कंप्यूटर खोज का उपयोग करते हुए, लैम ने साबित किया कि ऑर्डर 10 का कोई अनुमानित विमान मौजूद नहीं है। अब जब रुबिक के घन के लिए ईश्वर की …

14 open-problem 

पर विचार करें , जहां lambda_i> 0 और Y_i एक मानक के रूप में सामान्य वितरित किया जाता है। (निश्चित) गुणांक lambda_i के एक कार्य के रूप में, X पर किस प्रकार की एकाग्रता की सीमा साबित हो सकती है?X=∑iλiY2iX=∑iλiYi2X = \sum_i \lambda_i Y_i^2 यदि सभी लैम्बडा_इ बराबर हैं तो …

14 chernoff-bound 

क्या कोई प्रमुख परिणाम होगा यदि सैट में अधिकांश उपसंचाई-संबंधी असंगत साक्ष्य थे या उससे भी अधिक दृढ़ता से, सैट के पास सब-प्रोनोटेंशियल-टाइम एल्गोरिदम थे?

14 cc.complexity-theory  sat  proof-complexity