পারি পরিবর্তনও মধ্যে কৃত্রিম হতে ?

Question

যাক স্পেস ব্যবহার করে সময়ে থামে এমন টিউরিং মেশিনগুলির বিকল্প দ্বারা সিদ্ধান্ত নেওয়া ভাষার শ্রেণি হতে দিন । আসুন ট্যুরিং মেশিনগুলি পরিবর্তিত করে যেগুলি রদবদল এবং স্পেস ব্যবহার করে থামে সেগুলি দ্বারা বিকল্পগুলির দ্বারা সিদ্ধান্ত নেওয়া ভাষার শ্রেণি হয় ।$\mathsf{ATISP}(f(n), g(n))$$f(n)$$g(n)$$\mathsf{AALTSP}(f(n), g(n))$$f(n)$$g(n)$

রাজ্জো প্রমাণ করেছে যে । তিনি দেখিয়েছেন যে, ।$\mathsf{NC}^k = \mathsf{ATISP}(\log^k n, \log n)$$\mathsf{NC}^k \subseteq \mathsf{AALTSP}(\log^k n, \log n) \subseteq \mathsf{NC}^{k + 1}$

Is ?$\mathsf{NC}^k = \mathsf{AALTSP}(\log^k n, \log n)$

Answer 1

অবশ্যই equalities, এবং ইনক্লুশান শুধুমাত্র জন্য প্রশ্ন হোল্ড দাবি এর অভিন্ন । ক্লাস ইউনিফর্ম হিসাবে সমান, সুতরাং প্রশ্নটি হিসাবে একই ।$\mathsf{NC}^k$$\mathsf{AALTSP}(\log^k n, \log n)$$\mathsf{AC}^k$$\mathsf{NC}^k = \mathsf{AC}^k$

বিশেষত বোঝায় যে সমান এবং এমনকি , যেহেতু । $k=1$$\mathsf{L}$$\mathsf{NL}$$\mathsf{LogCFL}$$\mathsf{NC}^1 \subseteq \mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{LogCFL} \subseteq \mathsf{AC}^1$