স্যাট-এর জন্য উপ-ঘাতক প্রমাণ / অ্যালগরিদমের ফলাফল

Question

যদি স্যাটের সর্বাধিক সুস্পষ্টতীয় আনসট প্রমান বা আরও দৃ strongly়তার সাথে, স্যাটটির সুব্যাক্সোনশিয়াল-টাইম অ্যালগরিদম থাকে তবে তার কোনও বড় পরিণতি হবে?

Comments

এটি ঘৃণ্য সময়ের অনুমানকে অস্বীকার করবে যার বিভিন্ন পরিণতি হয়েছে (উইকিপিডিয়া নিবন্ধে আচ্ছাদিত)।

— আর্টেম কাজনাটচিভ

@ আর্টেমকাজনাটচিভ মন্তব্য -> উত্তর?

— সুরেশ ভেঙ্কট

রায়ান উইলিয়ামস যখন আরও ভাল একটি উত্তর দিতে পারেন তখন @ সুরেশভেঙ্কাট উত্তর দিতে এক ধরণের বিশ্রী মনে করেন। আমি আপাতত একটি উপহার দিয়েছি, তবে আমি আশা করি রায়ান এবং অন্যান্যরা শীতল কিছু দিয়ে উঠবে।

— আর্টেম কাজনাটচিভ

উত্তরটি যদি সঠিক হয় তবে কে তা দেয় তা

— বিবেচ্য

দুঃখিত আর্টেম, আমার উত্তর আপনার চেয়ে বেশি শীতল হবে না ... আমার মনে হয় একটি জিনিস যুক্ত করা হবে যে ETH মিথ্যা বোঝায় নতুন সুপারলাইনার সার্কিট নিম্ন সীমানা (একই কাগজ)।

— রায়ান উইলিয়ামস

Answer 1

যদি স্যাটটির একটি সাফল্যযুক্ত-সময় অ্যালগরিদম থাকে, আপনি ক্ষতিকারক সময় অনুমানটিকে অস্বীকার করবেন ।

মজাদার ফলাফলের জন্য: আপনি যদি ও ও সার্কিট স্যাট ওআর ও ও এর মাধ্যমে দেখিয়েছিলেন, অথবা ভেরিয়েবল এবং সার্কিট গেটগুলি তুচ্ছ পদ্ধতির চেয়ে দ্রুত সমাধান করা যায় , তবে রায়ান উইলিয়ামসের কাগজ দ্বারা আপনি দেখান যে ।$n$$poly(n)$$2^n poly(n)$$NEXP \not\subseteq P/poly$

Comments

আমি মনে করি যে আপনার উত্তরের প্রথম অনুচ্ছেদটি কেবলমাত্র ঘৃণ্য সময়ের অনুমানের সংজ্ঞা।

— সোসোশি ইতো