Linear kernels in linear time, or how to save k colors in O(n2) steps

  • Authors:

  • Benny Chor;Mike Fellows;David Juedes

  • Affiliations:

  • School of Computer Science, Tel Aviv University, Tel Aviv, Israel;School of EE & CS, University of Newcastle, Callaghan, Australia;School of EE & CS, Ohio University, Athens, Ohio

  • Venue:
  • WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper examines a parameterized problem that we refer to as n–kGraph Coloring, i.e., the problem of determining whether a graph G with n vertices can be colored using n–k colors. As the main result of this paper, we show that there exists a O(kn2 +k2 + 23.8161k)=O(n2) algorithm for n–kGraph Coloring for each fixed k. The core technique behind this new parameterized algorithm is kernalization via maximum (and certain maximal) matchings. The core technical content of this paper is a near linear-time kernelization algorithm for n–kClique Covering. The near linear-time kernelization algorithm that we present for n–kClique Covering produces a linear size (3k–3) kernel in O(k(n+m)) steps on graphs with n vertices and m edges. The algorithm takes an instance 〈G,k 〉 of Clique Covering that asks whether a graph G can be covered using |V|–k cliques and reduces it to the problem of determining whether a graph G′=(V′,E′) of size ≤ 3k–3 can be covered using |V′| – k′ cliques. We also present a similar near linear-time algorithm that produces a 3k kernel for Vertex Cover. This second kernelization algorithm is the crown reduction rule.