Jak sprawdzenie różni się od pozwolenia FET na rozwiązanie
FET wyszukuje układ zajęć, podczas gdy przeglądarka jedynie wyświetla gotowy plan lekcji.
Ludzie często pytają, dlaczego nie powinni po prostu nacisnąć generuj w FET i zobaczyć, co się stanie. Można tak zrobić. Poniżej wyjaśniono, co dodaje sprawdzenie, a czego nie.
FET szuka. Sprawdzenie liczy.
FET próbuje układy. Jest w tym bardzo dobry. Ale wyszukiwanie, które kończy się niepowodzeniem, mówi tylko tyle, że to wyszukiwanie się nie powiodło. Nie potrafi odróżnić "twoje zasady czynią to niemożliwym" od "tym razem nie udało mi się znaleźć rozwiązania".
Sprawdzenie wykonuje obliczenia. Nigdy nie umieszcza lekcji. Zlicza miejsce, które pozostawiają twoje zasady:
- godziny, które nauczyciel musi przepracować, w stosunku do pozostałych mu okienek
- czasy rozpoczęcia, które lekcja wciąż ma po zastosowaniu każdej zasady
- czy dwie lekcje, które muszą się odbyć, są wymuszone w tym samym czasie
- czy grupa lekcji wymaga więcej dni, niż zawiera tydzień
Kiedy jeden z tych liczników osiągnie zero, żadne wyszukiwanie nie może się powieść i żadna ilość czekania tego nie zmieni.
Praktyczna różnica
Czas. Nieudane uruchomienie FET może zająć dużo czasu. Sprawdzenie odpowiada w kilka sekund.
Czego uczysz się z niepowodzenia. FET zatrzymuje się, nie mówiąc, które zasady były winne. Sprawdzenie nazywa je, a dla niemożliwej lekcji pokazuje która zasada usunęła który czas rozpoczęcia, w kolejności.
Co oznacza dobry wynik. Uruchomienie FET, które zakończy się sukcesem, daje rzeczywisty timetable — czego sprawdzenie nigdy nie robi. Poprawne sprawdzenie nie daje żadnego timetable. Usuwa jedynie jedno wyjaśnienie niepowodzenia.
Używaj obu, w tej kolejności
- Najpierw uruchom sprawdzenie. Jeśli udowodni, że coś jest niemożliwe, uruchomienie FET nie może się powieść, więc byłby to czas stracony na naukę niczego.
- Napraw to, co udowodniło. Nazywa zasady i pokazuje ścieżkę.
- Następnie pozwól FET szukać. To jest część, którą robi tylko FET.
- Przynieś wynik z powrotem, aby go przeglądać, drukować i udostępniać.
Czego sprawdzenie nie może ci powiedzieć
⛔ Nie może powiedzieć, że timetable jest możliwy. Nic tutaj tego nie dowodzi. Plik może przejść każde sprawdzenie i nadal być trudny lub wymagać złagodzenia zasad, zanim się uda.
⛔ Nie może powiedzieć, jak długo zajmie to FET. Liczba trudności to odczyt temperatury służący do porównywania własnego pliku przed i po zmianie, a nie prognoza.
Zobacz Czego nie może ci powiedzieć.