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

Special Issue: Discrete optimization

Previous Articles     Next Articles

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

CLC Number: