خوارزميات, ذكاء اصطناعي, علوم الحاسوب, نظرية التعقيدتعقيد إرضاء القيود (Complexity of Constraint Satisfaction)