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

अपडेट : सभी मोनोक्रोमैटिक-आयत-मुक्त 4-रंगों के लिए बाधा सेट (यानी एनएक्सएम "बेरिएबल और अनचाहे ग्रिड आकार के बीच") अब ज्ञात है । किसी को भी 5-colorings कोशिश कर रहा है? ;) रामसे थ्योरी से निम्न प्रश्न उठता है । एक पर विचार करें की -coloring -by- ग्रिड ग्राफ। एक से …

37 co.combinatorics  puzzles  open-problem  ramsey-theory  graph-colouring 

ट्यूरिंग मशीन के माध्यम से अक्सर पी और एनपी जटिलता कक्षाओं की शुरूआत और स्पष्टीकरण में। संगणना के मॉडल में से एक लैम्ब्डा-पथरी है। मैं समझता हूं, कि संगणना के सभी मॉडल समतुल्य हैं (और अगर हम ट्यूरिंग मशीन के संदर्भ में कुछ भी पेश कर सकते हैं, तो हम …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

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

36 cc.complexity-theory  approximation-hardness  pcp 

में एक नई समस्या को देखते हुए जिसकी असली जटिलता कहीं पी के बीच है और एनपी-पूर्ण होने के नाते, दो तरीके हैं जो मुझे पता है कि इसका उपयोग यह साबित करने के लिए किया जा सकता है कि इसे हल करना मुश्किल है:NPNP\mathsf{NP}PP\mathsf{P} दिखाएँ कि समस्या जीआई-पूर्ण है …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

यह अनुमान लगाया जाता है कि यादृच्छिकता बहुपद समय एल्गोरिदम की शक्ति का विस्तार नहीं करती है, अर्थात, धारण करने के लिए अनुमानित है। दूसरी ओर, यादृच्छिकता बहुपद समय में कटौती पर काफी अलग प्रभाव डालती है । बहादुर और Vazirani के प्रसिद्ध परिणाम करके, को कम कर देता है …

36 cc.complexity-theory  reductions  derandomization 

यह एक गैर-तकनीकी प्रश्न है, लेकिन निश्चित रूप से टीसीएस समुदाय के लिए प्रासंगिक है। यदि अनुचित माना जाता है, तो बंद करने के लिए स्वतंत्र महसूस करें। जटिलता चिड़ियाघर वेबपेज (http://qwiki.stanford.edu/index.php/Complexity_Zoo) निश्चित रूप से पिछले कुछ वर्षों में टीसीएस समुदाय के लिए महान सेवा की गई है। जाहिर है …

36 cc.complexity-theory  reference-request  soft-question 

पृष्ठभूमि: इस प्रश्न की प्रेरणा दो-गुना है। सबसे पहले, मैं चल रहे सम्मेलनों बनाम पत्रिकाओं की बहस को बेहतर ढंग से समझने के लिए कुछ कठिन तथ्य प्राप्त करना चाहूंगा । दूसरा, यदि यह जानकारी कहीं उपलब्ध थी, तो मैं समीक्षा के लिए कागजात प्रस्तुत करते समय अधिक सूचित निर्णय …

36 soft-question  research-practice  paper-review  journals 

मैं उत्सुक हूं कि पूर्णांकों के बहु-सेट के हैश को स्टोर करने का एक तरीका है जिसमें निम्नलिखित गुण हैं, आदर्श रूप से: यह O (1) स्पेस का उपयोग करता है इसे ओ (1) समय में सम्मिलन या विलोपन को प्रतिबिंबित करने के लिए अपडेट किया जा सकता है दो …

36 ds.algorithms  ds.data-structures  hash-function 

यह प्रश्न उन लोगों पर लक्षित है जो समस्याएं देते हैं: शिक्षक, छात्र सहायक, शिक्षक, आदि। एक प्रोफेसर के रूप में मेरे 12 साल के करियर में यह मेरे साथ कई बार हुआ है: मैंने जल्दबाजी में "यह अच्छा लग रहा है" सोच से कुछ समस्या को सौंपा है। फिर …

36 soft-question  teaching 

हम जानते हैं कि घातीय फ़ंक्शन प्राकृतिक संख्याओं से अधिक बहुपद समय में गणना योग्य नहीं है, क्योंकि आउटपुट का आकार इनपुट के आकार में बहुपद नहीं है।exp( एक्स , वाई) = एक्सyexp⁡(x,y)=xy\exp(x,y) = x^y क्या यह घातीय फ़ंक्शन की गणना करने में कठिनाई का मुख्य कारण है, या इस …

36 cc.complexity-theory  nt.number-theory 

एक रैखिक प्रोग्राम का समाधान खोजने के लिए सिम्पलेक्स एल्गोरिथ्म पर ऊपरी बाध्य क्या है? मैं ऐसे मामले के लिए सबूत खोजने के बारे में कैसे जाऊंगा? ऐसा लगता है जैसे कि सबसे खराब स्थिति यह है कि यदि प्रत्येक शीर्ष पर जाना है तो वह । हालांकि व्यवहार में …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis 

मैं कुछ ग्राफ एल्गोरिथ्म कार्यान्वयन का परीक्षण करने के लिए विशाल डेटा सेट के स्रोत की तलाश कर रहा हूं। कृपया स्रोत के वितरण / प्रकार के बारे में कुछ जानकारी प्रदान करें (जैसे निर्देशित / अप्रत्यक्ष, सरल / सरल नहीं, भारित / भार रहित) यदि वे ज्ञात हों तो …

36 ds.algorithms  graph-theory  ds.data-structures  data-sets 

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

36 soft-question  open-problem  ho.history-overview 

यह तय करना कि क्या नैश संतुलन मौजूद है, यह आसान है (यह हमेशा करता है); हालांकि, वास्तव में किसी को ढूंढना मुश्किल माना जाता है (यह पीपीएडी-पूर्ण है)। समस्याओं के कुछ अन्य उदाहरण हैं जहां निर्णय संस्करण आसान है, लेकिन खोज संस्करण अपेक्षाकृत कठिन है (निर्णय संस्करण की तुलना …

36 cc.complexity-theory  big-list 

मान लीजिए कि दो या दो से अधिक विभिन्न संस्थानों के सहकर्मी लेटेक्स में एक पेपर लिख रहे हैं, और बार-बार ड्राफ्ट को आगे-पीछे ईमेल करने से बेहतर करना चाहते हैं। उन्हें पता चलता है कि वे एक ड्रॉपबॉक्स खाते को मुफ्त में खोल सकते हैं, पासवर्ड साझा कर सकते …

36 soft-question  research-practice  software  writing