recherche aide pour une mise en équation

[acx01b]

pour [0, 18, 11, 17,10]
vecteurs :
0 0 0 1 0
0 0 0 0 1
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 1 0 0 0
0 0 2 0 0
1 0 0 0 2
0 4 0 0 0
4 0 0 0 0
0 0 1 0 2
0 0 0 5 3
3 0 5 0 0


un peu plus de 4000 possibilités, dont :

17 10 0 18 11 0 0 0 0 0 0 0 0
12 7 0 18 11 0 0 0 0 0 0 1 0
7 4 0 18 11 0 0 0 0 0 0 2 0
2 1 0 18 11 0 0 0 0 0 0 3 0
17 8 0 18 10 0 0 0 0 0 1 0 0
12 5 0 18 10 0 0 0 0 0 1 1 0
7 2 0 18 10 0 0 0 0 0 1 2 0
17 10 0 18 9 0 1 0 0 0 0 0 0
12 7 0 18 9 0 1 0 0 0 0 1 0
7 4 0 18 9 0 1 0 0 0 0 2 0
2 1 0 18 9 0 1 0 0 0 0 3 0
17 6 0 18 9 0 0 0 0 0 2 0 0
12 3 0 18 9 0 0 0 0 0 2 1 0
7 0 0 18 9 0 0 0 0 0 2 2 0
17 8 0 18 8 0 1 0 0 0 1 0 0
12 5 0 18 8 0 1 0 0 0 1 1 0
7 2 0 18 8 0 1 0 0 0 1 2 0
17 4 0 18 8 0 0 0 0 0 3 0 0
12 1 0 18 8 0 0 0 0 0 3 1 0
17 10 0 18 7 0 2 0 0 0 0 0 0
12 7 0 18 7 0 2 0 0 0 0 1 0
7 4 0 18 7 0 2 0 0 0 0 2 0
2 1 0 18 7 0 2 0 0 0 0 3 0
17 6 0 18 7 0 1 0 0 0 2 0 0
12 3 0 18 7 0 1 0 0 0 2 1 0
7 0 0 18 7 0 1 0 0 0 2 2 0
17 2 0 18 7 0 0 0 0 0 4 0 0
17 8 0 18 6 0 2 0 0 0 1 0 0
12 5 0 18 6 0 2 0 0 0 1 1 0
7 2 0 18 6 0 2 0 0 0 1 2 0
17 4 0 18 6 0 1 0 0 0 3 0 0
12 1 0 18 6 0 1 0 0 0 3 1 0
17 0 0 18 6 0 0 0 0 0 5 0 0
17 10 0 18 5 0 3 0 0 0 0 0 0
12 7 0 18 5 0 3 0 0 0 0 1 0
7 4 0 18 5 0 3 0 0 0 0 2 0
2 1 0 18 5 0 3 0 0 0 0 3 0
17 6 0 18 5 0 2 0 0 0 2 0 0
12 3 0 18 5 0 2 0 0 0 2 1 0
7 0 0 18 5 0 2 0 0 0 2 2 0
17 2 0 18 5 0 1 0 0 0 4 0 0
17 8 0 18 4 0 3 0 0 0 1 0 0
12 5 0 18 4 0 3 0 0 0 1 1 0
7 2 0 18 4 0 3 0 0 0 1 2 0
17 4 0 18 4 0 2 0 0 0 3 0 0
12 1 0 18 4 0 2 0 0 0 3 1 0
17 0 0 18 4 0 1 0 0 0 5 0 0
17 10 0 18 3 0 4 0 0 0 0 0 0
12 7 0 18 3 0 4 0 0 0 0 1 0
7 4 0 18 3 0 4 0 0 0 0 2 0
2 1 0 18 3 0 4 0 0 0 0 3 0
17 6 0 18 3 0 3 0 0 0 2 0 0
12 3 0 18 3 0 3 0 0 0 2 1 0
7 0 0 18 3 0 3 0 0 0 2 2 0
17 2 0 18 3 0 2 0 0 0 4 0 0
17 8 0 18 2 0 4 0 0 0 1 0 0
12 5 0 18 2 0 4 0 0 0 1 1 0
7 2 0 18 2 0 4 0 0 0 1 2 0
17 4 0 18 2 0 3 0 0 0 3 0 0
12 1 0 18 2 0 3 0 0 0 3 1 0
17 0 0 18 2 0 2 0 0 0 5 0 0
17 10 0 18 1 0 5 0 0 0 0 0 0
12 7 0 18 1 0 5 0 0 0 0 1 0
7 4 0 18 1 0 5 0 0 0 0 2 0
2 1 0 18 1 0 5 0 0 0 0 3 0
17 6 0 18 1 0 4 0 0 0 2 0 0
12 3 0 18 1 0 4 0 0 0 2 1 0
7 0 0 18 1 0 4 0 0 0 2 2 0
17 2 0 18 1 0 3 0 0 0 4 0 0
17 8 0 18 0 0 5 0 0 0 1 0 0
12 5 0 18 0 0 5 0 0 0 1 1 0
7 2 0 18 0 0 5 0 0 0 1 2 0
17 4 0 18 0 0 4 0 0 0 3 0 0
12 1 0 18 0 0 4 0 0 0 3 1 0
17 0 0 18 0 0 3 0 0 0 5 0 0
17 10 0 17 11 1 0 0 0 0 0 0 0
12 7 0 17 11 1 0 0 0 0 0 1 0
7 4 0 17 11 1 0 0 0 0 0 2 0
2 1 0 17 11 1 0 0 0 0 0 3 0
17 8 0 17 10 1 0 0 0 0 1 0 0
12 5 0 17 10 1 0 0 0 0 1 1 0
7 2 0 17 10 1 0 0 0 0 1 2 0
17 10 0 17 9 1 1 0 0 0 0 0 0
12 7 0 17 9 1 1 0 0 0 0 1 0
7 4 0 17 9 1 1 0 0 0 0 2 0
2 1 0 17 9 1 1 0 0 0 0 3 0
17 6 0 17 9 1 0 0 0 0 2 0 0
12 3 0 17 9 1 0 0 0 0 2 1 0
7 0 0 17 9 1 0 0 0 0 2 2 0
17 8 0 17 8 1 1 0 0 0 1 0 0
12 5 0 17 8 1 1 0 0 0 1 1 0
7 2 0 17 8 1 1 0 0 0 1 2 0
17 4 0 17 8 1 0 0 0 0 3 0 0
12 1 0 17 8 1 0 0 0 0 3 1 0
17 10 0 17 7 1 2 0 0 0 0 0 0
12 7 0 17 7 1 2 0 0 0 0 1 0
7 4 0 17 7 1 2 0 0 0 0 2 0
2 1 0 17 7 1 2 0 0 0 0 3 0
17 6 0 17 7 1 1 0 0 0 2 0 0
12 3 0 17 7 1 1 0 0 0 2 1 0
7 0 0 17 7 1 1 0 0 0 2 2 0
17 2 0 17 7 1 0 0 0 0 4 0 0


