Како проверката се разликува од решавањето со FET
FET бара распоред, а проверката само ги пребројува можностите, при што првото може да утврди дека распоредот е невозможен за неколку секунди, додека второто воопшто не може да го направи тоа.
Луѓето често прашуваат зошто едноставно не притиснат „генерирај“ во FET и да видат што ќе се случи. Можете. Ова објаснува што додава проверката, а што не.
FET пребарува. Проверката пресметува.
FET пробува распореди. Многу е добар во тоа. Но, пребарувањето што не успеало ви кажува само дека ова пребарување не успеало. Не може да го одвои „вашите правила го прават ова невозможно“ од „не го најдов овој пат“.
Проверката прави аритметика. Никогаш не поставува час. Го пребројува просторот што вашите правила го оставаат:
- часовите што еден професор ги должи во однос на термините што му останале
- времињата на почеток што еден час сè уште ги има откако ќе се примени секое правило
- дали два часа што мора да се случат се принудени во истиот термин
- дали на група часови им требаат повеќе денови отколку што содржи неделата
Кога една од тие пресметки ќе достигне нула, ниту едно пребарување не може да успее, и никакво чекање нема да го промени тоа.
Практичната разлика
Време. Неуспешното извршување на FET може да одземе многу време. Проверката одговара за неколку секунди.
Што учите од неуспехот. FET запира без да каже кои правила биле виновни. Проверката ги именува, а за невозможен час покажува кое правило го отстранило кое време на почеток, по редослед.
Што значи добар резултат. Извршувањето на FET што успева ви дава вистински распоред — што проверката никогаш не го прави. Чистата проверка не ви дава никаков распоред. Таа само отстранува едно објаснување за неуспех.
Користете ги двете, по овој редослед
- Прво извршете ја проверката. Ако докаже дека нешто е невозможно, извршувањето на FET не може да успее, па затоа извршувањето е потрошено време од кое ништо не се учи.
- Поправете го она што го докажа. Ги именува правилата и ја покажува трагата.
- Потоа дозволете му на FET да пребарува. Тоа е делот што само FET го прави.
- Вратете го резултатот за да го прочитате, испечатите и споделите.
Што проверката не може да ви каже
⛔ Не може да ви каже дека распоредот е можен. Ништо овде не го докажува тоа. Една датотека може да ја помине секоја проверка и сепак да биде тешка, или да бара олеснување на правилата пред да се вклопи.
⛔ Не може да ви каже колку време ќе му треба на FET. Бројот на тежина е отчитување на температурата за споредување на вашата сопствена датотека пред и по промената, а не предвидување.
Видете Што не може да ви каже.