最大割问题和最大平分割问题基于半定规划松弛的近似算法  

Approximation algorithms for max cut and max bisection problems using semidefinite programming relaxations

作　　者：孙婷[1] 李改弟[1] 徐文青[1,2] 

机构地区：[1]北京工业大学应用数理学院,北京100124 [2]加州州立大学长滩分校数学与统计系

出　　处：《运筹学学报》2016年第3期21-32,共12页Operations Research Transactions

基　　金：国家自然科学基金(No.11201013);北京工业大学应用数理学院数理基金

摘　　要：考虑每条边具有非负权重的无向图,最大割问题要求将顶点集划分为两个集合使得它们之间的边的权重之和最大.当最大割问题半定规划松弛的最优解落到二维空间时,Goemans将近似比从0.87856…改进为0.88456.依赖于半定规划松弛的目标值与总权和的比值的曲线,此曲线的最低点为0.884 56,当半定规划松弛的目标值与总权和的比值在0.5到0.9044之间时,利用Gegenbauer多项式舍入技巧,改进了Zwick的近似比曲线.进一步,考虑最大割问题的重要变形——最大平分割问题,在此问题中增加了划分的两部分的点数相等的要求.同样考虑了最大平分割问题半定规划松弛的最优解落到二维空间的情形,并利用前述的Gegenbauer多项式舍入技巧得到0.709 1-近似算法.Given an undirected graph with nonnegative weight for each edge, the max cut problem is to partition its vertex set into two parts such that the total weight of crossing edges is maximized. When the optimal solution of its Service Design Package （SDP） relaxation lies in a two-dimension space, Goemans improved the approximation ratio from 0.878 56... to 0.884 56. Using the Gegenbauer polynomials rounding technique, we obtain an approximation curve depending on the ratio between the optimal value of the SDP relaxation and the total weight, which has the lowest point 0.884 56. We further improve the approximation ratio curve when the ratio varies from 0.5 to 0.9044. Furthermore, we consider an important variant of the max cut problem, the max bisection problem, in which the equal cardinality constraint for the two parts in the partition is imposed. We also consider the case that the optimal solution of the SDP relaxation for theMax Bisection problem lies in a two-dimension space and obtain a 0.7091-approximation for this variant by using the aforementioned Gegenbauer polynomials rounding technique.

关 键 词：最大割问题 最大平分割问题 近似算法 半定规划 

分 类 号：O221.7[理学—运筹学与控制论]