TY - JOUR

T1 - Approximating the domatic number

AU - Feige, Uriel

AU - Halldórsson, Magnús M.

AU - Kortsarz, Guy

AU - Srinivasan, Aravind

N1 - Copyright:
Copyright 2008 Elsevier B.V., All rights reserved.

PY - 2003/1

Y1 - 2003/1

N2 - A set of vertices in a graph is a dominating set if every vertex outside the set has a neighbor in the set. The domatic number problem is that of partitioning the vertices of a graph into the maximum number of disjoint dominating sets. Let n denote the number of vertices, δ the minimum degree, and Δ the maximum degree. We show that every graph has a domatic partition with (1 - o(1))(δ + 1)/ln n dominating sets and, moreover, that such a domatic partition can be found in polynomial-time. This implies a (1 + o(1)) ln n-approximation algorithm for domatic number, since the domatic number is always at most δ + 1. We also show this to be essentially best possible. Namely, extending the approximation hardness of set cover by combining multiprover protocols with zero-knowledge techniques, we show that for every ε > 0, a (1 - ε) ln n-approximation implies that NP ⊆ DTIME(nO(log log n)). This makes domatic number the first natural maximization problem (known to the authors) that is provably approximable to within polylogarithmic factors but no better. We also show that every graph has a domatic partition with (1 - o(1))/(δ + 1)/ln Δ dominating sets, where the "o(1)" term goes to zero as Δ increases. This can be turned into an efficient algorithm that produces a domatic partition of Ω(δ/ln Δ) sets.

AB - A set of vertices in a graph is a dominating set if every vertex outside the set has a neighbor in the set. The domatic number problem is that of partitioning the vertices of a graph into the maximum number of disjoint dominating sets. Let n denote the number of vertices, δ the minimum degree, and Δ the maximum degree. We show that every graph has a domatic partition with (1 - o(1))(δ + 1)/ln n dominating sets and, moreover, that such a domatic partition can be found in polynomial-time. This implies a (1 + o(1)) ln n-approximation algorithm for domatic number, since the domatic number is always at most δ + 1. We also show this to be essentially best possible. Namely, extending the approximation hardness of set cover by combining multiprover protocols with zero-knowledge techniques, we show that for every ε > 0, a (1 - ε) ln n-approximation implies that NP ⊆ DTIME(nO(log log n)). This makes domatic number the first natural maximization problem (known to the authors) that is provably approximable to within polylogarithmic factors but no better. We also show that every graph has a domatic partition with (1 - o(1))/(δ + 1)/ln Δ dominating sets, where the "o(1)" term goes to zero as Δ increases. This can be turned into an efficient algorithm that produces a domatic partition of Ω(δ/ln Δ) sets.

KW - Approximation algorithms

KW - Domatic number

KW - Domination

KW - Probabilistic analysis

UR - http://www.scopus.com/inward/record.url?scp=0038281082&partnerID=8YFLogxK

U2 - 10.1137/S0097539700380754

DO - 10.1137/S0097539700380754

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0038281082

SN - 0097-5397

VL - 32

SP - 172

EP - 195

JO - SIAM Journal on Computing

JF - SIAM Journal on Computing

IS - 1

ER -