Kurs42_To_CNF

Hier können alle Themen rund um die neuen zusätzlichen Blockungsprogramme diskutiert werden.

Moderator: wschrewe

B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von B. Bartsch »

Was passiert eigentlich mit Kursen, bei denen in Kurs 42 das Flag "Blocken" auf false gesetzt ist?
Mein Programm ignoriert alle Eingaben von Kurs42 und nimmt nur die Rohdaten.
Alles andere muss man als Regeln definieren. Je nach Kontext unterschiedliche Regeln.

Beispiel 1 - Man möchte einen Kurs "deaktivieren", dann:
Kurs#BI-GK1#max. SuS (ignoriert Kursdifferenzen)#0

Beispiel 2 - Man möchte die Lage des Kurses und die SuS fixieren, aber andere SuS dürften noch rein
Fixiere#Schiene und Teilnehmer#des Kurses#BI-GK1

Beispiel 3 - Man möchte die Lage des Kurses und die SuS fixieren (z.B: 26), aber andere SuS dürften nicht mehr rein
Fixiere#Schiene und Teilnehmer#des Kurses#BI-GK1
Kurs#BI-GK1#max. SuS (ignoriert Kursdifferenzen)#26
B. Bartsch
Benutzeravatar
wschrewe
Fachberater*in
Beiträge: 1686
Registriert: Dienstag 25. September 2018, 17:36
Schulform: BK (Pensionär)
Kontaktdaten:

Re: Kurs42_To_CNF

Beitrag von wschrewe »

B. Bartsch hat geschrieben: Mittwoch 2. Juni 2021, 13:23Beispiel 1 - Man möchte einen Kurs "deaktivieren", dann:
Kurs#BI-GK1#max. SuS (ignoriert Kursdifferenzen)#0
Danke! Das habe ich gesucht.
Mit freundlichen Grüßen
Walter Schrewe
"If all else fails, read the instructions" (Donald E. Knuth, letzter TeX - Hilfehinweis)
B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von B. Bartsch »

2021-06-04a
Neue Regel: GK-Kursdifferenz#7#maximale Anzahl#1
Begrenzt die Anzahl einer bestimmten GK-Kursdifferenz. Obiges Beispiel würde aber noch Kursdifferenzen der Größe 8, 9, 10, ... zulassen. Man muss zunächst die globale Kursdifferenz auf 7 begrenzen und dann kann man schrittweise jede nachfolgende Kursdifferenz minimieren.
B. Bartsch
B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von B. Bartsch »

2021-06-26a
Bug: Die Regel "GK-Kursdifferenz#<...>#maximale Anzahl#<...>" hatte einen Bug. Herr Schrewe hat den Fehler in meinem Code gefunden, vielen Dank dafür! Nun behoben.
B. Bartsch
B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von B. Bartsch »

2021-06-26b
Neue Regel: Lehrkraft#<...>#nicht in Schiene#<...>
Diese Regel ist ggf. etwas komfortabler, als es für jeden Kurs einzeln zu definieren.

Neue Regel: Lehrkraft#<...>#nicht mehrfach in Schiene#-
Forciert, dass die Lehrkraft "beachtet" wird, also ein Kurs der Lehrkraft nicht mehrfach in einer Schiene vorkommt.
B. Bartsch
Meike Klingauf
Beiträge: 80
Registriert: Samstag 5. Januar 2019, 13:47
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von Meike Klingauf »

Hallo Herr Bartsch,


haben Sie diese Idee weiter verfolgt (s.u.)?
Version _2021_06_26b importiert die LuPo-Daten, ich kann auch die Kursanzahlen einrichten, aber dann startet keine Berechnung.
War intendiert, dass man die Kursanzahl noch anpasst, wenn man kein akzeptables Ergebnis bekommt? Das wäre eigentlich insgesamt ein schönes Blocken..


"Neu: Man kann die LuPo Datei 'SchuelerLeistungsdaten.dat' importieren. Am Anfang muss man die Kursanzahlen einrichten.

Bitte mit Vorsicht genießen, es muss erst noch getestet werden.
Bei der Ausgabe werden nur die Dateien 'Blockplan.txt' und 'Kursbelegung.txt' erzeugt, man kann das Ergebnis also noch nicht in ..."

Viele Grüße
Meike Klingauf
B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von B. Bartsch »

... bitte einmal die Lupo-Datei zur Testung mir zuschicken. Dann kann ich untersuchen, woran es liegt.
B. Bartsch
B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von B. Bartsch »

2022-02-20a
Neu: Der SAT-Solver Kissat kann nun ebenfalls verwendet werden. Die Windows-EXE-Dateien von "cryptominisat" als auch "kissat" sind nun im ZIP enthalten.
B. Bartsch
NielsWestphal
Beiträge: 565
Registriert: Sonntag 2. Dezember 2018, 18:33
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von NielsWestphal »

Gibt es Vorteile für den einen oder anderen Solver?
mfg
Niels Westphal
B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Kurs42_To_CNF

Beitrag von B. Bartsch »

Kissat ist durchschnittlich schneller als cryptominisat. Aber es kommt auf das Szenario an. Bei meinem Stundenplanprogramm Faktor 5-7. Bei einigen Kursblockungs-Tests nur ein wenig schneller. NACHTEIL: Kissat kann nur 1 CPU ansprechen.
B. Bartsch
Antworten

Zurück zu „Externe Blockungsprogramme“