Ограничението, което прави вашето FET разписание невъзможно
Едно грешно ограничение може да направи FET файла невъзможен и търсенето да отнеме часове, затова го проверете първо – безплатно е и става за секунди.
Въвеждате данните. Натискате Генериране във FET. След това чакате.
Минават десет минути. Минава час. Броят на разпределените занятия никога не достига общия брой. Накрая спирате генерирането и нямате разписание. По-лошото е, че не знаете защо.
Проблемът често е едно ограничение
Едно училищно разписание има стотици ограничения. Повечето от тях са правилни. Едно от тях не е и вие не можете да го видите.
Например:
- Клас от 31 студенти може да използва само стаи с 30 места.
- Преподавател има 26 учебни часа, но е на разположение само за 24.
- Правило оставя занятие без възможно начално време през седмицата.
- Четири занятия трябва да са в различни дни, но групата студенти учи само в три дни.
Всяко от тези прави разписанието невъзможно. Никакво разпределение не може да го удовлетвори. Но файлът изглежда нормално. FET го отваря и започва да търси.
Защо търсенето не ви казва
FET се справя много добре със задачата си. Той търси разпределение, което спазва всяко ограничение. FET отхвърля някои файлове веднага. При много други проблеми, той започва търсене, което не може да успее.
Неуспешното търсене ви казва само едно: това търсене не намери разпределение. То не може да различи „вашите ограничения правят това невъзможно“ от „не го намерих този път“. Така че вие променяте тежест, опитвате отново и чакате отново.
Ето къде отиват часовете. Времето отива в търсене, което никога не би могло да успее, а не в решаването.
Първо пребройте, след това търсете
Има по-бърз въпрос, който да зададете, преди да генерирате: възможно ли е изобщо това разписание?
Този въпрос не изисква търсене. Изисква аритметика. Проверката чете вашите ограничения и преброява пространството, което те оставят:
- часовете, които един преподавател трябва да преподава, спрямо наличните свободни часове
- началните времена, с които едно занятие все още разполага, след като се приложи всяко правило
- дали две занятия, които трябва да се проведат, са принудително поставени в един и същи час
- дали група занятия се нуждае от повече дни, отколкото има в седмицата
Когато някое от тези преброявания достигне нула, разписанието е невъзможно. Това не е предположение за трудността. Това е доказателство и проверката го дава за секунди.
Тя посочва правилото
Доказателството е полезно само когато можете да предприемете действия по него. Всяка констатация казва какво е грешно, с прости думи, и посочва свързаните правила.
В примера по-горе, Математика · 9A има 31 студенти. Най-голямата стая, която ограничението Предпочитана стая за занятие позволява, има 30 места. Решението е ясно: позволете по-голяма стая или разделете класа.
Констатациите са в групи. Доказано невъзможно съдържа проблемите, които никой решаващ алгоритъм не може да преодолее. Другите групи съдържат вероятни грешки и нещата, които правят файла труден. Прочетете повече в Четирите вида констатации.
Две места, където да го използвате
Без акаунт: помощникът за FET. Отидете на fetviewer.com/check и изберете своя .fet файл. Безплатно е и няма ограничение за повторни проверки. Вашият файл остава на вашия компютър. Вашият браузър изпраща само обобщение до нашия сървър, а обобщението не съдържа имена: преподавателите, стаите и групите студенти се предават като числа. Ние не съхраняваме нищо. Вижте Проверка на файл без акаунт.
Във вашия акаунт: Предварителна проверка. Когато импортирате вашето разписание, страницата Предварителна проверка се намира до ограниченията на екрана с данни. Всеки раздел с ограничения също показва обобщение на един ред в горната част. Променете ограничение и проверете отново, докато работите. Вижте Какво прави предварителната проверка.
Какво не може да ви каже
Проверката доказва невъзможните случаи. Тя не може да докаже, че даден файл ще бъде решен, и не може да ви каже колко време ще отнеме на FET. Чистата проверка премахва една причина за неуспех. Търсенето все още е работа на FET.
Затова използвайте и двете, в този ред:
- Проверете файла.
- Коригирайте това, което проверката доказва.
- След това оставете FET да търси.
Прочетете пълното сравнение в С какво проверката се различава от решаването с FET.
Преди следващото дълго чакане
Следващия път, когато генерирането отнеме твърде много време, спрете го. Първо проверете файла. Ако някое ограничение прави разписанието невъзможно, ще разберете за секунди и ще видите кое е то.