Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!usenet.goja.nl.eu.org!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 09:23:50 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sgkle5$ko$1@gioia.aioe.org>
References: <61291b21$0$21601$426a74cc@news.free.fr>
 <slrnsikqbh.2ai.sc@scarpet42p.localdomain>
 <sgdrre$8rg$1@cabale.usenet-fr.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="664"; 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-Antivirus-Status: Clean
Content-Language: fr
X-Notice: Filtered by postfilter v. 0.9.2
Bytes: 1751
Lines: 14

Le 28/08/2021 à 19:30, Olivier Miakinen a écrit :

> On n'a effectivement pas besoin de définir une addition sur ces nombres,
> mais il faut une relation d'ordre, et même une relation d'ordre total.

En codant un solveur en Prolog je me rend compte qu'il n'est pas besoin 
d'ordre. Les seules contraintes sont donc:
- tous les éléments du voisinage d'une case sont différents (on peut 
réduire cela à seulement 4 cases).
- tous les éléments d'une même région sont deux à deux différents.

Il est juste besoin de savoir différencier le contenu de deux cases en 
fait.

sam.