有向グラフGのchildren関数 |G|→Pow(|G|) を、children(x) = {y∈|G| | xからyに向かう辺がある} で定義する。すべてのchildren(x)が全順序集合になっているようなグラフを考える。局所順序グラフと呼びたいが、誤解されそうだから、semifatグラフと呼ぶ。無…

似たことは何度も書いているような気がするが、2011年春夏シーズン向けのアルゴリズム（新作じゃないけど）。準備いろいろと記号の約束をする。 G, Hなどは有向グラフ 圏論の記法を借りて、グラフの頂点集合を|G|、辺集合を記号の乱用でGとも書く。 辺eに対…