En collaboration avec B. Gaujal (projet SLOOP), A. Jean-Marie
et J. Mairesse ont considéré le problème consistant à construire,
à partir d'un schéma récursif donné, un autre shéma d'ordre 1,
réalisant le même calcul et de dimension la plus petite possible.
Il a été montré que ce problème peut se ramener à la recherche de
coupes particulières dans un graphe, et peut se résoudre en temps
polynomial dans certains cas. Ces résultats peuvent être utilisés
pour la conception de circuits digitaux optimaux. Appliqué aux
récurrences 
, ces
résultats permettent d'optimiser la simulation équationelle
distribuée de graphes d'événements [55].