বীর-Vazirani উপপাদ্য বলে যে, যদি একটি স্যাট সূত্র ঠিক একটি পরিতৃপ্ত নিয়োগ আছে, এবং একটি unsatisfiable সূত্র মধ্যে পার্থক্য জন্য একটি বহুপদী সময় আলগোরিদিম (নির্ণায়ক বা এলোমেলোভাবে) - তারপর দ্বারা NP = আরপি । এই উপপাদ্যটি এলোমেলোভাবে হ্রাস অনুযায়ী অনন্য-স্যাট এনপি -হার্ড দ্বারা প্রমাণ করে প্রমাণিত হয় ।
প্লাজেবল ড্যারানডমাইজেশন অনুমানের সাপেক্ষে, এই উপপাদ্যটিকে "ইউনিক-স্যাট এর কার্যকর সমাধান এনপি = পি বোঝায়" শক্তিশালী করা যেতে পারে ।
আমার প্রথম প্রবৃত্তি যে উহ্য একটি অস্তিত্ব আছে মনে ছিল নির্ণায়ক অনন্য-স্যাট করার 3SAT থেকে হ্রাস, কিন্তু এটা আমার কাছে পরিষ্কার নয় কিভাবে এই বিশেষ হ্রাস derandomized করা যেতে পারে।
আমার প্রশ্ন: "ড্যারানডমাইজিং হ্রাস" সম্পর্কে কী বিশ্বাস বা পরিচিত? এটা কি সম্ভব? ভিভির ক্ষেত্রে কী হবে?
যেহেতু UNIQUE-SAT এলোমেলোভাবে হ্রাসের অধীনে PromiseNP- এর জন্য সম্পূর্ণ , তাই আমরা কি ইউরিক্যু -স্যাট-এর একটি নির্জনবাদী বহু-কালীন সমাধান ইঙ্গিত দেয় যে প্রতিশ্রুতি NP = প্রতিশ্রুতি দেয় ?