Computing a tree having a small vertex cover
Takuro Fukunaga, Takanori Maehara

TL;DR
This paper introduces constant-factor approximation algorithms for the vertex-cover-weighted Steiner tree problem in specific graph classes, improving upon the general O(log n)-approximation and addressing NP-hardness constraints.
Contribution
It presents the first constant-factor approximation algorithms for the problem in unit disk graphs and minor-free graphs, extending applicability to Steiner tree activation.
Findings
Constant-factor approximation algorithms achieved for unit disk graphs.
Extension of algorithms to graphs excluding a fixed minor.
Improved approximation bounds for specific graph classes.
Abstract
We consider a new Steiner tree problem, called vertex-cover-weighted Steiner tree problem. This problem defines the weight of a Steiner tree as the minimum weight of vertex covers in the tree, and seeks a minimum-weight Steiner tree in a given vertex-weighted undirected graph. Since it is included by the Steiner tree activation problem, the problem admits an O(log n)-approximation algorithm in general graphs with n vertices. This approximation factor is tight up to a constant because it is NP-hard to achieve an o(log n)-approximation for the vertex-cover-weighted Steiner tree problem on general graphs even if the given vertex weights are uniform and a spanning tree is required instead of a Steiner tree. In this paper, we present constant-factor approximation algorithms for the problem with unit disk graphs and with graphs excluding a fixed minor. For the latter graph class, our…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComplexity and Algorithms in Graphs · VLSI and FPGA Design Techniques · Computational Geometry and Mesh Generation
Computing a tree having a small vertex cover111A
preliminary version of this paper appeared in the proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA’16).
Takuro Fukunaga RIKEN Center for Advanced Intelligence Project, 1-4-1 Nihonbashi, Chuo-ku, Tokyo 103-0022, Japan. Email: [email protected]
Takanori Maehara RIKEN Center for Advanced Intelligence Project, 1-4-1 Nihonbashi, Chuo-ku, Tokyo 103-0022, Japan. Email: [email protected]
Abstract
We consider a new Steiner tree problem, called vertex-cover-weighted Steiner tree problem. This problem defines the weight of a Steiner tree as the minimum weight of vertex covers in the tree, and seeks a minimum-weight Steiner tree in a given vertex-weighted undirected graph. Since it is included by the Steiner tree activation problem, the problem admits an -approximation algorithm in general graphs with vertices. This approximation factor is tight up to a constant because it is NP-hard to achieve an -approximation for the vertex-cover-weighted Steiner tree problem in general graphs even if the given vertex weights are uniform and a spanning tree is required instead of a Steiner tree. In this paper, we present constant-factor approximation algorithms for the problem in unit disk graphs and in graphs excluding a fixed minor. For the latter graph class, our algorithm can be also applied for the Steiner tree activation problem.
keywords: Steiner tree; unit disk graph; minor-free graph
1 Introduction
The problem of finding a minimum-weight tree in a graph has been extensively studied in the field of combinatorial optimization. A typical example is the Steiner tree problem in edge-weighted graphs; it has a long history of approximation algorithms, culminating in the currently best approximation factor of [3, 12]. The Steiner tree problem has also been studied in vertex-weighted graphs, where the weight of a Steiner tree is defined as the total weight of the vertices spanned by the tree. We call this problem the vertex-weighted Steiner tree problem while the problem in the edge-weighted graphs is called the edge-weighted Steiner tree problem. There is an -approximation algorithm for the vertex-weighted Steiner tree problem with terminals, and it is NP-hard to improve this factor because the problem includes the set cover problem [8, 15].
In this paper, we present a new variation of the Steiner tree problem. Our problem is motivated by the following situation in communication networks. We assume that messages are exchanged along a tree in a network; this is the case in many popular routing protocols such as the spanning tree protocol [19]. We consider locating devices that will monitor the traffic in the tree. If a device is located at a vertex, it can monitor all the traffic that passes through links incident to that vertex. How many devices do we need for monitoring all of the traffic in the tree? Obviously, it depends on the topology of the tree. If the tree is a star, it suffices to locate one device at the center. If the tree is a path on vertices, then it requires devices, because any vertex cover of the path consists of at least vertices. Our problem is to compute a tree that minimizes the number (or, more generally, the weight) of devices required to monitor all of the traffic.
More formally, our problem is defined as follows. Let be an undirected graph associated with nonnegative vertex weights . Throughout this paper, we will denote by . Let be a set of vertices called terminals. The problem seeks a pair comprising a tree and a vertex set such that (i) is a Steiner tree with regard to the terminal set (i.e., ), and (ii) is a vertex cover of (i.e., each edge in is incident to at least one vertex in ). The objective is to find such a pair that minimizes the weight of the vertex cover. We call this the vertex-cover-weighted (VC-weighted) Steiner tree problem. We call the special case in which the vertex-cover-weighted (VC-weighted) spanning tree problem. The aim of this paper is to investigate these fundamental problems.
Besides the motivation from the communication networks, there is another reason for the importance of the VC-weighted Steiner tree problem. The VC-weighted Steiner tree problem is a special case of the Steiner tree activation problem, which was formulated by Panigrahi [18]. In the Steiner tree activation problem, we are given a set of nonnegative real numbers, and each edge in the graph is associated with an activation function , where indicates that an edge is activated, and indicates that it is not. The activation function is assumed to be monotone (i.e., if , , and , then ). A solution for the problem is defined as a -dimensional vector . We say that a solution activates an edge if . The problem seeks a solution that minimizes subject to the constraint that the edges activated by include a Steiner tree. To see that the Steiner tree activation problem includes the VC-weighted Steiner tree problem, define as , and let if and only if or for each edge . Under this setting, if is a minimal vector that activates an edge set , the objective is equal to the minimum weight of vertex covers of the subgraph induced by . Hence the Steiner tree activation problem under this setting is equivalent to the VC-weighted Steiner tree problem.
The Steiner tree activation problem models various natural settings in the design of wireless networks [18]. Moreover, it includes several other well-studied problems. One of them is the vertex-weighted Steiner tree problem. Indeed, the vertex-weighted Steiner tree problem corresponds to the activation function such that if and only if and for each edge the end vertices of which are associated with vertex weights and . Note the similarity of the activation functions for the VC-weighted and the vertex-weighted Steiner tree problems. Thus the VC-weighted Steiner tree problem is an interesting variant of the vertex-weighted Steiner tree and the Steiner tree activation problems, which are studied actively in the literature.
In most of the known applications of the Steiner tree activation problem (including the vertex-weighted and the VC-weighted Steiner tree problems), is bounded by a polynomial of the input size. Thus, it is usual to allow an algorithm for the algorithm to run in polynomial time in . Under this condition, it is known that the Steiner tree activation problems admits an -approximation algorithm when . Indeed, Panigrahi [18] gave an approximation-preserving reduction from the problem to the vertex-weighted Steiner tree problem, and hence the -approximation algorithm for the latter problem implies that for the former problem. This approximation factor is tight because it is NP-hard to improve the factor for the vertex-weighted Steiner tree problem, as mentioned above. Even in the spanning tree variant of the Steiner tree activation problem, the factor is proven to be tight [18].
Since the VC-weighted Steiner tree problem is included by the Steiner tree activation problem, the -approximation algorithm can also be applied to the VC-weighted problem. Moreover, Angel et al. [2] presented a reduction from the dominating set problem to the VC-weighted spanning tree problem with uniform vertex weights. This reduction implies that it is NP-hard to approximate the VC-weighted spanning tree problem within a factor of even if the given vertex weights are uniform. In Section 3, we present an alternative proof for this fact.
1.1 Our contributions
Because of the hardness of the VC-weighted spanning tree problem in general graphs, we will consider restricted graph classes. We show that the VC-weighted Steiner tree problem is NP-hard for unit disk graphs and planar graphs (Theorem 3). Moreover, we present constant-factor approximation algorithms for the problem in unit disk graphs (Corollary 2) and in graphs excluding a fixed minor (Theorem 8). Note that the latter graph class contains planar graphs. For these graphs, it is known that the vertex-weighted Steiner tree problem is NP-hard and admits constant-factor approximation algorithms [7, 22, 23]. Hence it is natural to investigate approximation algorithms for the VC-weighted Steiner tree problem in these graph classes. Moreover, unit disk graphs are regarded as a reasonable model of wireless networks, and the vertex-weighted Steiner tree problem in unit disk graphs has been actively studied in this context (see, e.g., [1, 14, 22, 23, 24]). Since our problem is motivated by an application in communication networks, it is reasonable to investigate the problem in unit disk graphs.
Our algorithm for unit disk graphs is based on a novel reduction to another optimization problem. The problem used in the reduction is similar to the connected facility location problem studied in [9, 20], but it is slightly different. In the connected facility location problem, we are given sets of clients and facilities with an edge-weighted undirected graph . If a facility is opened by paying an associated opening cost, any client can be allocated to by paying the allocation cost, which is defined as the shortest path length from to multiplied by the demand of . The opened facilities must be spanned by a Steiner tree, which incurs a connection cost defined as the edge weight of the tree multiplied by a given multiplier . The objective is to find a set of opened facilities and a Steiner tree connecting them, that minimizes the sum of the opening cost, the allocation cost, and the connection cost. Our problem differs from the connected facility location problem in the fact that each client can be allocated to an opened facility only when is adjacent to in , there is no cost for the allocation, and the multiplier for the connection cost is fixed to . It can be regarded as a combination of the dominating set and the edge-weighted Steiner tree problems. Hence we call this the connected dominating set problem, although in the literature, this name is usually reserved for the case where the connection cost is defined by vertex weights and all vertices in the graph are clients. From a geometric property of unit disk graphs, we show that our reduction preserves the approximation guarantee up to a constant factor if the graph is a unit disk graph (Theorem 1). To solve the connected dominating set problem, we present a linear programming (LP) rounding algorithm. This algorithm relies on an idea presented by Huang, Li, and Shi [14], who considered a variant of the connected dominating set problem in unit disk graphs. Although their algorithm is only for minimizing the number of vertices in a solution, we prove that it can be extended to our problem.
For graphs excluding a fixed minor, we solve the VC-weighted Steiner tree problem by presenting a constant-factor approximation algorithm for the Steiner tree activation problem. Our algorithm simply combines the reduction to the vertex-weighted Steiner tree problem [18] and the algorithm of Demaine, Hajiaghayi, and Klein [7] for the vertex-weighted Steiner tree problem in graphs excluding a fixed minor. However, analyzing it is not straightforward, because the reduction does not preserve the minor-freeness of the input graphs. Nevertheless, we show that the algorithm of Demaine et al. achieves a constant-factor approximation for the graphs constructed by the reduction (Section 5).
1.2 Organization
The remainder of this paper is organized as follows. Section 2 introduces the notation and preliminary facts used throughout the paper. Section 3 presents hardness results on the VC-weighted Steiner tree problem. Sections 4 and 5 provide constant-factor approximation algorithms for unit disk graphs and for graphs excluding a fixed minor, respectively. Section 6 concludes the paper.
2 Preliminaries
We first define the notation used in this paper. Let be a graph with the vertex set and the edge set . We sometimes identify the graph with its edge set and by denote the vertex set of . When is a tree, denotes the set of leaves of .
Let be a subset of . Then denotes the subgraph of obtained by removing all vertices in and all edges incident to them. denotes the subgraph of induced by .
We denote a singleton vertex set by . An edge joining vertices and is denoted by . For a vertex , denotes the set of neighbors of in a graph , i.e., . indicates . We let denote . For a set of vertices, denotes . When the graph is clear from the context, we may remove the subscripts from our notation. We say that a vertex set dominates a vertex if , or contains a vertex that is adjacent to . If a vertex set dominates each vertex in another vertex set , then we say that dominates .
A graph is a unit disk graph when there is an embedding of the vertex set into the Euclidean plane such that two vertices and are joined by an edge if and only if their Euclidean distance is at most 1. If is a unit disk graph, we call such an embedding a geometric representation of .
Let and be undirected graphs. We say that is a minor of if is obtained from by deleting edges and vertices and by contracting edges. If is not a minor of , is called -minor-free. By Kuratowski’s theorem, a graph is planar if and only if it is -minor-free and -minor-free.
As mentioned in Section 1, the Steiner tree activation problem contains both the VC-weighted and the vertex-weighted Steiner tree problems. In addition, Panigrahi [18] showed that the Steiner tree activation problem can be reduced to the vertex-weighted Steiner tree problem. Since we use this reduction later, we present it in the following theorem.
Theorem 1** ([18]).**
There is an approximation-preserving reduction from the Steiner tree activation problem to the vertex-weighted Steiner tree problem. Hence, if the latter problem admits an -approximation algorithm, the former problem does also.
Proof.
Recall that an instance of the Steiner tree activation problem consists of an undirected graph , a terminal set , a range , and an activation function for each . We define a copy of a vertex for each and , and associate with the weight . We join and by an edge if and . In addition, we join each terminal with its copies , . The weight of is defined to be [math]. Let be the obtained graph on the vertex set . Let be the instance of the vertex weighted Steiner tree problem that consists of the graph , the vertex weights , and the terminal set . From an inclusion-wise minimal Steiner tree feasible to , define a vector by for each . Then activates a Steiner tree in the original instance , and is equal to the vertex weight of . Hence there is a one-to-one correspondence between a minimal Steiner tree in and a feasible solution in , and they have the same objective values in their own problems. Hence the above reduction is an approximation-preserving reduction from the Steiner tree activation problem to the vertex-weighted Steiner tree problem. ∎
We note that the reduction claimed in Theorem 1 transforms the input graph, and hence it may not be closed in a graph class. In fact, we can observe that the reduction is not closed in unit disk graphs or planar graphs.
3 Hardness of VC-weighted spanning tree and Steiner tree problems
In this section, we present hardness results of the VC-weighted spanning tree and Steiner tree problems. First, we prove that it is NP-hard to approximate the VC-weighted spanning tree problem within a factor of even if vertex weights are uniform. This fact has already been proven by Angel et al. [2]. Here, we give an alternative proof which consists of an approximation-preserving reduction from the set cover problem.
Theorem 2**.**
There exists a constant such that it is NP-hard to approximate VC-weighted spanning tree problem within a factor of even if the given vertex weights are uniform.
Proof.
Recall that an instance of the set cover problem consists of a finite set and a family of subsets of . The objective of the problem is to find a subfamily of such that and is minimized. A feasible solution for the set cover instance is called a set cover.
For each set , we define a vertex corresponding to it. Let denote . The set cover instance defines a bipartite graph on the vertex set ; two vertices and are joined by an edge if and only if . To this bipartite graph, we add edges so that any two vertices in are adjacent. Let be the obtained graph. We reduce the set cover instance to the instance of VC-weighted spanning tree problem on this graph with uniform vertex weights. We prove that this reduction is approximation-preserving. For every , it is NP-hard to approximate the set cover instance within a factor of [8], and this hardness holds for instances such that is polynomial on . Thus, the reduction proves the theorem.
Let be a set cover for instance . We define from . Since is a set cover, for each , there exists that is adjacent to in . We define as the set of edges joining such pairs of and . Let be a star on such that its center is an arbitrary vertex in and spans all vertices in . Then is a spanning tree in , and is a vertex cover in . Thus, for any set cover , there exists a feasible solution with for the instance of VC-weighted spanning tree problem.
Let us consider the other direction. Let be a solution for the instance of VC-weighted spanning tree problem. If , then is a set cover in because each vertex is adjacent to a vertex in , and hence contains a set with . Notice that .
Suppose that contains a vertex . Let be the vertices in that are adjacent to on . We prove that the solution can be modified to another feasible solution with and . By repeating this modification, we obtain a feasible solution whose vertex cover is contained by . We define as . Let be the edge set obtained from by replacing all edges with . Then is a spanning tree, and is a vertex cover on . ∎
As noted in Theorem 1, there is an approximation-preserving reduction from the Steiner tree activation problem to the vertex-weighted Steiner tree problem, and the latter problem admits an -approximation algorithm in general graphs. Since the Steiner tree activation problem includes VC-weighted Steiner tree problem, this indicates that VC-weighted Steiner tree problem also admits an -approximation algorithm. By Theorem 2, the approximation factor achieved by this algorithm is tight up to a constant.
Next, we consider unit disk graphs and planar graphs. We show that the VC-weighted Steiner tree problem is NP-hard for these graph classes.
Theorem 3**.**
VC-weighted Steiner tree problem is NP-hard for unit disk graphs and for planar graphs.
Proof.
Garey and Johnson [10] proved that the edge-weighted Steiner tree problem is NP-hard even in the grid graphs. We show that the edge-weighted Steiner tree problem in grid graphs can be reduced to the VC-weighted Steiner tree problem in unit disk graphs. We can suppose without loss of generality that the distance between every two adjacent vertices and in the grid graph is 4. For each pair of adjacent vertices and , we subdivide the edge by adding three new vertices , and distributed equally between and as illustrated in Figure 1. The graph obtained by this way is a unit disk graph because two vertices in the graph are adjacent if and only if the distance between them is exactly a unit length. From the edge weights of the original graph, we define the vertex weights of the new graph by , , and . Then, if edges , , , and are included in a Steiner tree, a minimum-weight vertex cover on the tree includes , , and . Hence, the minimum weight of vertex covers on a Steiner tree in the unit disk graph is equal to the edge weight of the corresponding Steiner tree in the original graph. Hence this gives an approximation-preserving reduction from the edge-weighted Steiner tree problem in grid graphs to the VC-weighted Steiner tree problem in unit disk graphs.
Notice that the graph constructed by the above reduction is also planar. Hence this also proves the NP-hardness of VC-weighted Steiner tree problem in planar graphs. ∎
4 VC-weighted Steiner tree problem in unit disk graphs
The aim of this section is to present a constant-factor approximation algorithm for the VC-weighted Steiner tree problem in unit disk graphs. Our algorithm consists of two steps. In the first step, we reduce the VC-weighted Steiner tree problem to another optimization problem, which is called the connected dominating set problem. We present this reduction in Section 4.1. When the original problem is the VC-weighted spanning tree problem, the connected dominating set problem can be solved by a simpler algorithm, which we will explain in Section 4.2. Then, in Section 4.3, we will present an LP-rounding algorithm for the general case of the connected dominating set problem.
4.1 Reduction
As noted in Theorem 1, the Steiner tree activation problem can be reduced to the vertex-weighted Steiner tree problem. Since the VC-weighted Steiner tree problem is included in the Steiner tree activation problem, the reduction also applies to the VC-weighted Steiner tree problem. Since there is a constant-factor approximation algorithm for the vertex-weighted Steiner tree problem in unit disk graphs, this reduction gives a constant-factor approximation for the VC-weighted problem if the graph constructed by the reduction is a unit disk graph. However, the constructed graph may not be a unit disk graph, even if the original graph is a unit disk graph. This can be seen through an example. Let be a star graph with the center vertex . We do not specify the terminal set , because it is not important here. When the original problem is the VC-weighted Steiner tree problem, the reduction given in Theorem 1 can be simplified as follows. Two copies and are constructed from each vertex , where indicates that is not included in the vertex cover of the solution, and indicates that it is. For each edge , the graph constructed by the reduction contains edges , , and . Moreover, each terminal is adjacent to its copies and . Let be a graph on the vertex set that is constructed in this way. By solving the vertex-weighted Steiner tree problem on , we can compute a solution to the VC-weighted problem on . If the degree of is at most 5, is a unit disk graph. The degree of in is twice the degree of in , and any two neighbors of are not adjacent in . Hence contains as an induced subgraph if the degree of in is at least 3. Since no unit disk graph contains as an induced subgraph, this means that is not a unit disk graph.
Our idea is to reduce the VC-weighted Steiner tree problem to another optimization problem. This is inspired by a constant-factor approximation algorithm for the vertex-weighted Steiner tree problem on a unit disk graph [22, 23], which is based on a reduction from the vertex-weighted to the edge-weighted Steiner tree problems. The reduction is possible because the former problem always admits an optimal Steiner tree in which the maximum degree is a constant if the graph is a unit disk graph. Even in the VC-weighted Steiner tree problem, if there is an optimal solution such that the maximum degree of vertices in the vertex cover is a constant in the Steiner tree , then we can reduce the problem to the edge-weighted Steiner tree problem. However, there is an instance of the VC-weighted Steiner tree problem that admits no such optimal solution. For example, if the vertex weights are uniform, and the graph includes a star in which all of the terminals are its leaves, then the star is the Steiner tree in the optimal solution, and its minimum vertex cover consists of only the center of the star. The degree of the center of the star is not bounded by a constant. Hence it seems that it would be difficult to reduce the VC-weighted Steiner tree problem to the edge-weighted problem.
We reduce the VC-weighted Steiner tree problem to a problem similar to the connected facility location problem. The reduction is based on a geometric property of unit disk graphs, and we will begin by proving this property. The following lemma gives a basic claim about geometry. For two points and on the plane, we denote their Euclidean distance by .
Lemma 1**.**
Let be a point on the Euclidean plane, and let . Let be a set of points on the plane such that holds for all . If , then there exist such that .
Proof.
Since , there exist such that . We note that . Without loss of generality, we assume . Then, . Hence it suffices to show that .
Let . Then, holds. holds. Hence the required inequality is verified by
[TABLE]
∎
Our reduction requires the assumption that there is an optimal solution for the VC-weighted Steiner tree problem such that the degree of each vertex is bounded by a constant in the tree . The following lemma proves that the assumption holds with if the input graph is a unit disk graph.
Lemma 2**.**
If the input graph is a unit disk graph, the VC-weighted Steiner tree problem admits an optimal solution consisting of a Steiner tree and a vertex cover of such that the degree of each vertex in is at most in .
Proof.
For two vertices , let denote the Euclidean distance between and in the geometric representation of . Let be an optimal solution for the VC-weighted Steiner tree problem. We call each node in an inner node of . Without loss of generality, we can assume that satisfies the following conditions:
- (a)
minimizes the number of inner nodes over all optimal solutions;
- (b)
minimizes over all optimal solutions subject to (a);
- (c)
minimizes the number of vertices such that over all optimal solutions subject to (a) and (b).
Let . Let and . We prove the lemma by showing that and .
We first show that . Suppose that there are two distinct vertices such that . Without loss of generality, let , and denote by . Then is a Steiner tree and is a vertex cover of . That is to say, is another optimal solution for the problem. Moreover, has the same set of inner nodes as , and . Since the existence of such an optimal solution contradicts condition (b), contains no such vertices and .
If , there must be two vertices such that , and holds for these vertices. Hence holds. Suppose that . In this case, , and holds for all , where, for notational convenience, we let denote . If , we define as . Then, is another optimal solution that has the same inner node set as , and . Replacing by decreases the number of vertices such that , which contradicts condition (c). If , then (i) there exist such that , or (ii) there exist and such that . Case (i) contradicts condition (b), as observed above. In case (ii), we define as if , and as if . In either case, is another optimal solution that has the same inner node set as , and . Since this contradicts condition (b), holds.
Next, we prove . Let . Since is not a leaf, has a neighbor other than . We denote by the set of neighbors of other than . Since , each vertex in is included in . If holds for all vertices , consider defined as when is a terminal (see Figure 2), and as otherwise. Then, is a Steiner tree and is a vertex cover of , and hence is another optimal solution for the problem. Moreover, all inner nodes of are also inner nodes of , and is not inner nodes of but . This means that has fewer inner nodes than . Since the existence of such an optimal solution contradicts condition (a), there is at least one vertex with . We choose one of these vertices for each , and let denote the set of those chosen vertices (hence includes exactly one vertex in for each ).
Suppose there exist two vertices such that . Let . Let denote the common neighbor of and . Then, or is at least . If , then replace edge by in (see Figure 3(a)). Otherwise, replace edge by in (see Figure 3(b)). Let denote the tree obtained by this replacement. Then is another optimal solution, all inner nodes of are also inner nodes of ( is an inner node of , but it may not be an inner node of ), and holds. Since this contradicts condition (a) or (b), there exists no such pair of vertices .
We divide into and . Notice that holds for any . Hence, by Lemma 1, . Moreover, holds for any . Hence, by Lemma 1, . Since , this proves the lemma. ∎
In the remainder of this subsection, we assume that is not necessarily a unit disk graph, but there is an optimal solution for the VC-weighted Steiner tree problem such that the degree of each vertex is at most a constant in the tree . Based on this assumption, we reduce the VC-weighted Steiner tree problem to another optimization problem. First, let us define the problem used in the reduction.
Definition 1** (Connected dominating set problem).**
Let be an undirected graph, and let be a set of terminals. Each edge is associated with the length , each vertex is associated with the weight , and holds for each edge . The problem seeks a pair of a tree and a vertex set such that dominates and spans . Let denote . The objective is to minimize .
We note that there are several previous studies of the connected dominating set problem [13, 5, 1, 24]. However, the algorithms in those studies do not apply to our setting because they consider only the case .
Theorem 4**.**
Suppose that there exists an optimal solution for the VC-weighted Steiner tree problem such that each node in has a degree at most on the tree . If there is a -approximation algorithm for the connected dominating set problem in a graph , then there is an -approximation algorithm for the VC-weighted Steiner tree problem with input graph .
Proof.
Suppose that an instance of the VC-weighted Steiner tree problem consists of an undirected graph , a terminal set , and vertex weights . We define the edge length as for each , and define an instance of the connected dominating set problem from , , , and . We show that the optimal objective value of is at most times that of , and a feasible solution for can be constructed from the one for without increasing the objective value. Combined with the -approximation algorithm for , these claims give an -approximation algorithm for .
First, we prove that the optimal objective value of is at most times that of . Let be an optimal solution for . Then, the optimal objective value of is . Since spans and is a vertex cover of , dominates . Define . Since is a tree spanning , is a feasible solution for . If , then or is included in , and is at most and . Hence . By assumption, holds for each . Hence . Since the objective value of in is , the optimal objective value of is at most .
Next, we prove that a feasible solution for provides a feasible solution for , and its objective value is at most that of . Since dominates , if a terminal is not spanned by , there is a vertex with . We let be the set of such edges . Notice that is a Steiner tree of the terminal set . For each edge , choose an end vertex of such that . Let denote this set of chosen vertices. Then, is a vertex cover of . Hence is feasible for . Since , the objective value of is at most that of . ∎
4.2 Algorithm for the connected dominating set problem with
In the remainder of this section, we present algorithms for the connected dominating set problem. As a warm-up, we will first discuss the case , which arises in the reduction from the VC-weighted spanning tree problem. We show that the problem admits a simple constant-factor approximation algorithm for any graphs in which the minimum-weight dominating set problem admits a constant-factor approximation. This class includes unit disk graphs [24, 6]. Below, we let denote the approximation factor for the minimum-weight dominating set problem.
Our algorithm first computes a -approximate solution of the minimum dominating set of the graph. Then, it computes a -approximation of the minimum edge-weighted Steiner tree that spans . Let denote the computed Steiner tree. Then, is our approximate solution for the connected dominating set problem.
Theorem 5**.**
Suppose that the minimum-weight dominating set problem admits a -approximation algorithm and the minimum edge-weighted Steiner tree problem admits a -approximation algorithm for a graph . The there exists a -approximation algorithm for the connected dominating set problem with the graph .
Proof.
Let denote a solution output by the algorithm, and let be an optimal solution for the problem. Since is a dominating set of , holds by the definition of . Also, spans . Hence, if a vertex in is included in , then this vertex is spanned by .
Let . Since is a dominating set of , it includes a vertex adjacent to . Call such a vertex . If has more than one neighbor in , choose one of them arbitrarily and call it . Let . Notice that all edges in are incident to some vertex in , and the degree of each vertex in is at most one in . Hence .
is a connected subgraph that spans . Therefore, . The objective value of the solution is . Therefore, the approximation factor of is at most . ∎
As mentioned above, in a unit disk graph, is a constant. The edge-weighted Steiner tree problem admits a constant-factor approximation algorithm for any graphs [12, 3]. Hence Theorem 5 provides the following corollary.
Corollary 1**.**
The VC-weighted spanning tree problem admits a constant-factor approximation algorithm in unit disk graphs.
4.3 Algorithm for the connected dominating set problem
We now provide a constant-factor approximation algorithm for the general case of the connected dominating set problem in unit disk graphs. Our algorithm is based on the idea given by Huang, Li, and Shi [14].
We say that a graph has a property if there is a partition of the vertex set such that each induces a clique in and each vertex satisfies with some constant . The following lemma proves that a unit disk graph possesses this property.
Lemma 3**.**
A unit disk graph has the property with a constant .
Proof.
Divide the Euclidean plane into squares of side . We define each class of the partition as a set of vertices whose positions are on the same square in the geometric representation of . If a vertex is on a side with more than one square, then we assign to the upper-right square. Then, since any two vertices in the same square are within a unit distance, each class of induces a clique in . Moreover, the neighbors of a vertex belong to at most 14 classes of . This is because any unit disk intersects at most 14 squares; see Figure 4. In the example shown in Figure 4, the unit disk intersects the gray squares. The disk touches the square in the lower left, but we do not say that they intersect because a vertex on a border belongs to the upper-right square. Hence the unit disk graph satisfies property with . ∎
In the remainder, we assume that a vertex is spanned by the tree in an optimal solution to the problem. Although we do not know which vertex in is spanned, we can guess it by applying the algorithm with setting each vertex in to .
For each , let be the set of paths between and . Under the assumption that is spanned by an optimal solution, the problem is relaxed to the following LP:
[TABLE]
Indeed, if and , then the feasible solution for (1) corresponds to a feasible solution to the connected dominating set problem. Here, indicates if vertex is included in a dominating set (if , is included in ), and indicates if edge is included in a tree that spans the dominating set (if , is included in ). Also, represents the flow value along path . The second constraint demands that the flow value between and is at least , and the third constraint means that the flow between and obeys the edge capacities . Hence, if , one unit of flow runs between and . This means that the minimum cut separating from with respect to the edge capacities has a capacity of at least 1. Hence the edge set connects and each vertex with .
Although there are an exponential number of variables in the LP (1), it can be converted into an equivalent formulation of polynomial size. Hence an optimal solution for (1) can be computed in polynomial time. Our algorithm computes this, and then from this optimal fractional solution, it constructs a dominating set and a tree , as follows.
We define as . We restrict a dominating set to be included in . Namely, the dominating set computed by our algorithm is feasible to the following integer program:
[TABLE]
By replacing constraint with , we obtain an LP relaxation of (2). By the following lemma, the optimal objective value of this relaxation can be bounded by times the weight of .
Lemma 4**.**
The LP relaxation of (2) has the optimal objective value that is at most .
Proof.
For each terminal , there is a class of with (and hence ), because holds and the vertices in belong to at most classes of partition . This implies that is feasible to the LP relaxation of (2). Therefore, the optimal objective value of the relaxation is at most . ∎
Problem (2) is a special case of the geometric set cover problem, in which the ground set is a set of points on a Euclidean plane, and each set is represented by a unit disk. Several constant-factor approximation algorithms are known for this problem, including a PTAS due to Li and Jin [17]. However, most of them are not useful for our purpose because we require bounding the weight of the output solution with regard to the optimal value of the LP relaxation of (2). As far as we know, the only constant-factor approximation algorithm satisfying this requirement is due to Chan et al. [4]. Let be the approximation factor of this algorithm. Then, this algorithm computes such that is dominated by and . In our algorithm for the connected dominating set problem, the dominating set is defined as the vertex set computed by the algorithm for the geometric set cover problem.
Our algorithm then computes a tree that spans and . Let us explain how to compute the tree. For each , we choose an arbitrary vertex in and call it . We use an algorithm for the Steiner tree problem to construct a minimum-length tree that spans and all vertices , . An LP relaxation of this Steiner tree problem can be written as follows:
[TABLE]
We note that is not necessarily feasible to (3). Nevertheless, we can bound the optimal objective value of (3).
Lemma 5**.**
The optimal objective value of (3) is at most .
Proof.
We define a feasible solution for (3) from . First, initialize to . Let . Then, . Recall that there exists an edge for each vertex . If for , we increase by , increase by , and set , for every . Notice that does not exceed . Hence the increase of costs . We do this for every and for every vertex . At the termination of this procedure, , and . We define as . Then, is feasible for (3), and its objective value does not exceed , completing the proof. ∎
Goemans and Bertsimas [11] showed that a Steiner tree of length at most twice the optimal objective value of (3) can be computed from a minimum spanning tree in the metric completion on the terminal set. Namely, there is an algorithm that computes a tree spanning and all vertices , , such that . may not span a vertex . For such a vertex , we add an edge joining with , where is an index such that . Notice that contains an edge , because induces a clique. Let denote the set of these added edges. Notice that . Our algorithm outputs as a solution for the connected dominating set problem. Recall that we are assuming here that is spanned by an optimal solution. When we implement the algorithm, we apply it to the vertices in as , and define the output as the best of the obtained solutions.
Theorem 6**.**
The solution computed by the above algorithm is a -approximate solution for the connected dominating set problem.
Proof.
dominates . Moreover, connects each vertex , , to , and connects each vertex to . Hence is feasible for the connected dominating set problem.
As noted above, we have , and . Hence the objective value is at most times the optimal objective value of (1). Since (1) relaxes the connected dominating set problem, this proves the theorem. ∎
Recall that and is the approximation factor of the geometric set cover algorithm of Chan et. al. [4]. It is shown in [4] that is a constant, although the bound on is not stated explicitly. Theorem 6 has the following corollary.
Corollary 2**.**
The VC-weighted Steiner tree problem admits a constant-factor approximation algorithm in unit disk graphs.
5 Steiner tree activation problem in graphs excluding a fixed minor
In this section, we present a constant-factor approximation algorithm for the Steiner tree activation problem in graphs excluding a fixed minor. In particular, our algorithm is a 11-approximation for planar graphs.
Our algorithm is based on the reduction mentioned in Theorem 1. We reduce the problem to the vertex-weighted Steiner tree problem by using that reduction, and we solve the obtained instance by using the constant-factor approximation algorithm proposed by Demaine, Hajiaghayi, and Klein [7] for the vertex-weighted Steiner tree problem in graphs excluding a fixed minor. We prove that this achieves a constant-factor approximation for the Steiner tree activation problem when the input graph is -minor-free for some graph such that is a constant.
This seems to be an easy corollary to Demaine et al., but it is not so because the reduction does not preserve the -minor-freeness of the input graph. Let be the graph obtained by removing one edge from . It is easy to check that is planar. We consider the VC-weighted spanning tree problem over . The reduction transforms into another graph on the vertex set . Refer to the proof of Theorem 1 for the definition of the edge set of . Notice that the subgraph of induced by is isomorphic to . Let be an arbitrary vertex in that is not an end vertex of the removed edge. The subgraph of induced by contains a subgraph isomorphic to a subdivision of , and hence is not planar.
As indicated by this example, the reduction does not preserve the -minor-freeness. In spite of this, we can prove that the approximation guarantee given by Demaine et al. extends to the graphs constructed from a -minor-free graph by the reduction.
We recall that the reduction constructs a graph on the vertex set from the input graph and the monotone activation functions , . We denote the vertex set defined from an original vertex by . Let denote .
First, let us illustrate how the algorithm of Demaine et al. behaves for . The algorithm maintains a vertex set , where is initialized to at the beginning. Let denote the family of connected components that include some terminals in the subgraph of . We call each member of an active set. The algorithm consists of two phases, called the increase phase and the reverse-deletion phase. In the increase phase, the algorithm iteratively adds vertices to until is equal to one. This implies that, when the increase phase terminates, the subgraph induced by connects all of the terminals. In the reverse-deletion phase, is transformed into an inclusion-wise minimal vertex set that induces a Steiner tree. This is done by repeatedly removing vertices from in the reverse of the order in which they were added.
Let be the vertex set when the algorithm terminates, and let be the vertex set at some point during the increase phase. We denote by . Note that is a minimal augmentation of such that induces a Steiner tree. Each is disjoint from , because . Demaine et al. showed the following analysis of their algorithm.
Theorem 7** ([7]).**
Let be a vertex set maintained at some moment in the increase phase, and let be a minimal augmentation of so that induces a Steiner tree. If there is a number such that holds for any and , the algorithm of Demaine et al. achieves an approximation factor .
In , contract each into a single vertex, discard all edges induced by and all isolated vertices in , and replace multiple edges by single edges. This gives us a simple bipartite graph with the bipartition of the vertex set, where each vertex in corresponds to an active set, and is a subset of . Let denote this graph. This construction of is illustrated in Figure 5. We note that is equal to the number of edges in . Hence, by Theorem 7, if the number of edges is at most a constant factor of , the algorithm achieves a constant-factor approximation.
Demaine et al. proved that , and is -minor-free if is -minor-free. By [16, 21], these two facts imply that the number of edges in is . When is planar, together with Euler’s formula and the fact that is bipartite, they imply that the number of edges in is at most .
The proof of Demaine et al. for can be carried to our case. However, is not necessarily -minor-free even if is -minor-free. Nevertheless, we can bound the number of edges in , as follows.
Lemma 6**.**
Suppose that the given activation function is monotone. If is -minor-free, the number of edges in is . If is planar, the number of edges in is at most .
The following theorem is immediate from Theorem 7 and Lemma 6.
Theorem 8**.**
If an input graph is -minor-free for some graph , then the Steiner tree activation problem with a monotone activation function admits an -approximation algorithm. In particular, if the input graph is planar, then the problem admits a -approximation algorithm.
In the rest of this section, we prove Lemma 6. We first provide several preparatory lemmas.
Lemma 7**.**
If includes an edge for some and , then also includes an edge for any with and .
Proof.
The lemma is immediate from the construction of and the assumption that each edge in is associated with a monotone activation function. ∎
Lemma 8**.**
* does not contain any two distinct copies of an original vertex.*
Proof.
For the sake of a contradiction, suppose that for some and with . If an edge exists in , then another edge also exists by Lemma 7. This means that induces a Steiner tree in , which contradicts the minimality of . ∎
Lemma 9**.**
Let with . If for some , then .
Proof.
Suppose that . Let and with . A vertex adjacent to is also adjacent to in by Lemma 7. By the definition, induces a connected component of that includes a terminal . Hence has at least one neighbor in . This implies that and are connected in . This contradicts the fact that and are different connected components of . ∎
To prove Lemma 6, we modify to obtain an -minor-free graph . By this modification, the number of vertices does not increase, and the decrease of the number of edges is bounded. Thus, the -minor-freeness of implies that the number of edges of is bounded in terms of the number of its vertices. is constructed by removing copies of the same vertices carefully. This is motivated by the observation that is not -minor-free when it includes more than one copy of the same vertex of the original graph . The construction is a bit complicated because copies of a vertex may appear both in an active set and in .
Now, we explain how to construct . Consider and such that . Let be the vertex that has the largest subscript in (i.e., ). Then, from , we remove all vertices in but . Moreover, if a copy of is included in , we replace by . Notice that holds in this case by Lemma 7, and does not include more than one copy of because of Lemma 8. Let denote the vertex set obtained from by doing these operations for each with . induces a connected subgraph of because of Lemma 7.
We let denote , and let denote for each . Moreover, let denote , and denote . In other words, each vertex belongs to if and only if some copy of the same original vertex is contained by an active set in .
If , we divide into subsets such that the copies of the vertices in belong to different subsets, and each subset induces a connected subgraph of . Let denote the family of vertex sets obtained by doing these operations to all active sets in . Notice that . Lemma 9 indicates that, if a vertex belongs to for some , then it does not belong to for any . Thus, , and hence .
We shrink each into a single vertex in the induced subgraph of , and convert the obtained graph into a simple graph by removing all self-loops and by replacing multiple edges with single edges. Let denote the set of vertices obtained by shrinking vertex sets in , and let denote the obtained graph (with the vertex set ). See Figure 5 for an illustration of this construction.
We note that the division of into subsets is required for showing that the number of edges in is not too smaller than that in . If we shrink each instead of each , then two edges in (e.g., edges and in the example of Fig. 5) may become parallel by the shrinking, and one of them is removed from . The removal of such edges may decrease the number of edges in too much.
We observe that is -minor-free in the following lemma.
Lemma 10**.**
If is -minor-free, then is -minor-free.
Proof.
By Lemma 8 and the construction of , each vertex in has at most one copy in . If includes an edge for and , then also includes an edge . Thus is isomorphic to a subgraph of . Since each induces a connected subgraph of , the graph (constructed from by shrinking each ) is a minor of . Hence if is -minor-free, is also -minor-free. ∎
The following lemma gives a relationship between and .
Lemma 11**.**
If is the number of edges in , then contains at most edges.
Proof.
Let be an edge in that joins vertices and . Suppose that is a vertex obtained by shrinking , and is a copy of . Remember that belongs to either or . If , it is contained by a vertex set in , denoted by . We consider the following three cases:
and 2. 2.
and 3. 3.
In the second case, an edge in joins vertices obtained by shrinking and a subset of . In the third case, exists in , and includes an edge that joins and the vertex obtained by shrinking a subset of . Thus includes an edge corresponding to in these two cases. We can also observe that no edge in corresponds to more than two such edges . This is because for any distinct vertices and in by the construction of .
In the first case, may not contain an edge corresponding to . However, the number of such edges is at most in total because are uniquely determined from in this case. Therefore, the number of edges in is at most . ∎
We now prove Lemma 6.
Lemma 6.
The number of vertices in is at most . As we mentioned, we can prove similar to Demaine et al. [7]. Hence contains at most vertices. By Lemma 10, is -minor-free. It is known [16, 21] that the number of edges in an -minor-free graph with vertices is . Therefore, the number of edges in is . By Lemma 11, this implies that the number of edges in is . This fact and Theorem 7 prove the former part of the lemma.
If is planar, by Euler’s formula, the number of edges in is at most . Hence, by Lemma 11, the number of edges in is at most . The latter part of the lemma follows from this fact and Theorem 7. ∎
6 Conclusion
In this paper, we formulate the VC-weighted Steiner tree problem, a new variant of the vertex-weighted Steiner tree and the Steiner tree activation problems. We proved that it is NP-hard for unit disk graphs and planar graphs. We also presented constant-factor approximation algorithms for the VC-weighted Steiner tree problem in unit disk graphs and for the Steiner tree activation problem in graphs excluding a fixed minor.
An interesting future work is to investigate VC-weighted spanning tree or VC-weighted Steiner tree problem with unit weights for unit disk graphs and planar graphs. We do not know whether these problems are NP-hard or admit exact polynomial-time algorithms. Finding a constant-factor approximation algorithm for the Steiner tree activation problem in unit disk graphs also remains an open problem.
Acknowledgements
The first author was supported by JSPS KAKENHI Grant Number JP17K00040.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] C. Ambühl, T. Erlebach, M. Mihalák, and M. Nunkesser. Constant-factor approximation for minimum-weight (connected) dominating sets in unit disk graphs. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006. Proceedings , pages 3–14, 2006.
- 2[2] E. Angel, E. Bampis, V. Chau, and A. V. Kononov. Min-power covering problems. In Algorithms and Computation - 26th International Symposium, ISAAC 2015. Proceedings , pages 367–377, 2015.
- 3[3] J. Byrka, F. Grandoni, T. Rothvoß, and L. Sanità. Steiner tree approximation via iterative randomized rounding. Journal of the ACM , 60(1):6, 2013.
- 4[4] T. M. Chan, E. Grant, J. Könemann, and M. Sharpe. Weighted capacitated, priority, and geometric set cover via improved quasi-uniform sampling. In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012 , pages 1576–1585, 2012.
- 5[5] X. Cheng, X. Huang, D. Li, W. Wu, and D. Du. A polynomial-time approximation scheme for the minimum-connected dominating set in ad hoc wireless networks. Networks , 42(4):202–208, 2003.
- 6[6] G. D. da Fonseca, V. G. P. de Sá, and C. M. H. de Figueiredo. Linear-time approximation algorithms for unit disk graphs. In Approximation and Online Algorithms - 12th International Workshop, WAOA 2014. Revised Selected Papers , pages 132–143, 2014.
- 7[7] E. D. Demaine, M. Hajiaghayi, and P. N. Klein. Node-weighted Steiner tree and group Steiner tree in planar graphs. In Automata, Languages and Programming, 36th International Colloquium, ICALP 2009. Proceedings, Part I , pages 328–340, 2009.
- 8[8] I. Dinur and D. Steurer. Analytical approach to parallel repetition. In Symposium on Theory of Computing, STOC 2014, New York, NY, USA, May 31 - June 03, 2014 , pages 624–633, 2014.
