nondeterminism पर टैग किए गए जवाब

ग्रीबाच ने प्रसिद्ध रूप से एक भाषा परिभाषित किया है , जो तथाकथित nondeterministic संस्करण है , जैसे कि कोई भी CFL, की प्रतिलोम आकृति है । क्या डीसीएफएल के साथ एक समान बयान मौजूद है, संभवतः अनुमति दिए गए आकार पर कुछ प्रतिबंध के साथ?HHHD2D2D_2HHH (देखें, उदाहरण के लिए, …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

यह पेपर एक प्रमाण देता है कि दरवाजे और दबाव प्लेटों के साथ एक गेम में, यह निर्धारित करना मुश्किल है कि क्या (खिलाड़ी का) अवतार किसी दिए गए स्थान तक पहुंच सकता है या नहीं। यह टीक्यूबीएफ से कमी से साबित होता है , और परिणामस्वरूप समाधानों की लंबाई …

12 reductions  nondeterminism  pspace 

अगर हम यह साबित कर सकते हैं कि , तो क्या इसका मतलब यह है कि ?एल = पीएल=पी\mathsf{L}=\mathsf{P}एन एल = एन पीएनएल=एनपी\mathsf{NL}=\mathsf{NP} मैंने सोचा था कि यह मामला है, लेकिन मैं इसे साबित नहीं कर सकता (ऐलान के लिए भी)।

10 cc.complexity-theory  complexity-classes  nondeterminism 

एक nondeterministic ट्यूरिंग मशीन (NTM) की गणना अच्छी तरह से विन्यास के एक पेड़ के रूप में प्रतिनिधित्व करने के लिए जाना जाता है, जो शुरुआती कॉन्फ़िगरेशन में निहित है। कार्यक्रम में किसी भी संक्रमण को इस पेड़ में एक पिता-बच्चे लिंक द्वारा दर्शाया गया है। इसी तरह के पेड़ों …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Let आकार का एक वर्णमाला है , और न्यूनतम DFAs पर विचार करें, जिसका आकार सबसे अधिक से घिरा है । चलो ऐसे विभिन्न न्यूनतम डीएफए की संख्या को दर्शाता है।ΣΣ\Sigma222mmmf(m)f(m)f(m) क्या हम लिए एक बंद-फॉर्मूला फॉर्मूला खोज सकते हैं ?f(m)f(m)f(m) यह ध्यान में रखते हुए के आकार का DFA …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

यह नियतात्मक संगणना की nondeterministic गति-अप तक का अनुसरण है । क्या यह प्रशंसनीय है कि nondeterminism (या अधिक आम तौर पर प्रत्यावर्तन) एक सामान्य द्विघात गति को नियतात्मक संगणना की अनुमति देगा? या क्या जैसे कुछ के लिए कोई ज्ञात परिणाम हैं ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

कुछ एनपी-पूर्ण समस्याएं हैं (एस ए टीSAT \mathsf{SAT} , एस यू बी एस ई टी एस यू एमSUBSETSUM \mathsf{SUBSETSUM} आदि) में जाना जाता है D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} । उप-रैखिक स्थानों के बारे में क्या? क्या कोई ज्ञात एनपी-पूर्ण (या एनपी-इंटरमीडिएट) सबलाइनियर नॉन्डेटेरमिनिस्टिक स्पेस …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate