Binary Puzzle Solver online

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.

Ein durchgerechnetes Binär-Beispiel

Die drei Regeln greifen ineinander, und sie zu verketten ist die ganze Kunst. Angenommen, eine Reihe eines 8x8-Rätsels zeigt schon zwei 1en nebeneinander. Kein Ende kann eine weitere 1 sein — das gäbe drei in Folge — also sind beide Nachbarzellen 0. Liegt eine dieser 0en neben einer vorhandenen 0, wird die Zelle dahinter zur 1 erzwungen, um ein Nullen-Tripel zu vermeiden. Ein einziges Paar kann mehrere Zellen weit ausstrahlen.

Das Zählen schließt dann die Linien. Jede Reihe eines 8x8-Gitters enthält genau vier 0en und vier 1en, sobald eine Reihe ihre vierte 1 hat, müssen alle übrigen Felder 0 sein. Und würde das Füllen einer Reihe sie mit einer fertigen Reihe identisch machen, erzwingt die Eindeutigkeitsregel den Gegenwert in der entscheidenden Zelle. Wechsle zwischen Drei-Regel, Zählen und Eindeutigkeit, und das Gitter löst sich ohne Raten.

• Zwei gleiche Zellen nebeneinander erzwingen das Gegenteil an beiden Enden.
• Eine Lücke zwischen zwei gleichen Zellen (0_0 oder 1_1) erzwingt das Gegenteil in der Mitte.
• Erreicht eine Linie die Hälfte einer Ziffer, wird der Rest die andere.
• Lass nie eine Linie eine fertige Reihe oder Spalte kopieren.
• Wechsle zwischen Drei-Regel, Zählen und Eindeutigkeit bis zur Lösung.

Binairo, Takuzu, Unruly: die vielen Namen des Binärrätsels

Das Binärrätsel reist unter mehreren Namen. In Zeitungen und Apps wird es viel als Binairo und als Takuzu verkauft, dem japanisch klingenden Namen; der ältere Name Tohu wa Vohu taucht ebenfalls auf, und die beliebte Open-Source-Sammlung von Simon Tatham führt es als Unruly. Alle sind dasselbe Rätsel mit denselben drei Regeln.

Wie auch immer es heißt, du füllst ein Gitter mit zwei Symbolen — meist 0 und 1, manchmal zwei Farben — sodass kein Dreierpack gleicher in einer Linie steht, jede Reihe und Spalte ausgeglichen ist und sich keine zwei Reihen oder Spalten gleichen. Da die Regeln identisch sind, funktionieren dieser Löser und die obigen Strategien für Binairo, Takuzu, Unruly und jedes andere Binärrätsel.

• Binairo und Takuzu sind die häufigsten kommerziellen Namen.
• Tohu wa Vohu ist ein älterer Name desselben Rätsels.
• Unruly ist die Version aus Simon Tathams Sammlung.
• Manche Ausgaben nutzen zwei Farben statt 0 und 1.
• Die drei Regeln sind unter jedem Namen identisch.

Binärrätsel im Vergleich zu Sudoku

Binärrätsel und Sudoku sind beide Gitter-Logikrätsel ohne Glück, beschränken aber unterschiedlich. Sudoku nutzt die Ziffern 1 bis 9 und verbietet Wiederholungen in jeder Reihe, Spalte und Box. Ein Binärrätsel nutzt nur zwei Symbole und hat gar keine Boxen; sein Reiz kommt aus drei scheinbar einfacheren Regeln, die zusammenwirken.

Diese Regeln — keine drei in Folge, gleich viele jedes Symbols pro Linie und keine doppelten Reihen oder Spalten — lassen die Logik ganz anders wirken als bei Sudoku. Es gibt weniger Rechnen und mehr Mustererkennung, und die Ausgleichs- und Eindeutigkeitsregeln schaffen Schlüsse, die Sudoku nie hat. Wer Sudoku kennt, dem bietet das Binärrätsel eine erfrischende Abwechslung mit demselben geduldigen Denken.