Re: Sugurus

Liste des GroupesRevenir à fs maths 
Sujet : Re: Sugurus
De : me (at) *nospam* pla.net.invalid (robby)
Groupes : fr.sci.maths
Date : 30. Aug 2021, 13:44:36
Autres entêtes
Organisation : Guest of ProXad - France
Message-ID : <612cd2b4$0$4971$426a34cc@news.free.fr>
References : 1 2
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0
Le 30/08/2021 à 14:22, Samuel DEVULDER a écrit :
Oui avec un programme quadratique en nombre entier ou un solveur SMT (Satisfiability Modulo Theories)
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.
cool !
merci
--
Fabrice

Date Sujet#  Auteur
27 Aug 21 * Sugurus39robby
28 Aug 21 +* Re: Sugurus32Stéphane CARPENTIER
28 Aug 21 i+* Re: Sugurus29Olivier Miakinen
28 Aug 21 ii+* Re: Sugurus14Stéphane CARPENTIER
29 Aug 21 iii`* Re: Sugurus13Olivier Miakinen
29 Aug 21 iii +- Re: Sugurus1robby
29 Aug 21 iii +- Re: Sugurus1Stéphane CARPENTIER
30 Aug 21 iii `* Re: Sugurus10Samuel DEVULDER
30 Aug 21 iii  +- Re: Sugurus1robby
30 Aug 21 iii  +* Re: Sugurus5Olivier Miakinen
30 Aug 21 iii  i`* Re: Sugurus4robby
30 Aug 21 iii  i `* Re: Sugurus3Samuel DEVULDER
31 Aug 21 iii  i  `* Re: Sugurus2robby
31 Aug 21 iii  i   `- Re: Sugurus1Samuel DEVULDER
31 Aug 21 iii  `* Re: Sugurus3robby
31 Aug 21 iii   `* Re: Sugurus2Samuel DEVULDER
31 Aug 21 iii    `- Re: Sugurus1Samuel DEVULDER
29 Aug 21 ii+* Re: Sugurus4robby
31 Aug 21 iii+- Re: Sugurus1Olivier Miakinen
31 Aug 21 iii`* Re: Sugurus2Samuel DEVULDER
1 Sep 21 iii `- Re: Sugurus1robby
31 Aug 21 ii`* Re: Sugurus10Samuel DEVULDER
31 Aug 21 ii +* Re: Sugurus5Jacques Mathon
31 Aug 21 ii i+* Re: Sugurus2Olivier Miakinen
31 Aug 21 ii ii`- Re: Sugurus1Jacques Mathon
31 Aug 21 ii i`* Re: Sugurus2Samuel DEVULDER
31 Aug 21 ii i `- Re: Sugurus1Samuel DEVULDER
31 Aug 21 ii `* Re: Sugurus4Olivier Miakinen
31 Aug 21 ii  `* Re: Sugurus3Samuel DEVULDER
31 Aug 21 ii   +- Re: Sugurus1robby
31 Aug 21 ii   `- Re: Sugurus1Olivier Miakinen
29 Aug 21 i`* Re: Sugurus2robby
29 Aug 21 i `- Re: Sugurus1Stéphane CARPENTIER
29 Aug 21 +- Re: Sugurus1robby
29 Aug 21 +- Amorce de Sudoku [était Re: Sugurus]1Samuel DEVULDER
30 Aug 21 `* Re: Sugurus4Samuel DEVULDER
30 Aug 21  +- Re: Sugurus1robby
30 Aug 21  `* Re: Sugurus2robby
30 Aug 21   `- Re: Sugurus1Samuel DEVULDER

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal