Path: ...!news.mixmin.net!aioe.org!wWi+bf82x/J4IG13ZEtRgw.user.46.165.242.75.POSTED!not-for-mail
From: Samuel DEVULDER <samuel_dot_devulder@laposte_dot_net.invalid>
Newsgroups: fr.sci.maths
Subject: Re: Sugurus
Date: Tue, 31 Aug 2021 10:33:48 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sgkphb$1g1$1@gioia.aioe.org>
References: <61291b21$0$21601$426a74cc@news.free.fr>
 <slrnsikqbh.2ai.sc@scarpet42p.localdomain>
 <sgdrre$8rg$1@cabale.usenet-fr.net> <sgkle5$ko$1@gioia.aioe.org>
 <sgklt3$7lk$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="1537"; posting-host="wWi+bf82x/J4IG13ZEtRgw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.0.3
X-Antivirus: Avast (VPS 210830-8, 30/8/2021), Outbound message
X-Notice: Filtered by postfilter v. 0.9.2
X-Antivirus-Status: Clean
Content-Language: fr
Bytes: 2274
Lines: 43

Le 31/08/2021 à 09:31, Jacques Mathon a écrit :
> Le jeu me paraissait plus contraint... par le fait que les régions les 
> plus petites (en nombre de cases) ne pouvaient contenir que les plus 
> "petits" contenus.
> 
> Autrement dit, dans une case seule on ne peut mettre que "1" et pas les 
> autres "chiffres".

Tu as raison, mais cela revient à dire que cette valeur est distincte de 
2, 3, 4 et 5.

D'une façon ou d'une autre on arrive toujours à exprimer les contraintes 
sous forme de "equal/not equal".

Par exemple une region (donc 3 variables X, Y, Z) avec 3 valeur 
s'exprime par la résolution de ce système logique:

(
(X=1 and Y!=1 and Z!=1) or
(X=2 and Y!=2 and Z!=2) or
(X=3 and Y!=3 and Z!=3)
)
and
(
(Y=1 and Z!=1) or
(Y=2 and Z!=2) or
(Y=3 and Z!=3) or
)
and
(
Z=1 or
Z=2 or
Z=3
)

Bref, cela s'encode très bien sous la forme de prédicats Prolog, par 
exemple là:
	https://pastebin.com/sKq1DRMk

Le code Prolog est généré par ce script Lua que j'ai écrit rapidement(il 
est archi perfectible et ne m'aide qu'à expérimenter):
	https://pastebin.com/uATrbBUD

sam.