Mtaheuristiques et stratgies de recherche

INF6953

Stratgies de recherche

Sommaire
Mtaheuristiques et types de problmes traitables Mtaheuristiques et stratgie de recherche Stratgies de recherche locale
Type 1 : stratgie de base Exemple de stratgie (de type 1) pour le problme de clique max Type 2 : modification de la fonction de cot Exemple de stratgie (de type 2) pour le problme de clique max Type 3 : pnalits pour un CSP Type 4 : pnalits pour CSOP Stratgie 1: k fix et pnalits Stratgie 2: k fix, solutions partielles lgales Stratgie 3 : k non fix, solutions compltes lgales Stratgie 4 : k non fix
Stratgies de recherche 2

Stratgies de recherche locale pour le coloriage de graphes

INF6953

Mtaheuristiques et types de problmes traitables

Avec les mtaheuristiques, on peut traiter des problmes doptimisation : trouver une solution qui optimise une fonction donne des problmes de satisfaction de contraintes : trouver une solution qui satisfait un ensemble de contraintes des problmes doptimisation sous contraintes : trouver une solution qui satisfait un ensemble de contraintes et, en mme temps, optimise une fonction donne des problmes doptimisation multi-objectifs : trouver une solution qui satisfait au mieux un ensemble dobjectifs
Stratgies de recherche 3

INF6953

Mtaheuristiques et stratgie de recherche

Pour rsoudre un problme donn 0, une mtaheuristique passe toujours par la rsolution dun problme doptimisation = (S, f). Cependant, lespace de recherche S et la fonction dvaluation f ne concident pas ncessairement avec celles du problme originel 0. On va ensuite utiliser la mtaheuristique pour traiter le problme intermdiaire . Lide est (en simplifiant) que lensemble OPT() des optima globaux du problme concide avec lensemble des solutions du problme initial 0. Dans certains cas, pour rsoudre un problme 0, on rsout plusieurs problmes doptimisation successivement.

INF6953

Stratgies de recherche

Stratgie de recherche locale

tant donn le problme initial 0, une stratgie de recherche locale consiste

1) Dfinir lespace de recherche (ensemble des configurations) explor par lheuristique. 2) Dfinir la fonction dvaluation utilise par lheuristique. 3) Dfinir le voisinage que va utiliser loprateur de recherche locale. Pour un problme donn 0, il peut y avoir plusieurs stratgies de recherche locale possibles.

INF6953

Stratgies de recherche

Stratgies de recherche locale

1) Voici quelques types de stratgies frquemment utilises Pour rsoudre un problme doptimisation, on dfinit seulement un voisinage, sans changer lespace de recherche ou la fonction dvaluation Pour rsoudre un problme doptimisation, on conserve lespace de recherche, mais on modifie la fonction dvaluation Pour rsoudre un problme de satisfaction de contraintes (CSP), une configuration est une instanciation non ncessairement lgale et la fonction de cot pnalise la violation des contraintes. Pour rsoudre un CSOP, la fonction de cot combine la fonction du problme initial et des pnalits pour la violation des contraintes.
Stratgies de recherche 6

2)

3)

4)

INF6953

Type 1 : stratgie de base

Stratgie pour un problme doptimisation = (So, fo) On conserve S = So et f = fo On dfinit simplement une fonction de voisinage Exemple 1 : voyageur de commerce avec 2-change S est lensemble des cycles hamiltoniens f(S) est la longueur du cycle N correspond aux 2-changes Exemple 2 : voyageur de commerce avec inversion de villes Exemple 3 : Clique max avec des mouvements dexpulsion
Stratgies de recherche 7

INF6953

Exemple de stratgie (de type 1) pour le problme de clique max

Espace de recherche Une configuration S est une clique du graphe Fonction dvaluation f(S) = |S| Voisinage Un mouvement est identifi par un sommet. Mouvement <x> : - insrer dans S un sommet de V-S - en mme temps, retirer de S tous les sommets qui ne sont pas relis x

INF6953

Stratgies de recherche

Type 2 : modification de la fonction de cot

Stratgie pour un problme doptimisation = (So, fo) On conserve S = So On modifie la fonction dvaluation f On dfinit une fonction de voisinage Problme constat : Parfois, la fonction dvaluation ne contient pas assez dinformation pour guider la recherche. La nouvelle fonction dvaluation vise mieux guider la recherche. Exemples Coloriage de graphes avec chanes de Kempe Clique max avec les mouvements IN et OUT
Stratgies de recherche 9

INF6953

Exemple de stratgie (de type 2) pour le problme de clique max

Voici une stratgie pour clique max avec Un voisinage trs simple Un terme auxiliaire dans la fonction dvaluation Espace de recherche Une configuration S est une clique du graphe Fonction dvaluation f(S) = n |S| + |C(S)| o C(S) est lensemble des sommets voisins de tous les lments de S Voisinage Mouvements <+ x> : insrer dans S un sommet de V-S <- x> : retirer de S un sommet de S
Stratgies de recherche 10

INF6953

Type 3 : pnalits pour un CSP

Stratgie pour un problme de satisfaction de contraintes = (S, f) On est S lensemble des affectations compltes lgales ou non. La fonction de cot : f(S) est le nombre de contraintes violes dans S Voisinage : un mouvement <x, v> consiste affecter la variable x la valeur v, la place de sa valeur courante Exemples k-coloriage de graphe avec la technique des pnalits FAP

INF6953

Stratgies de recherche

11

Type 4 : pnalits pour CSOP

Stratgie pour un problme de satisfaction doptimisation sous contraintes = (S, f) S lensemble des instanciations compltes, lgales ou non. La fonction dvaluation : cest la somme de la fonction dvaluation initiale du problme + une fonction de pnalit Voisinage : un mouvement <x, v> consiste affecter la variable x la valeur v, la place de sa valeur courante Exemples Affectation de commutateurs RLFAP

INF6953

Stratgies de recherche

12

Voisinages et oprateurs spcialiss

Supposons maintenant que nous avons spcifi un problme doptimisation particulier. Il faut maintenant dfinir des oprateurs de recherche. Pour tre efficaces, ces oprateurs de recherche doivent tre adapts au problme rsoudre : notion de spcialisation des oprateurs. Pour un oprateur de recherche locale, un point important est la dfinition dune fonction de voisinage. Quand nous choisissons le problme doptimisation intermdiaire, nous tenons compte du fait que nous pourrons commodment rsoudre ce dernier en particulier, nous disposerons dune bonne fonction de voisinage.

INF6953

Stratgies de recherche

13

Coloriage de graphes : rappels

tant donn un graphe G=(V, E), on appelle ensemble stable tout sousensemble de V qui ne contient aucune paire de sommets relis entre eux. On appelle k-coloriage (total lgal) toute fonction (totale) c : V -> {1,..,k} telle que, c[x]<>c[y] pour toute arte xy. On appelle k-coloriage partiel (lgal) de G : idem, mais c est une fonction partielle (certains sommets peuvent ne pas tre coloris). On appelle k-coloriage (total) non ncessairement lgal de G : toute fonction V -> {1,..,k} (pas de contrainte).

INF6953

Stratgies de recherche

14

Stratgies de recherche locale pour le coloriage de graphes

