    Constant round distributed domination on graph classes with bounded expansion

We show that the dominating set problem admits a constant factor approximation in a constant number of rounds in the LOCAL model of distributed computing on graph classes with bounded expansion. This generalizes a result of Czygrinow et al. for graphs with excluded topological minors.

Authors

11/29/2021

Local planar domination revisited

We show how to compute a 20-approximation of a minimum dominating set in...
10/07/2019

Distributed Distance-r Dominating Set on Sparse High-Girth Graphs

The dominating set problem and its generalization, the distance-r domina...
11/19/2018

Experimental evaluation of kernelization algorithms to Dominating Set

The theoretical notions of graph classes with bounded expansion and that...
01/22/2020

Bibliography of distributed approximation on structurally sparse graph classes

This document is an informal bibliography of the papers dealing with dis...
05/08/2021

On set systems definable in sparse graph classes, discrepancy, and quantifier elimination

We study the (hereditary) discrepancy of definable set systems, which is...
07/17/2020

Dominated Minimal Separators are Tame (Nearly All Others are Feral)

A class F of graphs is called tame if there exists a constant k so that ...
12/18/2018

Qualitative graph limit theory. Cantor Dynamical Systems and Constant-Time Distributed Algorithms

The goal of the paper is to lay the foundation for the qualitative analo...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

A dominating set in an undirected and simple graph is a set such that every vertex either belongs to or has a neighbor in . The Minimum Dominating Set problem takes as input a graph and the objective is to find a minimum size dominating set of . The decision problem whether a graph admits a dominating set of size is NP-hard  and this even holds in very restricted settings, e.g. on planar graphs of maximum degree  .

Consequently, attention shifted from computing exact solutions to approximating near optimal dominating sets. The simple greedy algorithm computes an approximation (where is number of vertices of the input graph) of a minimum dominating set [21, 29], and for general graphs this algorithm is near optimal – it is NP-hard to approximate minimum dominating sets within factor for every  .

Therefore, researchers tried to identify restricted graph classes where better (sequential) approximations are possible. The problem admits a PTAS on classes with subexponential expansion . Here, expansion refers to the edge density of bounded depth minors, which we will define in detail below. Important examples of classes with subexponential expansion include the class of planar graphs and more generally classes that exclude some fixed graph as a minor. The dominating set problem admits a constant factor approximation on classes of bounded degeneracy (equivalently, of bounded arboricity) [5, 28] and an approximation (where  denotes the size of a minimum dominating set) on classes of bounded VC-dimension [7, 14]. In fact, the greedy algorithm can be modified to yield a constant factor approximation on graphs with bounded degeneracy  and an approximation on biclique-free graphs (graphs that exclude some fixed complete bipartite graph as a subgraph) . However, it is unlikely that polynomial-time constant factor approximations exist even on -free graphs . The general goal in this line of research is to identify the broadest graph classes on which the dominating set problem (or other important problems that are hard on general graphs) can be approximated efficiently with a certain guarantee on the approximation factor. These limits of tractability are often captured by abstract notions, such as expansion, degeneracy or VC-dimension of graph classes.

In this paper we study the distributed time complexity of finding dominating sets in the classic LOCAL model of distributed computing, which can be traced back at least to the seminal work of Gallager, Humblet and Spira . In this model, a distributed system is modeled by an undirected (connected) graph , in which every vertex represents a computational entity of the network and every edge represents a bidirectional communication channel. The vertices are equipped with unique identifiers. In a distributed algorithm, initially, the nodes have no knowledge about the network graph. They must then communicate and coordinate their actions by passing messages to one another in order to achieve a common goal, in our case, to compute a dominating set of the network graph. The LOCAL model focuses on the aspects of communication complexity and therefore the main measure for the efficiency of a distributed algorithm is the number of communication rounds it needs until it returns its answer.

Kuhn et al.  proved that in  rounds on an -vertex graphs of maximum degree one can approximate minimum dominating sets only within a factor and , respectively, where  is a constant. This implies that, in general, to achieve a constant approximation ratio, we need at least and  communication rounds, respectively. Kuhn et al.  also presented a -approximation in that runs in rounds for any , Barenboim et al.  presented a deterministic -time algorithm that provides an -approximation, for any integer parameter . More recently, the combined works of Rozhon, Ghaffari, Kuhn, and Maus [18, 32] provide an algorithm computing a -approximation of the dominating set in poly rounds [32, Corollary 3.11].

For graphs of degeneracy  (equivalent to arboricity up to factor ), Lenzen and Wattenhofer  provided an algorithm that achieves a factor  approximation in randomized time , and a deterministic  approximation algorithm with rounds. Graphs of bounded degeneracy include all graphs that exclude a fixed graph as a (topological) minor and in particular, all planar graphs and any class of bounded genus.

Amiri et al.  provided a deterministic time constant factor approximation algorithm on classes of bounded expansion (which extends also to connected dominating sets). Czygrinow et al.  showed that for any given , -approximations of a maximum independent set, a maximum matching, and a minimum dominating set, can be computed in rounds in planar graphs, which is asymptotically optimal .

Lenzen et al.  proposed a constant factor approximation on planar graphs that can be computed in a constant number of communication rounds (see also  for a finer analysis of the approximation factor). Wawrzyniak  showed that message sizes of suffice to give a constant factor approximation on planar graphs in a constant number of rounds. In terms of lower bounds, Hilke et al.  showed that there is no deterministic local algorithm (constant-time distributed graph algorithm) that finds a -approximation of a minimum dominating set on planar graphs, for any positive constant .

The results for planar graphs were gradually extended to classes with bounded genus [2, 3], classes with sublogarithmic expansion  and eventually by Czygrinow et al.  to classes with excluded topological minors. Again, one of the main goals in this line of research is to find the most general graph classes on which the dominating set problem admits a constant factor approximation in a constant number of rounds.

We take a step towards this goal and generalize the result of Czygrinow et al.  to classes of bounded expansion. The notion of bounded expansion was introduced by Nešetřil and Ossona de Mendez  and offers an abstract definition of uniform sparseness in graphs. It is based on bounding the density of shallow minors. Intuitively, while a minor is obtained by contracting arbitrary connected subgraphs of a graph to new vertices, in an -shallow minor we are only allowed to contract connected subgraphs of radius at most .

A class of graphs has bounded expansion if for every radius the set of all -shallow minors has edge density bounded by a constant depending only on . We write for the maximal edge density of an -shallow minor of a graph . Of course, every class  that excludes a fixed graph as a minor has bounded expansion. For such classes there exists an absolute constant such that for all and all  we have . Special cases are the class of planar graphs, every class of graphs that can be drawn with a bounded number of crossings, and every class of graphs that embeds into a fixed surface. Every class of intersection graphs of low density objects in low dimensional Euclidean space has polynomial expansion, that is, the function  is bounded polynomially in on . Also every class that excludes a fixed graph as a topological minor has bounded expansion. Important special cases are classes of bounded degree and classes of graphs that can be drawn with a linear number of crossings Further examples include classes with bounded queue-number, bounded stack-number or bounded non-repetitive chromatic number and the class of Erdös-Rényi random graphs with constant average degree , , has asymptotically almost surely bounded expansion. See [19, 31] for all these examples.

Hence, classes of bounded expansion are much more general than classes excluding a topological minor. On the other hand, maybe not surprisingly, when performing local computations, it is not properties of minors or topological minors, but rather of shallow minors that allow the necessary combinatorial arguments in the algorithms. This observation was already made in the study of the kernelization complexity of dominating set on classes of sparse graphs [11, 12, 13, 15, 24]. On the other hand, degenerate classes are those classes where only is bounded. These classes are hence more general than classes of bounded expansion.

The algorithm of Czygrinow et al.  is based on an quite complicated iterative process of choosing dominating vertices from so called pseudo-covers. Based on the fact that classes with excluded topological minors in particular exclude some complete bipartite graph as a subgraph it is proved that this iterative process terminates after at most rounds and produces a good approximation of a minimum dominating set.

In this paper we make three contributions. First, we simplify the arguments used by Czygrinow et al. and give a much more accessible description of their algorithm. Second, we identify the property that is bounded by a constant as the key property that makes the algorithm work. Classes with only this restriction are even more general than bounded expansion classes, hence, we generalize the algorithm to the most general classes on which it (and similar approaches based on covers or pseudo-covers) can work. We demonstrate that the pseudo-covering method cannot be extended e.g. to classes of bounded degeneracy. Finally, Czygrinow et al. explicitly stated that they did not aim to optimize any constants, and as presented, the constants in their construction are enormous. We optimize the bounds that arise in the algorithm in terms of . Even though the constants are still large, they are by magnitudes smaller than those in the original presentation.

