次回 >> (執筆中) はじめに この記事でやること ZDD(Zero-suppressed Binary Decision Diagram, ゼロサプレス型二分決定グラフ) ZDDとは? どうやって表現するの? ZDDのプログラム上での表現方法と実装準備 ZDDクラスのコンストラクタ Diagramクラスのコンストラクタ、ハッシュ関数 ZDDを図示する関数 Diagram.show(self, filename) インスタンスごとに関数をメモ化するデコレーター Diagramインスタンスの生成に用いる関数 ZDD._get_node(self, v, zero, one) アルゴリズムの説明…