Exercices corriges Algorithmique - Laboratoire Spécification et Vérification pdf

Exercice : Prouver la correction de la procédure Fusion ... L'algorithme glouton appliqué `a un matro?de valué donne un ensemble indépendant.