pour les deux autres, 4000 et 2000 possibilités
-----

[PlaneteF]

Bonsoir,

17 10 0 18 11 0 0 0 0 0 0 0 0
12 7 0 18 11 0 0 0 0 0 0 1 0
7 4 0 18 11 0 0 0 0 0 0 2 0
2 1 0 18 11 0 0 0 0 0 0 3 0
17 8 0 18 10 0 0 0 0 0 1 0 0
12 5 0 18 10 0 0 0 0 0 1 1 0
7 2 0 18 10 0 0 0 0 0 1 2 0
17 10 0 18 9 0 1 0 0 0 0 0 0
12 7 0 18 9 0 1 0 0 0 0 1 0
7 4 0 18 9 0 1 0 0 0 0 2 0
2 1 0 18 9 0 1 0 0 0 0 3 0
17 6 0 18 9 0 0 0 0 0 2 0 0
12 3 0 18 9 0 0 0 0 0 2 1 0
7 0 0 18 9 0 0 0 0 0 2 2 0
17 8 0 18 8 0 1 0 0 0 1 0 0
12 5 0 18 8 0 1 0 0 0 1 1 0
7 2 0 18 8 0 1 0 0 0 1 2 0
17 4 0 18 8 0 0 0 0 0 3 0 0
12 1 0 18 8 0 0 0 0 0 3 1 0
17 10 0 18 7 0 2 0 0 0 0 0 0
12 7 0 18 7 0 2 0 0 0 0 1 0
7 4 0 18 7 0 2 0 0 0 0 2 0
2 1 0 18 7 0 2 0 0 0 0 3 0
17 6 0 18 7 0 1 0 0 0 2 0 0
12 3 0 18 7 0 1 0 0 0 2 1 0
7 0 0 18 7 0 1 0 0 0 2 2 0
17 2 0 18 7 0 0 0 0 0 4 0 0
17 8 0 18 6 0 2 0 0 0 1 0 0
12 5 0 18 6 0 2 0 0 0 1 1 0
7 2 0 18 6 0 2 0 0 0 1 2 0
17 4 0 18 6 0 1 0 0 0 3 0 0
12 1 0 18 6 0 1 0 0 0 3 1 0
17 0 0 18 6 0 0 0 0 0 5 0 0
17 10 0 18 5 0 3 0 0 0 0 0 0
12 7 0 18 5 0 3 0 0 0 0 1 0
7 4 0 18 5 0 3 0 0 0 0 2 0
2 1 0 18 5 0 3 0 0 0 0 3 0
17 6 0 18 5 0 2 0 0 0 2 0 0
12 3 0 18 5 0 2 0 0 0 2 1 0
7 0 0 18 5 0 2 0 0 0 2 2 0
17 2 0 18 5 0 1 0 0 0 4 0 0
17 8 0 18 4 0 3 0 0 0 1 0 0
12 5 0 18 4 0 3 0 0 0 1 1 0
7 2 0 18 4 0 3 0 0 0 1 2 0
17 4 0 18 4 0 2 0 0 0 3 0 0
12 1 0 18 4 0 2 0 0 0 3 1 0
17 0 0 18 4 0 1 0 0 0 5 0 0
17 10 0 18 3 0 4 0 0 0 0 0 0
12 7 0 18 3 0 4 0 0 0 0 1 0
7 4 0 18 3 0 4 0 0 0 0 2 0
2 1 0 18 3 0 4 0 0 0 0 3 0
17 6 0 18 3 0 3 0 0 0 2 0 0
12 3 0 18 3 0 3 0 0 0 2 1 0
7 0 0 18 3 0 3 0 0 0 2 2 0
17 2 0 18 3 0 2 0 0 0 4 0 0
17 8 0 18 2 0 4 0 0 0 1 0 0
12 5 0 18 2 0 4 0 0 0 1 1 0
7 2 0 18 2 0 4 0 0 0 1 2 0
17 4 0 18 2 0 3 0 0 0 3 0 0
12 1 0 18 2 0 3 0 0 0 3 1 0
17 0 0 18 2 0 2 0 0 0 5 0 0
17 10 0 18 1 0 5 0 0 0 0 0 0
12 7 0 18 1 0 5 0 0 0 0 1 0
7 4 0 18 1 0 5 0 0 0 0 2 0
2 1 0 18 1 0 5 0 0 0 0 3 0
17 6 0 18 1 0 4 0 0 0 2 0 0
12 3 0 18 1 0 4 0 0 0 2 1 0
7 0 0 18 1 0 4 0 0 0 2 2 0
17 2 0 18 1 0 3 0 0 0 4 0 0
17 8 0 18 0 0 5 0 0 0 1 0 0
12 5 0 18 0 0 5 0 0 0 1 1 0
7 2 0 18 0 0 5 0 0 0 1 2 0
17 4 0 18 0 0 4 0 0 0 3 0 0
12 1 0 18 0 0 4 0 0 0 3 1 0
17 0 0 18 0 0 3 0 0 0 5 0 0
17 10 0 17 11 1 0 0 0 0 0 0 0
12 7 0 17 11 1 0 0 0 0 0 1 0
7 4 0 17 11 1 0 0 0 0 0 2 0
2 1 0 17 11 1 0 0 0 0 0 3 0
17 8 0 17 10 1 0 0 0 0 1 0 0
12 5 0 17 10 1 0 0 0 0 1 1 0
7 2 0 17 10 1 0 0 0 0 1 2 0
17 10 0 17 9 1 1 0 0 0 0 0 0
12 7 0 17 9 1 1 0 0 0 0 1 0
7 4 0 17 9 1 1 0 0 0 0 2 0
2 1 0 17 9 1 1 0 0 0 0 3 0
17 6 0 17 9 1 0 0 0 0 2 0 0
12 3 0 17 9 1 0 0 0 0 2 1 0
7 0 0 17 9 1 0 0 0 0 2 2 0
17 8 0 17 8 1 1 0 0 0 1 0 0
12 5 0 17 8 1 1 0 0 0 1 1 0
7 2 0 17 8 1 1 0 0 0 1 2 0
17 4 0 17 8 1 0 0 0 0 3 0 0
12 1 0 17 8 1 0 0 0 0 3 1 0
17 10 0 17 7 1 2 0 0 0 0 0 0
12 7 0 17 7 1 2 0 0 0 0 1 0
7 4 0 17 7 1 2 0 0 0 0 2 0
2 1 0 17 7 1 2 0 0 0 0 3 0
17 6 0 17 7 1 1 0 0 0 2 0 0
12 3 0 17 7 1 1 0 0 0 2 1 0
7 0 0 17 7 1 1 0 0 0 2 2 0
17 2 0 17 7 1 0 0 0 0 4 0 0

