Hoe de controle verschilt van het laten oplossen door FET
FET zoekt naar een indeling, terwijl deze app enkel een door FET gegenereerd rooster toont en bewerkt.
Mensen vragen vaak waarom ze niet simpelweg op genereren in FET moeten drukken om te zien wat er gebeurt. Dat kan. Dit legt uit wat de controle toevoegt, en wat niet.
FET zoekt. De controle rekent.
FET probeert indelingen. Het is daar erg goed in. Maar een zoekopdracht die mislukt, vertelt je alleen dat deze zoekopdracht is mislukt. Het kan niet onderscheiden tussen "jouw regels maken dit onmogelijk" en "ik heb het deze keer niet gevonden".
De controle doet in plaats daarvan rekenwerk. Het plaatst nooit een les. Het telt de ruimte die jouw regels overlaten:
- de uren die een docent moet geven afgezet tegen de resterende tijdstippen
- de starttijden die een les nog heeft nadat elke regel is toegepast
- of twee lessen die beide moeten plaatsvinden in hetzelfde tijdstip worden gedwongen
- of een groep lessen meer dagen nodig heeft dan de week bevat
Wanneer een van die tellingen nul bereikt, kan geen enkele zoekopdracht slagen, en geen enkele hoeveelheid wachten verandert dat.
Het praktische verschil
Tijd. Een mislukte FET-run kan lang duren. De controle antwoordt in seconden.
Wat je leert van een mislukking. FET stopt zonder te zeggen welke regels de schuldige waren. De controle benoemt ze, en voor een onmogelijke les laat het zien welke regel welke starttijd heeft verwijderd, in volgorde.
Wat een goed resultaat betekent. Een FET-run die slaagt geeft je een echt rooster — wat de controle nooit doet. Een geslaagde controle geeft je helemaal geen rooster. Het verwijdert alleen één verklaring voor mislukking.
Gebruik beide, in deze volgorde
- Voer eerst de controle uit. Als het bewijst dat iets onmogelijk is, kan een FET-run niet slagen, dus er een uitvoeren is tijd besteed aan niets leren.
- Herstel wat het bewees. Het benoemt de regels en toont het spoor.
- Laat FET daarna zoeken. Dat is het deel dat alleen FET doet.
- Breng het resultaat terug om te bekijken, af te drukken en te delen.
Wat de controle je niet kan vertellen
⛔ Het kan je niet vertellen of een rooster mogelijk is. Niets hier bewijst dat. Een bestand kan elke controle doorstaan en nog steeds moeilijk zijn, of regels vereisen die versoepeld moeten worden voordat het lukt.
⛔ Het kan je niet vertellen hoe lang FET erover zal doen. Het moeilijkheidsgetal is een temperatuurmeting voor het vergelijken van je eigen bestand voor en na een wijziging, geen voorspelling.
Zie Wat het je niet kan vertellen.