IEEE Trans Pattern Anal Mach Intell. 2014 Sep;36(9):1893-9. doi: 10.1109/TPAMI.2014.2306415.
Energy minimization algorithms, such as graph cuts, enable the computation of the MAP solution under certain probabilistic models such as Markov random fields. However, for many computer vision problems, the MAP solution under the model is not the ground truth solution. In many problem scenarios, the system has access to certain statistics of the ground truth. For instance, in image segmentation, the area and boundary length of the object may be known. In these cases, we want to estimate the most probable solution that is consistent with such statistics, i.e., satisfies certain equality or inequality constraints. The above constrained energy minimization problem is NP-hard in general, and is usually solved using Linear Programming formulations, which relax the integrality constraints. This paper proposes a novel method that directly finds the discrete approximate solution of such problems by maximizing the corresponding Lagrangian dual. This method can be applied to any constrained energy minimization problem whose unconstrained version is polynomial time solvable, and can handle multiple, equality or inequality, and linear or non-linear constraints. One important advantage of our method is the ability to handle second order constraints with both-side inequalities with a weak restriction, not trivial in the relaxation based methods, and show that the restriction does not affect the accuracy in our cases.We demonstrate the efficacy of our method on the foreground/background image segmentation problem, and show that it produces impressive segmentation results with less error, and runs more than 20 times faster than the state-of-the-art LP relaxation based approaches.
能量最小化算法,如图割算法,可以在某些概率模型(如马尔可夫随机场)下计算最大后验(MAP)解。然而,对于许多计算机视觉问题,模型下的 MAP 解并不是真实解。在许多问题场景中,系统可以访问真实解的某些统计信息。例如,在图像分割中,物体的面积和边界长度可能是已知的。在这些情况下,我们希望估计与这些统计信息一致的最可能的解,即满足某些等式或不等式约束的解。
一般来说,上述受约束的能量最小化问题是 NP 难的,通常使用线性规划(LP)公式来解决,这些公式放宽了整数约束。本文提出了一种新的方法,通过最大化相应的拉格朗日对偶来直接找到这类问题的离散近似解。
该方法可应用于任何约束能量最小化问题,只要其无约束版本是多项式时间可解的,并且可以处理多个等式或不等式以及线性或非线性约束。我们的方法的一个重要优点是能够以弱限制处理具有双边不等式的二阶约束,这在基于松弛的方法中并不简单,并且表明该限制在我们的情况下不会影响准确性。
我们在前景/背景图像分割问题上验证了我们方法的有效性,结果表明,它可以产生令人印象深刻的分割结果,误差更小,并且比基于最先进的 LP 松弛的方法快 20 多倍。