Complexité et Calculabilité

Vous trouverez la page principale de cette UE sur la page d'Anca Muscholl qui donne le cours.

Le devoir à la maison

Il consiste à écrire un programme qui va convertir la question "existe un arbre couvrant du graphe G de profondeur k?" en une formule SAT et à la fournir à Glucose pour la résoudre. Vous trouverez ci dessous une liste de fonctions C qui vous permettront de tester votre programme. Toutes ces fonctions répondent au ".h" que voici.

Quelques graphes proposés par des camarades:

Autres

Voici quelques petits liens pour vous aider à réviser.



Home