FORMALISATION : ses 4 étapes
I : les données : {listes, ensembles, graphes, automates, arbres, grammaires}
S : ensemble des solutions : {ObjetCombinatoire(I), propriétés}
F : la meilleure solution : mesurer S
Opt : min / max : ce que l’on cherche à obtenir comme nombre de solution dans
l’ensemble S
Exercice :
I : {1,2,3,4,5}
Partition possible :
{1,5} , {2} , {3,4}
{1,3,4} , {2,5} la meilleur des solutions car moins de couleur utilisé (2)
Les partitions se crées par compatibilités des sommets entre eux, c’est à dire quand il n’y
a pas d’arrête entre eux
Ex : {1,2,3,5} , {4} -> non compatible
Formalisation : traduire un problème complet en problème abstrait
On utilise 3 technique pour cela :
- choisir et traiter (la favorite)
- diviser pour régner
- programmation dynamique
Choisir et traiter :
On choisit un sommet, et on se traite pour connaître ses adjacents : u -> adj[u]
Moins on utilise de couleur plus on se rapproche de la solution !
On choisit le sommet 2 et on lui attribut la
première couleur.
On traite ses adjacents et leur donne la deuxième
couleur.
On applique à 5 sa couleur, puisque {2,5} est
compatible
-> On regarde pour chaque sommet ses adjacents
et leur couleur, et on ne prend pas celle là !