Mince, nous v'là en plein dans Matrix

[divervince]

acx01b merci ... ça me donne encore plus envie de trouver le programme que vous avez créé pour y arriver c'est exactement ce que je cherche... il va me falloir encore quelques heure de travail je sens...

en tout cas maintenant je sais que c'est possible de le faire et a peut près comment...

je suppose qu'on peut également le faire évoluer en lui rajoutant ensuite des variables... mais bon déjà que j'arrive à faire la même chose que ça et après... [reste rêveur]

[divervince]

bonjour je reviens vers vous comme promis:

si j'ai bien compris, il faut créer la liste des variables, avec les minuscules les différents vecteurs et en majuscule les Formules qui définissent les valeurs donc

sont dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E)*:
0 0 0 1 0 a
0 0 0 0 1 b
1 0 0 0 0 c
0 1 0 0 0 d
0 0 1 0 0 e
0 1 0 0 0 f
0 0 2 0 0 g
1 0 0 0 2 h
0 4 0 0 0 i
4 0 0 0 0 j
0 0 1 0 2 k
0 0 0 5 3 l
3 0 5 0 0 m

donc pour A c+h+4j+3m => -vA is c + h + 4*j + 3*m is,
pour B*: vB is d + f + 4*i is,
pour C*:vC is e + 2*g + k + 5*m is,
pour D*: vD is a + 5*l is,
pour E*: vE is b + 2*h + 2*k + 3*l is,

