Fanout Free Cone

略して
FFC
ゲート
$v$
を始点(ファンイン), ゲート
$u$
を終点(ファンアウト)な枝
$e=(v,u)$
ゲートの順序列
$v_1,\cdots ,v_n$
で

$$e=(v_i,v_{i+1}),1\le {}^{\forall }i\le (n-1)$$

が存在するとき経路と呼ぶ.
ゲート
$v$
からいずれかの外部出力へ至るいかなる経路もゲート
$u$
を含むとき
$u$
を
$v$
の
ドミネータ
と呼ぶ
共通のドミネータ
$u$
を持つゲート
$v_i$
の集合は
$u$
を出口とする連結する部分回路を構成する,
Fanout Free Cone
:
FFC
と呼ぶ. 出口を

根

と呼ぶ
FFC以外でFFC内のゲートにファンアウトしているゲートを

葉

と呼ぶ.
葉の要素数をサイズと呼ぶ