Theorem 1.1

There exists a LOCAL algorithm that for any given graph and an upper bound on as input computes in a constant number of rounds a dominating set of size , where is minimum such that .

Before we go into the technical details let us give an overview of the algorithm. The algorithm works in three steps, in each step () computing a small set that is added to the dominating set.

1. Compute the set of all such that cannot be dominated by a small number (the constant ) of vertices different from . Remove  from  and mark all its neighbors as dominated. The fact that is linearly bounded in  goes back to work of  and we prove our bounds in Lemma 1.

2. In parallel for every vertex we compute all so called domination sequences , defined formally in Definition 3. This step is based on the construction of pseudo-covers as in the work of Czygrinow et al. . We add all vertices to the set . We prove that this set is small compared to  in Lemma 10. Remove from and mark its neighbors as dominated.

3. All remaining vertices have small degree, as proved in Corollary 2, and hence in a final step we can add all non-dominated vertices to a set . We finally return the set .

The main open question that remains in this line of research is whether we can compute constant factor approximations of minimum dominating sets in a constant number of rounds in classes of bounded degeneracy.

2 Preliminaries

In this section we fix our notation and prove some basic lemmas required for the algorithm. We use standard notation from graph theory and refer to the literature for extensive background. For an undirected and simple graph  we denote by the vertex set and by the edge set of . We also refer to the literature, for the formal definition of the LOCAL model of distributed computing.

A graph  is a minor of a graph , written , if there is a set of pairwise vertex disjoint and connected subgraphs such that if , then there is an edge between a vertex of  and a vertex of . We call the branch set of and say that it is contracted to the vertex .

For a non-negative integer , a graph is an -shallow minor of , written , if there is a set  of pairwise vertex disjoint connected subgraphs of radius at most such that if , then there is an edge between a vertex of  and a vertex of . Observe that a -shallow minor of is just a subgraph of .

We write for . Observe that denotes the maximum average edge density of and bounds the degeneracy of , which is defined as . Here, denotes the minimum degree of . A class  of graphs has bounded expansion if there is a function such that for all graphs . This is equivalent to demanding that the degeneracy of each -shallow minor of is functionally bounded by .

We write  for the complete bipartite graph with partitions of size  and , respectively. Observe that has vertices and edges, hence, if , then excludes as a subgraph.

For a graph and we write for the open neighborhood of and for the closed neighborhood of . For a set let . We write for the set of vertices at distance at most from a vertex . A dominating set in a graph  is a set such that . We write for the size of a minimum dominating set of . For we say that a set dominates or covers or is a cover of if . Observe that we do not require as Czygrinow et al. do for covers.

The following lemma is one of the key lemmas used for the algorithm. It goes back to .

Lemma 1

Let be a graph. Then there are less than vertices with the property that cannot be dominated by at most vertices different from .

Proof

Let and and assume that there are such vertices . We proceed towards a contradiction. Let be a minimum dominating set. At least of the ’s are not in this dominating set. We can hence assume w.l.o.g. that and are two disjoint sets of vertices.

We build a -shallow minor of the graph with the following branch sets. For every , we have a branch set and a branch set . We call the associated vertices of .

Since is a dominating set of and by assumption on , we have that in , every is connected to at least of the . We therefore have that and , hence , a contradiction.

Note that we cannot locally determine the number . We must hence assume that it is given with the input. Observe that similarly, the algorithm of Czygrinow et al. works with the assumption that the input excludes a complete graph with vertices as a topological minor. This implies a bound on the edge density of topological minors in , which can be seen as being given with the input.

The algorithm proceeds in three phases. The first phase is based on Lemma 1 as follows. In the LOCAL model we can learn the distance- neighborhood  of every vertex in rounds, and then locally check whether  can be dominated by at most vertices.

We let be the set of all vertices that do not have this property. By Lemma 1 we have . We remove from the graph and mark all its neighbors as dominated in one additional round.

