Path: ...!3.eu.feeder.erje.net!feeder.erje.net!fdn.fr!usenet-fr.net!agneau.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed2-b.proxad.net!nnrp1-1.free.fr!not-for-mail
Subject: Re: Sugurus
Newsgroups: fr.sci.maths
References: <61291b21$0$21601$426a74cc@news.free.fr>
 <sgiij0$1b0d$1@gioia.aioe.org>
From: robby <me@pla.net.invalid>
Date: Mon, 30 Aug 2021 14:44:36 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.11.0
MIME-Version: 1.0
In-Reply-To: <sgiij0$1b0d$1@gioia.aioe.org>
Content-Type: text/plain; charset=iso-8859-15; format=flowed
Content-Transfer-Encoding: 8bit
Content-Language: fr
Lines: 20
Message-ID: <612cd2b4$0$4971$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 30 Aug 2021 14:44:36 CEST
NNTP-Posting-Host: 91.168.150.105
X-Trace: 1630327476 news-4.free.fr 4971 91.168.150.105:44381
X-Complaints-To: abuse@proxad.net
Bytes: 1685

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