4CHAPITRE 7. LA NOTION DE CIRCUIT
7.1.2 Relations entre taille et profondeur
On note e(C) pour le nombre d’entr´ees du circuit C.
Proposition 7.1 Si aucune entr´ee n’est une sortie, alors taille(C)≤3(taille(C)−
e(C)).
D´emonstration: Toute entr´ee poss`ede au moins un arc sortant, qui va vers
une porte p, qui n’est pas une entr´ee. Comme pre¸coit au plus deux arcs, elle
ne sert que pour deux entr´ees au plus, soit e(C)≤2(taille(C)−e(C)), soit
3e(C)≤2taille(C), ce qui revient `a l’in´egalit´e.
Pour les termes, il y a forte corr´elation entre taille et nombre d’entr´ees.
Proposition 7.2 Si Cest un terme T, alors 2e(T)−1≤taille(T)avec ´egalit´e
si toutes les portes qui ne sont pas des entr´ees re¸coivent deux arcs entrants.
D´emonstration: Par r´ecurrence sur la profondeur de T. C’est clair si T
est de taille 1. Si Tse d´ecompose en deux termes imm´ediats T1et T2, alors
e(T) = e(T1) + e(T2), puisque les sous-termes n’ont pas d’entr´ees communes,
et taille(T) = taille(T1) + taille(T2) puisqu’ils sont disjoints. La r´ecurrence
fonctionne bien dans ce cas. Si Tne poss`ede qu’un sous-terme imm´ediat T1
alors e(T) = e(T1), taille(T) = taille(T1) et la r´ecurrence est encore valide.
Proposition 7.3 Pour tout circuit C,
profondeur(C)≤taille(C)−e(C),
taille(C)≤(2prof ondeur(C)+1 −1).
Pour tout terme T,log(e(T)) ≤profondeur(T).
D´emonstration: La premi`ere in´egalit´e vient du fait qu’un chemin maximal
de longueur prof ondeur(C) passe par profondeur(C+ 1) portes, et que la
premi`ere est une entr´ee.
La deuxi`eme in´egalit´e se prouve par r´ecurrence sur profondeur(C). C’est
clair si profondeur(C) = 0, car la taille vaut alors 1. Sinon, la sortie poss`ede
un ou deux sous-circuits imm´ediats.
S’il y en a qu’un C1, alors taille(C) = taille(C1)−1, prof ondeur(C1)≤
profondeur(C1)−1, et donc taille(C)≤2profondeur(C)−1+1 ≤2prof ondeur(C)+1−
1.
S’il y en a deux, taille(C)≤taille(C1) + taille(C2) + 1, et C1et C2sont de
profondeur au plus prof ondeur(C)−1 si bien que taille(C)≤2(2profondeur(C)−
1) + 1 ≤2profondeur(C)+1 −1.
Si Cest un terme T, alors 2e(T)−1≤taille(T) par la proposition 7.2, et
donc e(T)≤2prof ondeur(P)par ce qui pr´ec`ede.