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

कई लोग शायद अलोन के हाल के सुपर-लीनियर कम सीमा के लिए एक प्राकृतिक ज्यामितीय सेटिंग [PDF] में -nets के बारे में जानते हैं । मैं यह जानना चाहूंगा कि क्या होगा, यदि कुछ भी हो, तो इस तरह के निचले हिस्से से संबंधित सेट कवर / हिटिंग सेट समस्याओं …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

क्या हमारे पास औसत वर्गीय जटिलता के संबंध में जटिलता वर्ग हैं? उदाहरण के लिए, क्या समस्याओं के लिए (नामित) जटिलता वर्ग है जो तय करने के लिए अपेक्षित बहुपद समय लेता है? एक और सवाल सबसे अच्छा मामला जटिलता पर विचार करता है, नीचे दिया गया है: क्या (प्राकृतिक) …

10 cc.complexity-theory  complexity-classes 

एक फ़ंक्शन दिखाएं जो अंतरिक्ष-निर्माण योग्य है लेकिन समय-कब्जीय नहीं है।च( एन )f(n)f(n) क्या यह समस्या जटिलता वर्गों DTIME (f (n)) और SPACE (f (n)) के बीच संभावित अलगाव से संबंधित है?

10 cc.complexity-theory  space-bounded  separation 

एक स्टार सिस्टम एक परिवार है एन-तत्वों सेट की n सबसेट । यदि कोई ग्राफ ऐसा है तो एक तारा प्रणाली ग्राफिकल है जैसे कि में शीर्ष पड़ोस का परिवार है । यह तय करने के लिए अधूरा है कि क्या एक दिया गया तारा प्रणाली चित्रमय है।एफएफFएसएसSजी ( वी, …

10 cc.complexity-theory  np-hardness 

निर्विवाद सेटों के बंधे हुए NPNPNP अपूर्ण संस्करण के उदाहरण : बाउंड हॉल्टिंग समस्या = { | NTM मशीन रुका रहता है और को चरणों में स्वीकार करता है }एम एक्स टी( एम, x , १टी)(M,x,1t)(M, x, 1^t)मMMएक्सxxटीtt बँधी हुई टाइलिंग = { | } से टाइल द्वारा क्षेत्र के …

10 cc.complexity-theory  np-hardness 

हे सब, मैं वर्तमान में ऑटोमेटा सिद्धांत या औपचारिक भाषाओं से संबंधित कुछ शाखा से संबंधित एक ठोस मास्टर्स थीसिस विषय खोजने की कोशिश कर रहा हूं। मैं एक अच्छे विषय के लिए कुछ अच्छे विचार उत्पन्न करने की कोशिश कर रहा हूँ, एक ही समय में कुछ महत्वाकांक्षी लेकिन …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

यह देखना आसान है कि किसी भी लिए nnn1-1 मैपिंग मौजूद है FFF{0,1} n से {0,1} n + O ( लॉग एन ) जैसे कि किसी भी x के लिए वेक्टर F ( x ) है " संतुलित ", अर्थात, इसकी संख्या 1s और 0s के बराबर है। क्या ऐसे …

10 ds.algorithms  ds.data-structures  encoding 

नियतात्मक संदर्भ-मुक्त भाषाएँ (DCFL) और दृश्यमान पुशडाउन भाषाएँ (VPL) दोनों ही संदर्भ-मुक्त भाषाओं (CFL) और नियमित भाषाओं (REG) के बीच औपचारिक भाषाओं के समूह हैं। क्या पठनीय संकेतन है जो सादे ASCII में बैकस-नाउर-फॉर्म जैसे सीएफएल के लिए और रेगुलर एक्सप्रेशन रेग के लिए व्यक्त किया जा सकता है?

10 fl.formal-languages 

BPP / रैखिक द्वारा मैं रैखिक सलाह के साथ BPP मशीनों को संदर्भित करता हूं, जो "सही" सलाह दिए जाने पर वादा पूरा करता है, और व्युत्पन्नता हमें, एक पी / रैखिक या (SUBEXP / रैखिक) एल्गोरिथ्म कहना चाहिए। यदि हम गैर-समान धारणाओं का उपयोग करते हैं, तो मुझे लगता …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

क्या सबूत नहीं है कि ?सी ओ आर पी≠ एनपीसीओआरपी≠एनपीcoRP \neq NP भाषाओं का वह वर्ग है जिसके लिए एक संभाव्य ट्यूरिंग मशीन मौजूद होती है जो बहुपद समय में चलती है और हमेशा भाषा से संबंधित इनपुट पर हां का जवाब देती है और जवाब देती है कि संभाव्यता …

10 cc.complexity-theory  complexity-classes 

अधिकांश साहित्य विशिष्ट समस्याओं के लिए एकल oracles के साथ मशीनों से संबंधित प्रतीत होता है, हालांकि कुछ कागजात प्रतीत होते हैं जो कई oracles के साथ मशीनों पर विचार करते हैं। क्या एक अच्छा पेपर या थीसिस है जो इस तरह की मशीनों के बारे में जाना जाता है? …

10 oracles  turing-machines 

में सोडा 1995 , जेफ एरिक्सन कम सीमा रैखिक satisfiability के लिए (पता चल सके कि एक कुछ पता चला के -subset वास्तविक संख्या को संतुष्ट करता है पर एक रेखीय समीकरण चर)। प्रूफ विधि में infinitesimals और Tarski के हस्तांतरण सिद्धांत का उपयोग किया जाता है ।आरआरrnnnआरआरr क्या कोई …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

कम्प्यूटेशनल सार्वभौमिकता के कई अलग (संभवत: असमान) विचार हैं (उदाहरण के लिए http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07.DRAFT.pdf के अंतिम दो पृष्ठ देखें ) और इसमें कोई आम सहमति नहीं है विशेषज्ञ जिनके बारे में धारणाएँ सही हैं (उदाहरण के लिए देखें http://cs.nyu.edu/pipermail/fom/2007-October/012148.html )। मैं बायोमोलेक्यूलर कम्प्यूटेशन के एक विशेष मॉडल के बारे में कुछ …

10 universal-computation 

ज़ोन प्रमेय का कहना है कि अगर हम एक और रेखा के साथ n रेखाओं की व्यवस्था को रोकते हैं, तो इसके क्षेत्र की कुल जटिलता , सभी 0-, 1- का सेट, और इससे सटे 2-चेहरे, O (n) है। वास्तविक स्थिरांक 6n की तरह कुछ है जो विभिन्न पाठ्यपुस्तकों में …

10 cg.comp-geom 

चलो एक गैर-नियमित जुड़ा हुआ ग्राफ है जिसकी डिग्री बाउंड है। मान लीजिए कि प्रत्येक नोड में एक अद्वितीय टोकन होता है।जी = ( वी, ई)जी=(वी,इ)G= (V, E) मैं केवल स्थानीय स्वैप (यानी दो आसन्न नोड्स के बीच टोकन का आदान-प्रदान) का उपयोग करके ग्राफ के बीच टोकन को समान …

10 ds.algorithms  random-walks  dc.distributed-comp