চতুষ্পদ ননডেটেরিমিনিজম গতি-নির্ধারণকারী গণনার গণতন্ত্রের গতি বৃদ্ধি কি?

এটি হ'ল ডিটারমিনিস্টিক গণনার গতিবিধি নির্ধারণের জন্য একটি অনুসরণ ।

এটা কি প্রশংসনীয় যে ননডেটেরিনিজম (বা আরও সাধারণভাবে পর্যায়ক্রমে) কোনও সাধারণ চতুষ্কোণ গতিবেগকে ডিটারমিনিস্টিক গণনার গতি বাড়িয়ে দেবে? বা এর মতো কোনও কিছুর জন্য কোনও জ্ঞাতনীয় ত্রুটিযুক্ত পরিণতি রয়েছে $\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)$ ?

— Kaveh
সূত্র

আমি নিশ্চিত নই তবে আমি আপনার আগের প্রশ্নটিতে একইরকম যুক্তি দিয়ে মনে করেছি যা আপনি ব্যবহার করেছেন

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)$ , তবে আমি আরও ভাল নিম্ন সীমানা জানি না।

— এরফান খানিকি 1'16

@ ইরফান, আমার যুক্তিটি এটি দেখায় না এটি নয়, এটি ততটাই সম্ভাবনাও দেখায় না, এটি কেবল এটি প্রমাণ করে যে এটি অজানা এবং পক্ষে কঠিন

ω (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)$ ।

— এরফান খানিকি

নোট করুন যে এমনকি লাইন বরাবর একটি ফলাফল $\mathsf{DTime}(\tilde{O}(n^2)) \subseteq \mathsf{NTime}(n^{2-\epsilon})$ এনএসইটিএইচকে লঙ্ঘন করবে অচিরাচরিত বহুপদী পরিচয় পরীক্ষা হিসাবে (বিভাগে ৩.২ অনুযায়ী সংজ্ঞায়িত) সমাধান করা যেতে পারে $\tilde{O}(n^2)$ সময় নির্ধারিতভাবে, তবে পরিচয় প্রমাণে সহায়তা করার জন্য ননডেটেরিনিজম ব্যবহার করার কোনও সুস্পষ্ট উপায় বলে মনে হয় না।

— জো বেবেল
সূত্র