Français Anglais
Accueil Annuaire Plan du site
Accueil > News du laboratoire > Séminaire Digiteo, 13 Février 2014, 14:30, Supélec, F.3.05
Séminaire Digiteo, 13 Février 2014, 14:30, Supélec, F.3.05
Séminaire Digiteo, 13 Février 2014, 14:30, Supélec, F.3.05 Séminaire Digiteo, 13 Février 2014, 14:30, Supélec, F.3.05
13 février 2014

Combien de mémoire ?
par Pierre Mc Kenzie, Université de Montréal et chaire Digiteo "Expressivity and computational complexity of counter machines"

Résumé : La théorie de la complexité du calcul cherche à quantifier les ressources (temps, mémoire, processeurs, etc.) requises à la résolution de tâches calculatoires. Cook en 1970 demandait si tout calcul polynomial peut être réorganisé de manière à réduire exponentiellement la quantité de mémoire nécessaire au calcul. Nous étudierons cette question sous l’angle d’un modèle de calcul appelé "branching program". à l’aide de tels programmes dédiésà la tâche d’évaluer un arbre (nous préciserons ce problème), nous développerons l’intuition qu’il n’est pas possible de comprimer la mémoire. Puis nous constaterons que malgré la force de cette intuition, celle-ci ne permet toujours pas aujourd’hui de répondre à la question posée et nous devons nous contenter de bornes de complexité affaiblies. Selon le temps disponible, nous terminerons avec un bref État de l’art.

(Résultats tirés en partie de Cook, McKenzie, Wehr, Braverman, Santhanam,
Pebbles and branching programs for tree evaluation, ACM TOCT 2012.)



Pour en savoir plus: http://www.digiteo.fr/deux-seminaires-digiteo-a-venir
News
Prix de stage de recherche de l'École polytechnique
19 novembre 2019
Quentin Soubeyran a reçu le prix de stage de recherche de l'École polytechnique pour son travail au LRI dans l'équipe Systèmes Parallèles.

Prix FIEEC CARNOT de la recherche appliquée
18 octobre 2019
Claude Marché remporte le premier prix FIEEC CARNOT de la recherche appliquée pour sa collaboration avec la société AdaCore.

Ouvrage Informatique au lycée
24 septembre 2019
Parution d'un ouvrage pour la spécialité NSI en classe de première, co-écrit par quatre membres du LRI.