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

おねえさんを組み合わせ爆発から救うために、経路を二分決定木として表しました。
http://d.hatena.ne.jp/nowokay/20121016#1350351212

前回の二分決定木を見ると、「1:2」「1:3」を通るとした場合、あとはどのような選択をしても単純な経路にならず「F」にたどりつきます。同様に、両方通らない場合も「F」になります。
このように、それ以降はどのような選択をしても結果がひとつに決まるという場合、それ以降のツリーを省略すると、決定木がすっきりします。