ドミネータツリー
1
n
前のスライドのコントロー
ルフローグラフに対応
n
ノードの番号は、コントロー
ルフローグラフのノード
の番号と一致
i
好きなときに、フローグラ
フの情報も参照できる
i
以降では区別しない
2
3
4
5
6
7