?

Question

এটি কি সম্ভব ? এই ধরনের প্রতিরোধের আকর্ষণীয় পরিণতি আছে? এটি কি Exponational সময় অনুমানের বিরোধিতা করবে?$\overline{SAT} \in NTIME(\exp(n^{0.9}))$

Answer 1

এটা সম্ভব ;-)

এটি নতুন সার্কিট নিম্ন সীমানা দিতে হবে। যেহেতু আপনি একটি দুর্দান্ত দৃum় ধারণা তৈরি করছেন এটি ইম্পাগলিয়াজো, কাবেনেটস এবং উইগডারসন দ্বারা নির্ধারিত কাজটি অনুসরণ করতে পারে , তাই আমি পরীক্ষা করে দেখিনি।

আপনি ব্যবহার করেন তাহলে উইলিয়ামসের পদ্ধতির , tightened এখানে , আপনি একটি নিম্ন বাউন্ড পেতে একটি ফাংশন জন্য বর্গ ই বিট । (এই পদ্ধতির জন্য, satisfibility জন্য ফাস্ট সহ-nondeterministic অ্যালগরিদম যথেষ্ট হিসাবে আপনি postulating করা হয়।) বিশেষ করে, আধুনিক কাগজ দেখাল যে, নিম্ন আকার জন্য আবদ্ধ আকারের সার্কিট জন্য satisfiability অ্যালগরিদম থেকে অনুসরণ করে , যা আমরা কুক-লেভিন দ্বারা ভেরিয়েবলের সাথে 3SAT উদাহরণে অনুবাদ করতে পারি । n এন পি এস ও ( গুলি ) ও ( গুলি $n^{1+\Omega(1)}$$n$$^{NP}$$s$$O(s)$$O(s)$

এটি ETH এর সরাসরি বিরোধিতা করবে না কারণ এটি নির্ধারক অ্যালগরিদমের জন্য।

Answer 2

$\text{NTIME}[2^{(1-\varepsilon) n}]$