क्या द्विघात निंदनीयतावाद गति-निर्धारण नियतात्मक संगणना प्रशंसनीय है?

यह नियतात्मक संगणना की nondeterministic गति-अप तक का अनुसरण है ।

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

— कावेह
स्रोत

मुझे यकीन नहीं है, लेकिन मुझे लगता है कि इसी तरह के तर्कों से, जो आपने अपने पिछले प्रश्न में इस्तेमाल किया था, हमारे पास नहीं है । वास्तव में नहीं है , क्योंकि , लेकिन मैं किसी भी बेहतर कम सीमा पता नहीं है।

T M S A T = {< a, x, 1^{n}, 1^{t} >: \exists u \in {0, 1}^{n} s . t . M_{a} o u t p u t s 1 o n i n p u t < x, u > w i t h i n t s t e p s}

$\mathsf{TMSAT}=\{<a,x,1^n,1^t>:\exists u\in \{0,1\}^n\: s.t. \: M_a\: outputs\:1\: on\: input\: <x,u> \: within \: t \: steps \}$

D T I M E (n^{2} / \lg n)

$\mathsf{DTIME}(n^2/\lg{n})$

T M S A T

$\mathsf{TMSAT}$

D T I M E (n)

$\mathsf{DTIME}(n)$

N T I M E (n) \neq D T I M E (n)

$\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n)$

— इरफान खानिकी

@ इरफान, मेरा तर्क यह नहीं दिखाता है, यह न तो यह दर्शाता है कि यह संभावना नहीं है, यह सिर्फ यह दर्शाता है कि यह साबित होता है कि यह अज्ञात है और लिए मुश्किल है ।

ω (n \lg n)^{2}

$\omega(n\lg n)^2$

— केवह

हाँ आप सही है। वास्तव में यह तर्क दर्शाता है कि को साबित करना कठिन है ।

D T I M E (n^{2}) \subseteq N T I M E (n)

$\mathsf{DTIME}(n^2)\subseteq \mathsf{NTIME}(n)$

— इरफान खानिकी

ध्यान दें कि यहां तक कि तर्ज पर परिणाम भी NSETH को एकवचन बहुपद पहचान के रूप में उल्लंघन करेगा। परीक्षण (जैसा कि खंड 3.2 में परिभाषित किया गया है निर्धारण समय में नियत रूप से किया जा सकता है , लेकिन पहचान साबित करने में मदद करने के लिए nondeterminism का उपयोग करने का एक स्पष्ट तरीका प्रतीत नहीं होता है। $\mathsf{DTime}(\tilde{O}(n^2)) \subseteq \mathsf{NTime}(n^{2-\epsilon})$ $\tilde{O}(n^2)$

— जो बीबेल
स्रोत