クヌース先生のアルゴリズム本の4巻を読んでいる。BDD の話が載っているので簡単に Java で実装していく。 まず、BDD のノードのクラスは、 public BddNode Zero = new BddNode(0, null, null); // 終点となる 0ノードと public BddNode One = new BddNode(0…