Sudoku pour résolution manuelle ou assistée

Description

Bonjour,

Voici le code d'un Sudoku qui résout par la logique des grilles de Sodoku 9x9 de
difficulté allant des plus simples jusqu'à celui de la grille AI Escargot.
La logique utilisée est dérivée de celle des "Candidats forcés en chaîne de cases à
Paires nues" qui considère que si, quel que soit le choix de départ, le résultat d'une
case de la chaîne est toujours faux ce candidat peut être éliminé.
Et cette logique dérivée, au lieu de s'appuyer sur des cases à Paires nues, s'appuie
sur les candidats situés en Emplacements Jumeaux et considère que si, quel que soit le
choix de départ, ce choix provoque l'apparition, soit d'un doublon parmi les résultats,
soit d'une case vidée de tous ses candidats alors ce candidat peut être éliminé
... mais avec un énorme avantage résultant du fait que les candidats jumeaux sont
nettement plus fréquents que les Paires nues et que les Paires nues formant de surcroît
une chaîne sont encore plus rares. (AI Escargot ne comporte que 2 paires nues mais 26
cases formant 13 emplacements jumeaux donc 13 à résoudre sur ses 58 cases à résoudre,
et le reste se résout par effet domino + la logique des candidats situés en emplacement
unique)

Pour plus de détails sur cette logique voir §A de l'Aide n°2 dans Zip ci-joint.
Pour se familiariser avec l'utilisation du logiciel voir l'Aide n°1.

Mais comme l'utilisation d'un logiciel qui donne presque instantanément la solution
d'une grille c'est vite ennuyeux celui-ci est utilisable pour une résolution manuelle
plus ou moins assistée par ordinateur ... y compris à n'utiliser l'ordinateur que
pour s'imprimer sa grille avec tous ses candidats et se la résoudre loin de la bécane..
Les Aides n° 2 et n°3 résument en outre les logiques secondaires utilisables en
résolution manuelle "crayon+papier+neurones".

Autre curiosité : On peut également constater que pour résoudre la Grille_AIEscargot
on peut la déverrouiller en plaçant un 5 en L1C5, un 4 en L3C5 et un 7 en L7C5 et
le reste se résout alors entièrement par effet domino et la règle du
"Candidat en Emplacement Unique".

Codes Sources

A voir également

Vous n'êtes pas encore membre ?

inscrivez-vous, c'est gratuit et ça prend moins d'une minute !

Les membres obtiennent plus de réponses que les utilisateurs anonymes.

Le fait d'être membre vous permet d'avoir un suivi détaillé de vos demandes et codes sources.

Le fait d'être membre vous permet d'avoir des options supplémentaires.