60
Bearbeitungen
Kurs42 To CNF:Hauptseite: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 22: | Zeile 22: | ||
=== Das erste schnelle Ergebnis mit Kurs42_To_CNF === | === Das erste schnelle Ergebnis mit Kurs42_To_CNF === | ||
Ziel ist es, zunächst ein beliebiges Blockungsergebnis zu erhalten. Anschließend grenzt man seine Bedingungen Schritt für Schritt ein bis man ein Ergebnis hat, mit dem man zufrieden ist. Die Kursgrößendifferenz sollte man nicht eingrenzen, dies kann das Programm selbst optimieren. | |||
* In Kurs42_To_CNF unter ''Datei --> Kurs42-Ordner öffnen'' den soeben mit dem Export befüllten Ordner auswählen. | * In Kurs42_To_CNF unter ''Datei --> Kurs42-Ordner öffnen'' den soeben mit dem Export befüllten Ordner auswählen. | ||
| Zeile 27: | Zeile 29: | ||
* Das Fenster ''Debug'' ganz unten sollte leer sein. | * Das Fenster ''Debug'' ganz unten sollte leer sein. | ||
* Das Fenster ''Statistik'' gibt Importinformationen an, z.B. wie viele Schüler importiert und wie viele Fächer gewählt wurden. | * Das Fenster ''Statistik'' gibt Importinformationen an, z.B. wie viele Schüler importiert und wie viele Fächer gewählt wurden. | ||
* Lassen Sie das Fenster "Regeln" (unten links) noch leer. | |||
* Das Fenster '''Maximalwerte''' enthält allgemeine Voreinstellungen zur Blockung. | * Das Fenster '''Maximalwerte''' enthält allgemeine Voreinstellungen zur Blockung. | ||
** Stellen Sie ''Schienen'' auf die gewünschte Anzahl an | ** Stellen Sie ''Schienen'' auf die gewünschte Anzahl an. Die Anzahl der Schienen muss mindestens so groß sein, wie die Anzahl der Kurse des Schülers mit den meisten Kursen. | ||
** Belassen Sie die ''Maximale Kursgrößendifferenz''auf einem sehr hohen Wert (15-20). | ** Belassen Sie die ''Maximale Kursgrößendifferenz'' auf einem sehr hohen Wert (15-20). Dieser wird automatisch später optimiert. | ||
** Stellen Sie die ''Maximale Kursgröße'' auf den größten Wert ein, den Sie alle Kursen zumuten (32-25). Vorsicht: Falls Sie z.B. 32 eingeben und es einen Kurs mit 33 SuS rechnerisch geben müsste, dann ist die Blockung sosofrt unlösbar (UNSAT). | |||
** Stellen Sie die ''Umwähler'' zunächst auf 0 ein und klicken Sie auf den Button "Berechne!". Falls Sie '''keine''' Lösung erhalten (ein Indiz dafür ist, dass die Berechnung sehr lange dauert oder es erscheint ein Tab mit dem Hinweis ''UNSAT''), müssen Sie die Umwähler sukzessiv um 1 erhöhen. So lässt sich die Mindestzahl an Umwähler ermitteln. | |||
Sie haben nun eine Lösung. Das Ergebnis wird in einem Tab, z.B. ''B1_SAT'' in sechs Fenstern dargestellt, die sich von selbst erklären. Dieses Ergebnis enthält allerdings noch eine viel zu große Kursgrößendifferenz. Sie könnten nun unter "Auto-Optimierung (GK-KD: Parallele Rechnungen: ___" auf den Button "K" klicken, dann probiert das Programm automatisch die Grundkurs-Kursgrößendifferenz zu optimieren. Dabei werden "___" Prozessorkerne verwendet. Hier müssen Sie ziemlich genau wissen, wie viele Prozessorkerne ihr PC hat. Abbrechen kann man die Automatisierung jederzeit mit dem Button "Stoppe alle Auto-Berechnungen" (oben rechts). | |||
=== Blocken mit Kurs42_To_CNF === | === Blocken mit Kurs42_To_CNF === | ||
| Zeile 47: | Zeile 50: | ||
Die Anzahl der ''Threads'' kann zunächst auf 1 stehen (mehr dazu unter ''Technische Fragen'', siehe unten), das Ausgabeformat ist üblicherweise ''Neu+BOM'' | Die Anzahl der ''Threads'' kann zunächst auf 1 stehen (mehr dazu unter ''Technische Fragen'', siehe unten), das Ausgabeformat ist üblicherweise ''Neu+BOM'' | ||
=== Daten in Kurs42 importieren === | === Daten in Kurs42 importieren === | ||