12.5.1 分支定界优化框架