Die Bedingung, die Ihren FET-Stundenplan unmöglich macht
Eine einzige falsche Bedingung kann eine FET-Datei unlösbar machen und die Suche stundenlang dauern lassen; prüfen Sie die Datei zuerst, es ist kostenlos und dauert nur Sekunden.
Sie schließen die Dateneingabe ab. Sie klicken in FET auf Generieren. Dann warten Sie.
Zehn Minuten vergehen. Eine Stunde vergeht. Die Anzahl der platzierten Aktivitäten erreicht nie die Gesamtzahl. Am Ende stoppen Sie die Generierung und haben keinen Stundenplan. Schlimmer noch, Sie wissen nicht, warum.
Das Problem ist oft eine einzige Randbedingung
Ein Schulstundenplan hat Hunderte von Randbedingungen. Die meisten davon sind korrekt. Eine davon ist es nicht, und Sie können sie nicht erkennen.
Zum Beispiel:
- Eine Klasse mit 31 Schülern darf nur Räume mit 30 Plätzen nutzen.
- Ein Lehrer hat 26 Unterrichtsstunden, ist aber nur für 24 Zeitfenster verfügbar.
- Eine Regel lässt einer Aktivität keine zulässige Anfangszeit in der Woche.
- Vier Unterrichtsstunden müssen an verschiedenen Tagen stattfinden, aber die Schülergruppe hat nur an drei Tagen Unterricht.
Jeder dieser Fälle macht den Stundenplan unmöglich. Keine Anordnung kann ihn erfüllen. Aber die Datei sieht normal aus. FET öffnet sie und beginnt mit der Suche.
Warum die Suche es Ihnen nicht sagt
FET ist sehr gut in seiner Aufgabe. Es sucht nach einer Anordnung, die jede Randbedingung einhält. Manche Dateien lehnt FET sofort ab. Bei vielen anderen Problemen startet es eine Suche, die nicht erfolgreich sein kann.
Eine fehlgeschlagene Suche sagt Ihnen nur eines: Diese Suche hat keine Anordnung gefunden. Es kann nicht zwischen „Ihre Randbedingungen machen dies unmöglich“ und „Ich habe es dieses Mal nicht gefunden“ unterscheiden. Also ändern Sie eine Gewichtung, versuchen es erneut und warten erneut.
Dabei gehen die Stunden verloren. Die Zeit fließt in eine Suche, die niemals erfolgreich sein konnte, nicht in die Lösung.
Zuerst zählen, dann suchen
Es gibt eine schnellere Frage, die Sie sich vor dem Generieren stellen sollten: Ist dieser Stundenplan überhaupt möglich?
Diese Frage erfordert keine Suche. Sie erfordert Arithmetik. Die Prüfung liest Ihre Randbedingungen und zählt den Spielraum, den sie lassen:
- die Stunden, die ein Lehrer unterrichten muss, im Vergleich zu den verfügbaren Zeitfenstern
- die Anfangszeiten, die eine Aktivität nach Anwendung aller Regeln noch hat
- ob zwei Unterrichtsstunden, die beide stattfinden müssen, in dasselbe Zeitfenster gezwungen werden
- ob eine Gruppe von Unterrichtsstunden mehr Tage benötigt, als die Woche hat
Wenn einer dieser Zähler Null erreicht, ist der Stundenplan unmöglich. Das ist keine Vermutung über die Schwierigkeit. Es ist ein Beweis, und die Prüfung liefert ihn in Sekunden.
Sie benennt die Regel
Ein Beweis ist nur nützlich, wenn Sie darauf reagieren können. Jeder Befund sagt in einfachen Worten, was falsch ist, und benennt die beteiligten Regeln.
Im obigen Beispiel hat Mathematik · 9A 31 Schüler. Der größte Raum, den die Randbedingung Bevorzugter Raum für eine Aktivität zulässt, hat 30 Plätze. Die Lösung ist klar: einen größeren Raum zulassen oder die Klasse teilen.
Die Befunde sind in Gruppen unterteilt. Nachweislich unmöglich enthält die Probleme, die kein Löser überwinden kann. Die anderen Gruppen enthalten wahrscheinliche Fehler und die Dinge, die eine Datei schwierig machen. Lesen Sie mehr unter Die vier Arten von Befunden.
Zwei Orte, an denen Sie es verwenden können
Ohne Konto: der FET-Helfer. Gehen Sie zu fetviewer.com/check und wählen Sie Ihre .fet-Datei aus. Es ist kostenlos und es gibt keine Begrenzung für erneute Prüfungen. Ihre Datei verbleibt auf Ihrem Computer. Ihr Browser sendet nur eine Zusammenfassung an unseren Server, und die Zusammenfassung enthält keine Namen: Lehrer, Räume und Schülergruppen werden als Nummern übertragen. Wir speichern nichts. Siehe Eine Datei ohne Konto prüfen.
In Ihrem Konto: Pre-flight. Wenn Sie Ihren Stundenplan importieren, befindet sich die Seite Pre-flight bei den Randbedingungen auf dem Datenbildschirm. Jeder Abschnitt mit Randbedingungen zeigt oben auch eine einzeilige Zusammenfassung an. Ändern Sie eine Randbedingung und prüfen Sie sie während der Arbeit erneut. Siehe Was die Pre-flight-Prüfung bewirkt.
Was sie Ihnen nicht sagen kann
Die Prüfung beweist die unmöglichen Fälle. Sie kann nicht beweisen, dass eine Datei lösbar sein wird, und sie kann Ihnen nicht sagen, wie lange FET brauchen wird. Eine saubere Prüfung beseitigt einen Grund für das Scheitern. Die Suche ist immer noch die Arbeit von FET.
Verwenden Sie also beides in dieser Reihenfolge:
- Prüfen Sie die Datei.
- Korrigieren Sie, was die Prüfung beweist.
- Lassen Sie dann FET suchen.
Lesen Sie den vollständigen Vergleich unter Wie sich die Prüfung von der Lösung durch FET unterscheidet.
Vor dem nächsten langen Warten
Wenn eine Generierung das nächste Mal zu lange dauert, stoppen Sie sie. Prüfen Sie zuerst die Datei. Wenn eine Randbedingung den Stundenplan unmöglich macht, finden Sie es in Sekunden heraus und sehen, welche es ist.