Was ist ein Binary-Puzzle-Solver?
Ein Binary-Puzzle-Solver vervollstaendigt ein Raster aus nur 0 und 1. Danach wird auch als Takuzu Solver, Binairo Solver, Binero Solver, 0h h1 Solver, Tic-Tac-Logic Solver und Binary-Hilfe gesucht.
Der Solver nutzt die Standardregeln: Jede Reihe und Spalte hat gleich viele Nullen und Einsen, drei gleiche Ziffern duerfen nicht direkt hintereinander stehen, und fertige Reihen oder Spalten duerfen sich nicht wiederholen.
- Binary aus Zeitung, Buch, App oder Ausdruck loesen.
- Pruefen, ob ein teilweise gefuelltes Takuzu noch gueltig ist.
- Den naechsten logischen Zug finden, ohne die ganze Loesung zu zeigen.
- Ein selbst gebautes Binairo auf Gueltigkeit und Eindeutigkeit testen.
So verwendest du diesen Binary Solver
Waehle die Groesse und klicke Felder an, um bekannte 0 und 1 einzutragen. Du kannst auch ein Feld auswaehlen und die 0- und 1-Tasten nutzen. Unbekannte Felder bleiben leer.
Loesen fuellt das ganze Raster. Pruefen zeigt, ob es keine, eine oder mehrere Loesungen gibt. Naechster Zug zeigt jeweils eine logische Binary-Folgerung.
- 6x6 eignet sich fuer kleine Einsteigerraetsel.
- 8x8 ist die haeufigste Takuzu-Groesse.
- 10x10 und 12x12 passen fuer groessere Binairo-Gitter.
- Wende einen Zug nur an, wenn er ins Raster geschrieben werden soll.
- Leeren entfernt alle Eingaben; Zuruecksetzen startet wieder mit 8x8.
Binary-Regeln des Solvers
Das Werkzeug nutzt die normalen Regeln fuer Binary, Takuzu und Binairo. Ein 8x8 braucht vier Nullen und vier Einsen je Reihe und Spalte; ein 10x10 braucht fuenf; ein 12x12 braucht sechs.
Die Keine-Dreier-Regel gilt waagerecht und senkrecht. Eindeutigkeit wird bei fertigen Reihen und Spalten geprueft.
- Jedes leere Feld wird 0 oder 1.
- Jede Reihe hat gleich viele 0 und 1.
- Jede Spalte hat gleich viele 0 und 1.
- 000 und 111 sind nicht erlaubt.
- Fertige Reihen und fertige Spalten sind eindeutig.
Naechster Zug und Binary-Strategien
Die Hilfe beginnt mit gut sichtbaren Regeln. 00_ oder _00 erzwingt 1; 11_ oder _11 erzwingt 0. Getrennte Paare funktionieren ebenso: 0_0 erzwingt 1, 1_1 erzwingt 0.
Danach zaehlt der Solver jede Reihe und Spalte. Wenn eine Linie bereits die Haelfte einer Ziffer hat, muessen alle uebrigen Felder die andere Ziffer sein.
Zum Schluss vergleicht er Linien. Wenn eine fast fertige Reihe eine fertige Reihe kopieren wuerde, muss das offene Feld den Gegenwert bekommen.
- Beginne mit Paarmustern.
- Zaehle Nullen und Einsen in fast vollen Linien.
- Vergleiche fertige und fast fertige Linien.
- Rate nicht; ein gutes Binary hat einen erzwungenen naechsten Schritt.
- Nutze Loesen erst fuer die finale Kontrolle.
Warum Eindeutigkeit wichtig ist
Ein gutes Binary sollte genau eine Antwort haben. Bei zwei gueltigen Enden muss man sonst raten.
Der Solver meldet mehrere Loesungen, wenn zu wenige Hinweise vorhanden sind. Das hilft beim Erstellen, Abschreiben und Pruefen von Raetseln.
Binary solving techniques
These are the techniques used by the next move helper. They also make a compact strategy checklist when solving Takuzu or Binairo by hand.
No Three in a Row
BeginnerTwo equal digits together, or separated by one empty square, force the surrounding empty square to be the opposite digit.
Balance Rule
BeginnerEvery row and column must contain half zeros and half ones, so a line that has reached its limit forces the rest of the line.
Line Completion
BeginnerIf the remaining empty cells in a row or column must all be zeros or all be ones to hit the required count, they can be filled immediately.
Uniqueness Check
IntermediateCompleted rows and columns cannot repeat. A nearly identical line may force the open square to keep the two lines different.
Forced in Every Solution
AdvancedWhen the direct rules pause, the helper can compare all valid completions it finds and show a cell that has the same value in every solution.