2012-10-17から1日間の記事一覧

おねえさんを組み合わせ爆発から救う:無駄を省いてBDDを作る

おねえさんを組み合わせ爆発から救うために、経路を二分決定木として表しました。 http://d.hatena.ne.jp/nowokay/20121016#1350351212 前回の二分決定木を見ると、「1:2」「1:3」を通るとした場合、あとはどのような選択をしても単純な経路にならず「F」に…