Ethaniel :

Sally a écrit : Alors peut-être que si tu n'as pas compris de quoi je parlais c'est parce que ça te semble évident qu'une telle grille (impossible à résoudre sans backtracking quoi qu'il arrive, pour les siècles des siècles, et même par Dieu) n'existe pas ; effectivement intuitivement on a envie de dire que ça n'existe pas parce qu'il y a sûrement toujours des techniques auxquelles on n'a pas pensé (c'est précisément pour ça que je mets en doute leur existence), mais bon parfois on a des surprises, peut-être que ça existe quand même (mais il faudrait le prouver).

Ah non, je n'ai jamais dit que les GNIB existaient, mais je n'ai jamais dit non plus qu'elles n'existaient pas !!!

Je sais, je disais juste que *peut-être* que tu pensais évident qu'elles n'existent pas et que c'était pour ça que tu n'avais pas compris de quoi je parlais, mais ça n'était qu'une hypothèse ^^

Ethaniel :

Sally a écrit :
Si la solution est unique, je ne comprends pas comment tu peux être obligé de mettre un chiffre au hasard

À mon humble avis (et à mon humble intuition), je ne vois aucune corrélation entre l'unicité de la solution et la nécessité de backtracker ...

Ben, c'est précisément cette phrase que j'ai explicitée plus tard : "je ne vois pas pourquoi" ou "je ne comprends pas comment" ça veut juste dire que je doute fortement de l'existence des GNIB et que celle-ci n'est pas prouvée. Quant au lien avec le fait que la solution soit unique, ben c'est tout simplement que si la solution *n'est pas* unique il y a forcément un moment où un autre où tu vas devoir choisir arbitrairement comment remplir une case (et éventuellement backtracker si tu veux retrouver *toutes* les solutions), donc la question ne se pose que dans le cas d'une solution unique.

Ethaniel :
l'existence de ce genre de chose (grille nécessitant intrinsèquement du backtracking (GNIB), Dieu, licorne invisible et immatérielle, cygne noir de Popper, toussah )

Tu mets dans le même panier des choses de natures différentes : une GNIB est un objet mathématique dont on peut a priori donner une description précise, et il est tout à fait vraisemblable qu'il y ait moyen de prouver leur existence ou leur inexistence, même si ça n'est pas certain. Et les critères de scientificité d'une théorie sont pour les sciences naturelles (au sens le plus large du terme, les sciences du réel si tu veux), pas pour les mathématiques qui sont de nature différente. La réfutabilité ne veut rien dire si tu ne parles pas de la réalité.