会津合宿Day1のD問題に「与えられた真理値表に対応するBDDを構築し、頂点数を求めよ」という問題が出ました。 想定解法は「二分決定木作って頑張って簡約化」らしいですが、これはBDDを構築しなくても解けます。変数をx1,x2,...,xn、与えられた真理値表を表…