Menu Fermer

Compter différentes structures discrètes

M. Rosenfeld

Date de l’exposé : 10/01/2022
Nom de l’intervenant : Matthieu Rosenfeld
Equipe : ESCAPE

Abstract : Je présenterai deux de mes résultats et leurs contextes.  Je présenterai d’abord une technique de preuve que j’ai obtenue qui permet d’obtenir automatiquement des bornes. Plus précisément, à partir de la définition d’un type d’ensemble de sommets sur les graphes exprimée dans un certain formalisme logique (la logique monadique du second ordre) on peut obtenir automatiquement une borne sur le nombre d’ensembles de ce type qu’on peut trouver dans n’importe quel arbre.  Je présenterai ensuite une autre technique qui permet de prouver l’existence de certains objets discrets en les comptant. Ces deux résultats sont assez éloignés, mais reposent tous deux sur du dénombrement et sur l’utilisation de calculs intensifs par ordinateur pour obtenir des résultats plus poussés

En voir plus

groupe LIRMM sur les marches du peyrou pour la course
accueil

Le LIRMM participe à la Montpellier Reine !

Dimanche 25 mai a eu lieu la Montpellier Reine, Une course caritative et mythique de la Montpellier Reine sur 4,8km. Courir ou marcher en famille, entre amis, entre

accueil

Séminaire NumDiag le 5 juin 2025

Dans le cadre du projet NumDiag (https://www.numdiag.fr/), un séminaire aura lieu le jeudi 5 juin dans la salle SC002 de Polytech Montpellier.  « IA, cybersécurité et