si j'ai bien compris apres il faut faire une ligne pour définir que les «*v*» sont positifs et que le v d'une valeur soit inférieur ou égale a la valeur recherché v=variable, verteur*?
vA >= 0, vB >=0, vC >=0,vD >=0, vE =<0, vA =<0, vB =<0, vC =<0 vD =<0 vE =<0

il n'y a pas de différence entre => et >= ou est ce que l'ordre importe
par analogie j'ai mis le =>sur la derniere valeur donc vE comme dans l'exemple

ce qui ferai pour la 1er partie le code suivant*:

sont_dans_interval(a,b,c,d,e,f ,g,h,i,j,h,l,m,A,B,C,D,E):- vA is c + h + 4*j + 3*m is, vB is d + f + 4*i is, vC is e + 2*g + k + 5*m is, vD is a + 5*l is, vE is b + 2*h + 2*k + 3*l is, vA >= 0, vB >=0, vC >=0,vD >=0, vE =<0, vA =<0, vB =<0, vC =<0 vD =<0 vE =<0

c'est peut être des questions conne, mais est ce qu'il y a une importance avec les espaces, par exemple si on en met 1 c'est bon si 2 ca marche plus...

le – avant les lignes veut t'il dire que c'est le début des «instructions*»*? car j'ai remarqué que chaque ligne apres une 1er partie (sont_dans_interval et combinaison ) commence par un «*-*»
en fait je vient de trouver que ce n'est pas – mais:- qui est la clef logique «*si*» et la , (virgule) semble etre la clef «*et*»

