推移閉包

テンプレート:Expand English 推移閉包（すいいへいほう、テンプレート:Lang-en-short）は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 Rテンプレート:Sup を意味するテンプレート:Sfn。

たとえば X を人間（生死は問わない）の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xRテンプレート:Supy である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xRテンプレート:Supy である。

解説

任意の関係 R について、R の推移閉包は常に存在する。これを示すため、任意の推移関係の族の共通部分が推移的であることに注意する。さらに少なくとも1つの自明な R を含む推移関係 X × X が存在する。R の推移閉包は、R を含む全ての推移関係の共通部分である。

推移閉包はより構成的に次のようにも記述できる。X 上の関係 Rテンプレート:Sup を xRテンプレート:Supy となるのが X の要素の有限列 (xテンプレート:Sub, …, xテンプレート:Sub) （ただし n ≥ 1）が存在し、2条件

• x = xテンプレート:Sub, y = xテンプレート:Sub かつ
• x₀Rx₁, x₁Rx₂, …, x_n−1Rx_n

を満たすことと定義する。これは関係の合成を Rテンプレート:Sup のように表すことにすれば、端的に

$R^{+}=\bigcup _{n\ge 1}{R}^n$

と書き下すこともできる。関係 Rテンプレート:Sup が R を含み、かつ推移的であるかどうかを調べるのは容易である。さらに、R を含む任意の推移関係は Rテンプレート:Sup も含むので、Rテンプレート:Sup は R の推移閉包であるテンプレート:Sfn。

計算複雑性との関連

計算複雑性理論において、複雑性クラス NL は一階述語論理に推移閉包を追加した論理で表される論理式と正確に対応している。これは、推移閉包の属性が NL完全な問題である STCON 問題（グラフ内の経路を求める問題）と密接に関係しているためである。同様にクラス Lは、一階述語論理に可換な推移閉包を加えたものである。推移閉包を二階述語論理に加えると、PSPACEが得られる。

アルゴリズム

グラフの推移閉包を計算する効率的アルゴリズムがこちらにある。最も単純な技法としてはワーシャル-フロイド法がある。

参考文献

• テンプレート:Cite book