mercredi 28 mars - Loi du Zéro-un et logique des graphes aléatoires à l'IHP

Conférence ouverte au public - mercredi 28 mars à 18h - entrée libre

Loi du Zéro-un et logique des graphes aléatoires

A l'Institut Henri Poincaré, 11 rue Pierre et Marie Curie, 75005 Paris

avec Amador Martin-Pizarro, Albert-Ludwigs-Universitaet Freiburg

Comment déterminer la probabilité qu’un graphe fini quelconque, pris de façon aléatoire, ait une certaine propriété, par exemple, avoir un nombre pair de sommets ou d’arêtes ?

Comment donner un sens à cette question, puisqu’il y a une infinité de graphes finis possibles ?

Que veut-on dire par “pris de façon aléatoire” ?

On verra qu'une propriété exprimable avec un énoncé logique du premier ordre est soit certaine, soit impossible. La raison en est qu'il n'existe qu'un seul graphe aléatoire infini dénombrable. Il est construit par la méthode d'amalgamation due au logicien français Roland Fraïssé.

Gratuit dans la limite des places disponibles, sur inscription

Adresse

Institut Henri Poincaré
11 rue Pierre et Marie Curie
Paris 5^eme