নোট অল ইকুয়াল -স্যাট সমস্যা (এনএই এস্যাট), বুলিয়ান ভেরিয়েবলের একটি সেট উপরে একটি ক্লাসের প্রদান করে যেমন প্রতিটি অনুচ্ছেদে বেশিরভাগ আক্ষরিক অন্তর্ভুক্ত থাকে, জিজ্ঞাসা করে যে ভেরিয়েবলগুলির সত্য নির্ধারিত রয়েছে কিনা? প্রতিটি অনুচ্ছেদে অন্তত একটি সত্য এবং কমপক্ষে একটি মিথ্যা আক্ষরিক থাকে।কে সি এক্স কে
প্ল্যানার Nae -SAT সমস্যা Nae এর সীমাবদ্ধতা হল সেই ব্যাপারে -SAT যেখানে ঘটনা দ্বিপাক্ষিক গ্রাফ এবং (অর্থাত অংশ গ্রাফ এবং মধ্যে একটি প্রান্ত সঙ্গে এবং যদি এবং কেবল যদি বা জন্যে ), প্ল্যানার হয়।কে সি এক্স সি সি এক্স এক্স ∈ এক্স
জানা যায় যে এনএই 3-স্যাট এনপি-সম্পূর্ণ (গ্যারি এবং জনসন, কম্পিউটার এবং আন্তঃব্যক্তি; এনপি-কমপ্লিটেন্সি এর থিওরির গাইড), তবে প্ল্যানার এনএই 3-স্যাট পিতে রয়েছে (দেখুন প্ল্যানার এনএই 3 এস্যাট পি, বিতে রয়েছে .মোরেট, এসিএম সাইন্ট নিউজ, খণ্ড 19 ইস্যু 2, গ্রীষ্ম 1988 - দুর্ভাগ্যক্রমে আমার এই কাগজটিতে অ্যাক্সেস নেই)।
প্ল্যানার NAE কিছু S জন্য পি- এ আছে ? কোন মান আছে যার জন্য এটি এনপি-সম্পূর্ণ হিসাবে দেখানো হয়েছে?