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

मान लीजिए और एसएटी के लिए एक तेजी से रैखिक-समय एल्गोरिथ्म कल दिखाई देता है। अचानक आरएसए असुरक्षित है, हमारे आधुनिक संचार प्रणाली का अधिकांश हिस्सा टूट गया है, और हमें इस बात पर पुनर्विचार करने की आवश्यकता है कि कैसे एक-दूसरे के लिए रहस्य बनाए रखें।पी= एनपीपी=एनपीP = NP …

25 cr.crypto-security 

मुझे उम्मीद है कि यह एक राजनीतिक रूप से गलत सवाल नहीं है, लेकिन पीएचडी छात्र के लिए जो आमतौर पर CCC / ITCS / ICALP (और कभी-कभी FOCS / STOC पर) में प्रकाशित होता है, क्या यह कम महत्वपूर्ण कार्यों को प्रकाशित करने के लिए हानिकारक (कैरियर-वार) हो सकता …

25 soft-question  career 

हाल ही में, रयान विलम्स ने साबित किया कि जटिलता का एक पृथक्करण प्राप्त करने के लिए प्राकृतिक प्रूफ में निर्माण अपरिहार्य है: और । टी सी 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} नेचुरल प्रूफ में कंस्ट्रक्टिविटी एक शर्त है कि सर्किट कॉम्प्लेक्सिटी में सभी कॉम्बीनेटरियल प्रूफ संतुष्ट हो जाते हैं और हम यह तय …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

यह सैद्धांतिक कंप्यूटर विज्ञान में प्रमुख अनसुलझी समस्याओं का जवाब है ? सवाल कहा गया है कि यह खुला है अगर एनपी में एक विशेष समस्या की आवश्यकता है Ω(n2)Ω(n2)\Omega(n^2) समय। जवाब के तहत टिप्पणियों को देखकर मुझे आश्चर्य हुआ: पैडिंग और समान तरकीबों के अलावा, एनपी में एक दिलचस्प …

25 cc.complexity-theory  np  p-vs-np 

संदर्भ-मुक्त व्याकरण (सीएफजी) से जुड़े कई पत्रों में, वहाँ प्रस्तुत ऐसे व्याकरणों के उदाहरण अक्सर उनके द्वारा उत्पन्न भाषा की आसान विशेषताओं को स्वीकार करते हैं। उदाहरण के लिए: S→aaSbS→aaSbS \to a a S b S→S→S \to जनरेट करता है ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S→aSbS→aSbS \to a …

25 fl.formal-languages  context-free  context-free-languages 

सामान्य संख्या क्षेत्रों में पूर्णांक फैक्टरिंग की कम्प्यूटेशनल जटिलता के बारे में क्या जाना जाता है? अधिक विशेष रूप से: पूर्णांक से अधिक हम उनके बाइनरी विस्तार के माध्यम से पूर्णांक का प्रतिनिधित्व करते हैं। सामान्य संख्या क्षेत्रों में पूर्णांकों का समरूप निरूपण क्या है? क्या यह ज्ञात है कि …

25 cc.complexity-theory  nt.number-theory  comp-number-theory 

सजमेरी की नियमितता लेम्मा कहती है कि हर घने ग्राफ को कई द्विदलीय विस्तारक ग्राफ के संघ के रूप में अनुमानित किया जा सकता है । अधिक सटीक रूप से, सेट में अधिकांश वर्टीकल का एक विभाजन है, जैसे सेट के अधिकांश जोड़े द्विपद विस्तारक (विभाजन में सेट की संख्या …

25 graph-theory  co.combinatorics  expanders 

यह प्रश्न शुद्ध जिज्ञासा से उत्पन्न होता है (यह एक स्ट्रिंग को अनशफल करने के बारे में सोचते हुए सामने आया , लेकिन मुझे यकीन नहीं है कि यह वास्तव में संबंधित है) तो मुझे आशा है कि यह उपयुक्त है। विभिन्न ग्राफ उत्पाद हैं, और मुझे उनमें से किसी …

25 cc.complexity-theory  graph-algorithms 

नुथ की द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग (अध्याय 5, आयत 3.2) का वॉल्यूम III में निम्न तालिका शामिल है जिसमें सभी लिए, आकार एक अन सेट से सबसे छोटे तत्व का चयन करने के लिए आवश्यक तुलनाओं की सटीक न्यूनतम संख्या को सूचीबद्ध करना शामिल है। । यह तालिका, जाने-माने …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

मैं अपने पहले कंप्यूटर विज्ञान सम्मेलन में भाग लूंगा और सम्मेलनों को बेहतर बनाने के लिए सलाह पढ़ने के बाद मैंने देखा कि कई सुझाव उनके पहले सम्मेलन में भाग लेने वाले छात्रों के बारे में थे। अपने पहले सम्मेलन में भाग लेने वाले एक स्नातक छात्र के लिए आपके …

25 soft-question  big-list  conferences 

रॉबर्टसन और सीमोर द्वारा परिणाम परीक्षण के लिए एक एल्गोरिदम का प्रदर्शन करता है कि क्या एक निश्चित ग्राफ का एक मामूली है । मेरे इस विषय पर ढाई प्रश्न हैं:O(n3)O(n3)O(n^3)GGGHHH 1) ऐसा लगता है कि इस एल्गोरिथ्म में सुधार हुए हैं। वर्तमान में सबसे प्रसिद्ध एल्गोरिथ्म क्या है? 2a) …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

मैंने कई पत्रों में पढ़ा है कि एक तरफ़ा कार्यों का अस्तित्व व्यापक रूप से माना जाता है। क्या कोई इस पर प्रकाश डाल सकता है कि ऐसा क्यों है? एक तरफ़ा कार्यों के अस्तित्व का समर्थन करने के लिए हमारे पास क्या तर्क हैं?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

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

25 type-theory 

एक अनिर्दिष्ट और अनिर्धारित ग्राफ को देखते हुए और यहां तक कि पूर्णांक एक कश्मीर , कोने की गिनती सेट के कम्प्यूटेशनल जटिलता क्या है एस ⊆ वी ऐसा है कि | एस | = k और G के सबग्राफ को शीर्ष सेट S तक सीमित किया गया है जो …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

एसएटी सॉल्वर बीजगणितीय हमलों में बहुत महत्वपूर्ण हैं , उदाहरण के लिए वॉकसैट और मिनीसैट । हालाँकि, यहाँ उपलब्ध बेंचमार्क समस्याओं को हल करते समय दोनों के बीच बहुत बड़ा प्रदर्शन अंतर होता है - इन समस्याओं के लिए वाल्कैट मिनिसैट की तुलना में बहुत तेज है। ऐसा क्यों है? …

25 ds.algorithms  sat