Path: ...!news.misty.com!eternal-september.org!reader02.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!.POSTED!not-for-mail
From: Olivier Miakinen <om+news@miakinen.net>
Newsgroups: fr.sci.maths
Subject: Re: Sugurus
Date: Tue, 31 Aug 2021 10:09:59 +0200
Organization: There's no cabale
Lines: 21
Message-ID: <sgko4o$cnh$1@cabale.usenet-fr.net>
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>
NNTP-Posting-Host: 220.12.205.77.rev.sfr.net
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
X-Trace: cabale.usenet-fr.net 1630397400 13041 77.205.12.220 (31 Aug 2021 08:10:00 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Tue, 31 Aug 2021 08:10:00 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Firefox/52.0 SeaMonkey/2.49.4
In-Reply-To: <sgkle5$ko$1@gioia.aioe.org>
Bytes: 1875

Bonjour,

Le 31/08/2021 09:23, Samuel DEVULDER me répondait :
> 
>> 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.

On en a besoin lorsque toutes les régions n'ont pas la même taille afin
de savoir quels sont les nombres utilisables dans les régions de taille
inférieure.

Par exemple, dans la grille 8×8 que tu as donnée, sans cette contrainte
d'autres solutions seraient possibles en mettant un 5 à la place du 1
ou du 2 de la région en bas à droite, ou bien en échangeant tous les 1
et tous les 2 avec donc un 2 dans la région d'une seule case.

-- 
Olivier Miakinen