In the following we fix a graph and we assume that can be dominating by at most vertices different from for all . We write for  and we let be the smallest positive integer such that  excludes as a subgraph. Note that this number is not required as part of the input. We let .

Example 1

A planar -vertex graph has at most edges. A minor of a planar graph is again planar, hence for planar graphs we have for all and .

We also fix a minimum dominating set of of size . The following lemma is proved exactly as Lemma 1.

Lemma 2

There are less than vertices with the property that cannot be dominated by at most vertices from and different from .

Unfortunately, we cannot determine these vertices locally, as it requires knowledge of , however, this structural property is very useful for our further argumentation.

Denote by the set of all vertices whose neighborhood cannot be dominated by vertices of different from . Let .

According to Lemma 2, contains at most vertices. Let us stress that  will never be computed by our LOCAL algorithm. We only use its existence in the correctness proofs.

We can apply these lemmas to obtain a constant factor approximation for a dominating set only if is bounded by a constant. For example in graphs of bounded degeneracy in general the number of vertices that dominate the neighborhood of a vertex can only be bounded by . Hence, the approach based on covers and pseudo-covers that is employed in the following cannot be extended to degenerate graph classes.

Example 2

Let be the graph with vertices for , for and for . We have the edges for , hence dominates all . We have the edges for all , hence, the are neighbors of . Finally, we have the edges , that is, dominates the th neighbor of . Hence, for , has a dominating set of size and vertices whose neighborhood can be dominated only by vertices. Lemma 1 implies that , and as we can choose  arbitrary large, we cannot usefully apply Lemma 1. Furthermore, is -degenerate, showing that these methods cannot be applied on degenerate graph classes. Figure 2: A 2-degenerate graph where for many v∈V(G) the set N(v) can only be dominated by at least γ vertices different from v.

3 Covers and pseudo-covers

Intuitively, the vertices from a cover of a set can take different roles. A few vertices of a cover may cover almost the complete set , while a few others are only there to cover what was left over. The key observation of Czygrinow et al. is that in classes that exclude some  as a subgraph, there can only be few of such high degree covering vertices, while there can be arbitrarily many vertices that cover at most vertices of  (the same vertices can be covered over and over again). This observation can be applied recursively and is distilled into the following two definitions. Recall that by the processing carried out in the first phase of the algorithm we know that every neighborhood can be covered by vertices different from . We recall all fixed parameters for easy to find reference.

- G :  fixed graph. :  γ(G). :  ∇1(G). :  smallest integer such that G excludes Kt,t as a subgraph :  defined and computed in Lemma 1. :  fixed dominating set of G of size γ (not computed). :  defined in Lemma 2 (not computed). :  D∪^D (not computed).

Following the presentation of , we name and fix these constants for the rest of this article.

- k \coloneqq 2∇1. \coloneqq 1/k. \coloneqq 8∇1/α2+1=4k3+1. \coloneqq 4k4.
Definition 1

A vertex is -strong for a vertex set if .

The following is the key definition by Czygrinow et al. .

Definition 2

A pseudo-cover (with parameters ) of a set is a sequence of vertices such that for every we have

• ,

• is -strong for ,

• ,

• .

Intuitively, all but at most elements of the set are covered by the . Additionally, each element of the pseudo-cover dominates both an -fraction of what remains to be dominated, and at least elements. Note that with our choice of constants, if there are more than vertices not covered yet, any vertex that covers an -fraction of what remains also covers at least elements.

The next lemma shows how to derive the existence of pseudo-covers from the existence of covers.

Lemma 3

Let be of size at least and let  be a cover of with  elements. There exists an ordering of the vertices of as and such that is a pseudo-cover of .

Proof

We build the order greedily by induction. We order the elements by neighborhood size, while removing the neighborhoods of the previously ordered vertices. More precisely, assume that have been defined for some . We then define as the element that maximizes .

Once we have ordered all vertices of , we define as the maximal integer not larger than such that for every we have:

• is -strong for , and

• .

This made sure that satisfies the last 3 properties of a pseudo-cover of . It only remains to check the first one. To do so, we define . We want to prove that . Note that because covers , if we have and we are done. We can therefore assume that and . Since is a cover of , we also know that is a cover of , therefore there is an element in that dominates at least a fraction of . Thanks to the previously defined order, we know that  is such element. Since , it follows that  is -strong for . This, together with the definition of , we have that meaning that . This implies that . And since , we have . Hence, is a pseudo-cover of .

