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

हाल ही में मैं कोएलटीटी पत्रों की एक सभ्य संख्या पढ़ रहा हूं। हालांकि मैं व्यक्तिगत कागजात के साथ संघर्ष नहीं करता (कम से कम मैं आमतौर पर अन्य सिद्धांत पत्रों के साथ संघर्ष नहीं करता), मुझे नहीं लगता कि मेरे पास समग्र रूप से क्षेत्र का एक अच्छा व्यापक …

10 reference-request  machine-learning  lg.learning  survey  books 

बहुपद पहचान परीक्षण के लिए कई यादृच्छिक एल्गोरिदम प्रतीत होते हैं, यह देखते हुए कि दिए गए बहुपद शून्य है या नहीं। क्या एल्गोरिदम का कोई परिणाम है जो अंकों के एक विशिष्ट सेट पर कुछ प्रकार के बहुपद का आकलन करते हैं? उदाहरण के लिए, यह हो सकता है …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

चलो हो किसी भी ऍक्स्प पूरा समस्या। फिर, पी ए = एन पी ए ।AAAPA=NPAPA=NPAP^A = NP^A चलो कुछ ओरेकल कि प्रश्नों कि खातों में ले जाता है हो सकता है एम (पी में एक टीएम) कर देगा, और हम प्राप्त कर सकते हैं पी बी ≠ एन पी बी …

10 cc.complexity-theory  oracles  relativization 

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

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

आज्ञा देना । मैं सरल ग्राफ़ बनाने की जरूरत है जी की परिधि जी ऐसे सभी का सेट है कि जी रूपों -cycles की दोहरी बढ़त कवर जी (यह है कि, हर बढ़त द्वारा साझा किया जाता ठीक दो ग्राम -cycles), और इस तरह है कि किसी भी इन दोनों …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

क्या किसी रैखिक त्रुटि को ठीक करने वाले कोड कोई ज्ञात निर्माण है (उचित मापदंडों के साथ), जैसे कि जब बूलियन वेक्टर दिया जाता है , यह एक बूलियन वेक्टर व्हिप भी देता है? (हालांकि यह ) वी ∈ { 0 , 1 } एन एफ क्षई सी सी : …

10 co.combinatorics  linear-algebra  coding-theory 

एलन ट्यूरिंग के जन्मदिन के उपलक्ष्य में, Google ने एक मशीन दिखाते हुए एक डूडल प्रकाशित किया । डूडल किस तरह की मशीन है? क्या यह ट्यूरिंग पूर्ण भाषा व्यक्त कर सकता है? शास्त्रीय ट्यूरिंग मशीन के स्पष्ट अंतर हैं: एक परिमित टेप, कैसे राज्य से जुड़ा हो सकता है, …

10 cc.complexity-theory  turing-machines 

कुछ साल पहले, मैं क्रमिक पथरी में समानता के लिए निम्नलिखित वाम-शासन में भाग गया था: रों ≐ टी ⇝ θθ ( Γ ) ⊢ θ ( सी)≐ , एस Γ टी । सीs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} इधर, …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

विकिपीडिया लिखते हैं: FPT में निर्धारित पैरामीटर ट्रैक्टेबल समस्याएं हैं, जो कि समय पर हल की जा सकती हैं कुछ कम्प्यूटेशनल फ़ंक्शन के लिए ओ ( 1 ) एफ । आमतौर पर, इस फ़ंक्शन को एकल घातीय के रूप में माना जाता है, जैसे कि 2 ओ ( के ) …

10 cc.complexity-theory  fixed-parameter-tractable 

निर्णय लेने का ग्राफ होमोमोर्फिज्म सामान्य एनपी-पूर्ण में है। क्या कोई परिणाम हैं जो इस समस्या का अध्ययन करते हैं जब अंतर्निहित ग्राफ़ में बीजीय संरचना होती है (जैसे कि केली या केली कोसेट ग्राफ़ से होमोमोर्फिज्म तय करना अन्य ग्राफ़ के साथ कुछ निश्चित संरचना के साथ भी)? इसके …

10 cc.complexity-theory  graph-theory  co.combinatorics 

यह सर्वविदित है कि चार्ल्स बैबेज की विश्लेषणात्मक मशीन में आधुनिक वॉन न्यूमैन वास्तुकला की दृढ़ता से एक वास्तुकला थी। इसके अलावा, यह उल्लेखनीय है कि बैबेज की विश्लेषणात्मक मशीन ( http://www.fourmilab.ch/babbage/figures/menat3.png ) और वॉन न्यूमैन के काम (जैसे http://library.ias.edu ) के लिए एक कार्यक्रम का प्रतिनिधित्व करने के लिए …

10 ho.history-overview 

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

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

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

10 ds.algorithms  graph-theory 

क्या मतलब ?EXP=NEXPEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

चलो एक अनिर्दिष्ट ग्राफ हो। को असंबद्ध में अपघटन को को का हैमिल्टन अपघटन कहा जाता है, यदि प्रत्येक सेट से प्रेरित सबग्राफ या तो हैमिल्टन ग्राफ है या जिसमें ।G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 उदाहरण : पूरा द्विदलीय ग्राफ पास हैमिल्टन अपघटन है और यदि केवल ।Km,nKm,nK_{m,n}m=nm=nm=n मैं एक एल्गोरिथ्म की तलाश कर …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths