ZDDとSimPathをやってみた(こちら) ZDDは「平面的なグラフ」で特に効果があるそうだ これは、いかにもそんな印象もあるけれど、その背景って…? 『平面分離定理』 頂点数nの平面(に描ける)グラフは、３つの頂点集合に分けることができて、その分け方ではフロ…