La complexité implicite, consiste à caractériser les classes de complexité par des restrictions syntaxiques sur le langage de programmation de haut niveau, souvent fonctionnel. Le programme qui résout un problème de la classe est donc écrit à haut niveau, sans référence à une machine d...