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

इस पत्र की शुरूआत में रैखिक रूप से साझा की गई वस्तुएं (PODC'10) , लेखकों ने निम्नलिखित संदर्भ बिना संदर्भ के प्रस्तुत किए हैं: हालाँकि, रैखिकता को तभी प्राप्त किया जा सकता है जब और यदि सर्वसम्मति से हल किया जा सकता है, तभी। यहाँ, रैखिकता साझा वस्तुओं की सबसे …

9 reference-request  dc.distributed-comp 

यहाँ स्ट्रिंग पर हैश फ़ंक्शंस के दो परिवार हैं :x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle के लिए प्रधानमंत्री और , के लिए एक \ में \ mathbb {जेड} _P । डाइटज़फेलबिंगर एट अल। "बहुपद हैश फंक्शंस विश्वसनीय हैं" में दिखाया गया है कि \ forall x …

9 ds.data-structures  randomness  hash-function 

एक मोनोटोन 3CNF सूत्र पर विचार करें, जिसमें दोनों अतिरिक्त प्रतिबंध हैं: प्रत्येक चर बिल्कुल खंडों में प्रकट होता है ।222 किसी भी खंडों को देखते हुए , वे अधिकतम चर पर साझा करते हैं ।222111 मैं जानना चाहूंगा कि इस तरह के फॉर्मूले के संतोषजनक कामों को गिनना कितना …

9 cc.complexity-theory  sat  counting-complexity 

मान लें कि हम एक परिमित क्षेत्र में काम करते हैं। हमें इस क्षेत्र में एक बड़ी नियत बहुपद p (x) (का, कहना, डिग्री 1000) दी जाती है। यह बहुपद पहले से जाना जाता है और हमें "प्रारंभिक चरण" में बहुत सारे संसाधनों का उपयोग करके गणना करने की अनुमति …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

अधिकांश क्वांटम कंप्यूटिंग साहित्य सर्किट मॉडल पर केंद्रित है। एडियाबेटिक क्वांटम कंप्यूटिंग एकात्मक ऑपरेटरों के अनुक्रम को लागू करने पर आधारित नहीं है, बल्कि एक समय-निर्भर हैमिल्टन को बदलने पर आधारित है। मैं निम्नलिखित में से किसी में अंतर्दृष्टि तलाश रहा हूं। क्या एडियाबेटिक क्वांटम कंप्यूटिंग सर्किट मॉडल की तरह …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

इकाई क्षमता वाले सभी किनारों के साथ एक ग्राफ पर विचार करें। एक बहुपद समय में न्यूनतम कटौती पा सकते हैं। मान लीजिए मुझे किसी की क्षमता बढ़ाने की अनुमति है कkkअनन्तता तक किनारों (किनारे के दोनों ओर नोड्स को मर्ज करने के बराबर)। का एक इष्टतम सेट का चयन …

9 ds.algorithms  graph-theory  co.combinatorics  max-flow-min-cut 

हम जानते हैं कि । Savitch की प्रमेय से, , और, अंतरिक्ष पदानुक्रम Teorem, । इसलिए, जैसा कि हम नहीं जानते कि अगर , तो हम नहीं जानते कि क्या , या क्या हमें पता है कि ? क्या कोई भी यह साबित करने की कोशिश कर रहा है कि …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

मैं भारत से स्नातक का छात्र हूं। मैं कार्यशालाओं, सम्मेलनों में भाग लेने और प्रमुख प्रोफेसरों द्वारा दिए गए व्याख्याताओं को आमंत्रित करने में बहुत दिलचस्पी रखता हूं। बातचीत के अंत में हमेशा की तरह कुछ लोग सवाल पूछेंगे और स्पीकर उन्हें जवाब देंगे। लेकिन मेरी समस्या यह है कि …

9 co.combinatorics  soft-question 

परिचय मैं एब्सट्रैक्ट डेल्टा मॉडलिंग (एडीएम) पर पीएचडी थीसिस लिख रहा हूं , संशोधनों का सार बीजगणितीय विवरण ( डेल्टास के रूप में जाना जाता है ) उत्पादों पर काम करने में सक्षम ('सॉफ्टवेयर उत्पादों' के रूप में)। इसका उपयोग संबंधित उत्पादों के एक सेट ('उत्पाद लाइन') को एक साधारण …

9 pl.programming-languages  algebra  monoid 

मैंने देखा कि कुछ लोग फ़ंक्शन एप्लिकेशन के लिए क्रिविन की संकेतन का उपयोग करते हैं जब -calculus के लिए वाक्यविन्यास प्रस्तुत करते हैं । उदाहरण के लिए, -term (जो सामान्य अनुप्रयोग के साथ फ़ंक्शन अनुप्रयोग को बाईं ओर जोड़ता है, इसलिए इसका वास्तव में मतलब है लिखा है (एक …

9 lo.logic  lambda-calculus 

मुझे निम्नलिखित प्रश्न का सामना करना पड़ा, जो एक आसान व्यायाम है (नीचे बिगाड़ने वाला)। हमें समस्या के उदाहरण दिए गए हैं (यानी ), और हमें यह तय करने की आवश्यकता है कि उनमें से कौन सा पर रुका हुआ है । यही है, हमें आउटपुट करने की आवश्यकता है …

9 computability  lower-bounds 

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

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

क्या सेट में निर्दिष्ट तत्व के साथ समूह क्रियाओं का एक ज्ञात परिवार है , जिस पर कार्रवाई की जा रही है, जहां यह जाना जाता है कि कुशलता से कैसे \: समूहों से नमूना (अनिवार्य रूप से समान), उलटा संचालन की गणना करें, \: समूह संचालन की गणना करें …

9 cr.crypto-security  quantum-computing  gr.group-theory 

Let उन भाषाओं की श्रेणी है, जो स्थानिक का उपयोग करके समय में रुकने वाली ट्यूरिंग मशीनों द्वारा निर्णय लिया जाता है । चलो ट्यूरिंग मशीन बारी द्वारा निर्णय लिया भाषाओं का उपयोग रोकने के के वर्ग होना alternations और अंतरिक्ष ।ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n)AALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n) रुज़ो ने साबित किया कि । …

9 cc.complexity-theory  complexity-classes  structural-complexity 

बन्द है। यह सवाल ऑफ टॉपिक है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि यह सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज के लिए विषय पर हो । 7 साल पहले बंद हुआ । हम कैसे व्यक्त कर …

9 cc.complexity-theory  lo.logic  descriptive-complexity