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