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

यहां तक ​​कि अगर यह एक महत्वपूर्ण बिंदु नहीं है, तो मैं इस प्रश्न के आसपास कोई साहित्य नहीं देखता हूं। क्या सापेक्षता परिणाम हैं? क्या एनपी मशीन के सभी संभावित रास्तों की खोज करके गैर-नियतात्मक समय पदानुक्रम प्रमेय को अपनाने से सख्त समावेश को साबित करना काफी सरल नहीं …

9 cc.complexity-theory  complexity-classes 

मैं सोच रहा था कि क्या एक प्रेरक प्रकार की घोषणाओं का क्रम मायने रख सकता है। Coq में उदाहरण के लिए आप Natया तो द्वारा परिभाषित कर सकते हैं : Inductive Nat := | O : Nat | S : Nat -> Nat. या Inductive Nat := | S …

9 lo.logic  type-theory  coq  dependent-type 

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

9 graph-theory  co.combinatorics  algebra 

सीएस में कुछ शोध क्षेत्र में हमें कुछ बहुत दिलचस्प परिणाम मिले। अब हम उन्हें प्रकाशित करने के बारे में सोच रहे हैं। समूह में हम हैं, दर्शन सम्मेलन के कागजात में छोटी-छोटी चीजों को प्रकाशित करना है, जो कि ठीक है लेकिन सबसे अच्छा नहीं है। अब मैं इन …

9 soft-question  research-practice  writing  paper-review  conferences 

ऐसा लगता है कि संबंधपरक डेटाबेस के लिए लोकप्रिय क्वेरी भाषाओं में, ऐसे प्रश्न बनाना संभव है जिनके जवाब देने के लिए बहुत सारे संसाधनों की आवश्यकता होगी। व्यवहार में, डेटाबेस प्रति क्वेरी स्मृति की मात्रा को सीमित करके, और डेटाबेस में कोई मंदी होने पर किसी भी लंबे समय …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

हमारे पास सेट से तत्वों की सूचियों का एक सेट , है । से प्रत्येक तत्व में एक सूची में दिखाई देता है । मैं एक डेटा संरचना की तलाश कर रहा हूं जो निम्नलिखित अपडेट कर सके:एलLLएन= { 1 , 2 , 3 , । । । , एन …

9 ds.algorithms  graph-algorithms  ds.data-structures 

चूंकि यह शुक्रवार है, यह सीडब्ल्यू प्रश्न का समय है। मैं उन अनुमानों की तलाश कर रहा हूं जिनका अनुकूलन समस्याओं में व्यापक उपयोग है। गुंजाइश को अधिक 'सिद्धांत-अनुकूल' उत्तराधिकार तक सीमित करने के लिए, यहाँ नियम हैं (कुछ मनमाना, कुछ नहीं) यह कई मापदंडों के बिना एक अच्छी तरह …

9 ds.algorithms  reference-request  optimization  heuristics 

मैं सोच रहा था कि निम्नलिखित समस्या का कोई नाम, या इससे संबंधित कोई परिणाम है या नहीं। चलो G=(V,w)G=(V,w)G = (V,w) जहां एक भारित ग्राफ हो w(u,v)w(u,v)w(u,v) के बीच के किनारे के वजन को दर्शाता है यूuu तथा vvv, और सभी के लिए यू , वी ∈ वीu,v∈Vu,v \in …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

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

9 cc.complexity-theory  smoothed-analysis 

एक हिल्बर्ट स्थान पर विचार करें H=H1⊗⋯⊗HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n। एक अनएक्जेंडेबल प्रोडक्ट बेसिस (UPB) उत्पाद वैक्टर का एक सेट है|vi⟩=|v1i⟩⊗⋯⊗|vni⟩|vi⟩=|vi1⟩⊗⋯⊗|vin⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle ऐसा है कि: ए) सभी |vi⟩|vi⟩\vert v_i \rangle पारस्परिक रूप से रूढ़िवादी हैं बी) …

9 quantum-computing  linear-algebra  quantum-information 

मेरा एक ग्राफ है GGGजिसमें केवल स्टार ग्राफ होते हैं। एक स्टार ग्राफ में एक केंद्रीय नोड होता है जिसमें हर दूसरे नोड के लिए किनारे होते हैं। चलो विभिन्न आकारों जो में मौजूद हैं के विभिन्न स्टार रेखांकन हो । हम सभी नोड्स के सेट को कहते हैं जो …

9 graph-theory  co.combinatorics  puzzles 

यहाँ एक समस्या है जो मुझे कुछ समय से परेशान कर रही है। मान लीजिए कि एक स्ट्रिंग 1s और 0s का अनुक्रम है, और वाइल्डकार्ड स्ट्रिंग 1, 0, और s का अनुक्रम है। सभी स्ट्रिंग्स और वाइल्डकार्ड स्ट्रिंग्स की लंबाई समान होती है। ये मानक UNIX वाइल्डकार्ड हैं; 10 …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

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

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

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

9 graph-theory  co.combinatorics  planar-graphs 

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

9 cc.complexity-theory  gt.game-theory  ce.computational-finance