平滑性约束下的全局优化项:
这是个整形优化问题。对于一般的二次伪布尔优化
其中,令
构建网络流,最小割即为最小能量。我们可以把整形优化转化为伪布尔优化,比如截断令
那么,但这么做得到的能量式不一定符合子模性,我们利用迭代法来优化该整形,设中间迭代状态y有优化
定义一次移动为
变为优化子模块,还可以有其他移动法,如扩展
交换
扩展收缩