Sujet : Re: Sugurus
De : om+news (at) *nospam* miakinen.net (Olivier Miakinen)
Groupes : fr.sci.mathsDate : 31. Aug 2021, 09:09:59
Autres entêtes
Organisation : There's no cabale
Message-ID : <sgko4o$cnh$1@cabale.usenet-fr.net>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 SeaMonkey/2.49.4
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
Sugurus
Re: Sugurus