Université d'Oran 1, Jeudi 01/04/2021

Faculté des Sciences Exactes et Appliquées FSEA,

Département Informatique
Parcours M2-ADSI, Module : PPC, Année 2020-2021.

Epreuve finale
Note: Chaque exercice sur une double feuille. La clarté et la présentation des réponses sont
nécessaires.

Exercice N°1 : 10 points - 30mn

Soit l’emploi du temps d’un centre d’assistance comportant 03 types d’activités, A = {Jour, Nuit,
Weekend} pour 04 personnes, P = {Hassen, Amel, Saïd, Omar}. Une personne de P doit effectuer
au moins une des activiés de A. Les activités par semaine sont faites suivant les règles suivantes :

– Au moins une personne doit faire Nuit, et au plus deux.

– Au moins une personne doit faire Jour, et au plus deux.
– Au plus deux personnes peuvent faire Weekend.
– Hassan est intéressé par Jour et Nuit ; Amel souhaite travaillé en Weekend et Jour ; Said, lui
s’intéresse à Nuit et Weekend; Omar n’a pas de préférence.

(Q1: 02 pt). Proposer un graphe bi-partie pour cette l’affectation : Activités → Personnes, en
mentionnant les cardinalités [la, ua] pour chaque activité.
(Q2: 02 pt). Déterminer un flot réalisable, puis un flot max.
(Q3: 02 pt). Trouver les composantes fortement connexes.
(Q4: 02 pt). Déterminer les valeurs inconsistances an appliquant le filtrage global gcc.
(Q5: 02 pt). Proposer un modèle CSP pour ce problème en exploitant la contraintes gcc(P, A, L,
U), où L est l’ensemble des bornes inférieures, et U est l’ensemble des bornes supérieures.

Exercice N°2 : 10 points - 30mn

Soit le problème de satisfaction des contraintes ou CSP = <X, DxхDyхDz , C>suivant :
X = {x, y, z}
Dx = Dy = Dz = {-1, 1, 2, 4, 8}
C1 : x # y # z
C2 : x² = y
C3 : 2y = z

(Q1: 02 pt). Énoncer l’algorithme de recherche et d’énumération backtrack chnologique.

(Q2: 02 pt). Déterminer toutes les solutions du CSP en exploitant l'algorithme du backtrack
chronologique.
(Q3: 02 pt). Suposons que nous avons une instantiation localement consistante Iloc = {x=1}.
Donner toutes explications éliminantes (y, Dy) et (z, Dz) pour Iloc.
(Q4: 02 pt). Énoncer l’algorithme de filtrage AC3. Puis, appliquer de déroulement de cet
algorithme sur le CSP ci-dessus.
(Q5: 02 pt). Appliquer le filtrage par la contrainte globale alldiff sur la contrainte C1. Que
remarquez vous ?

Bon courage