Die Suche ergab 92 Treffer

von Volker_Dirr
Freitag 10. Juli 2020, 11:23
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

[...]Es ist also wenig Luft in den Blöcken. Ich habe in beiden Programmen ohne weitere Vorgaben geblockt (mit Ausnahme der beiden SuS, die nicht zusammen sollen, siehe Vorgaben.txt), und das kommerzielle Progamm kam auf KD4, während Kurs42 to CNF bei mir nur bis KD11 gekommen ist. Ich habe eine neu...
von Volker_Dirr
Freitag 10. Juli 2020, 11:18
Forum: Externe Blockungsprogramme
Thema: Programm zur Blockung - Tester gesucht!
Antworten: 14
Zugriffe: 810

Re: Programm zur Blockung - Tester gesucht!

Ich habe eine neue Version veröffentlicht.
Über Rückmledungen würde ich mich freuen:
www.volker-dirr.de/StElTo-2.1.2.exe

Die Neuerungen zeige ich hier:
https://www.youtube.com/watch?v=azKi0rQHfRk
von Volker_Dirr
Samstag 27. Juni 2020, 15:22
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

Ja, ist mir bekannt. Den Fall hatte ich auch direkt als Fall a) vermutet. Hätte ja auch Fall b) sein können.
Ich kann ihnen gerne Techniken schildern wie man das Problem automatisieren(minimieren) kann. Mache ich aber nur auf direkte Nachfrage um hier nicht zu stark vom Thema abzuweichen.
von Volker_Dirr
Samstag 27. Juni 2020, 11:12
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

hmm... Stimmt, Sie werden da nicht direkt EInfluss nehmen können. Der Solver ist der kritische Bereich. Ich habe gesehen, dass es da ja zig Versionen gibt. Alleine hier findet man sehr viele: http://sat2018.forsyte.tuwien.ac.at/solvers/ da müsste ich aber viel testen :-( Haben Sie davon schon mehrer...
von Volker_Dirr
Samstag 27. Juni 2020, 07:16
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

Wenn Sie so einen plötzlichen Einbruch ab 120 Schüler festgestellt haben, dann vermute ich eher, dass ihre (wichtigen) Daten nicht komplett in den Cache passen und in den Hauptspeicher ausgelagert werden. Evtl. sollten Sie als ersten versuchen etwas sparsamer mit dem Speicher umzugehen. Warum ist de...
von Volker_Dirr
Mittwoch 24. Juni 2020, 21:39
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

Ja, alte Daten. Habe es gerade mal mit den Daten von Herrn Müller ausprobiert. Kurs42 ist ja richtig schnell geworden. Sehr gut gemacht. Ich habe nur grob getestet, keine genauen Messungen. Aber der Datensatz von Herrn Müller ist am langsamsten mit Kurs42_To_CNF. In der Mitte liegt Kurs42 und am sch...
von Volker_Dirr
Mittwoch 24. Juni 2020, 15:51
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

ah.. Danke. Ich hatte die alte Kurs42 Version, daher hatte ich es wohl nicht gesehen. Habe jetzt die Juni Version.
Dummerweise kann ich jetzt keine Dateien mehr importieren. Ich erhalte immer 'Feld "IdNr" nicht gefunden'. :-(
von Volker_Dirr
Mittwoch 24. Juni 2020, 14:49
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

Wo stellt man bei Kurs42 den neuen Algorithmus ein?
von Volker_Dirr
Dienstag 23. Juni 2020, 22:38
Forum: Externe Blockungsprogramme
Thema: Wettbewerb / Vergleich von Blockungsprogrammen
Antworten: 57
Zugriffe: 1097

Re: Wettbewerb / Vergleich von Blockungsprogrammen

Ich habe es auch einmal mit Kurs42 to CNF ausprobiert. Also bei mir kann er es mit Kurs42 to CNF laden und rechnen. Eigenartig.

@F. Müller: Darf ich ihren Datensatz in meinem Programm als Beispieldatensatz veröffentlichen?
Falls ja: Soll ich sie namentlich nennen?

[PS Teil gelöscht]

Zur erweiterten Suche