Solveur Binary en ligne

Qu'est-ce qu'un solveur Binary ?

Un solveur Binary complete une grille composee seulement de 0 et de 1. On cherche aussi cet outil sous les noms solveur Takuzu, solveur Binairo, solveur Binero, solveur 0h h1, solveur Tic-Tac-Logic et aide Binary.

Ce solveur applique les regles standard : chaque ligne et colonne contient autant de zeros que de uns, trois chiffres identiques ne peuvent pas se suivre, et deux lignes ou colonnes terminees ne peuvent pas etre identiques.

• Resoudre un Binary de journal, livre, application ou fiche imprimable.
• Verifier si une grille Takuzu partielle reste valide.
• Trouver le prochain coup logique sans afficher toute la solution.
• Tester un Binairo cree a la main pour validite et unicite.

Comment utiliser ce solveur Binary

Choisissez la taille, puis cliquez les cases pour entrer les 0 et 1 connus. Vous pouvez aussi selectionner une case puis utiliser les boutons 0 et 1. Laissez les inconnues vides.

Resoudre complete la grille. Verifier indique s'il n'y a aucune solution, une solution ou plusieurs solutions. Prochain coup revele une deduction Binary logique a la fois.

• Utilisez 6x6 pour les petites grilles.
• Utilisez 8x8 pour la taille Takuzu la plus courante.
• Utilisez 10x10 ou 12x12 pour les grands Binairo.
• Appliquez un coup seulement si vous voulez l'ecrire dans la grille.
• Effacer retire les entrees; Reinitialiser revient a une grille 8x8 vide.

Regles Binary utilisees

L'outil utilise les regles normales de Binary, Takuzu et Binairo. Une grille 8x8 demande quatre zeros et quatre uns dans chaque ligne et colonne; une 10x10 en demande cinq; une 12x12 en demande six.

La regle des trois interdits agit horizontalement et verticalement. L'unicite se verifie sur les lignes et colonnes terminees.

• Chaque case vide devient 0 ou 1.
• Chaque ligne contient autant de 0 que de 1.
• Chaque colonne contient autant de 0 que de 1.
• 000 et 111 sont interdits.
• Les lignes terminees sont uniques, tout comme les colonnes terminees.

Prochain coup et strategies Binary

L'aide commence par les strategies les plus lisibles. 00_ ou _00 force 1; 11_ ou _11 force 0. Les paires separees fonctionnent aussi : 0_0 force 1, et 1_1 force 0.

Le solveur compte ensuite chaque ligne et colonne. Quand une ligne a deja la moitie d'un chiffre, les cases restantes doivent etre l'autre chiffre.

Enfin, il compare les lignes et colonnes. Si une ligne presque terminee copierait une ligne terminee, la case ouverte doit prendre la valeur opposee.

• Commencez par les motifs de paires.
• Comptez les zeros et les uns sur les lignes presque pleines.
• Comparez les lignes terminees aux lignes presque terminees.
• Evitez de deviner; une bonne grille a un prochain coup force.
• Utilisez Resoudre seulement pour verifier la reponse finale.

Pourquoi l'unicite est importante

Un bon Binary doit avoir une seule reponse. Avec deux fins valides, le joueur risque de devoir deviner.

Le solveur signale les solutions multiples quand les indices sont trop rares. C'est utile pour verifier une grille creee, recopier une grille ou comprendre pourquoi un puzzle ne se resout pas proprement.

Un exemple de déduction binaire

Les trois règles se nourrissent l'une l'autre, et les enchaîner est tout le savoir-faire. Supposons qu'une ligne d'une grille 8x8 montre déjà deux 1 côte à côte. Aucun bout ne peut être un autre 1 — cela ferait trois à la suite — donc les deux cases voisines sont des 0. Si l'un de ces 0 jouxte un 0 existant, la case au-delà est forcée à 1 pour éviter un triple de zéros. Une seule paire peut se propager sur plusieurs cases.

Le comptage ferme ensuite les lignes. Chaque ligne d'une grille 8x8 contient exactement quatre 0 et quatre 1 : dès qu'une ligne a son quatrième 1, toutes les cases restantes sont des 0. Et si compléter une ligne la rendait identique à une ligne terminée, la règle d'unicité force la valeur opposée dans la case décisive. Alternez entre la règle des trois, le comptage et l'unicité, et la grille se résout sans deviner.

• Deux cases égales côte à côte forcent l'opposé aux deux bouts.
• Un écart entre deux cases égales (0_0 ou 1_1) force l'opposé au milieu.
• Quand une ligne atteint la moitié d'un chiffre, le reste devient l'autre.
• Ne laissez jamais une ligne copier une ligne ou colonne terminée.
• Bouclez entre règle des trois, comptage et unicité jusqu'à résolution.

Binairo, Takuzu, Unruly : les nombreux noms du puzzle binaire

Le puzzle binaire voyage sous plusieurs noms. Dans les journaux et applications, il est vendu comme Binairo et comme Takuzu, le nom à consonance japonaise ; l'ancien nom Tohu wa Vohu apparaît aussi, et la célèbre collection open source de Simon Tatham l'inclut sous le nom d'Unruly. Tous sont le même puzzle avec les trois mêmes règles.

Quel que soit le nom, vous remplissez une grille avec deux symboles — souvent 0 et 1, parfois deux couleurs — de sorte qu'aucun triple identique ne se suive sur une ligne, que chaque ligne et colonne soit équilibrée, et qu'aucune ligne ni colonne ne se répète. Comme les règles sont identiques, ce solveur et les stratégies ci-dessus fonctionnent pour Binairo, Takuzu, Unruly et tout autre puzzle binaire.

• Binairo et Takuzu sont les noms commerciaux les plus courants.
• Tohu wa Vohu est un nom plus ancien du même puzzle.
• Unruly est la version de la collection de Simon Tatham.
• Certaines éditions utilisent deux couleurs au lieu de 0 et 1.
• Les trois règles sont identiques sous tous les noms.

Puzzle binaire face au Sudoku

Les puzzles binaires et le Sudoku sont tous deux des puzzles de grille à remplir, sans hasard, mais ils contraignent différemment. Le Sudoku utilise les chiffres 1 à 9 et interdit les répétitions dans chaque ligne, colonne et bloc. Un puzzle binaire n'utilise que deux symboles et n'a aucun bloc ; son défi vient de trois règles à l'air plus simple qui travaillent ensemble.

Ces règles — pas trois à la suite, autant de chaque symbole par ligne, et aucune ligne ou colonne en double — donnent une logique très différente du Sudoku. Il y a moins de calcul et plus de reconnaissance de motifs, et les règles d'équilibre et d'unicité créent des déductions que le Sudoku n'a jamais. Si le Sudoku vous est familier, le puzzle binaire est un changement rafraîchissant avec le même raisonnement patient.