Résolution de sudoku

Olympiades mathématiques, énigmes et défis
Avatar de l’utilisateur
fatal_error
Modérateur
Messages: 6610
Enregistré le: 22 Nov 2007, 13:00

par fatal_error » 14 Jan 2010, 23:38

En justifiant que B3 n'est pas 8 par : pour tout n, [ E7=n (tous les candidats) => impossibilité ] >>
est-ce brute force ou pas ?

Je pense que tu diras "oui", non ?

Ben non, je dis non. :we:

Si le fait que B3 ne soit pas 8 te permet de faire de supprimer des candidats, ou d'appliquer un algo qqconque, alors c'est pas un cas de brute force. Vu que tu peux et va procéder autrement ensuite.
L'idée de brute force c'est vraiment t'es bourrin, tu testes tout ce que tu peux jusqu'a ce que ca plante/marche pas ou que ca marche.
Ici, c'est plus subtil (enfin je crois), tu testes B3 pour te permettre de revenir sur une grille plus simple que tu sais résoudre.
Apres bien sur, on peut dire on a fait brute force parce qu'on a testé au pif sur UNE case, mais c'est enlever le sens de brute force.
la vie est une fête :)



Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 12:07

par Doraki » 15 Jan 2010, 00:00

Je pense qu'il faudrait préciser un peu ce qu'on entend par une "déduction".
Pour moi faire une hypothèse en se donnant la possibilité de chercher super longtemps derrière (de pas avoir un truc borné qui dit si on confirme/infirme/abandonne la recherche), je rangerais ça dans du brute-force.

Avatar de l’utilisateur
leon1789
Membre Transcendant
Messages: 5475
Enregistré le: 27 Nov 2007, 16:25

par leon1789 » 15 Jan 2010, 09:00

Doraki a écrit:Je pense qu'il faudrait préciser un peu ce qu'on entend par une "déduction".
Pour moi faire une hypothèse en se donnant la possibilité de chercher super longtemps derrière (de pas avoir un truc borné qui dit si on confirme/infirme/abandonne la recherche), je rangerais ça dans du brute-force.

Oui, je comprends bien, mais cela me gêne un peu quand même : une chaîne de longueur 50, ok c'est assez "brutal". ...et de longueur 10 , 5 , 3 , 2 ? Quelle borne fixer ? et en utilisant quelles règles ? (certaines règles "compliquées" sont elles-mêmes des résultats de déduction après hypothèse...)

Avatar de l’utilisateur
leon1789
Membre Transcendant
Messages: 5475
Enregistré le: 27 Nov 2007, 16:25

par leon1789 » 17 Jan 2010, 21:14

leon1789 a écrit:Je pense (j'espère ! je ne sais même pas si cela va aller loin...) [...]

Bon ! Il faut être encore plus "bourrin" que ça ! :hum: car même en ajoutant quelques règles simples sur les sous-ensembles "fermés", finalement, je n'arrive pas à éliminer davantage que sept candidats avec cette manière de procéder ( représentent des cases) :
, implique .
:triste:
, , , , , et c'est tout...

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21512
Enregistré le: 11 Nov 2009, 22:53

par Ben314 » 17 Jan 2010, 21:25

Moi je te le dit LA "BRUTE FORCE" y'a que ca de vrai :zen:

P.S. : Quand je regarde l'histoire de l'humanité, des fois je me demande si c'est drole....
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 7 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite