Messages postés par "arbraz"
| Sujet | Date | Extrait |
|---|---|---|
|
Sudoku !
Le classique ! |
jeudi 04 février 2016 à 10h42 | Je ne maîtrise pas la récursivité ! Mon objectif est d'utiliser DPLL pour des problèmes mis sous forme cnf, autrement dit utiliser un code que je comprends, pycosat étant un plus en termes de rapidi… |
|
Sudoku !
Le classique ! |
mardi 02 février 2016 à 09h19 | Yoch, s'agissant du code DPLL dont tu m'as donné le lien, je suis en train de le décortiquer pour mieux le comprendre, et j'ai quelques interrogations : ```py dct = deepcopy(dct) ``` - intérêt … |
|
Sudoku !
Le classique ! |
dimanche 24 janvier 2016 à 15h34 | J'essaie seulement de résoudre les grilles de sudoku. Ayant adapté le code de d'Ilan Schnell à la résolution d'une grille 25*25, j'ai trouvé une grille de cette taille [ici](http://www.ulb.ac.be/di/… |
|
Sudoku !
Le classique ! |
samedi 23 janvier 2016 à 13h17 | > EDIT: Pour info, j'avais posté un code python minimaliste pour DPLL sur le topic cité plus haut. Désolé, mais je n'ai pas trouvé. Pour ce qui concerne pycosat, c'est bon ! J'ai adapté le code… |
|
Sudoku !
Le classique ! |
mardi 19 janvier 2016 à 14h21 | J'avais différé la lecture de documents liés à pycosat, notamment *SAT based sudoku solver in python* du Dr. Ilan Schnell, ainsi que *a SAT-based sudoku solver* de Tjark Weber, dans l'attente de la r… |
|
Sudoku !
Le classique ! |
mardi 19 janvier 2016 à 12h08 | Premiers essais : La structure de données utilisée est une liste (la formule) de listes (les clauses). ```py def traiterFormule(formule,assignations): " propagation - version initiale - s… |
|
Sudoku !
Le classique ! |
vendredi 15 janvier 2016 à 08h22 | Je vais entrer en religion ! Je veux dire que j'ai pas mal de lecture avant de me décider. Pour commencer, je vais tâter de la littérature SAT. Prolog, je l'ai étudié dans les années 80, mais il ne m… |
|
Sudoku !
Le classique ! |
jeudi 14 janvier 2016 à 20h23 | J'ai un peu galéré avant d'en arriver là, mais c'est le but du jeu. Je voudrais poursuivre en expérimentant d'autres méthodes qui ne demandent pas de prérequis dont la compréhension me poserait quel… |
|
Sudoku !
Le classique ! |
jeudi 14 janvier 2016 à 18h49 | Voici la grille : 9..1....5..5.9.2.18...4........8.......7.........26..92..3....6...2..9....19.457. et quelques résultats (obtenus avec la version basique de l'algorithme) - les 3 premiers : … |
|
Sudoku !
Le classique ! |
jeudi 14 janvier 2016 à 15h01 | > (et pour info, mon tuto est disponible ici aussi : [là](https://zestedesavoir.com/contenus/476/le-backtracking-par-lexemple-resoudre-un-sudoku/)) Source:[yoch](http://zestedesavoir.com/forums/suje… |
|
Sudoku !
Le classique ! |
jeudi 07 janvier 2016 à 21h43 | La méthode est [ici](https://openclassrooms.com/courses/le-backtracking-par-l-exemple-resoudre-un-sudoku),je n'ai fait que transcrire en Python, (qui est le langage des prépas aujourd'hui). Voici … |
|
Sudoku !
Le classique ! |
jeudi 07 janvier 2016 à 20h00 | Je vais être le naïf (le cancre ?) de service ! Disons que je suis faux débutant ! Ici, il y a du haut niveau, même des taupins, c'est pour dire ... Dans les règles du sudoku énoncées plus haut, il … |