GALaC team at LRI, Paris-Sud
GALaC is a research group at LRI, Paris-Sud University. We are focused on graph theory, combinatorics and network distributed systems algorithmic.
A global presentation of research activities in GALaC was made in 2013 for the AERES evaluation: Slides AERES 2013 and projet.
Recent Posts
A counting argument for graph colouring
summary: In 2010, Moser and Tardos introduced an algorithmic version of the celebrated Lovász Local Lemma using the entropy compression method. Their method is now widely used in the community and has become a standard of the probabilistic method, mainly because it often provides the tightest existential bounds. However, it ...
(Reported to unkwown date) Programming computing media
summary: We consider computing media consisting of billions of small identical Processing Elements (PE) communicating locally in space, and with an homogeneous and isotropic distribution. Computing media can scale arbitrary in size. Thus, they represent parallel architectures whose power can grow without limit. However, programming computing media is difficult.
In ...
(Reported to unkwown date) The Bron-Kerbosch algorithm with vertex ordering is output sensitive.
summary: The Bron-Kerbosch algorithm is a well known maximal clique enumeration algorithm. So far it was unknown whether it was output sensitive or not. In this paper we partially answer this question by proving that the Bron-Kerbosch Algorithm with vertex ordering, first introduced and studied by Eppstein, Löffler and Strash ...
Modèles de dimères sur graphes minimaux : au-delà du cas elliptique
Les modèles de dimères sur les graphes planaires ont fait leur début en tant qu'objet d'étude mathématique avec les travaux de Kasteleyn dans les années 1960. Au début des années 2000, d'importants résultats théoriques sont démontrés, dont deux résultats dans des directions différentes : - la construction du diagramme ...
L’arbre brownien parabolique
Je présenterai une construction explicite d'un arbre réel aléatoire à partir d'un mouvement brownien avec drift parabolique. L'objet obtenu est intimement lié au graphes aléatoires et au coalescent multiplicatif, et est distribué comme la limite d'échelle de l'arbre couvrant minimal du graphe complet. On y ...
Some combinatorial aspects of combinatory logic / Quelques aspects combinatoires de la logique combinatoire
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1617178783965
La logique combinatoire est un formalisme introduit par Schönfinkel dans les années 1920 dans le but de supprimer la nécessité des variables dans les expressions. Ce formalisme donne également lieu à un modèle de calcul très proche du ...
Translations: fr