While there can exist unboundedly many covers for a set , the nice observation of Czygrinow et al. was that the number of pseudo-covers is bounded whenever the input graph excludes some biclique as a subgraph. We do not state the result in this generality, as it leads to enormous constants. Instead, we focus on the case where small covers exist, that is, on the case where  is bounded and optimize the constants for this case.

Lemma 4

Let of size at least . Then there are at most vertices that are -strong for .

Proof

Assume that there is such a set with at least vertices that are -strong for . We build a -shallow minor of the graph with branch sets. Each branch set is either a single element of , or a pair , where is in and is an -strong vertex for , connected to , and that is not in . This is obtained by iteratively contracting one edge of an -strong vertex with a vertex of . This is possible because , so during the process and for any -strong vertex we can find a connected vertex in that is not part of any contraction.

Once this is done, we have that . For the edges, each of the -strong vertices can account for many edges. We need to subtract  from the total as we do not count twice an edge between two strong vertices. Therefore . Note also that because , we have that . All of this together leads to:

 |EH||VH|≥cα|W|−c2|W|≥4∇1−(4∇1)2α2|W|≥4∇1−2∇1>∇1

This contradicts the definition of .

This leads quickly to a bound on the number of pseudo-covers.

Lemma 5

For every of size at least , the number of pseudo-covers is bounded by .

The proof of the lemma is exactly as the proof of Lemma 7 in the presentation of Czygrinow et al. , we therefore refrain from repeating it here.

We write for the set of all pseudo-covers of and for the set of all vertices that appear in a pseudo-cover of .

Corollary 1

For every with , we have and .

4 Finding dominators

Recall that by Lemma 2 for every we can cover with at most  vertices from . To first gain an intuitive understanding of the second phase of the algorithm, where we construct a set , let us consider the following iterative procedure.

Fix some . Let and and assume . We consider vertices as follows. Choose as  an arbitrary vertex different from that dominates at least vertices of , that is, a vertex that satisfies . Note that any vertex  that dominate a -fraction of can be such vertex, i.e. it is enough for to be -strong for .

Let . Observe that we consider the open neighborhood of here, hence does not contain . Hence, . We continue to choose vertices inductively just as above. That is, if the vertices and sets have been defined, we choose the next vertex as an arbitrary vertex not in that dominates at least vertices of , that is, a vertex with and let , of size at least .

Lemma 6

Assume . Let be a maximal sequence obtained as above. Then and .

Proof

Assume that we can compute a sequence . By definition, every is connected to every vertices of . For every we have and therefore . This shows that the two sets and form a as a subgraph of . Since this is not possible, the process must stop having performed at most rounds.

We now turn to the second claim of the lemma. Assume that is a maximal sequence for some . We assume , otherwise, we are done, as . Because , we have that is not empty. Because , we have that can be dominated with at most  elements of  (by definition of ), and in particular by at most elements of . Therefore, there must be an element  of  that dominates a fraction of . If was not one of the , we could have continued the sequence by defining . Since the sequence is maximal, must be one of the , which leads to .

We aim to carry out this iterative process in parallel for all vertices with a sufficiently large neighborhood. Of course, in the process we cannot tell when we have encountered the element of . Hence, from the constructed vertices we will simply choose the element  into the dominating set. Unfortunately, this approach alone can give us arbitrarily large dominating sets, as we can have many choices for the vertices , while already was possibly optimal. We address this issue by restricting the possible choices for the vertices .

Definition 3

For any vertex , a -dominating-sequence of is a sequence for which we can define sets such that:

• , ,

• for every we have ,

• and for every we have .

A -dominating-sequence is maximal if there is no vertex such that is a -dominating-sequence.

Note that this definition requires . For a vertex  with a not sufficiently large neighborhood, there are no -dominating-sequences of . We show two main properties of these dominating-sequences. First, Lemma 7 shows that a maximal dominating sequence must encounter at some point. Second, with Lemmas 9, 10 and 8, we show that collecting all “end points” of all maximal dominating sequences results in a set of size linear in the size of . While cannot be computed, we can compute .

Lemma 7

