Claiming
Claiming se produit quand chaque candidat restant pour un chiffre dans une ligne ou une colonne se trouve dans un bloc. La ligne doit placer le chiffre dans ce bloc, donc le chiffre peut être retiré du reste du bloc en dehors de la ligne source.
Qu'est-ce que Claiming ?
Le Claiming, parfois appelé réduction ligne-bloc, est le miroir du Pointing. Si tous les candidats d’un chiffre dans une ligne ou une colonne se trouvent dans un seul bloc 3×3, ce chiffre doit occuper l’intersection. Le même candidat peut donc être supprimé du reste du bloc, hors de la ligne source.
Exemple détaillé
L’exemple ci-dessous montre une ligne dont le chiffre ne peut figurer que dans un seul bloc — la configuration de la Réclamation.
Étape 1
Considérez ligne.
Étape 2
Les cases en surbrillance à l'intérieur sont les seules positions possibles pour la valeur 7 dans ligne, et elles se trouvent toutes dans la même bloc.
Étape 3
Puisque ligne doit contenir 7, et que 7 ne peut aller que dans ces cases en surbrillance, bloc contiendra définitivement 7 dans l'une d'elles. Nous pouvons donc supprimer 7 de toutes les autres cases de bloc en dehors de ligne.
Cet exemple montre un cas valide de la déduction de Réclamation. Avant de l’appliquer à une autre grille, vérifiez que chaque candidat du chiffre dans la ligne ou la colonne se trouve à l’intérieur d’un même bloc — ce confinement justifie les éliminations dans le reste du bloc. Vous pouvez lancer une partie de Sudoku gratuite pour vous entraîner avec l’état actuel des candidats visible.
Comment le repérer
Parcourez les lignes et colonnes une par une et cherchez un chiffre dont les candidats se regroupent tous dans une seule zone. Avec les marques de crayon, cela saute aux yeux — les marques pour ce chiffre se serrent dans une seule zone 3×3 au lieu de s'étaler le long de la ligne. Une fois repéré, balayez le reste de la zone et effacez le chiffre partout où il apparaît hors de la ligne ou colonne source. Claiming apparaît beaucoup dans la première moitié d'une résolution, quand la grille est encore encombrée de candidats et qu'une élimination propre peut tout débloquer.
La logique
Chaque ligne et chaque colonne a besoin de chaque chiffre de 1 à 9 exactement une fois. Si les seuls candidats d'un chiffre dans une ligne sont tous dans une zone, l'une de ces cases doit forcément contenir le chiffre — il n'y a nulle part ailleurs sur la ligne où il peut aller. Mais une zone ne contient chaque chiffre qu'une fois, donc une fois que la ligne a consommé ce chiffre dans la zone, aucune autre case de la même zone ne peut l'avoir. C'est pourquoi tout candidat dans la zone, hors de la ligne source, peut être barré. Le même raisonnement avec une colonne donne la version colonne.