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

मैं वर्तमान में एक थीसिस के लिए एक विषय की तलाश कर रहा हूं और एल्गोरिथम सूचना सिद्धांत के क्षेत्र का सामना कर रहा हूं। क्षेत्र मेरे लिए बहुत दिलचस्प लगता है, लेकिन ऐसा लगता है कि यह सब कुछ है क्षेत्र कई वर्षों से पहले किया गया था। तो …

10 cc.complexity-theory  it.information-theory 

ऐसे मामलों के उदाहरण हैं जहां एक समस्या के लिए एक क्वांटम एल्गोरिथ्म का शास्त्रीय अनुकरण इस समस्या के लिए सबसे पहले ज्ञात शास्त्रीय एल्गोरिथ्म को बेहतर बनाता है? "आउटपरफॉर्म" का मतलब विभिन्न जटिलता वर्ग से नहीं है, यह बस बेहतर स्केलिंग हो सकता है। यह सवाल क्वांटम सिफारिश एल्गोरिथ्म …

10 cc.complexity-theory  quantum-computing  quantum-information 

मैं ऐसी स्थिति में हूं, जहां मुझे यह दिखाने की जरूरत है कि मैं जिस पर काम कर रहा हूं, उसके लिए भरोसेमंद रूप से टाइप किए गए कैलकुलस के लिए टाइपकास्टिंग निर्णायक है। अब तक, मैं यह साबित करने में सक्षम रहा हूं कि सिस्टम दृढ़ता से सामान्य हो …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

चलो बहुपद समय नियतात्मक मशीन है कि कुछ ओरेकल के लिए सवाल पूछ सकते हैं हो सकता है । प्रारंभ में A खाली है लेकिन इसे एक गेम के बाद बदला जा सकता है जिसे नीचे वर्णित किया जाएगा। X को कुछ स्ट्रिंग होने दें ।MMMAAAAAAxxx निम्नलिखित ऐलिस और बॉब …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Mahaney की प्रमेय हमें बताता है एक विरल होती है कि अगर बहुपद समय में कई-एक में कटौती के तहत -Complete सेट है, तो पी = एन पी । (" एनपी के लिए विरल पूर्ण सेट देखें : बर्मन और हार्टमैनिस के एक अनुमान का समाधान "एनपीNPNPP=NPP=NPP = NP क्या …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

मैं कुछ ग्राफ समस्याओं की काल्पनिक कठोरता के दो उदाहरणों में आया था । हाइपोथेटिकल कठोरता का मतलब है कि कुछ अनुमानों का खंडन करने से संबंधित ग्राफ समस्या का एनपी-पूर्णता हो जाएगा। उदाहरण के लिए, बार्नेट के अनुमान में कहा गया है कि प्रत्येक 3-जुड़ा हुआ क्यूबिक प्लानर द्विदलीय …

10 cc.complexity-theory  graph-theory  np-hardness 

आप अपने क्षेत्र के बाहर नियमित रूप से पेपर पढ़ने के बारे में क्या सोचते हैं, यहां तक ​​कि जो उसके क्षेत्र से संबंधित नहीं हैं? मेरा अंतर्ज्ञान यह है कि यह एक पूरी तरह से अलग दृष्टिकोण या तकनीक दे सकता है जो मुझे अपनी समस्याओं में मदद कर …

10 soft-question  advice-request 

निम्नलिखित 2-खिलाड़ी गेम पर विचार करें: प्रकृति बेतरतीब ढंग से एक कार्यक्रम चुनती है प्रत्येक खिलाड़ी प्रकृति की चाल के जवाब में समावेशी [0, अनंत] में एक नंबर निभाता है कम से कम खिलाड़ियों की संख्या ले लो, और (ऊपर) के लिए कार्यक्रम चलाएं कि कई कदम (जब तक कि …

10 lo.logic  computability  gt.game-theory 

निम्नलिखित समस्या पर विचार करें। हैं अज्ञात मूल्यों v 1 , ⋯ , वी एन ∈ आर । कार्य निम्नलिखित फॉर्म के केवल प्रश्नों का उपयोग करते हुए सबसे बड़े सूचकांक को खोजना है। एक क्वेरी एक सेट द्वारा निर्दिष्ट किया जाता एस ⊆ { 1 , ⋯ , n …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

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

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

क्या तुलना-आधारित सॉर्टिंग एल्गोरिथ्म है जो औसतन तुलनाओं का उपयोग करता है?lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) सबसे खराब स्थिति तुलना एल्गोरिथ्म का अस्तित्व एक खुली समस्या है, लेकिन औसत मामला अपेक्षित गणित के साथ यादृच्छिक एल्गोरिदम के लिए पर्याप्त है हर इनपुट के लिए तुलना। का महत्व यह है कि यह इष्टतम से तुलना …

10 cc.complexity-theory  ds.algorithms  sorting 

मैं निम्नलिखित निर्णय समस्या की जटिलता को निर्धारित करने में रुचि रखता हूं: दो पूर्णांक और (प्रत्येक m बिट पर) के साथ, यह तय करें कि क्या गुणा का सबसे महत्वपूर्ण बिट 1 है (जहां परिणाम मुद्रित किया गया है) संभवतः अग्रणी 0 के साथ 2 मी बिट्स?एल 2 एल …

10 cc.complexity-theory  circuit-complexity 

क्या प्राकृतिक संख्याओं के अलावा अन्य सेटों पर संगणना की धारणा है? तर्क के लिए, मान लीजिए कि सेट पर जाने के साथ कि biject ।एनएसSSएनN\mathbb{N} यह कहने के लिए मोहक है "हाँ, वे फॉर्म वो कार्य हैं जहाँ किसी भी प्रकार का bijection और किसी भी अभिकल्य फ़ंक्शन ”। …

10 computability 

Let एक परिमित रहने वाला समूह हो, और को में polytope होना चाहिए। को असमानताओं को संतुष्ट करने वाले बिंदुओं रूप में परिभाषित किया गया है:ΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} जहां का मतलब …

10 gr.group-theory  fourier-analysis  convex-geometry 

प्रेरणा : डेटा संस्करण के लिए उपकरण विकसित करते समय, हमने पूर्णांक के दो सेटों को "भिन्न" के लिए एल्गोरिदम में देखना समाप्त कर दिया, जो परिवर्तनों के एक क्रम के साथ आकर पूर्णांक के एक सेट को दूसरे तक ले जाते हैं। हम उस समस्या को निम्न बहुत ही …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance