البرمجة بالقيود

البرمجة بالقيود (Constraint Programming — CP) أسلوب تحسين يصف المسألة كـ«متغيرات + قيود» ويبحث عن حلول تحقّق جميع القيود. الفارق عن البرمجة الخطية المختلطة بأعداد صحيحة (MIP): تعمل MIP على معادلات خطية وتقلّل/تعظّم دالة تكلفة/منفعة؛ بينما تعبّر CP عن القيود المنطقية مباشرة وتركّز أولاً على إيجاد حل قابل للتنفيذ ثم تحسينه. للمسائل ذات البنية «أولاً صفر تعارض، ثم تحسين» — الجدولة، جداول الدروس، التخصيص، تخطيط الورديات، الألغاز، الإعداد — تُقدّم CP غالباً حلولاً أسرع من MIP. تتوفر عدة محرّكات مفتوحة المصدر ناضجة للبرمجة بالقيود، إلى جانب منتجات تجارية أخرى.