আমি কমপ্যুটেবিলিটি এবং লজিকের উপর একবার ক্লাস নিয়েছি। উপাদানগুলিতে জটিলতা / গণনাযোগ্যতা ক্লাস (আর, আরই, কো-আরই, পি, এনপি, লগস্পেস, ...) এবং লজিক্সের মধ্যে পারস্পরিক সম্পর্ক অন্তর্ভুক্ত ছিল (প্রাক্কলিত ক্যালকুলাস, প্রথম আদেশের যুক্তি, ...)।
পারস্পরিক সম্পর্কের ক্ষেত্রে এক ক্ষেত্রের বেশ কয়েকটি ফলাফল অন্তর্ভুক্ত ছিল, যা অন্য ক্ষেত্রের কৌশলগুলি ব্যবহার করে প্রাপ্ত হয়েছিল। এটি অনুমান করা হয়েছিল যে পি! = এনপিকে একটি যুক্তি হিসাবে সমস্যা হিসাবে আক্রমণ করা যেতে পারে (জটিলতার ক্লাসের ডোমেন থেকে লজিক্সে সমস্যাটি প্রকাশ করে)।
এই কৌশল এবং ফলাফল একটি ভাল সারাংশ আছে?