Sujet : Re: Sugurus
De : samuel_dot_devulder (at) *nospam* laposte_dot_net.invalid (Samuel DEVULDER)
Groupes : fr.sci.mathsDate : 31. Aug 2021, 08:23:50
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <sgkle5$ko$1@gioia.aioe.org>
References : 1 2 3
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.0.3
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.
Sugurus
Re: Sugurus