Како се провера разликује од препуштања програму FET да реши распоред
FET тражи распоред, док ова апликација само приказује и омогућава измену већ генерисаног распореда.
Људи често питају зашто једноставно не притисну дугме за генерисање у FET-у и виде шта ће се десити. Можете то учинити. Ово објашњава шта провера додаје, а шта не.
FET претражује. Провера броји.
FET испробава распореде. Веома је добар у томе. Али претрага која не успе говори вам само да ова претрага није успела. Она не може да раздвоји "ваша правила ово чине немогућим" од "нисам успео овог пута".
Провера уместо тога врши аритметику. Она никада не поставља час. Она броји простор који ваша правила остављају:
- сате које наставник дугује у односу на преостале термине
- времена почетка која час још увек има након што је свако правило примењено
- да ли су два часа која се морају одржати присиљена у исти термин
- да ли групи часова треба више дана него што их недеља садржи
Када један од тих бројева достигне нулу, ниједна претрага не може успети, и никакво чекање то неће променити.
Практична разлика
Време. Неуспешно покретање FET-а може дуго трајати. Провера одговара у секундама.
Шта учите из неуспеха. FET се зауставља без навођења која су правила крива. Провера их именује, а за немогућ час показује које правило је уклонило које време почетка, по реду.
Шта добар резултат значи. Покретање FET-а које успе даје вам прави распоред — што провера никада не ради. Чиста провера вам уопште не даје распоред. Она само уклања једно објашњење за неуспех.
Користите оба, овим редоследом
- Прво покрените проверу. Ако она докаже да је нешто немогуће, покретање FET-а не може успети, па је то изгубљено време из којег се ништа не учи.
- Исправите оно што је доказала. Она именује правила и показује траг.
- Затим пустите FET да претражује. То је део који само FET ради.
- Вратите резултат да бисте га читали, штампали и делили.
Шта вам провера не може рећи
⛔ Не може вам рећи да је распоред могућ. Ништа овде то не доказује. Фајл може проћи сваку проверу, а и даље бити тежак, или захтевати ублажавање правила пре него што се уклопи.
⛔ Не може вам рећи колико ће FET-у требати времена. Број тежине је очитавање температуре за поређење вашег фајла пре и после измене, а не предвиђање.
Погледајте Шта вам провера не може рећи.