E.4 分支定界法