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