Journal of the Operations Research Society of China ›› 2019, Vol. 7 ›› Issue (3): 429-448.doi: 10.1007/s40305-019-00260-1

所属专题: Discrete optimization

• • 上一篇    下一篇

  

  • 收稿日期:2018-09-03 修回日期:2019-04-10 出版日期:2019-09-30 发布日期:2019-10-08
  • 通讯作者: Yao Xu, Yong Chen, Peng Zhang, Randy Goebel E-mail:xu2@ualberta.ca;chenyong@hdu.edu.cn;algzhang@sdu.edu.cn;rgoebel@ualberta.ca
  • 基金资助:
    This research was supported by the National Natural Science Foundation of China (Nos. 11771114, 11571252, and 61672323), the China Scholarship Council (No. 201508330054), the Natural Science Foundation of Shandong Province (No. ZR2016AM28), and the Natural Sciences and Engineering Research Council of Canada.

Approximation Algorithms for Vertex Happiness

Yao Xu1, Yong Chen2, Peng Zhang3, Randy Goebel1   

  1. 1 Department of Computing Science, University of Alberta, Edmonton, AB T6G 2E8, Canada;
    2 Department of Mathematics, Hangzhou Dianzi University, Hangzhou 310018, China;
    3 School of Computer Science and Technology, Shandong University, Jinan 250101, China
  • Received:2018-09-03 Revised:2019-04-10 Online:2019-09-30 Published:2019-10-08
  • Contact: Yao Xu, Yong Chen, Peng Zhang, Randy Goebel E-mail:xu2@ualberta.ca;chenyong@hdu.edu.cn;algzhang@sdu.edu.cn;rgoebel@ualberta.ca

Abstract: We investigate the maximum happy vertices (MHV) problem and its complement, the minimum unhappy vertices (MUHV) problem. In order to design better approximation algorithms, we introduce the supermodular and submodular multi-labeling (Sup-ML and Sub-ML) problems and show that MHV and MUHV are special cases of Sup-ML and Sub-ML, respectively, by rewriting the objective functions as set functions. The convex relaxation on the Lovász extension, originally presented for the submodular multi-partitioningproblem,canbeextendedfortheSub-MLproblem,therebyproving that Sub-ML (Sup-ML, respectively) can be approximated within a factor of 2-2/k (2/k, respectively), where k is the number of labels. These general results imply that MHV and MUHV can also be approximated within factors of 2/k and 2-2/k, respectively, using the same approximation algorithms. For the MUHV problem, we also show that it is approximation-equivalent to the hypergraph multiway cut problem; thus, MUHV is Unique Games-hard to achieve a (2-2/k-ε)-approximation, for any ε > 0. For the MHV problem, the 2/k-approximation improves the previous best approximation ratio max{1/k, 1/Δ + 1/g(Δ) }, where Δ is the maximum vertex degree of the input graph and g(Δ)=(√Δ+√Δ+1)2 Δ > 4Δ2. We also show that an existing LP relaxation for MHV is the same as the concave relaxation on the Lovász extension for Sup-ML; we then prove an upper bound of 2/k on the integrality gap of this LP relaxation, which suggests that the 2/k-approximation is the best possible based on this LP relaxation. Lastly, we prove that it is Unique Games-hard to approximate the MHV problem within a factor of Ω(log2 k/k).

Key words: Vertex happiness, Multi-labeling, Submodular/supermodular set function, Approximation algorithm, Polynomial-time reduction, Integrality gap

中图分类号: