+Nam Vũ Phương yea, would be better, but my English is sadly not that fluently. So making tutorials in a foreign language is probably a level above my competence :D Sorry ;)
Interessanter Ansatz, aber auch etwas statisch, wenn ich das richtig verstanden habe. Sprich, du kannst nur diesen einen Typ von Sudoku lösen, der ja noch recht übersichtlich ist und doch mehr als eine Hand For-Schleifen braucht. Sudokus mit Zusatzbedingung, wie zwei Diagonalen, oder Block in Block würden wiederum neue Literale benötigen, die aufzuschreiben dann sicher mehr Arbeit macht als das Sudoku einfach zu lösen. Übrigens Das Beispiel war in 3 min. per Hand gelöst, ledigt das Abstreichen elektronisch unterstützt. Was mir auch fehlt, ist die Eindeutigkeit des Sudokus, weil nur ein Sudoku was eindeutig lösbar ist, also nur eine Lösung hat, auch Sudoku heißen darf - so ist das definiert. Hat man etwas zwei Lösungen, müsste man eine weiter Ziffer fest vorgeben, so kommt es dann auch, dasw ein normales Sudoku ohne weitere Zusatzbedingungen mindesten 17 Zahlen vorgegeben haben muß, meisten sind es aber bis zu 23 Zahlen.
yea, I figured that out ;) it can be a pretty small mistake, are you sure, everything is absolutely correct? I'm not sure, but maybe I put the code on github, too.
Wieso überprüft man, ob 7 rauskommt in der if-Bedienung? Ich hätte gedacht, dass man auf -7 prüft, da man ja den Fall herausfiltern will, in dem nur eins true ist und die restlichen false.
weil der eine Wert der wahr ist -1 ist und die Werte die falsch sind 1. Wir dürfen nur einen richtigen Wert haben und die restlichen Werte müssen falsch sein also 1 + 1 + 1... + (-1) = 7
+Peter Wacker ja, man müsste noch die Kodierung bei der Eingabe regeln, das parsen, Ausgabe erstellen, eventuell sogar grafisch, aber das hat ja alles nichts mit dem Thema zu tun ;) Dürft ihr jetzt machen =)
Thank you, it's really hard to find a SAT4J tutorial video like this. I wish some one can translate it to English
+Nam Vũ Phương thanks for your compliment =) Sadly my channel is all German, but you can still copy the source code =)
+The Morpheus Tutorials Yup, I just think it's better if I can understand all xD
+Nam Vũ Phương yea, would be better, but my English is sadly not that fluently. So making tutorials in a foreign language is probably a level above my competence :D Sorry ;)
The subtitles are disabled, would it be possible to activate or make available the automatic generation and translation of UA-cam subtitles?
omg, die Idee ist geil. Dann muss ich wohl erst mal das Logik-Video sehen :(
+RocketlauncherLP brauchst du nicht mal unbedingt. Grundkenntnisse reichen eigentlich.
bester mann!
❤️
how can i do a generator using SATsolver?thank you for your help sir
You can generate random values and try if they are solvable like we did here :)
Keep doing it, until it's solvable.
Where is the source code?
echt geiles Tutorial. danke
Interessanter Ansatz, aber auch etwas statisch, wenn ich das richtig verstanden habe. Sprich, du kannst nur diesen einen Typ von Sudoku lösen, der ja noch recht übersichtlich ist und doch mehr als eine Hand For-Schleifen braucht. Sudokus mit Zusatzbedingung, wie zwei Diagonalen, oder Block in Block würden wiederum neue Literale benötigen, die aufzuschreiben dann sicher mehr Arbeit macht als das Sudoku einfach zu lösen. Übrigens Das Beispiel war in 3 min. per Hand gelöst, ledigt das Abstreichen elektronisch unterstützt. Was mir auch fehlt, ist die Eindeutigkeit des Sudokus, weil nur ein Sudoku was eindeutig lösbar ist, also nur eine Lösung hat, auch Sudoku heißen darf - so ist das definiert. Hat man etwas zwei Lösungen, müsste man eine weiter Ziffer fest vorgeben, so kommt es dann auch, dasw ein normales Sudoku ohne weitere Zusatzbedingungen mindesten 17 Zahlen vorgegeben haben muß, meisten sind es aber bis zu 23 Zahlen.
i get only UNSAT on output help
Hi,
this means, your formula is not solvable. Doesn't matter which values you set for your variables, it will always be false
The Morpheus Tutorials i wrote the same code as you but i don’t understand germany
yea, I figured that out ;)
it can be a pretty small mistake, are you sure, everything is absolutely correct?
I'm not sure, but maybe I put the code on github, too.
Ok i’ll check thank you for your reply and can you send me the link to see the code directly
ah, I didnt upload it. Sorry.. You have to check it via the video
habe noch nicht ganz verstanden ob der DPLL Algorithmus die KNF oder DNF verwendet ^^
+MarsMasterLP aber jetzt hoffentlich schon? =)
Ja war vom letzten Video ein bissl verwirrt ^^
Ja war vom letzten Video ein bissl verwirrt ^^
Ja war vom letzten Video ein bissl verwirrt ^^
+MarsMasterLP sorry :D
Wieso überprüft man, ob 7 rauskommt in der if-Bedienung?
Ich hätte gedacht, dass man auf -7 prüft, da man ja den Fall herausfiltern will, in dem nur eins true ist und die restlichen false.
weil der eine Wert der wahr ist -1 ist und die Werte die falsch sind 1. Wir dürfen nur einen richtigen Wert haben und die restlichen Werte müssen falsch sein also 1 + 1 + 1... + (-1) = 7
Schade eigentlich das es keine exe datei geworden ist, wäre aber wohl viel zu lang😕
+Peter Wacker ja, man müsste noch die Kodierung bei der Eingabe regeln, das parsen, Ausgabe erstellen, eventuell sogar grafisch, aber das hat ja alles nichts mit dem Thema zu tun ;)
Dürft ihr jetzt machen =)
The Morpheus wenn wir es schaffen...
+Peter Wacker klar