Przejdź do treści
Pomoc Kontrola wstępna

Czego nie może ci powiedzieć

Uczciwe ograniczenia – czego nie obiecuje czysty raport, jakie sprawdzenia zależą od trybu solwera i dlaczego liczba trudności nie jest werdyktem.

Sprawdzenie jest celowo konserwatywne. Wiedza o tym, gdzie się zatrzymuje, pozwala ufać tej części, która się nie zatrzymuje.

Czysty raport nie jest obietnicą rozwiązania

Sprawdzenie dowodzi niemożliwości. Nie może dowieść możliwości.

Wszystko, co może osiągnąć, wyszło dobrze. To, czy FET znajdzie następnie układ, i jak długo to potrwa, to inna kwestia, na którą odpowiada tylko rozwiązanie.

Plan lekcji może przejść każde sprawdzenie tutaj i nadal być naprawdę trudny — ponieważ trudność polega na tym, jak wybory współdziałają w tysiącach lekcji, a nie na tym, że pojedyncza liczba jest zbyt mała.

Liczba trudności jest wskaźnikiem

Raport zawiera wynik trudności i sam w sobie mówi, że jest to wskaźnik, a nie werdykt. Traktuj to jako odczyt temperatury: przydatny do porównywania swojego planu lekcji z nim samym przed i po zmianie, a nie jako prognozę sukcesu.

Wysoka liczba jest powodem, aby przyjrzeć się, gdzie jest presja, a nie powodem, aby oczekiwać porażki.

Niektóre zliczenia zależą od trybu rozwiązywania

Większość sprawdzeń działa w każdym trybie. Gdzie lekcja może legalnie się rozpocząć, co pozostawiają zasady po ich zastosowaniu i co to oznacza dla związanych z nią lekcji — dzień to dzień, a przedział czasowy to przedział czasowy, niezależnie od trybu.

To, co się zatrzymuje, to wszystko, co liczy tydzień. Godziny tygodniowo w stosunku do przedziałów czasowych, które zawiera tydzień, ile dni Przedmiot musi obejmować, przerwy między lekcjami w tygodniu. W trybie Semestrów tydzień nie jest jednostką, na jaką wygląda, a zliczenie odczytane z całej listy dni powiedziałoby, że masz WIĘCEJ miejsca, niż faktycznie masz. Jest to jedyny kierunek, w którym dowód nigdy nie może być błędny, dlatego te sprawdzenia są wstrzymywane, a nie zgadywane.

Sprawdzenia higieny — wiszące odniesienia, zasady dotyczące wyłączonych aktywności, duplikaty — mają zastosowanie niezależnie od trybu, w którym się znajdujesz.

Jeśli sekcja zgłasza mniej wyników, niż się spodziewałeś, warto sprawdzić tryb przed sprawdzeniem zasad. Zobacz Tryby rozwiązywania.

Niektóre rzeczy są celowo nieobecne

Zasada, którą FET dostarcza dla siebie, nie jest zgłaszana jako brakująca, ponieważ jest dodawana podczas zapisu pliku. Zgłaszanie jej byłoby stałym fałszywym alarmem o czymś, co nigdy nie jest faktycznie błędne.

Ogólniej: tam, gdzie sprawdzenie nie może podjąć decyzji, nic nie mówi, zamiast zgadywać. Ta cisza jest świadomym wyborem i jest powodem, dla którego udowodniony-niemożliwy wynik może być zaufany bez weryfikacji.

Nie sprawdza Twoich intencji

Nic tutaj nie wie, czego faktycznie potrzebuje Twoja szkoła. Plan lekcji może być możliwy do udowodnienia, szybko się rozwiązać i nadal umieścić każdą lekcję przedmiotów ścisłych w piątek po południu.

Sprawdzenie odpowiada na pytanie czy to można zbudować. Czy powinno być, to nadal Twoja decyzja.

Dokąd dalej