Discussion :

[Sylvaner]

Bonjour,

Je viens de découvrir que le prolog pourrait sans doute m'aider à régler un problème d'ordonnancement que je dois résoudre mais je n'arrive vraiment pas à démarrer.

J'ai des groupes composés de 1 à 4 personnes.
Je dois les regrouper en plus gros groupes entre 14 et 16 personnes.

J'aimerai donc avoir les résultats possibles auxquels je pourrais appliquer d'autres critères par la suite mais si j'arrivais déjà à ce point ce serait pas mal .

J'ai testé les listes mais je ne vois pas comment additionner le contenu. Avec le module clpfd, mais pas moyen non plus.

J'avoue que je suis quand même dérouté par la syntaxe et l'approche. Quelqu'un aurait-il un bout de code qui pourrait me mettre sur la voie ?

Merci d'avance.

[Trap D]

Que veux-tu dire par additionner le contenu ?
append permet de concaténer des listes mais ça tu dois déjà le savoir.
Sinon, pour additionner le contenu de deux listes de nombres de même longueur, on peut faire ceci

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 ?- use_module(library(lambda)).
true.
 
 ?- X = [1,2,3], Y = [4,5,6], maplist(\U^V^T^(T is U+V), X, Y, Z).
X = [1, 2, 3],
Y = [4, 5, 6],
Z = [5, 7, 9].

Ceci fonctionne avec SWI-Prolog et le module lambda
Il faudrait plus de détail sur ce que tu veux faire pour qu'on puisse t'aider.

[Sylvaner]

Par exemple j'ai des groupes de personnes :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

petit_groupes = [5, 2, 3, 3, 4, 2, 2, 3, 4, .............]

(avec un total de 120 personnes)
Ou j'ai aussi essayé

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
petit_groupe(1, 5).
petit_groupe(2, 2).

Pour retrouver les identifiants des groupes après.

Je veux faire 8 gros_groupes de 15 personnes à plus ou moins 1 personne.

Je vais étudier le module lambda merci pour cette piste.

[Trap D]

Le module lambda permet de simuler la programmation fonctionnelle en Prolog, donc ça n'a pas grand chose a voir avec ton problème je pense.
Si j'ai bien compris ton problème tu veux equilibrer des groupes autour d'une valeur moyenne, donc regrouper les nombres de la liste pour obtenir une liste de listes yant à peu près la même somme.
As-tu expliquer ton problème dans le forum algo ? Je crois que c'est un problème "connu" !

[Sylvaner]

Je vois a peu près comment faire dans un autre langage pour cette partie, mais il y a d'autres contraintes qui vont d'additionner par la suite.

[Trap D]

Salut

Voilà un petit programme, non optimisé qui crée des groupes de 15 personnes à plus ou moins 1, en partant d'une population de 120 personnes :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
:- use_module(library(lambda)).
 
petit_groupe(1, 5).
petit_groupe(2, 2).
petit_groupe(3, 3).
petit_groupe(4, 4).
petit_groupe(5, 5).
petit_groupe(6, 8).
petit_groupe(7, 2).
petit_groupe(8, 6).
petit_groupe(9, 5).
petit_groupe(10, 6).
petit_groupe(11, 4).
petit_groupe(12, 3).
petit_groupe(13, 5).
petit_groupe(14, 7).
petit_groupe(15, 5).
petit_groupe(16, 4).
petit_groupe(17, 3).
petit_groupe(18, 7).
petit_groupe(19, 3).
petit_groupe(20, 4).
petit_groupe(21, 7).
petit_groupe(22, 5).
petit_groupe(23, 4).
petit_groupe(24, 3).
petit_groupe(25, 7).
petit_groupe(26, 3).
 
sylvaner :-
	numlist(1, 26, NL),
	cree_sous_liste(15, 8, NL, [], Lst),
	maplist(affiche_sous_liste, Lst).
 
 
affiche_sous_liste(L) :-
	forall(member(X, L), format('~w ', [X])),
	foldl(\X^Y^Z^(petit_groupe(X, V),
		      Z is Y+V),
	      L, 0, TT),
	format(': ~w ~n', [TT]).
 
cree_sous_liste(_, 0, [], SL, SL).
cree_sous_liste(Mid, N, NL, CSL, SL) :-
	cree_une_liste(Mid, NL, NL1, 0, [], Lst),
	N1 is N - 1,
	cree_sous_liste(Mid, N1, NL1, [Lst | CSL], SL).
 
cree_une_liste(Mid, NL, NL1, CTT, CLst, Lst) :-
	select(V, NL, NL2),
	petit_groupe(V, Nb),
	TT is Nb + CTT,
	(   (TT >= Mid - 1, TT =< Mid + 1)
	->  NL1 = NL2,
	    Lst = [V | CLst]
	;   TT =< Mid - 1,
	    cree_une_liste(Mid, NL2, NL1, TT, [V | CLst], Lst)).

Résultat

[ ?- sylvaner.
26 25 23 : 14
22 21 20 : 16
24 19 18 17 : 16
16 15 14 : 16
13 12 10 : 14
11 9 8 : 15
7 6 5 : 15
4 3 2 1 : 14
true .

[Sylvaner]

Super merci, maintenant j'ai plus qu'à étudier tout ça