X-Received: by 2002:a5d:6301:: with SMTP id i1mr18773845wru.423.1630219742308;
        Sat, 28 Aug 2021 23:49:02 -0700 (PDT)
Path: ...!news-out.google.com!nntp.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-b.proxad.net!nnrp1-1.free.fr!not-for-mail
Subject: Re: Sugurus
Newsgroups: fr.sci.maths
References: <61291b21$0$21601$426a74cc@news.free.fr>
 <slrnsikqbh.2ai.sc@scarpet42p.localdomain>
 <sgdrre$8rg$1@cabale.usenet-fr.net>
From: robby <me@pla.net.invalid>
Date: Sun, 29 Aug 2021 08:49:01 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.11.0
MIME-Version: 1.0
In-Reply-To: <sgdrre$8rg$1@cabale.usenet-fr.net>
Lines: 25
Message-ID: <612b2ddd$0$21584$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 29 Aug 2021 08:49:01 CEST
NNTP-Posting-Host: 91.168.150.105
X-Trace: 1630219741 news-4.free.fr 21584 91.168.150.105:41876
X-Complaints-To: abuse@proxad.net
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Content-Language: fr
Bytes: 2209

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 effet, pour une région de N cases on doit utiliser tous les nombres
> de 1 à N et aucun autre. Ça veut dire que même s'il y a des nombres 5
> dans la grille, ce nombre ne sera pas présent dans les régions de moins
> de 5 cases.

je parlais de nombres premiers parceque j'ai déjà vu un logiciel de 
calcul formel procéder ainsi pour le stockage des flags ( 1 bit = 1 
nombre premier ).

si tu as une boite de taille N, alors ta contrainte "tous les nombres 
n_i de 1 à N sont présents" peut par exemple s'écrire sous la forme: 
v1*v2*v3*v4*v5 = 2*3*5*7*11 ( i.e. produit des N premiers nombres 
premiers ),   où la valeur n_i pour une  case est encodée comme v_i = 
n_i ème nombre premier

du coup tu peux traduire certaines contraintes par "a divise b", etc.

mais ça ne me mềne pas beaucoup plus loin.

-- 
Fabrice