(je sais pas si le résultat est de lui, c'est juste que c'est lui qui l'a mis dans la base de données)


Et la suite que j'ai postée est un majorant de la complexité, mais c'est aussi la cardinalité exacte du nombre d'arbres à 4 opérateurs symétriques... Donc "majorant" voulait dire majorant de cette cardinalité, pas majorant de la complexité ^^

Si tu parles de la complexité exacte c'est forcément moins que ça puisqu'on a pas pris en compte l'associativité de l'addition/multiplication, ou encore le fait que a-(b-c) = a-b+c. On a juste supposé qu'on avait des opérateurs commutatifs opaques...