2012-01-23から1日間の記事一覧
付録A続きます。 A.1.6 スパニング木 ここに書いてある定義だけではスパニング木の仕様はよくわかりませんでしたがこういうことかな pred isTree (r: univ -> univ) { r.~r in iden no iden & r no x: univ | univ in x.^r } pred spans (r1, r2: univ -> un…
付録A続きます。 A.1.6 スパニング木 ここに書いてある定義だけではスパニング木の仕様はよくわかりませんでしたがこういうことかな pred isTree (r: univ -> univ) { r.~r in iden no iden & r no x: univ | univ in x.^r } pred spans (r1, r2: univ -> un…