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

सबसे लंबे समय तक मैंने सोचा है कि एक समस्या एनपी-पूर्ण थी यदि यह एनपी-हार्ड (एनपी) दोनों है और (2) एनपी में है। हालांकि, प्रसिद्ध पेपर "द एलीपोसिड विधि और इसके परिणाम में कॉम्बीनेटरियल ऑप्टिमाइज़ेशन" , लेखकों का दावा है कि आंशिक रंगीन संख्या समस्या एनपी से संबंधित है और …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

मैं अक्सर η-रूपांतरण और विलुप्त होने के बीच के संबंध से भ्रमित हूं। संपादित करें: टिप्पणियों के अनुसार, ऐसा लगता है कि मैं भी समतुल्य समानता और अवलोकन संबंधी तुल्यता के बीच के संबंध के बारे में उलझन में हूं। लेकिन कम से कम अगड़ा में फ़ंक्शंस के लिए बहुआयामी …

14 pl.programming-languages  lambda-calculus 

अपने पेपर में अनुमानित दूरी की ओरकल्स , थोरुप और ज़्विक ने दिखाया कि किसी भी भारित अप्रत्यक्ष ग्राफ के लिए, आकार डेटा संरचना का निर्माण करना संभव है जो कि ( 2 k - 1 ) -approximate को वापस कर सकती है। ग्राफ में किसी भी जोड़ी के बीच …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

यह सर्वविदित है कि कोई भी निर्धारक दो-पक्ष प्रोटोकॉल इनपुट पर असमानता समस्या (डीआईजे) को हल नहीं कर सकता है, सबसे खराब स्थिति में n + 1 बिट्स भेजे बिना (देखें, उदाहरण के लिए, कुशलीवित्ज और निसान द्वारा पुस्तक)। के लिए घिरा त्रुटि प्रोटोकॉल बेतरतीब, एक कम के लिए बाध्य …

14 lower-bounds  communication-complexity 

उत्तल सेट का Löwner-John ellipsoid न्यूनतम आयतन ellipsoid (MVE) है जो इसे घेरता है। खलीयान की विधि का उपयोग करके दीर्घवृत्त की गणना की जा सकती है, और कई अंक उपलब्ध हैं यदि (बिंदु का उत्तल हल) है।CCCCCC क्या एक बंधे हुए पॉलीहेड्रॉन के एमडब्ल्यूई के लिए फास्ट (यानी गैर-एलीपोसिड-विधि …

14 cg.comp-geom  convex-geometry 

इनपुट के रूप में देखते हुए एक पूर्णांक और एक सेट एस के तत्वों के सेट में से { 1 , । । । , n } , { 1 , के तत्वों के एक सेट टी को खोजने की जटिलता क्या है । । । , n } ऐसे …

14 cc.complexity-theory  ds.algorithms 

पत्र में ऑनलाइन द्विपक्षीय मिलान के लिए रैंकिंग के यादृच्छिक प्राइमल-दोहरी विश्लेषण , जबकि साबित करते हुए कि रैंकिंग एल्गोरिथ्म है -प्रतिस्पर्धी, लेखक दिखाते हैं कि दोहरी उम्मीद में संभव है (पेज 5 पर लेम्मा 3 देखें)। मेरा सवाल यह है कि:(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) क्या रैखिक कार्यक्रम की बाधाओं के …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

उत्तरी अमेरिका में छुट्टी पार्टियों में एक लोकप्रिय खेल सफेद हाथी उपहार विनिमय है । संक्षेप में (विविधताओं की अनदेखी करते हुए) यह निम्नानुसार काम करता है: वहाँ लोग और लिपटे उपहार हैं। खिलाड़ियों को मनमाने तरीके से ऑर्डर दिया जाता है। में दौर, खिलाड़ी या तोnnnnnnमैंवेंमैंवेंi^{\text{th}}मैंमैंi एक लिपटे उपहार …

14 gt.game-theory  mechanism-design 

पर विचार करें आयामी अंतरिक्ष { 0 , 1 } n , और c प्रपत्र की एक रेखीय बाधा एक 1 एक्स 1 + एक 2 x 2 + एक 3 एक्स 3 + । । । + एक n - 1 एक्स n - 1 + एक एन एक्स …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

संपूर्ण खोज एल्गोरिदम से जुड़ी जटिलता वर्ग क्या है? (अगर वहाँ एक है) क्या यह एनपी या PSPACE है? क्या लालची और गतिशील प्रोग्रामिंग के लिए मॉडल के समान संपूर्ण खोज एल्गोरिदम के वर्ग पर कब्जा करने वाले कम्प्यूटेशन के प्रतिबंधित मॉडल हैं?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

मुझे याद है कि कुछ समय पहले एक अध्ययन या लेख को देखकर यह दावा किया गया था कि पिछले कई दशकों में कंप्यूटर प्रोग्राम में देखा जाने वाला अधिकांश स्पीडअप हार्डवेयर की बजाय तेज एल्गोरिदम से बेहतर है। क्या कोई अध्ययन या लेख जानता है?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

मैं गैलीना जिरसकोवा, 2009 की राज्य जटिलता पर " नियमित भाषाओं और वर्णनात्मक जटिलता का संगम " पढ़ रहा हूं , जिसके परिणामस्वरूप दो नियमित भाषाओं (गैलीना जिरसकोवा द्वारा) का संयोजन किया जाता है, लेकिन मैं यह नहीं समझ सकता कि राज्य जटिलता के व्यावहारिक निहितार्थ क्या होंगे। । पहली …

14 fl.formal-languages  automata-theory  regular-language 

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

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

मैं पर रेखांकन में रुचि रखता हूं nnnजिसे निम्नलिखित प्रक्रिया के माध्यम से उत्पादित किया जा सकता है। एक मनमाना ग्राफ के साथ शुरू करो जीGG पर के ≤ एनk≤nk\le n कोने। सभी कोने जीGGको अप्रयुक्त के रूप में लेबल करें । एक नया ग्राफ उत्पादन G′G′G' नया शीर्ष जोड़कर …

14 ds.algorithms  graph-theory  treewidth 

परिणाम 1: लिनिअल-मंसूर-निसान प्रमेय का कहना है कि सर्किट द्वारा गणना किए गए कार्यों का फूरियर वजन उच्च संभावना वाले छोटे आकार के सबसेट पर केंद्रित है।A सी0AC0\mathsf{AC}^0 परिणाम 2: का फूरियर भार, डिग्री n के सह-कुशल पर केंद्रित है ।P A R I T YPARITY\mathsf{PARITY}nnn प्रश्न: क्या 1 और …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis