Projet de C – Matrices creuses Yves BOGE, Sha LIU, Ivan VALIMAHAMED Informatique et Gestion – 3ème année

Plan 1. Présentation rapide du sujet 2. Structure du projet 2.1. Architecture du projet 2.2. Graphique des dépendances 3. Déroulement du projet 3.1. Réalisation 3.2. Phase de tests 3.3. Rédaction 4. Résultats 5. Bilan

1. Présentation rapide du sujet Résolution de problèmes de type « Sat » Conjonctions de disjonctions (ensemble de clauses) Problème répandu dans le domaine informatique Utilisation d'une structure de matrices creuses Certaines limites ont été précisées pour le problème à résoudre

2. Structure du projet F:. | jnh1-sat.txt | makefile | test.txt | +---bin | | Sat +---obj | | Chargement.o | | Matrices_creuses.o | | Sat.o | | Traitement.o +---src | Chargement.c | Chargement.h | Matrices_creuses.c | Matrices_creuses.h | Sat.c | Traitement.c | Traitement.h 2.1. Architecture du projet 3 sous-dossiers (pour les modules objets, les sources et les exécutables) Makefile dans le dossier principal

2. Structure du projet Sat  Chargement, Traitement, Matrices_creuses 2.2. Graphique des dépendances Sat  Chargement, Traitement, Matrices_creuses Chargement  Traitement, Matrices_creuses Dépendance par profondeur (de ses descendants)

3. Déroulement du projet Définition des structures en commun 3.1. Réalisation Définition des structures en commun Acquisition des normes de programmation Définition des différents modules Répartition du travail (fonctions à implémenter) Mise en commun et développement du programme principal Débogage et ajout de fonctionnalités diverses

3. Déroulement du projet 3.2. Phase de tests Test sur différents fichiers Variations sur les nombres de variables, de clauses, et sur la complexité des clauses Test des options de la commande (–t –m –h) Test des performances (avec ou sans affichage)

3. Déroulement du projet 3.3. Rédaction Début: durant les vacances de Pâques Avancement en parallèle de l’intégration et des tests Répartition des parties restantes à rédiger (à la fin des tests) Intégration du tout et mise en forme finale

4. Résultats Programme fonctionnel Résolution possible en moins d’une minute (jusqu’à 200 variables) Lenteur du programme avec les affichages (utilisation des entrées/sorties lentes) Utilisation du programme comme d’une commande UNIX

5. Bilan Approfondissement de nos connaissances (Langage C) Découverte d’un thème de recherche (problème SAT) Organisation du travail en équipe Amélioration des méthodes de travail (normalisation) Développement des capacités de travail