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

यह ज्ञात है कि कई तर्क समस्याएँ (उदाहरण के लिए कई मोडल लॉजिक्स की संतोषजनक समस्याएँ) निर्णायक नहीं हैं। एल्गोरिथ्म सिद्धांत में कई अवांछनीय समस्याएं भी हैं, उदाहरण के लिए दहनशील अनुकूलन में। लेकिन व्यवहार में हीरिस्टिक और अनुमानित एल्गोरिदम व्यावहारिक एल्गोरिदम के लिए अच्छी तरह से काम करते हैं। …

13 lo.logic  approximation-algorithms  undecidability 

एक को देखते हुए मैट्रिक्स तर्कसंगत प्रविष्टियों के साथ। की जांच करने की जटिलता विकर्ण है?ए एn×nn×nn\times nAAAAAA मुझे संदेह है कि यह पी में किया जा सकता है, लेकिन मुझे कोई संदर्भ नहीं पता है। हालांकि, एक और दिलचस्प सवाल यह है कि क्या इस समस्या को पकड़ने के …

13 cc.complexity-theory  linear-algebra  matrices 

मैं " (और / या अनंत शब्दों में ) में परिमित शब्दों की दो नियमित भाषाओं के बीच" निकटता "की धारणा को परिभाषित करना चाहता हूं । मूल विचार यह है कि हम चाहते हैं कि दो भाषाएँ पास हों, यदि वे कई शब्दों से भिन्न न हों। हम किसी …

13 reference-request  fl.formal-languages  regular-language 

परिमित ऑटोमेटा द्वारा मान्यताप्राप्त भाषा के वर्ग के बारे में क्या ज्ञात है जो एक ही प्रारंभिक और स्वीकृत राज्य है? यह नियमित भाषाओं का एक उचित उपसमूह है (क्योंकि ऐसी हर भाषा में रिक्त स्ट्रिंग शामिल है), लेकिन यह कितना कमजोर है? क्या एक साधारण बीजगणितीय लक्षण वर्णन है? …

13 fl.formal-languages  automata-theory  algebra  regular-language 

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

13 reductions  dc.distributed-comp  concurrency 

यदि गेंदों को यादृच्छिक रूप से n डिब्बे में रखा जाता है , तो सबसे भारी लोड बिन में उच्च संभावना के साथ गेंदें होती हैं। में "सरल सारणीकरण हैशिंग की शक्ति" , Pătraşcu और Thorup उल्लेख नहीं है कि "Chernoff-Hoeffding सीमित स्वतंत्रता के साथ अनुप्रयोगों के लिए सीमा" ( …

13 ds.data-structures  randomness  hash-function  independence 

मैं एक डेटा संरचना की तलाश कर रहा हूं , जो आकार पूर्णांक तालिका को बनाए रखे , और समय के बाद संचालन को में अनुमति दे ।n O ( लॉग एन )टीttnnnओ ( लॉग)n )O(log⁡n)O(\log n) वृद्धि ( ए , बी )increase(a,b)\text{increase}(a,b) , जो बढ़ाता ।t [ a ] …

13 ds.data-structures  cg.comp-geom 

शिक्षाविदों के बाहर, मेरी 'शक्तियों' के उपयोग क्या हैं? मैं शिक्षण और प्रकाशन पत्र के अलावा और क्या कर सकता हूं? मैं अपनी शक्तियों को कहां लागू कर सकता हूं? तर्क के लिए: कृपया मान लें कि मेरे पास एल्गोरिदम / टीसीएस में पीएचडी है और 'सामान' का एक बहुत …

13 soft-question  big-picture  career 

प्रेरणा: एक कोऑथोर एक पांडुलिपि संपादित करता है और मैं संपादन का एक स्पष्ट सारांश देखना चाहूंगा। यदि आप दोनों पाठ को चारों ओर ले जा रहे हैं (जैसे, संरचना को फिर से व्यवस्थित करना) और स्थानीय संपादन कर रहे हैं, तो सभी "भिन्न" जैसे उपकरण बेकार हो जाते हैं …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

विभाजन की समस्या कमजोर रूप से एनपी-पूर्ण है क्योंकि इसमें बहुपद (छद्म-बहुपद) समय एल्गोरिथ्म है यदि इनपुट पूर्णांक कुछ बहुपद से बंधे हैं। हालाँकि, 3-विभाजन दृढ़ता से एनपी-पूर्ण समस्या है भले ही इनपुट पूर्णांक एक बहुपद द्वारा बाध्य हो। मान लिया जाये कि, , हम साबित कर सकते हैं कि …

13 cc.complexity-theory  np-hardness  partition-problem 

याद रखें कि चौड़ाई एक संकल्प निराकरण की एक CNF सूत्र के एफ में होने वाली किसी भी खंड में शाब्दिक की अधिकतम संख्या है आर । हर के लिए डब्ल्यू , वहाँ unsatisfiable सूत्रों हैं एफ 3-CNF सेंट में के हर संकल्प निराकरण एफ कम से कम चौड़ाई की …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

मैंने निम्नलिखित गेम का सामना किया। मैं अनुरोध के अनुसार इसे स्थानांतरित करूँगा। एक बग हलकों का दौरा कर रहा है, और एक विरोधी अपनी यात्रा के समय को अधिकतम करने की इच्छा रखता है। विपक्षी हर मोड़ पर एक वृत्त रखता है। बग यह वर्तमान स्थिति से सीधे नवीनतम …

13 gt.game-theory 

यह देखना आसान है कि अगर तो कुल खोज समस्याएं हैं, जो बहुपद समय में हल नहीं की जा सकती हैं (कुल खोज समस्या बनाएं) सदस्यता और गवाह के लिए गवाह दोनों के पास होना)।एन पीएन पी ∩ सी ओ एन पी ≠ पीNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}एन पीNP\mathsf{NP} क्या काफिला भी …

13 cc.complexity-theory  reference-request  search-problem 

हम कहते हैं कि एक समारोह है समय-constructible , अगर वहाँ एक नियतात्मक बहु टेप मौजूद मशीन ट्यूरिंग कि लंबाई के सभी आदानों पर ज्यादा से ज्यादा बनाता है चरणों और प्रत्येक के लिए लंबाई का कुछ इनपुट मौजूद है, जिस पर M अत्यधिक रूप से f (n) चरण बनाता …

13 cc.complexity-theory  time-complexity  terminology 

यह सवाल बॉक्स की बाधाओं (बॉक्स-क्यूपी) के साथ द्विघात प्रोग्रामिंग समस्याओं के बारे में है, अर्थात, फॉर्म की अनुकूलन समस्याएं मिनिमम अधीन ।एक्स ∈ [ 0 , 1 ] nच( x ) = एक्सटीअ x + सटीएक्सf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}एक्स ∈[0,1 ]nx∈[0,1]n\mathbf{x} \in [0,1]^n यदि सकारात्मक …

13 ds.algorithms  optimization  exp-time-algorithms