Evènement pour le groupe Combinatoire Énumérative et Algébrique


Date 2018-01-19  10:45-11:45
TitreUtilisation des petites solutions dans les systèmes à compteurs. 
RésuméLe théorème des petites solutions montre que tout système linéaire homogène à coefficients entiers admet des « petites » solutions. Ce théorème permet par exemple de montrer que la programmation linéaire est décidable dans NP. Je rappellerai dans cette présentation le théorème des petites solutions de Loïc Pottier et donnerai un exemple d’utilisation en vérification formelle pour décider le caractère borné d’un réseau de Petri dans EXPSPACE (théorème de Rackoff).  
Lieu076 
OrateurJérôme Leroux 



Aucun document lié à cet événement.

Retour
Retour à l'index