Large-scale Binary Quadratic Optimization Using Semidefinite Relaxation and Applications
Wang, Shen, Hengel, Torr · cs.CV · 2016-05-02 · 原文
In computer vision, many problems such as image segmentation, pixel labelling, and scene parsing can be formulated as binary quadratic programs (BQPs). For submodular problems, cuts based methods can be employed to efficiently solve large-scale problems. However, general nonsubmodular problems are significantly more challenging to solve. Finding a solution when the problem is of large size to be of practical interest, however, typically requires relaxation. Two standard relaxation methods are widely used for solving general BQPs--spectral methods and semidefinite programming (SDP), each with their own advantages and disadvantages. Spectral relaxation is simple and easy to implement, but its bound is loose. Semidefinite relaxation has a tighter bound, but its computational complexity is high, especially for large scale problems. In this work, we present a new SDP formulation for BQPs, with two desirable properties. First, it has a similar relaxation bound to conventional SDP formulations. Second, compared with conventional SDP methods, the new SDP formulation leads to a significantly more efficient and scalable dual optimization approach, which has the same degree of complexity as s
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
In computer vision, many problems such as image segmentation, pixel labelling, and scene parsing can be formulated as binary quadratic programs (BQPs).
For submodular problems, cuts based methods can be employed to efficiently solve large-scale problems.
2. 领域脉络
本文类目：cs.CV，属于其所在研究脉络的最新进展。
3. 机制拆解
Two standard relaxation methods are widely used for solving general BQPs--spectral methods and semidefinite programming (SDP), each with their own advantages and disadvantages.
4. 证据与数字
摘要未给出量化结果——留意原文的实验与数据。
5. 反例与边界
However, general nonsubmodular problems are significantly more challenging to solve.
Finding a solution when the problem is of large size to be of practical interest, however, typically requires relaxation.
Spectral relaxation is simple and easy to implement, but its bound is loose.
Semidefinite relaxation has a tighter bound, but its computational complexity is high, especially for large scale problems.
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。