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

रूबिक क्यूब के स्पष्ट सामान्यीकरण पर विचार करें । क्या यह एनपी-हार्ड चाल के सबसे छोटे अनुक्रम की गणना करने के लिए है जो किसी दिए गए तले हुए घन को हल करता है, या एक बहुपद-काल एल्गोरिथ्म है?n×n×nn×n×nn\times n\times n [कुछ संबंधित परिणाम मेरे हालिया ब्लॉग पोस्ट में वर्णित …

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

क्या कोई संदर्भ (ऑनलाइन या पुस्तक रूप में) हैं जो सबूत तकनीक द्वारा टीसीएस प्रमेयों को व्यवस्थित और चर्चा करते हैं? गैरी और जॉनसन एनपी-पूर्णता प्रमाण (विशेष रूप से उनकी पुस्तक के अध्याय 3) के लिए आवश्यक विभिन्न प्रकार के विजेट निर्माणों के लिए ऐसा करते हैं, लेकिन मैं सोच …

38 reference-request  proof-techniques 

मैंने हाल ही में यह सुना है - "एक गैर-नियतात्मक मशीन एक संभाव्य मशीन के समान नहीं है। कच्चे शब्दों में, एक गैर-नियतात्मक मशीन एक संभाव्य मशीन है जिसमें संक्रमण के लिए संभावनाएं ज्ञात नहीं हैं"। मुझे लगता है जैसे मुझे बात मिलती है, लेकिन मैं सच में नहीं। क्या …

38 automata-theory  randomness  computability 

जटिलता वर्ग में उन एन पी -प्रॉबल्म शामिल होते हैं जो एक बहुपद समय नोंडेटरमिनिस्टिक ट्यूरिंग मशीन द्वारा तय किए जा सकते हैं, जिसमें कम्प्यूटेशनल पथ को स्वीकार करने वाले अधिकांश व्यक्ति होते हैं। यही है, समाधान, यदि कोई हो, इस अर्थ में अद्वितीय है। यह अत्यधिक संभावना नहीं है …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

मैं एक बहुत अस्पष्ट सवाल पूछने जा रहा हूं, क्योंकि सैद्धांतिक कंप्यूटर विज्ञान और गणित के बीच की सीमा रेखा को भेद करना हमेशा आसान नहीं होता है। प्रश्न: क्या आप सीएस के किसी दिलचस्प परिणाम से अवगत हैं, जो या तो ZFC (यानी मानक सेट सिद्धांत) से स्वतंत्र है, …

37 reference-request  lo.logic  set-theory 

में विचार किए जाने पर कई ज्यामितीय समस्याएं आसान होती हैं , लेकिन लिए में NP- पूर्ण (मेरी पसंदीदा समस्याओं में से एक, यूनिट डिस्क कवर सहित)।R1R1R^1RdRdR^dd≥2d≥2d\geq2 क्या किसी को ऐसी समस्या के बारे में पता है जो और लिए पॉलीटाइम सॉल्व है , लेकिन लिए NP-complete है ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 …

37 cc.complexity-theory  reference-request  cg.comp-geom 

हमेशा सैद्धांतिक कंप्यूटर विज्ञान से संबंधित विषयों में आवेदन का एक तरीका है। लेकिन पाठ्यपुस्तकों और स्नातक पाठ्यक्रमों में आमतौर पर इस कारण की व्याख्या नहीं होती है कि ऑटोमेटा सिद्धांत एक महत्वपूर्ण विषय है और क्या अभी भी अभ्यास में है। इसलिए स्नातक छात्रों को ऑटोमेटा सिद्धांत के महत्व …

37 soft-question  fl.formal-languages  automata-theory  teaching 

यह सवाल मैथमैटवर्फ्लो पर लागू गणित के बारे में इसी तरह के सवाल से प्रेरित है , और उस नेगिंग ने सोचा कि TCS के महत्वपूर्ण प्रश्न जैसे P बनाम NP, ZFC (या अन्य सिस्टम) से स्वतंत्र हो सकते हैं। थोड़ा पृष्ठभूमि के रूप में, रिवर्स गणित कुछ महत्वपूर्ण प्रमेयों …

37 cc.complexity-theory  lo.logic  proof-complexity 

वर्ग जड़ों का योग समस्या, दो दृश्यों को देखते हुए पूछता है और बी 1 , बी 2 , ... , ख n , धनात्मक पूर्णांक के लिए कि क्या योग Σ मैं √a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,bnb_1, b_2, \dots, b_n कम से कम, के बराबर, या राशि से अधिकΣमैं√∑iai−−√∑iai\sum_i \sqrt{a_i} …

37 ds.algorithms  big-list  reductions  computing-over-reals 

मुझे अपने खाली समय में TCS करना बहुत पसंद है। हाल ही में मैं एक शौक के रूप में कुछ शोध करने की कोशिश कर रहा हूं। मैं उन लोगों से कुछ अतिरिक्त इनपुट की तलाश कर रहा हूं जो इस पूर्णकालिक काम को करते हैं: - क्या आपको लगता …

37 soft-question  advice-request  research-practice 

हम जानते हैं कि बहुपद पदानुक्रम (यानी एनपी और सह-एनपी) का पहला स्तर पीपी में है, और वह । हम टोडा के प्रमेय से यह भी जानते हैं कि ।PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} क्या हम जानते हैं कि ? यदि नहीं, तो क्यों यह है कि एक साथ ओरेकल …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

जब आप सार्वजनिक रूप से उठाए गए एक प्रश्न को देखते हैं, तो स्टैक-एक्सचेंज पर यहां क्या कहना चाहिए, जिसका उत्तर आपको पता है, क्योंकि आप वर्तमान अनुसंधान परियोजना के हिस्से के रूप में देख रहे हैं? उदाहरण के लिए, मुझे एक TCS.SX प्रश्न दिखाई देता है जिसका उत्तर मुझे …

37 soft-question  research-practice  authorship 

कंप्यूटर कार्यक्रमों की बढ़ती जटिलता और हमारे समाज में तेजी से महत्वपूर्ण स्थिति वाले कंप्यूटरों ने मुझे आश्चर्यचकित किया है कि हम अभी भी सामूहिक रूप से प्रोग्रामिंग भाषाओं का उपयोग क्यों नहीं करते हैं जिसमें आपको औपचारिक प्रमाण देना होगा कि आपका कोड सही तरीके से काम करता है। …

37 reference-request  complexity-classes  computability  pl.programming-languages 

मैं डी-डायमेंशनल हेटिंग सेट समस्या को क्या कहूँगा, इसकी पैरामीटरयुक्त जटिलता में दिलचस्पी है: एक रेंज स्पेस (यानी एक सेट सिस्टम / हाइपरग्राफ) S = (एक्स, आर) दिया गया है, जिसमें सबसे अधिक d और एक पर VC-डाइमेंशन है धनात्मक पूर्णांक k, X में आकार k का एक सबसेट होता …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

जहां तक मैं समझता हूँ, ज्यामितीय जटिलता सिद्धांत कार्यक्रम प्रयास अलग करने के लिए साबित करते हुए कि जटिल मान मैट्रिक्स के permament ज्यादा निर्धारक से गणना करने के लिए कठिन है से।VP≠VNPVP≠VNPVP \neq VNP जीसीटी पेपर्स के माध्यम से स्किमिंग के बाद मेरे पास जो प्रश्न था: क्या यह …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct