Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 20 Juin 2017

Complexité descriptive et temps linéaire parallèle

par Frédéric Olive (LIF, Marseille)

Un problème est-il d’autant plus difficile à résoudre qu’il est difficile à décrire ? La complexité descriptive tente de répondre à cette question en corrélant les ressources consommées dans la résolution des problèmes avec celles utilisées dans leur description.

Cet objectif s’incarne dans la recherche de caractérisations de classes de complexité par des formalismes logiques. Récemment, de telles caractérisations ont été établies pour le temps linéaire sur automate cellulaire, dans ses versions déterministe et non déterministe. Je donnerai un aperçu de ces deux résultats.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr