Re: Sugurus

Le 29/08/2021 08:49, robby écrivait :

 
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

En résumé, on pourrait simplement écrire que chaque case contient un nombre
premier, et que le produit des valeurs de toutes les cases d'une région est
une primorielle. Ça fera plaisir à remy. ;-)

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

Oui, ou par « le produit de tous les nombres de cases adjacentes est un
nombre sans carré ».

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

En effet.

--
Olivier Miakinen