← Hjem
Klasser
1.A1.B1.C2.A2.B2.C3.A3.B
Lærere
Anders HansenFreja NielsenMorten AndersenNiels KjærBirgitte LarsenGunnar SørensenPia KjeldsenChristian JensenHanne KristensenIvan BergDorthe MadsenJulie RasmussenKlaus MøllerRasmus LundErik PetersenSusanne VangLone ChristensenOle BrandtSøren PoulsenLise Hansen
Constraint-valideringsrapport
Eksempel Gymnasium · Løsningsstatus: OPTIMAL · Score: 0 · Beregningstid: 0.2s
← Tilbage
✅
Alle hard constraints er overholdt. Skemaet er matematisk bevist gyldigt af CP-SAT solveren og bekræftet af uafhængig post-validering.
Hard Constraints (skal overholdes)
Constraint Tjekket Brud Detalje
✅ Ugelektioner overholdt 67 0 Alle 67 hold har korrekt antal lektioner per uge.
✅ Ingen lærer dobbeltbooket 156 0 Alle 20 lærere er fri for tidsoverlap i skemaet.
✅ Ingen klasse dobbeltbooket 162 0 Alle 8 klasser er fri for tidsoverlap.
✅ Ingen lokale dobbeltbooket 156 0 Alle 10 lokaler er fri for tidsoverlap.
✅ Lærertilgængelighed overholdt 156 0 Alle lærere underviser kun i deres tilgængelige tider.
Optimeringskvalitet (soft constraints)
MetrikAntalDetalje
ℹ️ Lærerhul-statistik (info) 0 0 lærerhul(ler) på tværs af alle lærere og dage (jo lavere jo bedre).
ℹ️ Fagfordeling statistik (info) 0 0 tilfælde af samme fag undervist to gange på samme dag.
Optimiseringsvægte brugt
20
Lærerhul-straf
15
Elevhul-straf
6
Fagspredning-straf
4
Præference-straf