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

मेरी जावा परियोजनाओं में से एक एक है parboiled का कांटा , और विपरीत कहते हैं,, antlr या JavaCC, पारसर्स कार्यावधि में उत्पन्न कर रहे हैं। उत्पन्न व्याकरण परासन अभिव्यक्ति व्याकरण हैं, या पीईजी (मुझे उनके लिए एक और शब्द "पैकेट" है)। जबकि रनटाइम पीढ़ी जटिलता (बाइटकोड पीढ़ी को शामिल …

9 research-practice  books  parsing 

मुझे विशेष मामलों के लिए DFA चौराहे के लिए कुशल एल्गोरिदम में दिलचस्पी है। अर्थात्, जब DFAs को काटना एक निश्चित संरचना का पालन करता है और / या सीमित वर्णमाला पर काम करता है। क्या कोई स्रोत है जहां मैं एल्गोरिदम ऐसे मामलों को पा सकता हूं? प्रश्न को …

9 automata-theory  time-complexity  dfa 

मैं यह जानना चाहता हूं कि क्या एक ही प्रस्ताव के दो निर्णायक सबूतों की समानता की निर्णायक गणना के किसी भी अतिरिक्त स्वयंसिद्धों के बिना साबित हो सकता है। विशेष रूप से, मैं जानना चाहता हूं कि क्या यह कोक में किसी भी अतिरिक्त स्वयंसिद्ध के बिना सच है। …

9 coq  constructive-mathematics  calculus-of-constructions 

यह सवाल दो गुना है, और मुख्य रूप से संदर्भ-उन्मुख है: क्या कहीं ऐसा है जहां ग्राफ मामूली प्रमेय साबित करने के लिए मुख्य अंतर्ज्ञान दिए गए हैं, विवरण में बहुत अधिक जाने के बिना? मुझे पता है कि सबूत लंबा और कठिन है, लेकिन निश्चित रूप से महत्वपूर्ण विचार …

9 reference-request  graph-theory  graph-minor 

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

9 cr.crypto-security  primes 

मुझे एक ग्राफ में अधिकतम वजन मिलान के एक संस्करण में दिलचस्पी है, जिसे मैं "अधिकतम मेला मिलान" कहता हूं। मान लें कि ग्राफ भरा हुआ है (यानी ), कोने का भी नंबर है, और है कि वजन एक लाभ समारोह द्वारा दिया जाता है पी: {वी \ चुनें 2} …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

आइए हम ट्यूरिंग-मशीनों और एक सार्वभौमिक ट्यूरिंग-मशीन, यू की एन्कोडिंग को ठीक करते हैं, जो इनपुट पर (टी, एक्स) इनपुट एक्स पर जो भी टी आउटपुट उत्पन्न करता है (संभवतः दोनों हमेशा के लिए चल रहा है)। कम से कम कार्यक्रम की लंबाई के रूप में x, K (x) की …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

मैं निम्नलिखित समस्या के लिए संदर्भ ढूंढ रहा हूं: पूर्णांक दिए गए हैं nnn तथा kkk, सभी गैर-आइसोमॉर्फिक प्लानेर ग्राफों पर गणना करें nnn कोने और ट्रेविद ≤k≤k\leq k। मैं सैद्धांतिक और व्यावहारिक दोनों परिणामों में दिलचस्पी रखता हूं, लेकिन ज्यादातर व्यावहारिक एल्गोरिदम जो संभव के रूप में बड़े मान …

9 reference-request  graph-theory  graph-algorithms  treewidth 

यादृच्छिक जंगलों में सबसे प्रभावी वर्गीकरण तकनीकों के बीच चिकित्सकों की प्रतिष्ठा है। फिर भी हम उन्हें सीखने-सिखाने वाले साहित्य में ज्यादा सामने नहीं लाते हैं, जहां से मैं गहरे सैद्धांतिक परिणामों की अनुपस्थिति का सामना करता हूं। अगर कोई इस सिद्धांत में तल्लीन करना चाहता है, तो कोई कहां …

9 machine-learning  lg.learning 

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

9 reference-request  lo.logic  automated-theorem-proving 

रेनॉल्ड्स ने मूल रूप से दूसरे क्रम के पॉलिमॉर्फिक लैम्ब्डा कैलकुलस [1] के लिए एक संबंधपरक शब्दार्थ का प्रस्ताव रखा। हालाँकि बाद में उन्होंने दिखाया कि यह दृष्टिकोण शास्त्रीय सेट सिद्धांत के साथ असंगत था। पिट्स ने हाइपरडोक्ट्रीन मॉडल और टोपोस मॉडल की रूपरेखा का वर्णन किया [3] जो रचनात्मक …

9 type-theory  parametricity 

वर्णमाला पर एक मनमाना संदर्भ-मुक्त व्याकरण पर विचार करें । इस व्याकरण की प्रस्तुतियों के लिए, दो निश्चित गैर-संदर्भ-मुक्त प्रोडक्शंस जोड़ें : और । जिसके परिणामस्वरूप व्याकरण कॉल के लिए "खड़े प्रस्तुतियों के साथ संवर्धित "।जीGG{ 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbraceपीPP0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1 → ϵ1¯1→ϵ\overline{1} …

9 context-free  decidability 

चलो एक होना -variate बहुपद आकार पाली के अंकगणित सर्किट के रूप में दिया , और एक प्रमुख हो।चffnnn(n)(n)(n)पी=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} क्या आप परीक्षण कर सकते हैं कि यदि , समय-समय पर और त्रुटि प्रायिकता साथ शून्य है , भले ही डिग्री न हो, एक प्राथमिकता बंधी? क्या होगा अगर …

9 polynomials  arithmetic-circuits 

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

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

कुछ परिमित क्षेत्र पर रैखिक समीकरणों की एक प्रणाली को हल करने की जटिलता के बारे में क्या जाना जाता है? मुझे पता है कि वहाँ मौजूद हैO(n3)O(n3)O(n^3)एल्गोरिथ्म (गॉस) जो एक समाधान की गणना करता है और विरल प्रणालियों के लिए और भी बेहतर एल्गोरिदम हैं। हालाँकि, मैं सोच रहा …

9 cc.complexity-theory  linear-equations