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

2dca का (दो-तरफ़ा निर्धारक एक-काउंटर ऑटोमेटा) (पीटरसन, 1994) निम्नलिखित एकांगी भाषा को पहचान सकता है: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} क्या 2dca द्वारा मान्यता प्राप्त कोई अन्य अनौपचारिक भाषा है? टिप्पणी है कि यह अभी भी अज्ञात है कि क्या 2dca ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = …

17 fl.formal-languages  automata-theory  counter-automata 

( यहां भी पूछा , कोई जवाब नहीं) एक -quantum विस्तारक एक वितरण है ν से अधिक एकात्मक समूह यू ( घ ) संपत्ति उस के साथ: क) | s u p p ν | = घ , ख) ‖ ई यू ~ ν यू ⊗ यू † - ई …

17 quantum-computing  spectral-graph-theory 

एक भग्न भूलभुलैया एक भूलभुलैया है जिसमें स्वयं की प्रतियां शामिल हैं। उदाहरण के लिए, इस लेख से मार्क जेपी वुल्फ द्वारा निम्नलिखित : MINUS पर शुरू करें और PLUS के लिए अपना रास्ता बनाएं। जब आप भूलभुलैया की एक छोटी कॉपी दर्ज करते हैं, तो उस कॉपी का अक्षर …

17 computability  fractals 

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

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

मैं मनमाने आकार और सीमा के दो बाइनरी सर्च ट्री को मर्ज करने के लिए एक एल्गोरिथ्म की तलाश कर रहा हूं। जिस स्पष्ट तरीके से मैं इसे लागू करने के बारे में जाऊंगा वह पूरे उपप्रकार को खोजने के लिए होगा जिसकी सीमा दूसरे पेड़ में एक मनमाना बाहरी …

17 ds.algorithms  ds.data-structures  tree 

मान लेते हैं कि हमने एक सार्वभौमिक क्वांटम कंप्यूटर बनाया है। सुरक्षा से संबंधित मुद्दों (क्रिप्टोग्राफी, गोपनीयता, ...) को छोड़कर वर्तमान दुनिया की कौन सी समस्याएं इसका उपयोग करने से लाभ उठा सकती हैं? मुझे दोनों में दिलचस्पी है: व्यावहारिक प्रविष्टि के लिए वर्तमान में समस्याएँ, वर्तमान में जिन समस्याओं …

17 quantum-computing  application-of-theory 

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

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

हमें का कहना है कि एक ग्राफ चलो है ( एक , ख ) -connected यदि कोई हो को हटाने के एक कोने और किसी भी ख से किनारों जी पत्ते हमेशा एक जुड़ा ग्राफ। उदाहरण के लिए, मानक परिभाषा के अनुसार एक k -connected ग्राफ, ( k - 1 …

17 ds.algorithms  graph-theory  graph-algorithms 

यह देखते हुए कि , कितने -DNF के साथ वैरिएबल और क्लॉज़ हैं, टॉटोलॉजी है? (या कितने -CNFs unsatisfiable हैं?)के एन एम केm,n,km,n,km, n, kkkknnnmmmkkk

17 co.combinatorics  lo.logic  sat 

यह प्रश्न मेरे पिछले प्रश्नों में से एक के समान है । यह ज्ञात है कि , t tewewidth के रेखांकन के लिए निषिद्ध नाबालिग है ।Kt+2Kt+2K_{t+2}ttt क्या रेखांकन (पूर्ण रेखांकन और ग्रिड ग्राफ के अलावा अन्य) का एक अच्छी तरह से निर्मित, पैरामीटरयुक्त, अनंत परिवार है जो हर ट्रेविदथ …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

एक समतल पर बिंदुओं का एक समूह है। एक यादृच्छिक बिंदु x is S एक ही विमान पर दिया गया है। कार्य सभी सॉर्ट करने के लिए है y ∈ एस के बीच इयूक्लिडियन दूरी से एक्स और वाई ।SSSx∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy एक नो-मस्तिष्क दृष्टिकोण के बीच दूरी …

17 cg.comp-geom  sorting 

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

17 ds.algorithms  reference-request  graph-algorithms  np 

हाल ही में मैं एक एसीएम समर्थित सम्मेलन में था। भोज के दौरान, सम्मेलन के आयोजकों ने हमें सम्मेलन के भविष्य और अतीत के बारे में बताया। उन्होंने हमें बताया कि सम्मेलन के 2010 के संस्करण के दौरान 5000 डॉलर का नुकसान हुआ था। उन्होंने हमें पिछले सम्मेलन का बजट …

17 soft-question  conferences 

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

17 ds.algorithms  reference-request 

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

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