← أحدث الأبحاث
💻 علوم الحاسوب

Classroom Assignment: A Two-Stage Constraint Formulation

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

المؤلفون الأصليون: Jhojan Alexander Velasquez Erazo, Carlos Andres Delgado Saavedra

نُشر 2026-10-27
📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة
CC BY 4.0

المؤلفون الأصليون: Jhojan Alexander Velasquez Erazo, Carlos Andres Delgado Saavedra

البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

قرر باحثون في جامعة "فاليه" (Universidad del Valle) في كولومبيا التوقف عن التخمين والبدء في القياس. فقد بنوا نموذجاً رقمياً لحرمهم الجامعي الخاص، وهو مكان يقوم فيه إداري واحد يدوياً بإنشاء الجدول الدراسي الكامل للفصل الدراسي بأكصه في ثلاثة أو أربعة أيام، دون أي مساعدة من البرمجيات. استخدم الفريق هذا التاريخ الواقعي لاختبار طريقة تفكير جديدة للمشكلة. فبدلاً من محاولة حل اللغز بأكمله دفعة واحدة، قاموا بتقسيمه إلى مرحلتين متمايزتين. أولاً، يحدد الحاسوب أفضل الأوقات لكل حصة دراسية، متجاهلاً الغرف تماماً. وبمجرد تحديد هذه الأوقات، تقوم مرحلة ثانية بتعيين الغرف الفعلية لتلك الحصص. سمح هذا الفصل لهم برؤية أين يعمل النظام وأين يفشل بالضبط. ثم قاموا بتشغيل نموذجهم مقابل ثمانية فصول دراسية متتالية من الجداول الفعلية التي نشرتها الجامعة ليروا مدى صمود الخطط الواقعية أمام القواعد الصارمة لنموذجهم الرقمي.

كشفت النتائج عن حقيقة مفاجئة حول كيفية إدارة الجامعات لوقتها. وجد الباحثون أن أي فصل دراسي من الفصول الثمانية التي درسوها لم يستوفِ جميع القواعد الصارمة للنموذج. فقد تم جدولة المدرسين للتواجد في غرفتين مختلفتين في نفس الوقت، كما تم حجز الغرف بشكل مزدوج، مما يعني تعيين مجموعتين لنفس المساحة في آن واحد. وهناك افتراض شائع بأن هذه التعارضات تحدث بسبب الاكتظاظ في الجامعة وعدم وجود عدد كافٍ من الفصول الدراسية. أثبتت البيانات خطأ هذا الافتراض؛ ففي ثلاث من كل أربع حالات حدث فيها تعارض في الغرف، كانت هناك غرفة مناسبة شاغرة في نفس المنطقة وفي تلك الساعة تحديداً. لم تكن المشكلة في نقص المساحة، بل إن الحرم الجامعي كان يستخدم فقط ما بين 32% و46% من سعة الغرف المتاحة. لم تكن التعارضات ناتجة عن الندرة، بل عن صعوبة التنسيق اليدوي لمئات الأجزاء المتحركة.

كما كشفت الدراسة عن خلل في كيفية جمع البيانات. فقد اعتمد النموذج على توافر المدرسين المعلن، بافتراض أنهم يقولون الحقيقة بشأن أوقات تواجدهم. ومع ذلك، وجد الباحثون أن التوافر المسجل كان غالباً مجرد نسخة من الجدول النهائي، وليس إعلاناً حقيقياً عن وقت الفراغ تم قبل بدء التخطيط. وهذا يعني أن الحاسوب كان يُغذى بنسخة من الواقع كانت مكسورة بالفعل، مما يجعل من المستحيل إيجاد حل مثالي. وعندما نظر الباحثون فيما يمكن للنموذج تحقيقه فعلياً، وجدوا أن المرحلة الأولى من التخطيط —تحديد الأوقات— كانت سريعة وفعالة بشكل مدهش، حيث حلت جداول معقدة في دقائق. أما المرحلة الثانية، وهي تعيين الغرف، فكانت هي عنق الزجاجة؛ إذ عانى الحاسوب لإيجاد تعيين مثالي للغرف حتى للمجموعات الصغيرة، مما يشير إلى أن الطريقة التي كُتبت بها المشكلة للحاسوب هي التي تحتاج إلى تغيير، وليس أن الحاسوب كان بطيئاً جداً.

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

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

غارق في أبحاث مجالك؟

تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.

جرّب Digest →

أبحاث مشابهة

عرض الكل في هذا التصنيف 💻 cs →