Administration

Retour à la liste des séminaires

La complexité en états de la composition Racine-miroir.

Jeudi 11 mai 2023, 14:00 à 15:00

Salle de séminaire du département informatique

Alexandre Durand

(LITIS, Université de Rouen)

On considère l'opération obtenue en composant les deux opérations unaires miroir et Racine. Nous montrons que la complexité en états de cette opération est non seulement bien inférieure à la composition naïve de celles de ses composantes mais est également inférieure à celle de la Racine elle-même.