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

पृष्ठभूमि यह सवाल 'ड्रैकुला' नामक एक बोर्ड गेम से प्रेरित है। इस खेल में एक पिशाच और चार शिकारी हैं, शिकारियों का उद्देश्य पिशाच को पकड़ना है। खेल यूरोप में होता है। खेल निम्नानुसार दिखता है: 1. शिकारी खिलाड़ी शहरों में सभी शिकारी डालता है। एक ही शहर में एक …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory 

हर बार जब मैं सिखाने एनपी पूर्णता, छात्रों को पूछना "वहाँ कोई समस्या है कि कर रहे हैं जाना जाता एनपी से संबंधित नहीं है?" आप कैसे जवाब देंगे? मैं आमतौर पर उन्हें एक उदाहरण के रूप में एक अवांछनीय समस्या देता हूं, लेकिन यह अक्सर अच्छी तरह से नहीं …

13 cc.complexity-theory  complexity-classes  teaching 

मैं एक एसएटी सॉल्वर पर भरोसा करने की संभावना की जांच करना शुरू कर रहा हूं, जिसमें मुझे दिलचस्पी है एक अनुकूलन समस्या से निपटने के लिए, और वर्तमान में मैं एक सर्वेक्षण की तलाश कर रहा हूं जो एसएटी के वेरिएंट के "चतुर" परिवर्तनों का उदाहरण पेश करेगा (अर्थात, …

13 ds.algorithms  reference-request  sat  optimization 

मैं गिनती के रूप में संदर्भित करता हूं वह समस्या है जो किसी फ़ंक्शन के समाधान की संख्या खोजने में शामिल होती है। दरअसल, यह देखते हुए एक समारोह च: एन→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\} (जरूरी नहीं कि ब्लैक बॉक्स), अनुमानित # { X ∈ एन∣ च( x …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

निश्चित पैरामीटर और सन्निकटन कठिन समस्याओं को हल करने के लिए पूरी तरह से अलग दृष्टिकोण हैं। उनकी अलग प्रेरणा है। अनुमानित परिणाम के साथ तेजी से परिणाम के लिए अनुमान लग रहा है। निश्चित पैरामीटर घातांक के संदर्भ में समय की जटिलता के साथ सटीक समाधान की तलाश करता …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

सी 1 = 1 और सी 2 < सी 3 <के साथ सिक्का संप्रदायों को देखते हुए । । < c n यादृच्छिक संख्या में समान रूप से वितरित की जा रही है [ 2 , N ] । विषम रूप से, सिक्कों के किस अंश के लिए लालची एल्गोरिथ्म …

13 ds.algorithms 

एनपी मान लें! = CoNP, तो coNP- पूर्ण समस्या के लिए कोई बहुपद आकार का प्रमाण पत्र नहीं है। लेकिन उपसंचाई के आकार के प्रमाण पत्र के बारे में क्या? विशेष रूप से coSAT के लिए, क्या सूत्र को सिद्ध करने के लिए उपप्रकारक आकार का प्रमाण असंतोषजनक है? यदि …

13 cc.complexity-theory  proof-complexity 

आनुवंशिक एल्गोरिदम एक बड़ी आबादी के साथ कम पीढ़ियों में विकसित होते हैं, लेकिन एक पीढ़ी की गणना करने में अधिक समय लेते हैं। क्या जल्द से जल्द एक व्यवहार्य समाधान पर पहुंचने के लिए, उन दो कारकों को संतुलित करने के लिए कुछ गाइड लाइनें हैं? इसके अलावा, यह …

13 ds.algorithms  machine-learning  genetic-algorithms 

मैंने अधिकतम स्वतंत्र सेट के निम्नलिखित एलपी छूट की कोशिश की है max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 मुझे कोशिश की गई प्रत्येक क्यूबिक गैर-द्विपदी ग्राफ के लिए प्रत्येक चर के लिए 1/21/21/2 मिलता है । क्या सभी कनेक्टेड क्यूबिक गैर-द्विपदीय …

13 graph-theory  co.combinatorics  linear-programming 

यह सर्वविदित है कि हफ़मैन कोड को समय में गणना करने के लिए सबसे खराब स्थिति इष्टतम एल्गोरिदम है । यह दो orthogonal तरीकों में सुधार किया गया है:θ(nlgn)θ(nlg⁡n)\theta(n\lg n) इष्टतम उपसर्ग मुक्त कोड (जैसे आकार के तेजी से गणना की जा सकती है, तो अलग आवृत्तियों के सेट छोटा …

13 cc.complexity-theory 

चोंग, हान और लाम से पता चला कि अनिर्दिष्ट सेंट-कनेक्टिविटी में EREW बच्चों की गाड़ी पर हल किया जा सकता के साथ समय हे ( मीटर + n ) प्रोसेसर।O(logn)O(logn)O({\log}n)O(m+n)O(m+n)O(m+n) निर्देशित प्लानर ग्राफ़ में सेंट-कनेक्टिविटी के लिए सबसे अच्छा ज्ञात समानांतर एल्गोरिदम क्या है ? कृपया चल रहे समय, नियतात्मक …

13 ds.algorithms  graph-theory  dc.parallel-comp 

यह " मैं एक पेपर कैसे रेफरी करता हूं? " के सामान्य प्रश्न से संबंधित है । मैं एक सम्मेलन के लिए एक पेपर की समीक्षा कर रहा हूं, और इस पेपर को अस्वीकार कर दिया जाना चाहिए, क्योंकि यह प्रकाशन के लिए पर्याप्त महत्वपूर्ण नहीं है और इसके कुछ …

13 soft-question  paper-review 

मैंने पाया कि मेरे सिस्टम के लिए एक अच्छे मॉडल के रूप में लेबल किए गए ट्रांज़िशन सिस्टम हैं, अर्थात् एलटीएस का उपयोग करके मॉडलिंग के उपयोग के मामलों के बारे में एक पेपर है। सवाल यह है कि एलटीएस के बारे में आसानी से क्या साबित किया जा सकता …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

वर्टेक्स कवर को इंडिपेंडेंट सेट और इसके विपरीत आसानी से कम किया जा सकता है। हालांकि, मानकीकृत जटिलता के संदर्भ में, स्वतंत्र सेट वर्टेक्स कवर की तुलना में कठिन है। एक कर्नेल के साथ कोने वर्टेक्स कवर के लिए मौजूद है, लेकिन स्वतंत्र सेट है डब्ल्यू 1 कठिन।2k2k2k स्वतंत्र सेट …

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

संकलक सिद्धांत एक बहुत सुंदर विषय लगता है। क्षेत्र में कुछ खुली समस्याएं या वर्तमान अनुसंधान क्या हो रहे हैं?

13 soft-question  big-list  open-problem  compilers