Let be a vertex and let be a maximal -dominating-sequence of . Then and .

Proof

The statement is proved exactly as for Lemma 6.
To prove the second statement we assume, in order to reach a contradiction, that . We have that , and remember that can be dominated by at most elements of . By Lemma 3, we can derive a pseudo-cover of , where and every is an element of . Let denote the set (of size at most ) of vertices not covered by . As contains at most vertices there must exist a vertex in  that covers at least a fraction of . By construction, we have that because . Therefore and we have

 |N[u]∩Bs|≥|Bs|−qk≥kt−s(2t−s+(t−s)q)−qk,

hence

 |N[u]∩Bs|≥kt−s(2t−s+(t−s−1)q)k≥kt−s−1(2t−s+(t−s−1)q),

and therefore

 |N(u)∩Bs|≥|N[u]∩Bs|−1≥kt−s−1(2t−s−1+(t−s−1)q).

So we can continue the sequence by defining . In conclusion if is a maximal sequence, it contains an element of .

The goal of this modified procedure is first to ensure that every maximal sequence contains an element of and second, to make sure that there are not to many possible (which are the elements that we pick for the dominating set). This is illustrated in the following example and formalized right after that.

Example 3

Consider the case of planar graphs. Since these graph exclude , i.e. , we have that every maximal sequence is of length 1 or 2. For every of sufficiently large neighborhood we consider every maximal -dominating-sequence of . We then add to the set . We want to show that is linearly bounded by and hence by .

If , then we have and we are good.

If , we have two possibilities. If is in , we are good. If however, is not in , then is in . Additionally, is in some pseudo-cover of , i.e. .

By Corollary 1, we have (and in fact this number is much smaller in the case of planar graphs). Therefore we have .

We generalize the ideas of Example 3, by explaining what a “few possible choices” in the discussion before Definition 3 means.

Lemma 8

For any maximal -dominating-sequence , and for any , we have that

• ,

• , and

• .

Proof

By construction , furthermore, dominates at least , and . We conclude with Corollary 1.

We now for every compute all maximal -dominating-sequences starting with . Obviously, as every in any -dominating-sequences of dominates some neighbors of , we can locally compute these steps after having learned the -neighborhood of every vertex in two rounds in the LOCAL model of computation.

For a set we write . Remember that the definition of requires that . We simply extend the notation with if . We now define

 P(1)(W)\coloneqqP(W)

 P(i)(W)\coloneqqP(P(i−1)(W))

and finally, for every

 P(≤i)(W)\coloneqq⋃1≤j≤iP(j)(W).

Using Lemma 8, for every -dominating-sequence we have that . More generally, for every , we have that .

We define as the set of all such that there is some vertex , and some maximal -dominating-sequence of with .

This leads to the following lemma.

.

Proof

This uses the observation made above the statement of this lemma, together with Lemma 7.

Note that while we don’t know how to compute , this section explained how to compute in 2 rounds with the LOCAL model of computation.

Proof

Corollary 1 gives us that for every with . As , we have . A naive induction yields that for every ,

 |P(≤i)(W)|≤ci|W|,

where . Hence with this and Lemma 9 we have

 |D2|≤(2k)t(2k+1)⋅|D′|

5 Cleaning up

We now show that after defining and computing as explained in the previous section, every neighborhood is almost entirely dominated by . More precisely, for every vertex of the graph holds.

Before explaining why this holds, note that it implies that, in particular, the vertices of have at most non-dominated neighbors. Since every vertex is either in or a neighbor of some element in , this implies that in the whole graph there are at most non-dominated vertices left.

We can therefore define and have that , and that is a dominating set of .

We now turn to the proof of the above claim.

Lemma 11

For every vertex of the graph, the following holds:

 |{v′∈N(v) : v′∉N(D2)}|
Proof

Assume, for the sake of reaching a contradiction, that there is a vertex such that .

We then define .

Exactly as in the proof of Lemma 7, we have that can be dominated by at most elements of . Hence by Lemma 3, we can derive a pseudo-cover of , where and every is an element of . This leads to the existence of some vertex in that covers at least a fraction of . This yields a vertex , and a set .

We can then continue and build a maximal -dominating-sequence of . By construction, this sequence has the property that every dominates some elements of . This is true in particular for , but also we have that , hence a contradiction.

