[论文解读] Beyond Baker's Technique.

Yi‐Kai Wang|arXiv (Cornell University)|Dec 1, 2014

Complexity and Algorithms in Graphs参考文献 85被引用 1

一句话总结

本文提出了一种统一框架，用于使用图附着函数对机器学习、视觉和统计物理中的优化问题进行建模，该框架在包括平面图、H-极小自由图和有界密度几何图在内的多种图类上实现了MAX 2-CSP的多项式时间近似方案（PTAS）。该方法首次为d维格子上的铁磁爱德华兹-安德森模型基态提供了PTAS。

ABSTRACT

The theoretical models providing mathematical abstractions for several significant optimization problems in machine learning, combinatorial optimization, computer vision and statistical physics have intrinsic similarities. We propose a unified framework to model these computation tasks where the structures of these optimization problems are encoded by functions attached on the vertices and edges of a graph. We show that computing MAX 2-CSP admits polynomial-time approximation scheme (PTAS) on planar graphs, graphs with bounded local treewidth, $H$-minor-free graphs, geometric graphs with bounded density and graphs embeddable with bounded number of crossings per edge. This implies computing MAX-CUT, MAX-DICUT and MAX $k$-CUT admits PTASs on all these classes of graphs. Our method also gives the first PTAS for computing the ground state of ferromagnetic Edwards-Anderson model without external magnetic field on $d$-dimensional lattice graphs. These results are widely applicable in vision, graphics and machine learning.

研究动机与目标

• 统一机器学习、组合优化和统计物理中优化问题的数学建模。
• 为稀疏和结构化图类上的MAX 2-CSP开发一种通用近似方法。
• 将近似方案的适用范围从传统图类扩展到包括有界局部树宽和有界交叉数的图类。
• 为d维格子上铁磁爱德华兹-安德森模型的基态提供首个多项式时间近似方案（PTAS）。

提出的方法

• 使用分配给图的顶点和边的函数对优化任务进行建模，以捕捉跨领域的结构约束。
• 利用有界局部树宽和有界边交叉等结构特性，基于动态规划实现近似。
• 将Baker技术推广应用于稀疏且对子图封闭的图族，将其适用范围从平面图扩展。
• 使用递归分解和分层技术处理有界密度和有界交叉数的图。
• 将几何和拓扑约束整合到近似框架中，以保持多项式时间复杂度。
• 在所提出的框架下，建立从MAX-CUT和MAX-k-CUT问题到MAX 2-CSP的归约，从而为这些问题提供PTAS。

实验结果

研究问题

• RQ1 能否开发一种统一框架，使用图附着函数对机器学习、视觉和统计物理中的多样化优化问题进行建模？
• RQ2 所提出的方法是否能在H-极小自由图和有界密度几何图上实现MAX 2-CSP的PTAS？
• RQ3 该框架能否超越平面图，扩展到包含有界局部树宽和有界边交叉的图类？
• RQ4 是否可能在d维格子上为铁磁爱德华兹-安德森模型的基态实现PTAS？
• RQ5 有界局部树宽和有界交叉等图的结构特性如何影响高效近似算法的设计？

主要发现

• 在平面图上实现了MAX 2-CSP的PTAS，并扩展至具有有界局部树宽和H-极小自由图的图类。
• 该框架支持在有界密度几何图和每条边有界交叉数的图上实现MAX 2-CSP的PTAS。
• 该方法首次为d维格子图上铁磁爱德华兹-安德森模型基态的计算提供了PTAS。
• 在该框架下，MAX-CUT、MAX-DICUT和MAX-k-CUT在所有可近似MAX 2-CSP的图类上均具有PTAS。
• 该方法将Baker技术推广至平面图之外，使近似方案适用于更广泛的稀疏和结构化图族。