Swordfish

Résultat

À la fin de cette leçon, vous saurez étendre la logique des Fish à trois unités de base et trois unités de couverture, y compris lorsque les distributions sources sont irrégulières et ne ressemblent pas à trois lignes identiques.

Le même Fish, avec un ensemble plus grand

Swordfish n'introduit pas un nouveau type de preuve après X-Wing.

C'est le même comptage :

trois bases → trois couvertures

La difficulté consiste souvent à voir l'union des positions de couverture lorsque les trois unités sources ont des distributions différentes.

Étape 1 — Fusionnez les positions de couverture

Supposons que le candidat 4 apparaisse ainsi dans trois lignes :

r1 → c1 / c8
r4 → c1 / c5 / c8
r9 → c5 / c8

Les lignes ne se ressemblent pas visuellement.

Mais leur ensemble de couverture combiné est seulement :

{c1, c5, c8}

Trois lignes de base. Trois colonnes de couverture.

C'est cette structure qui compte.

Étape 2 — Utilisez l'union des couvertures

Chaque ligne de base doit contenir le chiffre cible une fois.

Les trois placements sont confinés à trois colonnes de couverture. Comme une colonne ne peut contenir le chiffre qu'une seule fois, ces trois colonnes sont consommées par les trois placements des lignes de base.

Le candidat peut donc être supprimé de ces colonnes de couverture en dehors des lignes de base.

Étape 3 — Rejetez quatre couvertures

Si les trois lignes sources utilisent ensemble quatre colonnes de couverture, la preuve de base d'un Fish de taille 3 disparaît.

Ne forcez pas un Swordfish simplement parce que trois lignes semblent peu remplies.

Comptez l'union des couvertures.

Étape 4 — Swordfish basé sur les colonnes

Comme pour X-Wing, lignes et colonnes peuvent échanger leurs rôles.

Trois colonnes de base confinées à trois lignes de couverture forment le même Fish.

Checkpoint

Classez des Swordfish réguliers et irréguliers, détectez un quasi-motif à quatre couvertures et reconnaissez la forme transposée basée sur les colonnes.

À retenir

Ne cherchez pas trois motifs de candidats identiques.

Cherchez :

trois unités sources dont l'union dans les unités opposées contient exactement trois couvertures.

Ensuite

XY-Wing — quittez la logique Fish à un seul chiffre et commencez à lire les relations entre cellules bivalue.

Référence

Lisez Swordfish pour une comparaison plus approfondie avec X-Wing et davantage d'exemples de Fish irréguliers.