Arnaud Durand (ELM IMJ, Université Paris 7)

Compter le nombre de solutions d’un problème est en général bien plus difficile que d’en trouver une. Dans cet exposé, on examinera ce qu’il en est de la difficulté de ce problème dans le contexte de l’évaluation de requêtes conjonctives en bases de données. On donnera un critère (facilement vérifiable) à la fois nécessaire et suffisant pour déterminer quand certains requêtes de ce type admet un algorithme efficace de comptage de solutions.

L’exposé ne suppose aucun prérequis et beaucoup de notions seront introduites, avant tout, à base d’exemples. L’objectif étant de faire comprendre intuitivement ce qui rend un problème facile ou difficile dans ce domaine.