الذكاء الاصطناعي, علوم الحاسوب, مشكلات الإرضاء القيدية, نظرية التعقيدنظرية ثنائية شيفر (Schaefer’s Dichotomy Theorem)