2015-11-21から1日間の記事一覧

ZDD分岐木を描図する

from graphillion import GraphSet import pickle from itertools import chain import networkx as nx import matplotlib.pyplot as plt # ユニバースの要素数nに # [(1,2),(2,3),...,(n-1,n)]というユニバースとする n = 50 universe = [] for i in range(…

ZDD分岐木を描図する