Malgré l'avertissement, il n'y a qu'une solution, trouvable facilement : en effet, le hanjie est réalisé en "négatif", c'est à dire que les cases à trouver sont des blanches, et elle s'imposent par déduction.
Non, non, et non ! Il n'y a pas les 2 solutions que tu exposes.
Et pour te convaincre que le programme n'est pas infaillible, voici la démonstration de résolution du hanjie.
Ca va assez vite.
Merci de procéder exactement comme je l'indique.
Tu commences par poser 2 lignes complètes de noirs en L2 et L34.
On voit alors que les colonnes 1 et 38 n'ont que 2 cases noires chacune, la seconde et l'avant-dernière. Le restant de ces colonnes peut donc être mis en blanc.
Cela permet alors de poser les 36 cases noires de chacune des lignes 6, 9, 11, 13, 15, 19, 21, 23, 26, 28, 30 et 32.
On pose ensuite les lignes totalement blanches 7, 8, 16, 17, 18, 24 et 25.
A cause de la ligne blanche L7 et des lignes noires L2 et L6, on met une case noire en C2 et C37 sur la première ligne (seuls endroits où sont empilées 6 cases noires). Toutes les autres cases de la première ligne sont alors blanches.
On fait pareil en bas : à cause des lignes noires L26 et L34 et de la ligne blanche L25, on met une case noire en C2 et C37 sur la dernière ligne (seuls endroits où sont empilées 10 cases noires). Tout le reste de la dernière ligne est en blanc.
Il ne reste plus alors qu'à mettre les bordures droites et gauches des cadres, il n'y a aucune erreur possible :
- en C2 : de L1 à L6 => 6cases noires, de L9 à L15 => 7 cases noires, de L19 à L23 => 5 cases noires, de L26 à L35 => 10 cases noires
- en C37 : même chose que ci-dessus.
Et l'on a alors tout le cadre horizontal.
Il ne reste plus qu'à remplir les COLONNES, en allant du haut vers le bas et en partant de l'extrème droite, et il n'y a aucune ambigüité possible pour placer les noirs restants !
Il faut moins de 20 minutes pour résoudre le hanjie de cette manière.
Le programme est donc bel et bien faillible, alors il faut que ceux qui me sermonnent se calment et regardent leur technique de résolution.
Quand je fais une erreur, je la reconnais, mais là encore il n'y en a pas !
Je ne demande pas d'excuses ni d'amende honorable, je voudrais juste que ça ne vire pas au conflit (parce que certains commentaires relèvent parfois de l'attaque aux personnes, et ça c'est inadmissible).
Tu es le seul à ne pas faire de remarques désobligeantes pour la personne mais qui portent uniquement sur le jeu.
Alors dans un de tes hanjies, je t'ai collé le lien vers ici, pour que tu puisses lire la réponse que je t'ai faite plus haut, et surtout, pour que tu testes toi-même ma résolution de la grille, qui permet alors de voir que le testeur de solutions n'est pas infaillible.
Merci Mentou pour le hanjie, le morse et les félicitations ;)
@Teejee&Mentou : Je confirme la logique du hanjie. Ça m'étonne juste que l'algorithme ait pu râler puisque, une fois remplies les deuxièmes et avant-dernières lignes/colonnes, toutes les colonnes sont "complètes".
Petite note sur l'algorithme :
* Si l'algorithme dit qu'une grille est logique, c'est qu'il n'existe qu'un seul remplissage possible. Cela ne garantit pas forcément que l'humain soit capable de la résoudre à l'instant t.
* Si l'algorithme ne parvient pas à aboutir à une unique solution, c'est soit que la solution n'est pas unique, soit que le problème est trop complexe pour lui. Dans les deux cas, il dira qu'il y a plusieurs solutions.
* Enfin, l'algorithme peut aussi annoncer plusieurs solutions quand on duplique une grille dans la section création. Le diagnostique persiste tant qu'on n'a pas modifier la grille et qu'un doublon existe. C'est peut-être ce qu'il s'est passé ici (?)
* Ah, et quand l'ordinateur surchauffe, il n'arrive souvent pas à conclure aussi... Mais là, généralement, il ne daigne même pas enregistrer la grille en brouillon.
Il m'est moi-même arrivé de publier des grilles désapprouvées par l'algo car trop complexes, alors que la solution est bien démontrée comme unique (merci les hachures ^^). Comme quoi, le testeur est un outil bien pratique, qui nous surpasse la quasi-totalité du temps, mais il n'est pas encore infaillible (et ça, c'est rassurant). Perso, j'aime bien essayer de dépasser ses limites en développant des techniques qu'il ne connaît pas.
Bref, le test humain reste indispensable quel que soit le verdict de la machine.
@mentou-06 : Tu ferais bien de croire les avertissements du testeur de solutions ! Tu n'as pas raison contre la puissance de calcul de l'ordinateur...
Non, non, et non ! Il n'y a pas les 2 solutions que tu exposes.
Et pour te convaincre que le programme n'est pas infaillible, voici la démonstration de résolution du hanjie.
Ca va assez vite.
Merci de procéder exactement comme je l'indique.
Tu commences par poser 2 lignes complètes de noirs en L2 et L34.
On voit alors que les colonnes 1 et 38 n'ont que 2 cases noires chacune, la seconde et l'avant-dernière. Le restant de ces colonnes peut donc être mis en blanc.
Cela permet alors de poser les 36 cases noires de chacune des lignes 6, 9, 11, 13, 15, 19, 21, 23, 26, 28, 30 et 32.
On pose ensuite les lignes totalement blanches 7, 8, 16, 17, 18, 24 et 25.
A cause de la ligne blanche L7 et des lignes noires L2 et L6, on met une case noire en C2 et C37 sur la première ligne (seuls endroits où sont empilées 6 cases noires). Toutes les autres cases de la première ligne sont alors blanches.
On fait pareil en bas : à cause des lignes noires L26 et L34 et de la ligne blanche L25, on met une case noire en C2 et C37 sur la dernière ligne (seuls endroits où sont empilées 10 cases noires). Tout le reste de la dernière ligne est en blanc.
Il ne reste plus alors qu'à mettre les bordures droites et gauches des cadres, il n'y a aucune erreur possible :
- en C2 : de L1 à L6 => 6cases noires, de L9 à L15 => 7 cases noires, de L19 à L23 => 5 cases noires, de L26 à L35 => 10 cases noires
- en C37 : même chose que ci-dessus.
Et l'on a alors tout le cadre horizontal.
Il ne reste plus qu'à remplir les COLONNES, en allant du haut vers le bas et en partant de l'extrème droite, et il n'y a aucune ambigüité possible pour placer les noirs restants !
Il faut moins de 20 minutes pour résoudre le hanjie de cette manière.
Le programme est donc bel et bien faillible, alors il faut que ceux qui me sermonnent se calment et regardent leur technique de résolution.
Quand je fais une erreur, je la reconnais, mais là encore il n'y en a pas !
Je ne demande pas d'excuses ni d'amende honorable, je voudrais juste que ça ne vire pas au conflit (parce que certains commentaires relèvent parfois de l'attaque aux personnes, et ça c'est inadmissible).
Tu es le seul à ne pas faire de remarques désobligeantes pour la personne mais qui portent uniquement sur le jeu.
Alors dans un de tes hanjies, je t'ai collé le lien vers ici, pour que tu puisses lire la réponse que je t'ai faite plus haut, et surtout, pour que tu testes toi-même ma résolution de la grille, qui permet alors de voir que le testeur de solutions n'est pas infaillible.
@Teejee&Mentou : Je confirme la logique du hanjie. Ça m'étonne juste que l'algorithme ait pu râler puisque, une fois remplies les deuxièmes et avant-dernières lignes/colonnes, toutes les colonnes sont "complètes".
Petite note sur l'algorithme :
* Si l'algorithme dit qu'une grille est logique, c'est qu'il n'existe qu'un seul remplissage possible. Cela ne garantit pas forcément que l'humain soit capable de la résoudre à l'instant t.
* Si l'algorithme ne parvient pas à aboutir à une unique solution, c'est soit que la solution n'est pas unique, soit que le problème est trop complexe pour lui. Dans les deux cas, il dira qu'il y a plusieurs solutions.
* Enfin, l'algorithme peut aussi annoncer plusieurs solutions quand on duplique une grille dans la section création. Le diagnostique persiste tant qu'on n'a pas modifier la grille et qu'un doublon existe. C'est peut-être ce qu'il s'est passé ici (?)
* Ah, et quand l'ordinateur surchauffe, il n'arrive souvent pas à conclure aussi... Mais là, généralement, il ne daigne même pas enregistrer la grille en brouillon.
Il m'est moi-même arrivé de publier des grilles désapprouvées par l'algo car trop complexes, alors que la solution est bien démontrée comme unique (merci les hachures ^^). Comme quoi, le testeur est un outil bien pratique, qui nous surpasse la quasi-totalité du temps, mais il n'est pas encore infaillible (et ça, c'est rassurant). Perso, j'aime bien essayer de dépasser ses limites en développant des techniques qu'il ne connaît pas.
Bref, le test humain reste indispensable quel que soit le verdict de la machine.