多項式時間で強連結な有向グラフにおける定数輻輳リンケージ

強連結な有向グラフにおいて、与えられた端点間のパスの集合が定数輻輳を持つことを保証する。