Vertex cover in graphs with locally few colors

  • Authors:
  • Fabian Kuhn;Monaldo Mastrolilli

  • Affiliations:
  • Faculty of Informatics, University of Lugano (USI), Via G. Buffi 13, 6904 Lugano, Switzerland;Dalle Molle Institute for Artificial Intelligence (IDSIA), 6928 Manno, Switzerland

  • Venue:
  • Information and Computation
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Erdos et al. defined the local chromatic number of a graph as the minimum number of colors that must appear within distance 1 of a vertex. For any @D=2, there are graphs with arbitrarily large chromatic number that can be colored so that (i) no vertex neighborhood contains more than @D different colors (bounded local colorability), and (ii) adjacent vertices from two color classes induce a complete bipartite graph (biclique coloring). We investigate the weighted vertex cover problem in graphs when a locally bounded coloring is given. This generalizes the vertex cover problem in bounded degree graphs to a class of graphs with arbitrarily large chromatic number. Assuming the Unique Game Conjecture (UGC), we provide a tight characterization. We prove that it is UGC-hard to improve the approximation ratio of 2-2/(@D+1) on (@D+1)-locally (but not necessarily biclique) colorable graphs. A matching upper bound is also provided. Vice versa, when properties (i) and (ii) hold, we present a randomized algorithm with approximation ratio of 2-@W(1)lnln@Dln@D. This matches known inapproximability results for the special case of bounded degree graphs. Moreover, we show that when both the above two properties (i) and (ii) hold, the obtained result finds a natural application in a classical scheduling problem, namely the precedence constrained single machine scheduling problem to minimize the total weighted completion time, denoted as 1|prec|@?w"jC"j in standard scheduling notation. In a series of recent papers it was established that this scheduling problem is a special case of the minimum weighted vertex cover in graphs G"P of incomparable pairs defined in the dimension theory of partial orders. We show that G"P satisfies properties (i) and (ii) where @D-1 is the maximum number of predecessors (or successors) of each job.