OR分岐: 問題Pがいくつかの部分問題 {Pi}に分解でき,{Pi}のうち 一つでも解ける時にPも解ける場合,Pに対応するノード nPから各Piに対応するノード nPiにOR分岐によるエッジを張る.nPは ORノードと呼ばれる.