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

शॉर्ट में: मान लीजिए कि एक तरफ़ा क्रमपरिवर्तन मौजूद है, तो क्या हम एक ऐसा निर्माण कर सकते हैं जिसका कोई जाल न हो? और जानकारी: एक-तरफ़ा क्रमपरिवर्तन एक क्रमपरिवर्तन जो संगणना करना आसान है, लेकिन उल्टा कठिन है ( एक अधिक औपचारिक परिभाषा के लिए वन-वे-फ़ंक्शन टैग विकी देखें …

9 cr.crypto-security  one-way-function 

मैं एक डेटा संरचना की तलाश कर रहा हूं, जो मूल रूप से नक्शों का एक पेड़ है, जहां प्रत्येक नोड पर नक्शे में कुछ नए तत्व हैं, साथ ही इसके मूल नोड के नक्शे में तत्व भी हैं। यहाँ नक्शे से मेरा मतलब है कि चाबियाँ और मूल्यों के …

9 ds.data-structures  tree  hash-function 

निम्नलिखित निर्णय समस्या एनपी-पूर्ण है: चलो जीजीG एक अप्रत्यक्ष ग्राफ और हो b ≤ cख≤सीb \le c दो पूर्णांक। क्या प्रत्येक शीर्ष के लिए चयन करना संभव हैजीजीG बिल्कुल सही खखb विभिन्न पड़ोसियों जैसे कि कोई भी नोड अधिक नहीं चुना जाता है ccc बार। मुकदमा b=1b=1b = 1 किसी …

9 cc.complexity-theory  np-hardness  graph-algorithms 

एलिस और बॉब अपनी इच्छा के अनुसार अपने मृतक चाचा चार्ली की संपत्ति ( असतत वस्तुओं का एक संग्रह ) को विभाजित कर रहे हैं । पहले A एक आइटम चुनता है, फिर B, फिर A, और इसी तरह से।XXX ऐलिस और बॉब प्रत्येक के लिए योगात्मक उपयोगिता फ़ंक्शंस हैं …

9 gt.game-theory 

जब मैंने माइकल हेल्ड और रिचर्ड एम। कार्प द्वारा " ए डायनेमिक प्रोग्रामिंग अप्रोच टू सीक्वेंसिंग प्रॉब्लम्स " देखा, तो मैं निम्नलिखित प्रश्न के साथ आया: टीएसपी के लिए उनके एल्गोरिथ्म की जटिलता क्यों है (∑n−1k=2k(k−1)(n−1k))+(n−1)(∑k=2n−1k(k−1)(n−1k))+(n−1)(\sum_{k=2}^{n-1}k(k-1)\binom{n-1}{k})+(n-1) (पृष्ठ -1 199), मेरा मतलब है कि वे कारक k को कहाँ लेते हैं …

9 ds.algorithms  tsp  exp-time-algorithms 

यह एक पिछले प्रश्न का एक विशेष संस्करण है: मैट्रिक्स की ईगेंडेकोम्पोजिशन खोजने की जटिलता । NxN सममितीय मैट्रिसेस के लिए, यह ज्ञात है कि O (N ^ 3) समय स्वदेश विघटन की गणना करने के लिए है। सवाल यह है: क्या हम उप-घन जटिलता प्राप्त कर सकते हैं? धन्यवाद।

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

आप किसी पार्टी को ईमानदार होने के लिए कैसे बाध्य कर सकते हैं (प्रोटोकॉल नियमों का पालन करना)? मैंने कुछ तंत्रों जैसे प्रतिबद्धता, प्रमाण और आदि को देखा है, लेकिन वे पूरी समस्या का समाधान नहीं करते हैं। यह मुझे लगता है कि प्रोटोकॉल डिजाइन और इस तरह के तंत्र …

9 cr.crypto-security  gt.game-theory 

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

9 cc.complexity-theory  soft-question  big-picture 

मान लीजिए हमें एक ग्राफ दिया गया है जीGG और पैरामीटर के , ϵk,ϵk,\epsilon। क्या मूल्यों की सीमाएं हैंकkk (या यह सभी के लिए उल्लेखनीय है कkk) जिसके लिए यह परीक्षण करना संभव है कि क्या जीGG है εϵ\epsilon-अगर कम से कम आकार का एक स्वतंत्र सेट होने से कkk …

9 ds.algorithms  graph-theory  reference-request  property-testing 

मैंने हाल ही में क्वांटम सीएस में कुछ भौतिकी से संबंधित प्रश्न "आयात" के बारे में सोचा है: हैमिल्टनियन सिस्टम में क्षेत्र-कानून की घटना की धारणा आम तौर पर कुछ जाली पर एक स्थानीय हैमिल्टन के लिए होती है, जिसका भू-भाग एक संपत्ति प्रदर्शित करता है जिसमें किसी भी बंद …

9 quantum-computing  big-picture 

यह सर्वविदित है कि एनपी-कम्प्लीट प्रॉब्लम जिसे सबसेट सम कहा जाता है, में एक एफपीटीएएस है। मैं सोच रहा था अगर वहाँ एक PSPACE पूरी समस्या है जो भी एक FPTAS मौजूद है? अग्रिम में धन्यवाद।

9 ds.algorithms  space-bounded  big-picture 

हम आम तौर पर एक एल्गोरिथ्म को "अच्छा एल्गोरिथ्म" कहते हैं, अगर यह सबसे खराब समय में बहुपत्नी है। लेकिन कुछ मामलों में (उदाहरण के लिए सिम्प्लेक्स एल्गोरिथम), अंतिम रूप से एल्गोरिथम का सबसे खराब मामला घातीय है, यह व्यवहार में बहुत अच्छा काम कर सकता है। क्या सिम्प्लेक्स एल्गोरिथम …

9 ds.algorithms 

मैट्रिक्स गुणन नियमित (पंक्ति - स्तंभ आंतरिक उत्पाद) तकनीक का उपयोग करके गुणा और लेता हैO(n3)O(n3)O(n^{3})ओ (n3)O(n3)O(n^{3})अतिरिक्त। हालांकि आकार के बराबर दोनों प्रविष्टियों के प्रत्येक आकार में समान आकार की प्रविष्टियां (बिट्स की संख्या) मान लेनाममm बिट्स, अतिरिक्त संचालन वास्तव में होता है ओ (n3n m ) = O (n4म …

9 cc.complexity-theory  algebraic-complexity 

बन्द है। यह सवाल ऑफ टॉपिक है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि यह सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज के लिए विषय पर हो । 3 साल पहले बंद हुआ । क्या एक सार्वभौमिक पुनरावर्ती …

9 lo.logic  computability  pl.programming-languages 

IP (2pfa) और AM (2pfa) क्रमशः निजी और सार्वजनिक सिक्का संस्करणों द्वारा बंधी हुई त्रुटियों से पहचानी जाने वाली भाषाओं के वर्ग हैं, जो सत्यापनकर्ताओं के साथ संवादात्मक प्रूफ सिस्टमों के साथ हैं जो दो-तरफ़ा इनपुट हेड के साथ संभाव्य परिमित ऑटोमेटा हैं। क्या इन वर्गों के किसी करीबी गुण …

9 cc.complexity-theory  interactive-proofs