Intitulé:
Utilisation des petites solutions dans les systèmes à compteurs. du groupe Combinatoire Énumérative et Algébrique
|
Date | 2018-01-19 10:45-11:45 |
Titre | Utilisation 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). |
Lieu | 076 |
Orateur | Jérôme Leroux |
Aucun document lié à cet événement.
RetourRetour à l'index