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

कार्प-लिप्टन Theoem कहा गया है कि अगर , तो यह संक्षिप्त हो । इसलिए, और बीच के अलगाव को मानते हुए , no समस्या से संबंधित होगी ।एन पी ⊂ पी / पी ओ एल वाईएनपी⊂पी/पीओएलy\mathsf{NP} \subset \mathsf{P/poly}पी एचपीएच\mathsf{PH}Σपी2Σ2पी\mathsf{\Sigma^P_2}Σपी2Σ2पी\mathsf{\Sigma^P_2}Σपी3Σ3पी\mathsf{\Sigma^P_3}एन पीएनपी\mathsf{NP}पी / पी ओ एल वाईपी/पीओएलy\mathsf{P/poly} मुझे निम्नलिखित प्रश्न में दिलचस्पी …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

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

20 ds.algorithms  tree  ai.artificial-intel  genetic-programming 

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

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

यह एक स्पष्ट निर्माण करने के लिए संभव है 0 / 1 के साथ मैट्रिक्स एन 1.5 लोगों में इस तरह है कि हर एन 0.499 × एन 0.499 submatrix की तुलना में कम होता है एन 0.501 लोगों को?N× एनएन×एनN \times N 0/10/10/1N1.5N1.5N^{1.5}N0.499×N0.499N0.499×N0.499N^{0.499} \times N^{0.499}N0.501N0.501N^{0.501} या शायद ऐसी संपत्ति …

20 co.combinatorics  matrices  pseudorandomness  pseudorandom-generators 

शीर्षक कमोबेश यह सब कहता है, लेकिन मुझे लगता है कि मैं थोड़ी पृष्ठभूमि और कुछ विशिष्ट उदाहरण जोड़ सकता हूं, जिनमें मेरी दिलचस्पी है। वर्णनात्मक जटिलता सिद्धांतकारों, जैसे कि इम्मरमन और फागिन ने तर्क का उपयोग करते हुए कई जाने-माने जटिलता वर्गों की विशेषता बताई है। उदाहरण के लिए, …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

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

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

चर्चा : मैं हाल ही में संचार जटिलता में विभिन्न चीजों को सीखने के लिए कुछ व्यक्तिगत समय बिता रहा हूं। उदाहरण के लिए, मैंने खुद को अरोरा / बराक में संबंधित अध्याय के साथ फिर से परिचित किया है, कुछ पत्र पढ़ना शुरू कर दिया है, और कुशिलेवित्ज / …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

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

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

यह अच्छी तरह से जाना जाता है कि मॉड्यूलर एक्सपेंसेशन (एक आरएसए ऑपरेशन का मुख्य हिस्सा) कम्प्यूटेशनल रूप से महंगा है, और जहां तक ​​मैं चीजों को समझता हूं मोंटगोमरी मॉड्यूलर एक्सपेंनेरेशन की तकनीक पसंदीदा तरीका है। मॉड्यूलर घातांक को भी क्वांटम फैक्टरिंग एल्गोरिदम में प्रमुखता से दिखाया गया है, …

20 cr.crypto-security  quantum-computing  factoring 

पांच जुड़े हुए प्रश्न पूछे जाते हैं, और एक एकीकृत उत्तर के लिए आशा की जाती है: Q1: क्या वहाँ मौजूद भाषाओं कि मान्यता प्राप्त हैं पूरी तरह में उन लोगों के ट्यूरिंग मशीन द्वारा जिसका क्रम एक्स्पोनेंट्स अनिर्णनीय हैं ?LLLPPP Q2: क्या इन ट्यूरिंग मशीनों के उदाहरणों का निर्माण …

20 cc.complexity-theory 

एक परिमित वर्णमाला सिग्मा पर "परिपत्र" भाषाओं के निम्नलिखित वर्ग को परिभाषित करें। दरअसल, यह नाम डीएनए कंप्यूटिंग के क्षेत्र में उपयोग होने वाली एक अलग चीज को दर्शाने के लिए पहले से मौजूद है। AFAICT, यह भाषाओं का एक अलग वर्ग है। एक भाषा एल सभी शब्दों के लिए …

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

पी = पी0p=p0p=p_0पी = पी1p=p1p=p_1पी0p0p_0पी1p1p_1 एक उदाहरण ग्राफ पर स्पिन कॉन्फ़िगरेशन की गणना कर रहा है। भारित उचित रंग, स्वतंत्र सेट की गणना करते हुए, यूलरियन सबग्राफ क्रमशः कट्टर, पॉट्स और इस्सिंग मॉडल के विभाजन कार्यों के अनुरूप हैं, जो "उच्च तापमान" के लिए अनुमानित और "कम तापमान" के लिए …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

जटिलता वर्ग , कुछ समस्याएं हैं जो वर्ग , अर्थात नियत समांतर एल्गोरिदम के साथ समस्याएं। अधिकतम प्रवाह समस्या एक उदाहरण है। और ऐसी समस्याएँ हैं जिनका में होना , लेकिन एक प्रमाण अभी तक नहीं मिला है।PP\mathsf{P}एन सीNCNC\mathsf{NC}NCNC\mathsf{NC} बिल्कुल सही मिलान समस्या सबसे मौलिक समस्या ग्राफ सिद्धांत में उठाया …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

मैं पेज रैंक की कल्पना करने के लिए जंग ( http://jung.sourceforge.net/ ) का उपयोग कर रहा था और इसे 100 नोड से परे स्केल करने के लिए थोड़ा धीमा और मुश्किल पाया। मैं सोच रहा था कि नेटवर्क / सोशल नेटवर्क विश्लेषण और विज़ुअलाइज़ेशन के लिए लोग अन्य उपकरणों का …

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

ग्रीनलाव, हूवर और रुज़ो (पीएस) (पीडीएफ) द्वारा "ए कम्पलेनियम ऑफ प्रॉब्लम्स कम्प्लीट ऑफ़ पी" के पेपर में, पी में समस्याओं की एक सूची है जो कि एनसी में नहीं जानी जाती है और पी-पूरा होने के लिए ज्ञात नहीं है । (यह सूची करप और रामचंद्रन द्वारा उत्कृष्ट सर्वेक्षण में …

20 cc.complexity-theory  open-problem  circuit-complexity