69Fermer71
SallyLe 04/08/2006 à 12:11
./60 > non mais ça je veux bien admettre que ça existe (enfin, je n'en savais rien, donc merci pour l'information ^^), après ça, on est d'accord, c'est juste qu'on ne parle pas exactement de la même chose : ce dont tu parles c'est une grille qu'on ne SAIT pas résoudre sans avoir recours au backtracking (parce qu'on n'y arrive pas), moi je mettais seulement en doute l'existence d'une grille qu'on ne PEUT pas résoudre sans avoir recours au backtracking (parce que c'est impossible).

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).

Sinon, je ne pense pas que tu aies fait beaucoup de maths, mais on ne considère un problème comme insoluble que quand il est *démontré* qu'il est insoluble : quand c'est juste que personne n'a réussi à le résoudre jusqu'à présent, on se contente de le considérer comme non résolu hehe. (Bon, éventuellement, quand vraiment beaucoup de gens n'arrivent pas à le résoudre, on peut *conjecturer* qu'il est insoluble, mais on ne peut pas l'affirmer tant que ce n'est pas prouvé...) La notion de problème soluble a posteriori ou a priori n'a pas beaucoup de sens en mathématiques : un problème est soluble ou pas, après soit tu sais s'il l'est soit tu ne le sais pas, c'est tout.

D'ailleurs souvent c'est l'inverse de ce que tu dis qui se produit : on cherche pendant des siècles la solution à des problèmes qu'on pense solubles (typiquement, la quadrature du cercle ou la trisection de l'angle à la règle et au compas) et un beau jour on parvient à démontrer qu'en fait on cherchait pour rien parce que ces problèmes sont insolubles ^^