Betingelsen der gør dit FET-skema umuligt
En forkert betingelse kan gøre en FET-fil umulig og lade søgningen køre i timevis; tjek filen først, det er gratis og tager sekunder.
Du indtaster de sidste data. Du trykker på Generér i FET. Og så venter du.
Ti minutter går. En time går. Antallet af placerede aktiviteter når aldrig det samlede antal. Til sidst stopper du genereringen, og du har intet skema. Værre endnu, du ved ikke hvorfor.
Problemet er ofte en enkelt betingelse
Et skoleskema har hundredvis af betingelser. De fleste af dem er korrekte. Én af dem er forkert, og du kan ikke se det.
For eksempel:
- En klasse med 31 elever må kun bruge lokaler med 30 pladser.
- En lærer har 26 timers undervisning, men er kun til rådighed i 24 tidsrum.
- En regel efterlader en aktivitet uden noget gyldigt starttidspunkt i løbet af ugen.
- Fire lektioner skal ligge på forskellige dage, men elevgruppen har kun undervisning på tre dage.
Hver af disse gør skemaet umuligt. Intet arrangement kan opfylde det. Men filen ser normal ud. FET åbner den og begynder at søge.
Hvorfor søgningen ikke fortæller dig det
FET er meget god til sit job. Den søger efter et arrangement, der overholder alle betingelser. FET afviser nogle filer med det samme. For mange andre problemer starter den en søgning, der ikke kan lykkes.
En søgning, der mislykkes, fortæller dig kun én ting: denne søgning fandt ikke et arrangement. Den kan ikke skelne "dine betingelser gør dette umuligt" fra "jeg fandt det ikke denne gang". Så du ændrer en vægtning, prøver igen og venter igen.
Det er der, timerne forsvinder. Tiden går med en søgning, der aldrig kunne lykkes, ikke med selve løsningen.
Tæl først, søg derefter
Der er et hurtigere spørgsmål at stille, før du genererer: er dette skema overhovedet muligt?
Det spørgsmål kræver ikke en søgning. Det kræver regning. Kontrollen læser dine betingelser og tæller det råderum, de efterlader:
- de timer, en lærer skal undervise, holdt op imod de tidsrum, der er til rådighed
- de starttidspunkter, en aktivitet stadig har, efter at alle regler er anvendt
- om to lektioner, der begge skal finde sted, tvinges ind i det samme tidsrum
- om en gruppe af lektioner har brug for flere dage, end ugen har
Når et af disse tal når nul, er skemaet umuligt. Det er ikke et gæt om sværhedsgrad. Det er et bevis, og kontrollen giver dig det på sekunder.
Den navngiver reglen
Et bevis er kun nyttigt, når du kan handle på det. Hvert fund fortæller, hvad der er galt, med almindelige ord, og navngiver de involverede regler.
I eksemplet ovenfor har Matematik · 9A 31 elever. Det største lokale, som betingelsen Aktivitets foretrukne lokale tillader, har 30 pladser. Løsningen er klar: tillad et større lokale, eller del klassen.
Fundene er opdelt i grupper. Bevist umuligt indeholder de problemer, som ingen løser kan komme forbi. De andre grupper indeholder sandsynlige fejl og de ting, der gør en fil svær. Læs mere i De fire slags fund.
To steder at bruge det
Uden en konto: FET-hjælperen. Gå til fetviewer.com/check og vælg din .fet-fil. Det er gratis, og der er ingen grænse for gentjek. Din fil bliver på din computer. Din browser sender kun et resumé til vores server, og resuméet indeholder ingen navne: lærere, lokaler og elevgrupper overføres som tal. Vi gemmer intet. Se Tjek af en fil uden en konto.
Inde på din konto: Pre-flight. Når du importerer dit skema, ligger Pre-flight-siden sammen med betingelserne på dataskærmen. Hver sektion med betingelser viser også et resumé på én linje øverst. Ændr en betingelse, og tjek igen, mens du arbejder. Se Hvad pre-flight-tjekket gør.
Hvad den ikke kan fortælle dig
Tjekket beviser de umulige tilfælde. Det kan ikke bevise, at en fil vil blive løst, og det kan ikke fortælle dig, hvor lang tid FET vil tage. Et rent tjek fjerner én årsag til fiasko. Søgningen er stadig FET's arbejde.
Så brug begge, i denne rækkefølge:
- Tjek filen.
- Ret det, som tjekket beviser.
- Lad derefter FET søge.
Læs den fulde sammenligning i Hvordan tjekket adskiller sig fra at lade FET løse.
Før den næste lange ventetid
Næste gang en generering kører for længe, så stop den. Tjek filen først. Hvis en betingelse gør skemaet umuligt, finder du ud af det på sekunder, og du ser hvilken.