Corollary 2

The graph contains at most non-dominated vertices. In particular, the set has at most this size.

6 The algorithm

In this final section we summarize the algorithm.

1. Compute the set of all such that cannot be dominated by vertices different from . Remove from and mark all its neighbors as dominated.

2. In parallel for every vertex compute all -domination sequences . Add all vertices to the set . Remove from and mark its neighbors as dominated. This is done as follows.

We can learn the neighborhood for every vertex in rounds. In the LOCAL model we can then compute the pseudo-covers without further communication. In two additional rounds can compute the domination sequences from the pseudo-covers (as we need to consider only elements from ). We report in additional rounds that belongs to and one more round to mark the neighbors of  as dominated.

3. In the final round we add all non-dominated vertices to a set and return the set .

According to Lemma 1, Lemma 10 and Corollary 2 the algorithm computes a approximation. This is an absolute constant in depending only on , as also .

7 Conclusion

We simplified the presentation and generalized the algorithm of Czygrinow et al.  from graph classes that exclude some topological minor to graph classes  where is bounded by an absolute constant for all . This is a property in particular possessed by classes with bounded expansion, which include many commonly studied sparse graph classes.

It is an interesting and important question to identify the most general graph classes on which certain algorithmic techniques work. The key arguments of Lemma 1 and Lemma 2 work only for classes with  bounded by an absolute constant. We need different methods to push towards classes with only bounded, which are the degenerate classes.

The obtained bounds are still large, but by magnitudes smaller than those obtained in the original work of Czygrinow et al.. It will also be interesting to optimize the algorithm for planar graphs, where additional topological arguments can help to strongly optimize constants and potentially beat the currently best known bound of 52 [26, 35].

References

•  Akhoondian Amiri, S., Ossona de Mendez, P., Rabinovich, R., Siebertz, S.: Distributed domination on graph classes of bounded expansion. In: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures. pp. 143–151 (2018)
•  Akhoondian Amiri, S., Schmid, S., Siebertz, S.: A local constant factor mds approximation for bounded genus graphs. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. pp. 227–233 (2016)
•  Amiri, S.A., Schmid, S.: Brief announcement: A log*-time local mds approximation scheme for bounded genus graphs. In: Proc. DISC (2016)
•  Amiri, S.A., Schmid, S., Siebertz, S.: Distributed dominating set approximations beyond planar graphs. ACM Transactions on Algorithms (TALG) 15(3), 1–18 (2019)
•  Bansal, N., Umboh, S.W.: Tight approximation bounds for dominating set on graphs of bounded arboricity. Information Processing Letters 122, 21–24 (2017)
•  Barenboim, L., Elkin, M., Gavoille, C.: A fast network-decomposition algorithm and its applications to constant-time distributed computation. Theoretical Computer Science 751, 2–23 (2018)
•  Brönnimann, H., Goodrich, M.T.: Almost optimal set covers in finite vc-dimension. Discrete & Computational Geometry 14(4), 463–479 (1995)
•  Czygrinow, A., Hańćkowiak, M., Wawrzyniak, W.: Fast distributed approximations in planar graphs. In: International Symposium on Distributed Computing. pp. 78–92. Springer (2008)
•  Czygrinow, A., Hanckowiak, M., Wawrzyniak, W., Witkowski, M.: Distributed approximation algorithms for the minimum dominating set in k_h-minor-free graphs. In: 29th International Symposium on Algorithms and Computation (ISAAC 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2018)
• 

Dinur, I., Steurer, D.: Analytical approach to parallel repetition. In: Proceedings of the forty-sixth annual ACM symposium on Theory of computing. pp. 624–633 (2014)

