reference-request पर टैग किए गए जवाब

मैंने आज निचले हिस्से को पढ़ाया , और छात्रों में से एक ने A C नाम के कारण के बारे में पूछा । आधिकारिक स्पष्टीकरण यह है कि "ए" का अर्थ "अल्टरनेशन" है।AC0AC0AC^0ACACAC मुझे याद है कि कई साल पहले बताया जा रहा था कि निक पिप्पेंजर स्टीव कुक ने …

17 cc.complexity-theory  reference-request  ho.history-overview 

मैं ग्राफ़ की उन कक्षाओं के बारे में पढ़ रहा हूँ जिनके लिए ग्राफ आइसोमॉर्फिज़्म ( ) P में है । इस तरह के एक मामले के रूप में यहाँ बताया गया है कि बाध्यता (प्रत्येक शीर्ष की अधिकतम डिग्री) का ग्राफ है । लेकिन मुझे यह बहुत सार लगा। …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

कई साल पहले मैंने सुना है कि कंप्यूटिंग एक DFA (नियतात्मक) से कम से कम NFA (गैर नियतात्मक परिमित automaton) एक खुला प्रश्न था, के रूप में दिशा विपरीत उपाध्यक्ष जो दशकों के लिए जाना जाता रहा है और अच्छी तरह से एक कुशल के साथ शोध किया है करने …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

संदर्भ: तर्क और ऑटोमेटा के बीच संबंध बुची के प्रमेय में कहा गया है कि स्ट्रिंग्स (MSO) पर मोनाडिक सेकंड ऑर्डर लॉजिक नियमित भाषाओं के वर्ग को पकड़ता है। प्रमाण वास्तव में दर्शाता है कि स्ट्रिंग्स के ऊपर MSO ( या EMSO ) नियमित भाषाओं को पकड़ने के लिए पर्याप्त …

17 reference-request  lo.logic  regular-language  finite-model-theory 

एक स्विच नेटवर्क (नाम का आविष्कार किया गया है) तीन प्रकार के नोड्स के साथ बनाया गया है: एक प्रारंभ नोड एक अंत नोड एक या अधिक स्विच नोड्स स्विच नोड में 3 निकास हैं: बाएं, ऊपर, दाएं; दो राज्यों एल और आर और एक लक्ष्य राज्य टीएल या टीआर …

17 ds.algorithms  reference-request  graph-algorithms  np 

एक छोटे से क्षेत्र में लंबाई चक्रीय दृढ़ीकरण के लिए सबसे अच्छी ज्ञात विधियाँ क्या हैं , कब ? मुझे विशेष रूप से निरंतर-आकार वाले क्षेत्रों, या यहां तक ​​कि में दिलचस्पी है । सामान्य स्पर्शोन्मुख-दक्षता वाले कथन और संदर्भ काफी सराहे जाते हैं।| एफ | ≪ एन एफ = …

17 ds.algorithms  reference-request 

नकारात्मक विरोधी विधि ( ) एक एसडीपी कि क्वांटम क्वेरी जटिलता की विशेषता है। यह व्यापक रूप से उपयोग की जाने वाली प्रतिकूल विधि ( A D V ) का सामान्यीकरण है , और दो बाधाओं को पार करता है जो प्रतिकूल विधि में बाधा डालती हैं:ADV±ADV±ADV^\pmADVADVADV संपत्ति परीक्षण बाधा: …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

मैं दिया शुरू कर शिखर से एक निर्देशित ग्राफ में सरल रास्तों की संख्या का अनुमान करने के लिए कुछ अच्छे बहुपद समय एल्गोरिदम देखते हैं कि बताया गया है को दिया न खत्म होने वाली शिखर । क्या किसी को इस विषय पर एक अच्छे संदर्भ का पता है?tरोंरोंsटीटीt …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

यह अच्छी तरह से ज्ञात है कि यदि आप n गेंदों को n डिब्बे में फेंकते हैं, तो सबसे अधिक लोड किए गए बिन में O(logn)O(log⁡n)O(\log n) गेंदों की अत्यधिक संभावना है। सामान्य तौर पर, कोई व्यक्ति n बिन में m>nm>nm > n गेंदों के बारे में पूछ सकता है …

17 reference-request  pr.probability 

क्या होगा अगर किसी चीज़ को ग्राफ के चौराहे की संख्या (इसके सभी किनारों को कवर करने के लिए आवश्यक छोटी-छोटी संख्या) के कम्प्यूटरीकृत जटिलता के बारे में जाना जाता है ? यह लंबे समय से एन पी-सम्पूर्ण होने के लिए जाना जाता रहा है, और यह स्पष्ट रूप से …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

चूंकि शब्द अतिभारित है, पहले एक संक्षिप्त परिभाषा। एक पॉसेट एक सेट जो आंशिक ऑर्डर साथ संपन्न होता है । दो तत्वों देखते हुए , हम ( ) को में उनकी कम से कम ऊपरी सीमा के रूप में परिभाषित कर सकते हैं , और इसी तरह (मिलना) (join) को …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

मैं प्रोग्रामिंग भाषाओं के सिद्धांत के लिए नया हूं और मैं प्रोग्रामिंग भाषाओं के औपचारिक शब्दार्थ के लिए एक संसाधन पर एक अच्छे संसाधन की तलाश कर रहा हूं। विशेष रूप से संरचनात्मक परिचालन शब्दार्थ की तलाश में। मुझे कुछ पुस्तक सिफारिशें मिलीं। लेकिन मैं एक अधिक परिचयात्मक स्तर में …

17 reference-request  pl.programming-languages  semantics  formal-systems 

मैं यह पता लगाना चाहता हूं कि एनपी-पूर्ण समस्या का दूसरा समाधान खोजने की समस्या के एनपी-पूर्णता के बारे में कोई सामान्य परिणाम या उदाहरण हैं। अधिक सटीक रूप से, मुझे निम्नलिखित फ़ॉर्म की किसी भी समस्या में दिलचस्पी है: एक समाधान को देखते हुए एक उदाहरण के लिए मैं …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

जहां तक ​​मैं समझता हूं, सभी जानते हैं कि सिम्प्लेक्स एल्गोरिदम के लिए नियतात्मक धुरी नियमों में विशिष्ट इनपुट होते हैं, जिस पर एल्गोरिथ्म को इष्टतम खोजने के लिए घातीय समय (या कम से कम बहुपद नहीं) की आवश्यकता होती है। हमें इन उदाहरणों को 'पैथोलॉजिकल' कहते हैं क्योंकि आमतौर …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

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

17 ds.algorithms  reference-request  algebra  algebraic-complexity