next up previous
Next: 2.3 Compilation du HPF Up: 2.2 Optimisations Previous: Le problème global

2.2.4 Analyse de complexité

Les algorithmes mis en place pour effectuer de telles optimisations sont structurellement combinatoires. La littérature nous fournit notamment la preuve de la NP-Complétude d'un "sous-problème" (qui est nécessaire pour les phases de normalisation et de factorisation): le pattern-matching Associatif Commutatif [4].



Julien Zory
Thu Mar 12 17:35:23 MET 1998