Soit G = (V, E) un graphe simple. Un dominant de G est un sous ensemble S de V tel que tout sommet de V - S possède au moins un voisin dans S. L'ordre minimum d'un ensemble dominant de G, appelé nombre de domination de G, ...