用語説明
n
ドミネートする、ドミネータ
i
フローグラフの、先頭ノードからノード
B
へ至る全
てのフローがノード
A
を通るとき、ノード
A
はノード
B
をドミネートするという。このとき、ノード
A
をノー
ド
B
のドミネータという。
n
ドミネータツリー
i
ノード同士のドミネート関係をツリーで表現。
n
バックエッジ
i
ノード
A
がノード
B
をドミネートするときの
B
→
A
。