si je comprend bien la suite ca donne

combinaison (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E):- c + h + 4*j + 3*m is A, d + f + 4*i is B, e + 2*g + k + 5*m is C, a + 5*l is D, b + 2*h + 2*k + 3*l is E, print ([a,b,c,d,e,f,g,h,i,j,k,l,m])

ensuite on fait les test pour la condition de chaque possibilité si j'ai bien compris on test combien il peut y avoir de a au max jusqu'à ne plus répondre au condition de la 1er ligne

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), a_plus_1 is a + 1,
combinaison(a_plus_1,b,c,d,e,f ,g,h,i,j,k,l,m)

pour finir si j'ai bien compris on donne les variables que l'on veut*:

? combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E)

en remplaçant les majuscules par les chiffres...

si je me suis pas trompé et que j'ai bien compris ca donnerai ca*:

sont_dans_interval(a,b,c,d,e,f ,g,h,i,j,h,l,m,A,B,C,D,E):- vA is c + h + 4*j + 3*m is, vB is d + f + 4*i is, vC is e + 2*g + k + 5*m is, vD is a + 5*l is, vE is b + 2*h + 2*k + 3*l is, vA >= 0, vB >=0, vC >=0,vD >=0, vE =<0, vA =<0, vB =<0, vC =<0 vD =<0 vE =<0

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), a_plus_1 is a + 1,
combinaison(a_plus_1,b,c,d,e,f ,g,h,i,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), b_plus_1 is b + 1,
combinaison(a,b_plus_1,c,d,e,f ,g,h,i,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), c_plus_1 is c + 1,
combinaison(a,b, c_plus_1,d,e,f,g,h,i,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), d_plus_1 is d + 1,
combinaison(a,b,c,d_plus_1,e,f ,g,h,i,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), e_plus_1 is e + 1,
combinaison(a,b,c,d,e_plus_1,f ,g,h,i,j,k,l,m)


combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), f_plus_1 is f + 1,
combinaison(a,b,c,d,e,f_plus_1 ,g,h,i,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), g_plus_1 is g + 1,
combinaison(a_plus_1,b,c,d,e,f ,g_plus_1,h,i,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), h_plus_1 is h + 1,
combinaison(a,b,c,d,e,f,g,h_pl us_1,i,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), i_plus_1 is i + 1,
combinaison(a,b,c,d,e,f,g,h,i_ plus_1,j,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), j_plus_1 is j + 1,
combinaison(a,b,c,d,e,f,g,h,i, j_plus_1,k,l,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), k_plus_1 is k + 1,
combinaison(a,b,c,d,e,f,g,h,i, j,k_plus_1,l,m)


combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), l_plus_1 is l + 1,
combinaison(a,b,c,d,e,f,g,h,i, j,k,l_plus_1,m)

combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,A,B,C,D,E) :-
sont_dans_interval (a,b,c,d,e,f,g,h,i,j,h,l,m,A,B ,C,D,E), m_plus_1 is m + 1,
combinaison(a,b,c,d,e,f,g,h,i, j,k,l,m_plus_1)

? combinaison(a,b,c,d,e,f,g,h,i, j,h,l,m,4,16,4,7,17)