Sujet : Re: Sugurus
De : me (at) *nospam* pla.net.invalid (robby)
Groupes : fr.sci.mathsDate : 30. Aug 2021, 14: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
Sugurus
Re: Sugurus