Was die Vorabprüfung macht

FET kann lange Zeit erfolglos bleiben. Eine einzelne Regel, die eine Aktivität unplatzierbar macht, kündigt sich nicht an – der Löser sucht einfach, und sucht, und gibt schließlich auf oder produziert nichts.

Die Vorabprüfung liest zuerst Ihre Regeln und führt die Berechnungen durch. Wo sie beweisen kann, dass ein Stundenplan unmöglich ist, sagt sie dies in Sekunden und nennt die verantwortlichen Regeln.

Wo es sich befindet

Die Vorabprüfung befindet sich zusammen mit den Nebenbedingungen auf dem Datenbildschirm des Stundenplans. Sie steht Personen zur Verfügung, die den Stundenplan bearbeiten können – sie ist ein Werkzeug für die Person, die die Regeln erstellt.

Jeder Abschnitt der Nebenbedingungen enthält oben auch eine einzeilige Zusammenfassung, sodass Sie den Stand der Dinge sehen, während Sie arbeiten, und nicht erst, wenn Sie danach suchen.

Der Bericht: ein Urteil, dann jedes Ergebnis mit den dahinterstehenden Regeln.

Wo die Berechnungen laufen

Die Prüfung läuft nicht in Ihrem Browser. Ihr Browser liest Ihre Regeln und sendet eine Zusammenfassung an unseren Server. Unser Server führt die Berechnungen durch und sendet die Ergebnisse zurück.

Die Zusammenfassung enthält keine Namen. Lehrer, Räume, Fächer und Schülergruppen werden als Zahlen übertragen, und Ihr Browser fügt die Namen wieder ein, bevor er den Bericht anzeigt.

Wir speichern nichts von der Prüfung. Die Prüfung erstellt den Bericht jedes Mal neu aus Ihren aktuellen Regeln, wenn Sie ihn öffnen.

Das hat eine praktische Konsequenz, die es wert ist, beachtet zu werden: Es ist schnell genug, um es als Arbeitswerkzeug zu nutzen. Ändern Sie eine Regel, kommen Sie zurück, schauen Sie erneut.

Was es tatsächlich liest

Ihre Nebenbedingungen, so wie sie sind – kein gelöster Stundenplan. Es platziert niemals eine Aktivität und ändert niemals etwas.

Was es tut, ist Arithmetik über den verbleibenden Spielraum:

• Wie viele Stunden ein Lehrer gebunden ist, im Vergleich dazu, wie viele Zeitfenster ihm noch zur Verfügung stehen.
• Welche Startzeiten eine Aktivität rechtmäßig einnehmen könnte, nachdem jede Regel, die sie betrifft, angewendet wurde.
• Ob zwei Aktivitäten, die beide stattfinden müssen, in dasselbe Zeitfenster gezwungen werden, während sie sich einen Lehrer, einen Raum oder eine Klasse teilen.
• Ob eine Gruppe von Aktivitäten mehr unterschiedliche Tage erfordert, als die Woche enthält.

Wenn die Arithmetik keinen Spielraum lässt, ist das keine Meinung über Schwierigkeit. Es ist ein Beweis, und die Prüfung sagt das auch.

Was man damit tun kann

Führen Sie es aus, bevor Sie ein Projekt an FET senden, und erneut nach einer größeren Änderung. Ein sauberer Bericht ist kein Versprechen, dass FET schnell eine Lösung findet – siehe Was es Ihnen nicht sagen kann – aber ein Bericht mit einem nachweislich unmöglichen Ergebnis sagt Ihnen, dass die Lösung nicht erfolgreich sein kann, was es wert ist, vorher statt nachher zu wissen.

Der Bericht besteht aus vier Teilen

Der Bericht bewertet die Ergebnisse nicht danach, wie schwerwiegend sie sich anfühlen. Er sortiert sie danach, was er beweisen kann, in vier Arten: Nachweislich unmöglich, Fehler, Was diese Datei schwierig macht und Was mit dieser Datei ausgeführt wurde.

Jede Art ist ein Tab, und jeder Tab hat seine eigene Zählung. Eine Art, die nichts enthält, hat überhaupt keinen Tab, sodass eine ruhige Datei weniger Tabs anzeigt als eine ausgelastete. Der erste Tab, der etwas enthält, öffnet sich von selbst.

Eine Gruppe mit vielen Ergebnissen zeigt diese als Liste statt als Karten an. Wählen Sie eine Zeile aus, um die dahinterstehende Arithmetik neben der Liste zu sehen.

Nur die erste Art beweist, dass FET den Stundenplan nicht erstellen kann. Siehe Die vier Arten von Ergebnissen.

Verbindungen

Verbindungen beantwortet eine andere Frage: nicht was falsch ist, sondern was an diesem Lehrer hängt.

Wählen Sie einen Lehrer, eine Schülergruppe oder einen Raum aus. Sie erhalten deren Aktivitäten, die Regeln, die sie benennen, die Ressourcen, mit denen sie sich einen Raum oder ein Zeitfenster teilen, und ein Bild dieser Verknüpfungen. Wählen Sie einen beliebigen Knoten im Bild aus, um die Ansicht darauf zu verschieben.

Die Farbe eines Knotens sagt aus, was er ist – ein Lehrer, eine Schülergruppe, ein Raum oder eine Regel. Ein Ring um einen Knoten sagt aus, dass die Prüfung etwas darüber gefunden hat. Ein durchgehender roter Ring kennzeichnet einen Fehler. Ein unterbrochener gelber Ring kennzeichnet eine Warnung. Die meisten Dateien haben überhaupt keine Ringe, und das ist der Normalzustand.

Eine unterbrochene graue Linie zwischen zwei Regeln bedeutet, dass sie zweimal dasselbe aussagen.

Entitäten, an die nichts angehängt ist, sind ausgeblendet, bis Sie danach fragen, da eine große Datei viele deklariert, die keine Aktivitäten enthalten.

Wohin als Nächstes

• Die vier Arten von Ergebnissen – was jede Art tatsächlich verspricht.
• Beheben, was es findet
• Was es Ihnen nicht sagen kann