Quatre stratgies diffrentes ont t proposes jusqu` prsent pour le problme de coloriage de graphe. k fix, solutions compltes non ncessairement lgales (pnalits) k fix, solutions partielles lgales Solutions compltes lgales Solutions compltes non ncessairement lgales Les stratgies 1 et 2 permettent de traiter le k-coloriage de graphe. Pour rsoudre le problme de coloriage, il faut rsoudre le k-coloriage avec des valeurs successives dcroissantes de k.

1) 2) 2) 3)

INF6953

Stratgies de recherche

15

Stratgie 1: k fix et pnalits

Espace de recherche Une configuration S est un k-coloriage complet non ncessairement lgal Fonction dvaluation Le cot dune configuration S = le nombre dartes violes dans S Objectif : trouver une configuration lgale (sans aucune arte viole) Voisinage Mouvement <x, c> : changer la couleur du sommet x et le colorier avec la (nouvelle) couleur c ; Restriction du voisinage aux sommets en conflit

INF6953

Stratgies de recherche

16

Stratgie 1: k fix et pnalits

7

1 2

3 5 4

-f(S)=2 (2 artes en conflit). -Les sommets en conflit sont 2, 4, 6 et 7. -Les meilleurs mouvements sont (6, vert) et (7, vert). Leur performance est -1 (ils diminuent le cot de 1).
INF6953 Stratgies de recherche 17

Stratgie 2: k fix, solutions partielles lgales

Espace de recherche Une configuration S est un k-coloriage partiel lgal Fonction dvaluation Objectif : trouver une configuration lgale complte (tous les sommets coloris) Le cot dune configuration S - le nombre de sommets coloris - ou, la somme des degrs des sommets coloris Voisinage Mouvement <x, c> : colorier un sommet x non colori avec la couleur c et le d-colorier les voisins de x dont la couleur est actuellement c
Stratgies de recherche 18

INF6953

Stratgie 2: k fix, solutions partielles lgales

7

1 2

3 5 4

-k=2 (2couleurs) -f(S)=6 (6 sommets coloris). -Pour effectuer le mouvement (1, vert) : - on colorie 1 en vert - on d-colorie les sommets 5 et 6 -Le meilleur mouvement est (1, rouge). Sa performance est 0.
INF6953 Stratgies de recherche 19

Stratgie 3 : k non fix, solutions compltes lgales

Espace de recherche Une configuration S est un coloriage complet lgal Fonction dvaluation Objectif : trouver une configuration qui utilise aussi peu de couleurs que possible Le cot dune configuration S f(S) = i | Vi | ^2 Voisinage Mouvement <x, i, j> (chane de Kempe ) : dans le sous-graphe induit par Vi union Vj, inverser les couleurs des sommets qui appartiennent la composante connexe qui contient x.
Stratgies de recherche 20

INF6953

Stratgie 3 : chanes de Kempe

7

1 2

3 5

4 - f(S) = 3^2 + 2^2 + 2^2 + 1 = 18 - Pour effectuer le mouvement (5, rouge, vert) : - on inverse les couleurs de la composante connexe forme des sommets {5, 1, 7} : les sommets 5 et 7 deviennent vert et 1 devient rouge. - Le mouvement (2, jaune, vert) colorie 2 en vert et permet de supprimer la couleur jaune.
INF6953 Stratgies de recherche 21

Stratgie 3 : chanes de Kempe

7

1 2

3 5

4 - f(S) = 3^2 + 2^2 + 2^2 + 1 = 18 - Pour effectuer le mouvement (5, rouge, vert) : - on inverse les couleurs de la composante connexe forme des sommets {5, 1, 7} : les sommets 5 et 7 deviennent vert et 1 devient rouge. - Le mouvement (2, jaune, vert) colorie 2 en vert et permet de supprimer la couleur jaune.
INF6953 Stratgies de recherche 22

Stratgie 4 : k non fix

Espace de recherche Une configuration S est un coloriage complet non ncessairement lgal. Fonction dvaluation Objectif : trouver une configuration qui utilise aussi peu de couleurs que possible et qui ne viole aucune arte. La fonction de cot est la somme de pnalits pour les contraintes violes et du terme i | Vi | ^2 qui vise rduire le nombre de couleurs. Voisinage Mouvement <x, c> : changer la couleur du sommet x et le colorier avec la (nouvelle) couleur c

INF6953

Stratgies de recherche

23