برمجة القيود

أصبح الاستخدام الأمثل للموارد اليوم أكثر أهمية من أي وقت مضى. فالكثير من مسائل اتخاذ القرار في مجالات مثل اللوجستيات والإنتاج وتخطيط المساحات وغيرها، والتي تهدف إلى تحقيق أفضل استغلال للموارد، يمكن صياغتها على شكل مسائل تحسين تركيبي (توافقي) قائمة على القيود. لكن حل هذه المسائل ليس سهلاً، ويرجع ذلك أساساً إلى سببين: أولاً، أنها تتطلب خوارزميات معقدة في التصميم والتطوير. وثانياً، أن العثور على حل أمثل قد يكون مكلفاً حسابياً ويتطلب وقتاً وموارد كبيرة. في هذه الدورة ستتعرّف إلى أساسيات «برمجة القيود»، وهي منهجية تهدف إلى خفض تكلفة تطوير وحل المسائل التركيبية عبر إعادة استخدام الشيفرة على نطاق واسع، وبناء محلّلات ذات تصميم قابل للتوسّع والإضافة. كما تعتمد برمجة القيود على تقنيات تقليم فضاء البحث من خلال الاستدلال على مستوى القيود نفسها، مما يساعد على تقليل عدد الاحتمالات التي يجب استكشافها للوصول إلى حلول جيدة أو مثلى. وخلال المشاريع المقترحة في الدورة، ستطبّق ما تتعلمه عملياً عبر تصميم وبناء مكوّنات أساسية لمحلّل قيود حديث، وتطوير نماذج فعّالة لمسائل واقعية، مع التركيز على مشكلات شائعة مثل الجدولة وتوجيه المركبات، وكيفية التعامل معها باستخدام نمذجة قيودية وبحث مخصص.

• فهم منهجية برمجة القيود
• تصميم وتنفيذ مكتبة حديثة لبرمجة القيود
• النمذجة باستخدام برمجة القيود
• توسيع المحلّل بإضافة قيود شاملة جديدة
• تصميم استراتيجيات بحث مخصصة وبحث الصندوق الأسود
• التعامل مع مسائل الجدولة وتوجيه المركبات باستخدام برمجة القيود

• فهم على مستوى الدراسات العليا لهياكل البيانات والخوارزميات
• الإلمام بلغة البرمجة جافا المستخدمة في واجبات البرمجة