•  Drange, P.G., Dregi, M.S., Fomin, F.V., Kreutzer, S., Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Reidl, F., Villaamil, F.S., Saurabh, S., Siebertz, S., Sikdar, S.: Kernelization and sparseness: the case of dominating set. In: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016. pp. 31:1–31:14 (2016)
•  Eiben, E., Kumar, M., Mouawad, A.E., Panolan, F., Siebertz, S.: Lossy kernels for connected dominating set on sparse graphs. SIAM Journal on Discrete Mathematics 33(3), 1743–1771 (2019)
•  Eickmeyer, K., Giannopoulou, A.C., Kreutzer, S., Kwon, O., Pilipczuk, M., Rabinovich, R., Siebertz, S.: Neighborhood complexity and kernelization for nowhere dense classes of graphs. In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland. pp. 63:1–63:14 (2017)
•  Even, G., Rawitz, D., Shahar, S.M.: Hitting sets when the vc-dimension is small. Information Processing Letters 95(2), 358–362 (2005)
•  Fabianski, G., Pilipczuk, M., Siebertz, S., Torunczyk, S.: Progressive algorithms for domination and independence. In: 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, March 13-16, 2019, Berlin, Germany. pp. 27:1–27:16 (2019)
•  Gallager, R.G., Humblet, P.A., Spira, P.M.: A distributed algorithm for minimum-weight spanning trees. ACM Transactions on Programming Languages and systems (TOPLAS) 5(1), 66–77 (1983)
•  Garey, M.R., Johnson, D.S.: Computers and intractability, vol. 174. freeman San Francisco (1979)
•  Ghaffari, M., Kuhn, F., Maus, Y.: On the complexity of local distributed graph problems. In: STOC. pp. 784–797. ACM (2017)
•  Har-Peled, S., Quanrud, K.: Approximation algorithms for polynomial-expansion and low-density graphs. SIAM Journal on Computing 46(6), 1712–1744 (2017)
•  Hilke, M., Lenzen, C., Suomela, J.: Brief announcement: local approximability of minimum dominating set on planar graphs. In: Proceedings of the 2014 ACM symposium on Principles of distributed computing. pp. 344–346 (2014)
•  Johnson, D.S.: Approximation algorithms for combinatorial problems. Journal of computer and system sciences 9(3), 256–278 (1974)
•  Jones, M., Lokshtanov, D., Ramanujan, M., Saurabh, S., Suchý, O.: Parameterized complexity of directed steiner tree on sparse graphs. SIAM Journal on Discrete Mathematics 31(2), 1294–1327 (2017)
•  Karp, R.M.: Reducibility among combinatorial problems. In: Complexity of computer computations, pp. 85–103. Springer (1972)
•  Kreutzer, S., Rabinovich, R., Siebertz, S.: Polynomial kernels and wideness properties of nowhere dense graph classes. ACM Transactions on Algorithms (TALG) 15(2), 1–19 (2018)
•  Kuhn, F., Moscibroda, T., Wattenhofer, R.: Local computation: Lower and upper bounds. J. ACM 63(2), 17:1–17:44 (2016)
•  Lenzen, C., Pignolet, Y.A., Wattenhofer, R.: Distributed minimum dominating set approximations in restricted families of graphs. Distributed computing 26(2), 119–137 (2013)
•  Lenzen, C., Wattenhofer, R.: Leveraging linial’s locality limit. In: International Symposium on Distributed Computing. pp. 394–407. Springer (2008)
•  Lenzen, C., Wattenhofer, R.: Minimum dominating set approximation in graphs of bounded arboricity. In: International symposium on distributed computing. pp. 510–524. Springer (2010)
•  Lovász, L.: On the ratio of optimal integral and fractional covers. Discrete mathematics 13(4), 383–390 (1975)
•  Nešetřil, J., de Mendez, P.O.: Grad and classes with bounded expansion I. decompositions. European Journal of Combinatorics 29(3), 760–776 (2008)
•  Nešetřil, J., de Mendez, P.O., Wood, D.R.: Characterisations and examples of graph classes with bounded expansion. European Journal of Combinatorics 33(3), 350–373 (2012)
•  Rozhon, V., Ghaffari, M.: Polylogarithmic-time deterministic network decomposition and distributed derandomization. In: STOC. pp. 350–363. ACM (2020)
•  Siebertz, S.: Greedy domination on biclique-free graphs. Information Processing Letters 145, 64–67 (2019)
•  Wawrzyniak, W.: Brief announcement: a local approximation algorithm for mds problem in anonymous planar networks. In: Proceedings of the 2013 ACM symposium on Principles of distributed computing. pp. 406–408 (2013)
•  Wawrzyniak, W.: A strengthened analysis of a local algorithm for the minimum dominating set problem in planar graphs. Information Processing Letters 114(3), 94–98 (2014)