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

अंतर्ज्ञानवादी प्रकार के सिद्धांत के संपर्क में आने पर मैं प्रस्तावों और निर्णयों के बीच के सूक्ष्म अंतर से भ्रमित हो जाता हूं। क्या कोई मुझे समझा सकता है कि उन्हें अलग करने का क्या मतलब है और क्या उन्हें अलग करता है? विशेष रूप से करी-हावर्ड इसोम्फ्सिम को देखते …

27 lo.logic  pl.programming-languages  type-theory 

मुझे यह पेपर बहुत दिलचस्प लगा। संक्षेप में: यह चर्चा करता है कि व्यवहार में आप शायद ही कभी एनपी-पूर्ण समस्या का सबसे खराब मामला पाते हैं। लेख में विचार यह है कि उदाहरण आमतौर पर या तो बहुत कम होते हैं या बहुत अधिक असंबंधित होते हैं, दोनों को …

27 np-hardness  worst-case 

शास्त्रीय पूछता समस्याओं -queens, एक सकारात्मक पूर्णांक दी n , एक सरणी है या नहीं क्यू [ 1 .. n ] निम्न स्थितियों में संतोषजनक पूर्णांकों का:nnnnnnQ[1..n]Q[1..n]Q[1..n] सभी के लिए मैं1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii सभी के लिए मैं ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j]i≠ji≠ji\ne j सब के लिए मैं ≠ jQ[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne …

27 cc.complexity-theory  board-games 

अपने कंप्यूटर विज्ञान की शिक्षा में, मैं तेजी से नोटिस करता हूं कि अधिकांश असतत समस्याएं एनपी-पूर्ण (कम से कम) हैं, जबकि निरंतर समस्याओं का अनुकूलन लगभग हमेशा आसानी से प्राप्त होता है, आमतौर पर ढाल तकनीकों के माध्यम से। क्या इसके अपवाद हैं?

27 cc.complexity-theory  co.combinatorics  optimization 

क्या समस्याओं से संबंध रखते हैं के लिए जाना जाता लेकिन से संबंधित ज्ञात नहीं पी ?BPPBPP\mathsf{BPP}PP\mathsf P अधिक सटीक रूप से, मैं स्वतंत्र समस्याओं में दिलचस्पी रखता हूं , वह है जिसका व्युत्पन्नकरण समतुल्य नहीं माना जाता है। उदाहरण के लिए, यह ज्ञात है कि पीआईटी और बहुभिन्नरूपी बहुपद …

27 derandomization 

क्या कोई ऐसी भाषा का उदाहरण है जो NPNPNP , लेकिन जहां हम इस तथ्य को सीधे-सीधे यह दिखा कर साबित नहीं कर सकते कि इस भाषा में सदस्यता के लिए एक बहुपद साक्षी मौजूद है? इसके बजाय, यह तथ्य कि भाषा में है, NPNPNPइसे में किसी अन्य भाषा में …

27 reductions  np 

ग्रोथेंडिक का निधन हो गया है । 20 वीं सदी के गणित पर 21 वीं सदी में जारी रहने का उनका व्यापक प्रभाव था। यह प्रश्न कुछ हद तक शैली / भावना से पूछा जाता है, उदाहरण के लिए, कंप्यूटर विज्ञान के एलन ट्यूरिंग के योगदान के लिए । सैद्धांतिक …

27 big-picture  ct.category-theory  ho.history-overview 

यह प्रश्न कंप्यूटर साइंस स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर सैद्धांतिक कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 6 साल पहले पलायन कर गए । ऐसा लगता है कि कई लोगों का मानना है कि , भाग में, क्योंकि वे मानते हैं कि फैक्टरिंग …

27 cc.complexity-theory  np  conditional-results 

मैं हाल ही में कंप्टीशन के दो द्वंद्वों को पढ़ रहा था : नकारात्मक और भिन्नात्मक प्रकार । कागज सम-प्रकार और उत्पाद-प्रकारों पर फैलता है, प्रकारों को शब्दार्थ देता है a - bऔर a/b। जोड़ और गुणा के विपरीत, घातांक, लघुगणक और मूलक के एक नहीं बल्कि दो विपरीत होते …

27 lo.logic  pl.programming-languages  type-theory  algebra 

बाइनरी मैट्रिक्स (प्रविष्टियाँ या ) द्वारा को देखते हुए , समस्या यह निर्धारित करने के लिए है कि क्या दो बाइनरी वैक्टर मौजूद हैं जैसे कि (सभी ऑपरेशन्स ने पर प्रदर्शन किया है )। क्या यह समस्या एनपी-हार्ड है?mmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} यह एनपी में स्पष्ट रूप से है …

27 cc.complexity-theory  np-hardness  linear-algebra 

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

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

संपादित करें: मैं 06 दिसंबर 2012 तक उच्चतम स्कोर के साथ उत्तर का चयन करता हूं। यह एक नरम सवाल है। (निर्धारक) एल्गोरिदम की अवधारणा ईसा पूर्व की है। संभाव्य एल्गोरिदम के बारे में क्या? में इस विकि प्रविष्टि , कम्प्यूटेशनल ज्यामिति में निकटतम जोड़ी समस्या के लिए राबिन एल्गोरिथ्म …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

मान लीजिए रंग संख्या के साथ एक ग्राफ है घ = χ ( जी ) । ऐलिस और बॉब के बीच के खेल पर विचार करें। प्रत्येक राउंड में, ऐलिस एक वर्टेक्स चुनता है, और बॉब इस वर्टेक्स के लिए { 1 , … , d - 1 } में …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

कम्प्यूटेशनल जटिलता में मोनोटोन और सामान्य संगणना के बीच एक महत्वपूर्ण अंतर है और रज़बोरोव द्वारा एक प्रसिद्ध प्रमेय का दावा है कि 3-SAT और यहां तक ​​कि MATCHING मोनोटोन बुलियन सर्किट मॉडल में बहुपद नहीं हैं। मेरा सवाल सरल है: क्या मोनोटोन सर्किट (या एक से अधिक) के लिए …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

लेख को पढ़ते समय "क्या यह समय जटिलता में विजय की घोषणा करने का समय है?" पर अधिक "गोडेल की खोया पत्र और पी = एनपी" ब्लॉग, वे सीएसपी के लिए विरोधाभास का उल्लेख किया। कुछ लिंक के बाद, googling और wikipeding, मैं लाडनेर के प्रमेय में आया : Ladner …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp