Liste des Groupes | Revenir à fs maths |
Oui avec un programme quadratique en nombre entier ou un solveur SMT (Satisfiability Modulo Theories)cool !
https://www.researchgate.net/publication/346020801_Solving_Suguru_using_an_SMT_Integer_solver >
>
En gros on encore chaque case par une variable d'un programme linéaire. Une variable une case vide dans une région de N places s'encode avec 1 <= V <= N, une case avec un indice devient V = indice. Ensuite on ajoute à ce programme linéaire les contraintes d'adjacence qui sont de la forme V1!=V2, ce qui s'encode avec la contrainte quadratique suivante: (V1-V2)² >= 1.
Date | Sujet | # | Auteur | |
27 Aug 21 | Sugurus | 39 | robby | |
28 Aug 21 | Re: Sugurus | 32 | Stéphane CARPENTIER | |
28 Aug 21 | Re: Sugurus | 29 | Olivier Miakinen | |
28 Aug 21 | Re: Sugurus | 14 | Stéphane CARPENTIER | |
29 Aug 21 | Re: Sugurus | 13 | Olivier Miakinen | |
29 Aug 21 | Re: Sugurus | 1 | robby | |
29 Aug 21 | Re: Sugurus | 1 | Stéphane CARPENTIER | |
30 Aug 21 | Re: Sugurus | 10 | Samuel DEVULDER | |
30 Aug 21 | Re: Sugurus | 1 | robby | |
30 Aug 21 | Re: Sugurus | 5 | Olivier Miakinen | |
30 Aug 21 | Re: Sugurus | 4 | robby | |
30 Aug 21 | Re: Sugurus | 3 | Samuel DEVULDER | |
31 Aug 21 | Re: Sugurus | 2 | robby | |
31 Aug 21 | Re: Sugurus | 1 | Samuel DEVULDER | |
31 Aug 21 | Re: Sugurus | 3 | robby | |
31 Aug 21 | Re: Sugurus | 2 | Samuel DEVULDER | |
31 Aug 21 | Re: Sugurus | 1 | Samuel DEVULDER | |
29 Aug 21 | Re: Sugurus | 4 | robby | |
31 Aug 21 | Re: Sugurus | 1 | Olivier Miakinen | |
31 Aug 21 | Re: Sugurus | 2 | Samuel DEVULDER | |
1 Sep 21 | Re: Sugurus | 1 | robby | |
31 Aug 21 | Re: Sugurus | 10 | Samuel DEVULDER | |
31 Aug 21 | Re: Sugurus | 5 | Jacques Mathon | |
31 Aug 21 | Re: Sugurus | 2 | Olivier Miakinen | |
31 Aug 21 | Re: Sugurus | 1 | Jacques Mathon | |
31 Aug 21 | Re: Sugurus | 2 | Samuel DEVULDER | |
31 Aug 21 | Re: Sugurus | 1 | Samuel DEVULDER | |
31 Aug 21 | Re: Sugurus | 4 | Olivier Miakinen | |
31 Aug 21 | Re: Sugurus | 3 | Samuel DEVULDER | |
31 Aug 21 | Re: Sugurus | 1 | robby | |
31 Aug 21 | Re: Sugurus | 1 | Olivier Miakinen | |
29 Aug 21 | Re: Sugurus | 2 | robby | |
29 Aug 21 | Re: Sugurus | 1 | Stéphane CARPENTIER | |
29 Aug 21 | Re: Sugurus | 1 | robby | |
29 Aug 21 | Amorce de Sudoku [était Re: Sugurus] | 1 | Samuel DEVULDER | |
30 Aug 21 | Re: Sugurus | 4 | Samuel DEVULDER | |
30 Aug 21 | Re: Sugurus | 1 | robby | |
30 Aug 21 | Re: Sugurus | 2 | robby | |
30 Aug 21 | Re: Sugurus | 1 | Samuel DEVULDER |
Les messages affichés proviennent d'usenet.