Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!news.mixmin.net!aioe.org!AH3f40JToz2vV+hulIcRxQ.user.46.165.242.91.POSTED!not-for-mail
From: Jacques Mathon <mathon.jacques@free.fr>
Newsgroups: fr.sci.maths
Subject: Re: Sugurus
Date: Tue, 31 Aug 2021 09:31:47 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sgklt3$7lk$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>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="7860"; posting-host="AH3f40JToz2vV+hulIcRxQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.11.0
Content-Language: fr-FR
X-Notice: Filtered by postfilter v. 0.9.2
Bytes: 2210
Lines: 27

Le 31/08/2021 à 09:23, Samuel DEVULDER a écrit :
> 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 

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".

Mais peut-être ai-je mal compris. C'est de cette manière que je viens 
juste de commencer à résoudre le problème 8x8 sans indices (en mettant 
un "1" dans la seule région d'une seule case).

Amicalement
-- 
Jacques