Linear kernels in linear time, or how to save k Colors in O(n2) Steps

Benny Chor, Mike Fellows, David Juedes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

This paper examines a parameterized problem that we refer to as n - k GRAPH 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 - k GRAPH 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 - k CLIQUE COVERING. The near linear-time kernelization algorithm that we present for n - k CLIQUE 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.

Original languageEnglish
Title of host publication Graph-Theoretic Concepts in Computer Science
Subtitle of host publication30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers
EditorsJuraj Hromkovič, Manfred Nagl , Bernhard Westfechtel
PublisherSpringer Berlin Heidelberg
Pages257-269
Number of pages13
Volume3353
ISBN (Electronic)978-3-540-30559-0
ISBN (Print)978-3-540-24132-4
DOIs
StatePublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Linear kernels in linear time, or how to save k Colors in O(n2) Steps'. Together they form a unique fingerprint.

Cite this