Laboratoire Leibniz, Equipe Graphes
[ Français | English ]
Les Logiciels de l'équipe graphes
Cabri-graphe
Cabri-graphe a été le premier produit conçu et développé au Laboratoire LSDD, dans le cadre du projet national CABRI.
La plateforme de son développement a été et reste toujours celle des MacIntosh. C'est un outil "freeWare" toujours en cours de développement et naturellement de maintenance ; on peut l'obtenir sur le lien
CabriGraph.
L'objet de ce logiciel est la manipulation des graphes (édition, opérations, calculs). Pour plus de détails sur l'orientation actuelle du projet, on peut s'adresser à
Yves Carbonneaux.
On peut aussi consulter l'historique bref de Cabri-graphe.
Cabri-Clutter
Ce logiciel conçu par Claude Benzaken est dédié à l'étude des hypergraphes de Sperner (nommés sous le terme plus court de Clutters) qui ont la propriété d'être bicritiques pour le nombre chromatique. Cela veut dire d'une part que le clutter n'a aucun sommet isolé et d'autre part que, pour toute arête de ce clutter, le clutter partiel formé des arêtes ne rencontrant pas cette arête a un nombre chromatique qui baisse de deux.
Pour l'aspect mathématique de ce concept et son origine, on peut consulter le long projet d'article de Claude Benzaken : "From logical Gates Synthesis to Bicritical Clutters".
Mathématiquement les clutters bicritiques de nombre chromatique deux et trois sont parfaitement connus. Le logiciel dans cette première version donne tous les éléments pour aborder les clutters bicritiques de nombre chromatique quatre.
Au delà de l'aspect spécifique du logiciel, un grand
nombre de procédures générales de base
(édition, présentation, opérations et calculs)
peuvent servir à d'autres propos et intéresser une gamme
d'utilisateurs plus vaste. Cabri-Clutter tourne pour MacIntosh et dans
deux plateformes (680x0 et PowerPC). Il est "free-ware" et
s'obtient sur le lien Clutter.
Cabri-Booléen

Un clutter peut être considéré comme une forme
booléenne positive (i.e. sans négation). En
élargissant légèrement la structure de
données, il a été possible de construire un
logiciel plus général pas spécialement
orienté vers une problématique précise mais
simplement destiné à manipuler toute forme normale booléenne
(disjonctive ou conjonctive). C'est ce que fait le logiciel
Boolean mis au point [en août 1997] par
C.Benzaken (dans le prolongement de
Cabri-Clutter).
Ce logiciel permet d'éditer toute sorte de formes normales
(manuellement, au hasard, ou à partir d'inéquations
linéaires à coefficients entiers). Il établit
à partir d'une forme donnée et selon des
critères choisis d'autres formes équivalentes. La
dualisation joue un rôle crucial dans toutes les
procédures. Il offre enfin un certain nombre d'algorithmes
de reconnaissance vers des classes de formules (formules de Horn
, cachées ou non, quadratiques, régulières
etc.) dont on sait que le calcul de la duale ou tout au moins le
test de satisfaisabilité a une complexité
polynomiale.
Ce logiciel tourne seulement pour MacIntosh et dans deux
plateformes (680x0 et PowerPC). Il est gratuit et s'obtient
sur le lien
Boolean.
Retour à la
page de l'équipe