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

सूत्रों एस और सिंक टी के साथ डीएजी (निर्देशित एसाइक्लिक ग्राफ) । एक DAG D ′ का पता लगाएं , सूत्रों S और सिंक T के साथ, न्यूनतम किनारों की संख्या जैसे:डीDDएसSSटीTTD′D′D'SSSTTT सभी जोड़े के लिए वहाँ से एक मार्ग है यू करने के लिए वी में डी यदि और …

11 graph-theory  graph-algorithms 

यह देखते हुए ऐसी है कि के गुणांकों पी , क्यू से घिरा रहे हैं बी , है पी ≡ क्ष पकड़ ?p ( x)1, ... , एक्सn) , क्यू( x)1, ... , एक्सn) ∈ जेड [ एक्स1, ... , एक्सn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]पी , क्यूp,qp,qबीBBp ≡ क्षp≡qp\equiv q श्वार्ट्ज-Zippel लेम्मा …

11 big-picture  derandomization  conditional-results 

यह देखते हुए hyperplanes का एक सेट सामान्य वैक्टर द्वारा निर्धारित किया , अपने प्रकार की कोशिकाओं (या संकेत वैक्टर) सभी वैक्टर हैं टी ∈ { + , - } मीटर जिसके लिए एक वेक्टर वहां मौजूद वी ∈ आर डी ताकि ⟨ वी , ज मैं ⟩ ≠ 0 …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

संक्षेप में, सवाल यह है: किस हद तक, कठिन कार्यों के लिए कम्प्यूटेशनल क्षमता वास्तव में आसान कार्यों को हल करने में आपकी मदद करती है। (इस प्रश्न को रोचक और गैर-तुच्छ बनाने के लिए कई तरीके हो सकते हैं, और यहाँ एक ऐसा प्रयास है।) प्रश्न 1: एनटी चर …

11 cc.complexity-theory  dc.parallel-comp 

एक परिमित समूह ठीक करें । मैं निम्नलिखित निर्णय समस्या में दिलचस्पी रखता हूं: इनपुट उन पर आंशिक आदेश के साथ जी के कुछ तत्व हैं, और सवाल यह है कि क्या उन तत्वों का एक क्रम है जो आदेश को संतुष्ट करता है और ऐसा है कि तत्वों की …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

CNF सूत्र के विपरीत एक दो बार पढ़ने में, प्रत्येक चर दो बार दिखाई देता है, एक बार सकारात्मक और एक बार नकारात्मक। मैं में दिलचस्पी रहा हूँ समस्या, रीड-दो बार विपरीत CNF सूत्र के संतोषजनक कार्य की संख्या की समता कंप्यूटिंग में होते हैं जो।⊕ आरडब्ल्यूटी-ओपी-सीएनएफ⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} मैं इस तरह …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

हैं एल्गोरिथम ग्राफ सिद्धांत / संख्या सिद्धांत / साहचर्य / सूचना सिद्धांत / खेल सिद्धांत। क्या एल्गोरिथम गणितीय विश्लेषण है? विकी के अनुसार, गणितीय विश्लेषण में भेदभाव, एकीकरण, माप, सीमा, अनंत श्रृंखला और विश्लेषणात्मक कार्यों के सिद्धांत शामिल हैं। वास्तविक विश्लेषण (विकी) पर ध्यान देना ठीक है जो वास्तविक संख्या …

11 cc.complexity-theory  reference-request  soft-question  computability 

क्या चर घटनाओं की प्रतिबंधित संख्या के साथ 1-इन-3-सैट की जटिलता वर्ग पर एक ज्ञात परिणाम है? मैं पीटर नाइटिंगेल के साथ निम्नलिखित पारिश्रमिक में कमी के साथ आया हूं, लेकिन मैं कुछ का हवाला देना चाहता हूं यदि यह ज्ञात है। यह वह तरकीब है जिसके साथ हम आए …

11 reference-request  sat  reductions 

मैं सैद्धांतिक कंप्यूटर विज्ञान में स्नातक छात्र हूं, और विशेष रूप से, सन्निकटन एल्गोरिदम। अब मुझे लगता है कि मैं शुद्ध गणित में अधिक रुचि रखता हूं (मैं यह कह सकता हूं क्योंकि मुझे लगता है कि सीएस पाठ्यक्रमों की तुलना में गणित के पाठ्यक्रम का आनंद लिया गया है)। …

11 reference-request  soft-question 

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

11 string-matching  string-search 

मैं सोच रहा था कि यह भाषा किस वर्ग की है: एल = { ⟨ जी , कश्मीर ⟩ | जीएल={⟨जी,क⟩|जीL =\{ \langle G,k \rangle \mid G एक ग्राफ है, ककk एक प्राकृतिक संख्या है और ककk , G की वर्णनात्मक संख्या है }जी }जी}G\} मैंने रूप में सोचा (1) …

11 cc.complexity-theory  np-hardness  complexity-classes 

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

11 lo.logic  type-theory 

एक बार पढ़ने वाले निर्णय के पेड़ को इस प्रकार परिभाषित किया गया है: और एफ ए एल एस ई पढ़े-एक बार निर्णय लेने वाले पेड़ हैं।टीआर यू ईTrueTrueएफa l s eFalseFalse अगर और बी कर रहे हैं पढ़ने के लिए एक बार निर्णय वृक्ष और एक्स में होने वाली …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

मैं वर्तमान में एलन कैस की बात सुन रहा हूं "क्या यह वास्तव में जटिल है या हमने इसे जटिल बना दिया है?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) जहां वह कहता है कि "अर्ध-शब्द एक बुरा विचार था और छद्म समय में कुछ ऐसा था जो श्रेष्ठ था" (लिंक किए गए वीडियो …

11 terminology  concurrency 

एल्गोरिदम का विश्लेषण करते समय उलटा एकरमैन फ़ंक्शन अक्सर होता है। इसकी एक शानदार प्रस्तुति यहाँ है: http://www.gabrielnivasch.org/fun/inverse-ackermann । और [संकेतन: [x] का अर्थ है कि हम x को निकटतम पूर्णांक तक गोल करते हैं, जबकि लॉग Function यहाँ चर्चा की गई पुनरावृत्त लॉग फ़ंक्शन है: http://en.wikipedia.org/wiki/Iterated_logarithm ]α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] …

11 ds.algorithms  ds.data-structures  bounds