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

मान लीजिए कि मेरे पास कोड का एक बड़ा ब्लॉक है जिसे मैंने पहले ही लेक्स किया है और पार्स किया है। मान लीजिए कि सिर्फ एक चरित्र बदलता है; मैं अपनी पार्सिंग को अपडेट करना चाहता हूं, लेकिन चूंकि संशोधन पूरी चीज की तुलना में बहुत छोटा है, इसलिए …

14 fl.formal-languages  parsing 

क्या कोई मुझे प्रोपोजल अंतर्ज्ञानवादी तर्क के लिए कट-एलिमिनेशन प्रमेय का विवरण देने वाले पेपर पर निर्देशित करता है, जिसमें प्राकृतिक संख्याओं के रूप में एक आगमनात्मक डेटाटाइप शामिल है (सूची या पेड़ ठीक होगा, भी)? प्रणाली मैं में दिलचस्पी है की तरह का एक उदाहरण गोडेल की टी, जो …

14 lo.logic  pl.programming-languages  sequent-calculus 

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

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

1) क्या यह संभव है कि एक # पी-पूर्ण समस्या # ए से एक गिनती की समस्या # बी तक (जब निर्णय संस्करण) ए एनपी-पूर्ण हो और बी पी में हो? उदाहरण के लिए, क्या B में P होने पर #SAT से #B तक की पारिश्रमिक में कमी हो सकती …

14 cc.complexity-theory  complexity-classes  counting-complexity 

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

14 ds.algorithms  graph-theory  linear-programming  simplex 

दो CNF को देखते हुए, यदि उनके पास उन्हें सच करने के लिए समान संख्या में असाइनमेंट हैं, तो "हां" का उत्तर दें, अन्यथा "नहीं" का उत्तर दें। यह देखना आसान है कि यह , क्योंकि अगर हम इन दो सीएनएफ के समाधानों की सही संख्या जानते हैं, तो हम …

14 cc.complexity-theory  complexity-classes  counting-complexity 

(मैंने पहले ही MathOverflow में यह पूछ लिया है, लेकिन वहाँ कोई जवाब नहीं मिला।) पृष्ठभूमि Untyped लैम्ब्डा कलन में, एक शब्द कई redexes, और विभिन्न विकल्पों के बारे में जो एक कम करने के लिए बेतहाशा अलग परिणाम (जैसे उत्पादन हो सकता है शामिल हो सकते हैं , जिसमें …

14 pl.programming-languages  lambda-calculus  proof-theory  normalization 

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

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

मैं Coq को कैसे मना सकता हूं कि नीचे दिया गया पुनरावर्ती कार्य समाप्त हो गया है? फ़ंक्शन दो प्रेरक तर्क लेता है। वास्तव में, पुनरावृत्ति समाप्त हो जाती है क्योंकि या तो तर्क विघटित हो जाता है। विशेष रूप से, फ़ंक्शन इनपुट के रूप में दो पेड़ लेता है। …

14 interactive-proofs  proof-assistants  coq 

एल्गोरिथम गेम थ्योरी (या सीएस से संबंधित गेम थ्योरी) में किस तरह के अनुमान और प्रमुख खुली समस्याएं सबसे महत्वपूर्ण हैं? उदाहरण के लिए, NASH का PPAD- पूर्ण होने के रूप में संकल्प, मुझे लगता है, जब तक इसे हल नहीं किया गया है तब तक सबसे बड़ा एक है। …

14 big-list  gt.game-theory 

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

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

, O के परिवार ( लॉग i n ) के सर्किट द्वारा अनबाउंड-फैनिन या बाउंड-फैनिन और गेट्स वालेपरिवार की समस्याओं का हल है। नकारात्मक को केवल इनपुट स्तर पर अनुमति दी जाती है। यह ज्ञात है कि एस ए सी मैं के लिए मैं ≥ 1 पूरक और के तहत …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

क्या सबसेट सम या संख्या विभाजन समस्या का एक उदाहरण सांकेतिक शब्दों में बदलना है ताकि पूर्णांक संबंध का एक छोटा (छोटा) समाधान एक उत्तर देता है? यदि निश्चित रूप से नहीं, तो कुछ संभाव्य अर्थों में? मुझे पता है कि LLL (और शायद PSLQ) का उपयोग 'कम-घनत्व' क्षेत्र में …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

समस्या #SAT विहित # P- पूर्ण समस्या है। यह एक निर्णय समस्या के बजाय एक कार्य समस्या है। यह पूछता है, प्रस्तावित तर्क में बूलियन फॉर्मूला गया है, पास कितने संतोषजनक असाइनमेंट हैं । # एसएटी पर सबसे अच्छे निचले सीमा कौन से हैं?एफएफFFएफFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

दो पेपर मैं शामिल करूंगा: डी। कोजेन, " सबसर्किव क्लासेस का अनुक्रमण" , एसटीओसी, 1978। आर। लेडनर, "ऑन द स्ट्रक्चर ऑफ पोलिनोमियल टाइम रिड्यूसबिलिटी" , जेएसीएम , 1975।

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity