القيد الذي يجعل جدول FET الخاص بك مستحيلاً
قيد واحد خاطئ قد يجعل ملف FET مستحيلاً ويستمر البحث لساعات، لذا افحص الملف أولاً لأنه مجاني ولا يستغرق سوى ثوانٍ.
تُنهي إدخال البيانات. تضغط على توليد في FET. ثم تنتظر.
تمر عشر دقائق. تمر ساعة. عدد الأنشطة المُسَكَّنة لا يصل أبدًا إلى الإجمالي. في النهاية، توقف عملية التوليد ولا يكون لديك جدول. والأسوأ من ذلك أنك لا تعرف السبب.
المشكلة غالبًا ما تكون قيدًا واحدًا
يحتوي الجدول المدرسي على مئات القيود. معظمها صحيح. لكن واحدًا منها ليس كذلك، ولا يمكنك رؤيته.
على سبيل المثال:
- فصل به 31 طالبًا لا يمكنه استخدام سوى قاعات بها 30 مقعدًا.
- مدرس لديه 26 ساعة من الدروس، لكنه متاح لـ 24 فترة فقط.
- قاعدة ما تترك نشاطًا بدون وقت بدء قانوني في الأسبوع.
- أربع حصص يجب أن تكون في أيام مختلفة، لكن مجموعة الطلاب تدرس في ثلاثة أيام فقط.
كل من هذه الحالات يجعل الجدول مستحيلاً. لا يمكن لأي ترتيب أن يفي به. لكن الملف يبدو طبيعيًا. يفتح FET الملف ويبدأ البحث.
لماذا لا يخبرك البحث
برنامج FET جيد جدًا في عمله. إنه يبحث عن ترتيب يلتزم بكل قيد. يرفض FET بعض الملفات على الفور. بالنسبة للعديد من المشاكل الأخرى، يبدأ بحثًا لا يمكن أن ينجح.
البحث الفاشل يخبرك بشيء واحد فقط: هذا البحث لم يجد ترتيبًا. لا يمكنه التمييز بين "قيودك تجعل هذا مستحيلاً" و "لم أجده هذه المرة". لذلك تقوم بتغيير أحد الأوزان، وتحاول مرة أخرى، وتنتظر مرة أخرى.
هنا تضيع الساعات. يذهب الوقت في بحث لا يمكن أن ينجح أبدًا، وليس في الحل.
عُدَّ أولاً، ثم ابحث
هناك سؤال أسرع يجب طرحه قبل التوليد: هل هذا الجدول ممكن على الإطلاق؟
هذا السؤال لا يحتاج إلى بحث. إنه يحتاج إلى عمليات حسابية. يقرأ الفحص قيودك ويحسب المساحة التي تتركها:
- الساعات التي يجب على المدرس تدريسها، مقابل الفترات التي تظل متاحة
- أوقات البدء التي لا يزال النشاط يمتلكها، بعد تطبيق كل قاعدة
- ما إذا كانت حصتان يجب أن تحدثا كلتاهما مجبرتين على التواجد في نفس الفترة
- ما إذا كانت مجموعة من الحصص تحتاج إلى أيام أكثر مما هو متاح في الأسبوع
عندما يصل أحد هذه الأعداد إلى الصفر، يصبح الجدول مستحيلاً. هذا ليس تخمينًا حول الصعوبة. إنه إثبات، والفحص يقدمه في ثوانٍ.
إنه يحدد القاعدة
لا يكون الإثبات مفيدًا إلا عندما يمكنك التصرف بناءً عليه. كل نتيجة توضح ما هو الخطأ، بكلمات بسيطة، وتذكر القواعد المعنية.
في المثال أعلاه، مادة الرياضيات · 9A بها 31 طالبًا. أكبر قاعة يسمح بها قيد القاعة المفضلة للنشاط تتسع لـ 30 مقعدًا. الحل واضح: اسمح بقاعة أكبر، أو قسّم الفصل.
النتائج مقسمة إلى مجموعات. ثبت أنه مستحيل تحتوي على المشاكل التي لا يمكن لأي برنامج حل تجاوزها. تحتوي المجموعات الأخرى على الأخطاء المحتملة والأشياء التي تجعل الملف صعبًا. اقرأ المزيد في الأنواع الأربعة للنتائج.
مكانان لاستخدامه
بدون حساب: مساعد FET. اذهب إلى fetviewer.com/check واختر ملف .fet الخاص بك. إنه مجاني ولا يوجد حد لإعادة الفحص. يبقى ملفك على جهاز الكمبيوتر الخاص بك. يرسل متصفحك ملخصًا فقط إلى خادمنا، ولا يحتوي الملخص على أي أسماء: يتم إرسال المدرسين والقاعات ومجموعات الطلاب كأرقام. نحن لا نخزن أي شيء. انظر فحص ملف بدون حساب.
داخل حسابك: الفحص المبدئي. عندما تستورد جدولك، تظهر صفحة الفحص المبدئي مع القيود على شاشة البيانات. يعرض كل قسم من أقسام القيود أيضًا ملخصًا من سطر واحد في الأعلى. غيّر قيدًا، وافحص مرة أخرى أثناء عملك. انظر ماذا يفعل الفحص المبدئي.
ما لا يمكنه إخبارك به
يثبت الفحص الحالات المستحيلة. لا يمكنه إثبات أن الملف سيتم حله، ولا يمكنه إخبارك بالمدة التي سيستغرقها FET. الفحص النظيف يزيل سببًا واحدًا للفشل. لا يزال البحث من عمل FET.
لذا استخدم كليهما، بهذا الترتيب:
- افحص الملف.
- صحح ما يثبته الفحص.
- ثم دع FET يبحث.
اقرأ المقارنة الكاملة في كيف يختلف الفحص عن ترك FET يقوم بالحل.
قبل الانتظار الطويل التالي
في المرة القادمة التي تستغرق فيها عملية التوليد وقتًا طويلاً، أوقفها. افحص الملف أولاً. إذا كان هناك قيد يجعل الجدول مستحيلاً، فستكتشف ذلك في ثوانٍ، وسترى أي قيد هو.