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