Logiciels

• Générateur de familles de Sperner.
  Projet permettant de générer des familles de Sperner ; une famille de Sperner sur un ensemble E étant un ensemble de sous-ensembles de E incomparables pour la relation d'inclusion. Le code permet de générer toutes les familles de Sperner inéquivalentes (à permutation de E près) pour un ensemble E allant jusqu'à 7 éléments. De manière équivalente, il permet de générer des formules DNF ou CNF monotones, et peut donc être utilisé pour vérifier la séquence OEIS http://oeis.org/A003182. Disponible sur https://gitlab.com/Gruyere/sperner-families-generator.
• Appariements parfaits pour fonctions booléennes monotones de caractéristique d'Euler nulle.
  Code servant à tester la conjecture présentée dans ce papier. Jusqu'à présent, aucun contre-exemple n'a été trouvé. Disponible sur https://gitlab.com/Gruyere/perfect-matching-of-monotone-boolean-functions-with-null-euler-characteristic.
• Un jeu sur les graphes dirigés acycliques.
  Code servant à tester la conjecture présentée dans ces slides. Jusqu'à présent, aucun contre-exemple n'a été trouvé. Disponible sur https://gitlab.com/Gruyere/a-game-on-dags.