Mamadou Kanté (LIMOS, Clermont-Ferrand)

Dans un premier temps je présentererai les problémes d’énumération (ou listing) d’objets combinatoires en prenant comme exemple les transversaux minimaux dans les hypergraphes. C’est un problème que l’on trouve dans plusieurs domaines, des bases de données à la biologie ou en optimisation combinatoire dans les algorithmes exacts exponentiels. Dans ces problèmes on s’intéresse à construire de façon effective un ensemble et un algorihtme efficace sera un algorithme qui construit l’ensemble en un temps polynomial en sa taille (on parle d’algorithme output-polynomial). Dans un 2ème temps je présenterai un algorithme d’énumération des transversaux minimaux dans les hypergraphes sans triangle.