আধুনিক স্যাট-সলভাররা স্যাট উদাহরণগুলির অনেকগুলি বাস্তব-বিশ্বের উদাহরণ সমাধানে খুব ভাল। তবে, আমরা জানি যে কীভাবে শক্ত উত্পন্ন করা যায়: উদাহরণস্বরূপ SAT এ ফ্যাক্টরিং থেকে হ্রাস ব্যবহার করুন এবং আরএসএ নম্বরগুলি ইনপুট হিসাবে দিন।
এটি প্রশ্ন উত্থাপন করে: যদি আমি ফ্যাক্টরিংয়ের একটি সহজ উদাহরণ নিই। দুটি বৃহৎ মৌলিক গ্রহণ করার পরিবর্তে বিট, যদি আমি একটি মৌলিক নেওয়া কি পি উপর লগ এন বিট এবং একটি মৌলিক কুই এন / লগ এন বিট, দিন এবং সঙ্কেতাক্ষরে লিখা যেমন একটি স্যাট উদাহরণ। নিষ্ঠুর বল অনুসন্ধান বা চালনি পদ্ধতি দ্বারা এত কম কারণগুলির মধ্যে একটি হ'ল সহজ সংখ্যা হবে; ফ্যাক্টরিং থেকে স্যাটে কিছু স্ট্যান্ডার্ড হ্রাস সহ একটি আধুনিক এসএটি-সলভারও কি এই কাঠামোটি তুলে ধরে?
শীর্ষস্থানীয় SAT- সমাধানকারী উপাদান যেখানে দ্রুত?| পি | = লগ এন