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

मैं Intuitionistic Type थ्योरी (ITT) पर पढ़ रहा हूं और इसका कोई मतलब नहीं है। लेकिन जो मैं समझने के लिए संघर्ष कर रहा हूं वह "क्यों" है यह पहली बार में बनाया गया था? सहज ज्ञान युक्त तर्क (आईएल) और बस-टाइप किए गए -calculus (STLC) और सामान्य रूप से …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

एक समूह को देखते हुए जीGG पर क्रमपरिवर्तन की [ n ] = { १ , ⋯ , n }[n]={1,⋯,n}[n]=\{1, \cdots, n\} , और दो वैक्टर यू , वी ∈ गामाnu,v∈Γnu,v\in \Gamma^n जहां ΓΓ\Gamma एक परिमित वर्णमाला जो यहां काफी प्रासंगिक नहीं है, सवाल कुछ वहाँ मौजूद है या नहीं …

13 cc.complexity-theory  graph-isomorphism  permutations 

मैं लेस्ली लामपोर्ट द्वारा "फास्ट पैक्सोस" पेपर पढ़ रहा हूं और क्लासिक पैक्सोस और फास्ट पैक्सोस दोनों के शुद्धता प्रमाण के साथ फंस गया हूं । स्थिरता के लिए, चरण में समन्वयक द्वारा उठाए गए मूल्य , जिसे संतुष्ट करना चाहिए2 a ivvv2 ए2a2aमैंii j < i v jसीपी( v …

13 ds.algorithms  dc.distributed-comp  proofs 

वीडियोगेम निबलर और स्नेक की जटिलता पर एक छोटी सी पोस्ट लिखते समय ; मैंने पाया कि वे दोनों प्लानर रेखांकन पर पुनर्संरचना समस्याओं के रूप में तैयार किए जा सकते हैं; और ऐसा लगता है कि गति नियोजन क्षेत्र में ऐसी समस्याओं का अच्छी तरह से अध्ययन नहीं किया …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

-hierarchy जटिलता वर्गों के एक पदानुक्रम है डब्ल्यू [ टी ] पैरामिट्रीकृत जटिलता में, देखने के जटिलता चिड़ियाघर परिभाषा के लिए। एक वैकल्पिक परिभाषा परिभाषित करता है डब्ल्यू [ टी ] के लिए फेगिन definability भारित का उपयोग Π टी प्रथम क्रम तर्क के -formulas, देख Flum और Grohe द्वारा …

13 cc.complexity-theory  parameterized-complexity 

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

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

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

13 time-complexity  polynomial-time  exp-time-algorithms 

एक एल्गोरिथ्म समय में चल रहा यह देखते हुए , हम अधिक से अधिक आकार की एक ही समस्या के लिए एक "तुच्छ" वर्दी सर्किट परिवार में रूपांतरित कर सकते ≈ टी ( एन ) लॉग टी ( एन ) ।t ( n )t(n)t(n)≈ t ( n ) लॉगt ( …

13 cc.complexity-theory  circuit-complexity  uniformity 

मुझे एक निश्चित समय-निर्धारण समस्या के लिए निम्नलिखित विभाजन समस्या में कमी मिली है: इनपुट: गैर-घटते क्रम में सकारात्मक पूर्णांकों की सूची ।a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n प्रश्न: क्या कोई सदिश इस तरह मौजूद है(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} दूसरी शर्त के बिना यह सिर्फ विभाजन है, इसलिए …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

पृष्ठभूमि: निर्णय वृक्ष की जटिलता या क्वेरी जटिलता निम्नानुसार परिभाषित संगणना का एक सरल मॉडल है। चलो एक बूलियन समारोह हो। की नियतात्मक क्वेरी जटिलता , निरूपित किया , इनपुट के टुकड़े की न्यूनतम संख्या है कि जरूरत एक नियतात्मक एल्गोरिथ्म है कि द्वारा पढ़ा जा करने के लिए (बदतर …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

सैद्धांतिक कंप्यूटर वैज्ञानिकों (सैद्धांतिक कंप्यूटर विज्ञान में स्नातक डिग्री वाले लोग) के लिए विशिष्ट करियर क्या हैं? सैद्धांतिक कंप्यूटर विज्ञान ज्ञान के लिए किस तरह के उद्योग और संस्थान दिखते हैं? सैद्धांतिक कंप्यूटर वैज्ञानिक आमतौर पर किस करियर का उपयोग करते हैं?

13 soft-question  career 

यह सर्वविदित है कि एक भेद की जटिलता एक निष्पक्ष एक से पक्षपाती सिक्का है θ ( ε - 2 ) । एक भेद करने के लिए वहाँ परिणाम हैं पी एक से सिक्का पी + ε सिक्का? मैं देख सकता हूँ कि के विशेष मामले के लिए पी = …

13 reference-request  time-complexity 

प्रश्न को पढ़ते समय उदाहरणों में जहां समाधान की विशिष्टता को खोजना आसान हो जाता है , एक नया (आसान?) प्रश्न मेरे दिमाग में आया: वास्तव में हम यह नहीं जानते हैं कि क्या ग्राफ आइसोमोर्फिज्म ( ) की समस्या P में है ।GIGIGIPPP लेकिन क्या होगा अगर हम यह …

13 reference-request  graph-isomorphism 

शीर्षक थोड़ा भ्रामक है: लेकिन उम्मीद है कि सवाल यह नहीं है: Gronlund और Pettie के नए परिणाम दिखा रहा है कि 3SUM है केवल निर्णय वृक्ष जटिलता मुझे सोच है:ओ ( एन)3 / 2)O(n3/2)O(n^{3/2}) क्या निर्णय वृक्ष की जटिलता के साथ एक समस्या का एक सरल उदाहरण है लेकिन …

13 cc.complexity-theory  machine-models  decision-trees 

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

13 computability