昨日、ZDDでクリークを列挙する話を書いた グラフ情報(隣接関係の情報)からクリークを列挙するのは大変だ その大変さは、0/1のべき乗をZDD化するより、グラフ情報からZDD化する方が難しい(らしい)ことと関係しそうだ 超立方格子上の点のハミング距離に適当に…

要素があるときに、集合族を考えて、さらにその中で複体制約を満足することを考える さらに、複体であって、がすべて複体を構成する単体に帰属するものとする その個数はこちらに書いたように、数列ID:A006126 "Number of hierarchical models with linear t…

複体というのがある 単体の集合だ お絵かきしてみる 単体の隣接行列は、対角成分を０としそれ以外の成分はすべて１であるような行列である 複体は単体同士がより小さな単体を共有した形になっている したがって、次のようにランダムに作ることができる ノー…