Ograniczenie, które sprawia, że Twój plan lekcji FET jest niemożliwy

Wprowadzasz wszystkie dane. Naciskasz Generuj w programie FET. A potem czekasz.

Mija dziesięć minut. Mija godzina. Liczba umieszczonych zajęć nigdy nie osiąga łącznej sumy. W końcu zatrzymujesz generowanie i nie masz planu lekcji. Co gorsza, nie wiesz dlaczego.

Problemem jest często jeden warunek

Szkolny plan lekcji ma setki warunków. Większość z nich jest poprawna. Jeden jest błędny, a ty tego nie widzisz.

Na przykład:

• Klasa licząca 31 uczniów może korzystać tylko z sal na 30 miejsc.
• Nauczyciel ma 26 godzin lekcji, ale jest dostępny tylko przez 24 okienka czasowe.
• Reguła sprawia, że zajęcia nie mają żadnego dozwolonego czasu rozpoczęcia w tygodniu.
• Cztery lekcje muszą odbywać się w różne dni, ale grupa uczniów ma zajęcia tylko przez trzy dni.

Każdy z tych przypadków sprawia, że plan lekcji jest niemożliwy do ułożenia. Żadne ułożenie nie może go spełnić. Ale plik wygląda normalnie. FET otwiera go i rozpoczyna poszukiwania.

Dlaczego wyszukiwanie nie daje odpowiedzi

FET jest bardzo dobry w tym, co robi. Szuka ułożenia, które spełnia każdy warunek. FET odrzuca niektóre pliki od razu. W przypadku wielu innych problemów rozpoczyna wyszukiwanie, które nie może się powieść.

Nieudane wyszukiwanie mówi tylko jedno: to wyszukiwanie nie znalazło ułożenia. Nie potrafi odróżnić komunikatu „twoje warunki to uniemożliwiają” od „tym razem nie znalazłem rozwiązania”. Więc zmieniasz wagę, próbujesz ponownie i znowu czekasz.

Na to idą godziny. Czas jest poświęcany na wyszukiwanie, które nigdy nie mogło się powieść, a nie na rozwiązywanie.

Najpierw policz, potem szukaj

Jest szybsze pytanie, które należy zadać przed generowaniem: czy ten plan lekcji jest w ogóle możliwy do ułożenia?

To pytanie nie wymaga wyszukiwania. Wymaga arytmetyki. Sprawdzenie odczytuje twoje warunki i zlicza pole manewru, które pozostawiają:

• liczbę godzin, które nauczyciel musi przepracować, w stosunku do dostępnych okienek czasowych
• godziny rozpoczęcia, które zajęcia wciąż mają dostępne po zastosowaniu wszystkich reguł
• czy dwie lekcje, które muszą się odbyć, są zmuszone do zajęcia tego samego okienka czasowego
• czy grupa lekcji potrzebuje więcej dni, niż ma tydzień

Gdy jedna z tych wartości osiągnie zero, plan lekcji jest niemożliwy do ułożenia. To nie jest przypuszczenie co do trudności. To dowód, a sprawdzenie dostarcza go w kilka sekund.

Wskazuje konkretną regułę

Dowód jest użyteczny tylko wtedy, gdy można na jego podstawie działać. Każde znalezisko mówi prostymi słowami, co jest nie tak, i wskazuje powiązane reguły.

W powyższym przykładzie zajęcia Matematyka · 9A mają 31 uczniów. Największa sala, na którą zezwala warunek Preferowana sala dla zajęć, ma 30 miejsc. Rozwiązanie jest jasne: zezwól na większą salę lub podziel klasę.

Znaleziska są pogrupowane. Grupa Udowodniona niemożliwość zawiera problemy, których żaden program rozwiązujący nie jest w stanie pokonać. Pozostałe grupy zawierają prawdopodobne błędy i elementy, które utrudniają ułożenie planu. Przeczytaj więcej w artykule Cztery rodzaje znalezisk.

Dwa miejsca, w których można go użyć

Bez konta: pomocnik FET. Wejdź na fetviewer.com/check i wybierz swój plik .fet. Jest to bezpłatne i nie ma limitu ponownych sprawdzeń. Twój plik pozostaje na twoim komputerze. Twoja przeglądarka wysyła na nasz serwer tylko podsumowanie, które nie zawiera żadnych nazw: nauczyciele, sale i grupy uczniów są przesyłane jako numery. Niczego nie przechowujemy. Zobacz Sprawdzanie pliku bez konta.

Na twoim koncie: Sprawdzenie wstępne. Gdy importujesz swój plan lekcji, strona Sprawdzenie wstępne znajduje się obok warunków na ekranie danych. Każda sekcja warunków wyświetla również jednoliniowe podsumowanie na górze. Zmień warunek i sprawdź ponownie w trakcie pracy. Zobacz Co robi sprawdzenie wstępne.

Czego nie może ci powiedzieć

Sprawdzenie dowodzi przypadków niemożliwych. Nie może udowodnić, że plik zostanie rozwiązany, ani nie powie ci, ile czasu zajmie to programowi FET. Czyste sprawdzenie usuwa jedną przyczynę niepowodzenia. Wyszukiwanie nadal jest zadaniem programu FET.

Więc używaj obu, w tej kolejności:

1. Sprawdź plik.
2. Popraw to, co udowodniło sprawdzenie.
3. Następnie pozwól programowi FET szukać.

Przeczytaj pełne porównanie w artykule Czym różni się sprawdzenie od pozwolenia FET na rozwiązywanie.

Zanim znowu zaczniesz długo czekać

Następnym razem, gdy generowanie będzie trwało zbyt długo, zatrzymaj je. Najpierw sprawdź plik. Jeśli jakiś warunek uniemożliwia ułożenie planu lekcji, dowiesz się o tym w kilka sekund i zobaczysz, który to warunek.

Sprawdź swój plik FET →