A novel centralized algorithm for constructing virtual backbones in wireless sensor networks

Abstract

Finding the minimum connected dominating set (MCDS) is a key problem in wireless sensor networks, which is crucial for efficient routing and broadcasting. However, the MCDS problem is NP-hard. In this paper, a new approximation algorithm with approximation ratio H(Δ)+3 in time O(n²) is proposed to approach the MCDS problem. The key idea is to divide the sensors in CDS into core sensors and supporting sensors. The core sensors dominate the supporting sensors in CDS, while the supporting sensors dominate other sensors that are not in CDS. To minimize the number of both the cores and the supporters, a three-phased algorithm is proposed. (1) Finding the base-core sensors by constructing independent set (denoted as S₁), in which the sensors who have the largest $\frac {|N^{2}(v)|}{|N(v)|}$ (number of two-hop neighbors over the number of one-hop neighbors) will be selected greedily into S₁; (2) Connecting all base-core sensors in S₁ to form a connected subgraph, the sensors in the subgraph are called cores; (3) Adding the one-hop neighbors of the core sensors to the supporter set S₂. This guarantees a small number of sensors can be added into CDS, which is a novel scheme for MCDS construction. Extensive simulation results are shown to validate the performance of our algorithm.

Introduction

Wireless sensor networks (WSNs) play a critical role in many areas, such as environmental monitoring, disaster forecast, etc [1]. A key problem in WSN is multi-hop communication, because the communication range of a individual sensor is generally limited. In multi-hop communication, any two sensors that are within the communication range of each other are called neighbors, which can communicate to each other. Other sensors that are not within the communication range of each other and want to communicate, need intermediate sensors between them to forward their packets (for instance, sensory data [2, 3] and image data [4, 5]).

However, due to the broadcasting nature of the wireless communication, if there is not a specific routing path for packet forwarding, all neighbors are possible to become intermediators for forwarding messages, which causes message flooding problem. The key way to avoid flooding is to find a communication backbone, so that the packets are relayed by the backbone sensors to save energy for the other sensors.

If modeling the WSN into an undirected graph, the connected dominating set (CDS) [6–8] is one of the good choices to construct virtual backbone of the network, because the sensor nodes in the CDS form a connected subgraph to forward messages from other sensors.

However, forwarding message may run into collision, which introduces retransmissions and increases end-to-end delays. As the number of sensors in the CDS grows, the negative effect of retransmissions increases greatly. Hence, CDS with smaller number of sensors is highly desired, which leads to the problem of finding the CDS with the minimum number of sensors, i.e., the minimum connected dominating set (MCDS) problem. However, it has been proved that the MCDS problem is NP-hard [9]. Therefore, approximation algorithms become the focus of addressing the MCDS problem. The majority of proposed algorithms in literatures follow a general two-phased approach [10–14]. In the first phase, a dominating set is constructed, and the sensors in the dominating set are called dominators. In the second phase, additional sensors are selected, called connectors. Together with the dominators, they induce a connected CDS topology.

In this paper, we design a three-phased approximation algorithm for the MCDS problem in WSNs. Firstly, we propose a novel method to construct an independent set S₁ for the graph G such that any pair of complementary sensor subsets for S₁ is separated by exactly three hops. Secondly, sensors in S₁ are connected by other sensors that are added into C to form a subtree. The number of sensors in C is an even number, since any pair of complementary sensor subsets in S₁ is separated by two sensors. A supporter set S₂ is constructed that neighbors of S₁∪C are added into S₂. S₁∪C∪S₂ is connected dominated set. The performances of the proposed algorithms are thoroughly analyzed.

Our contributions are presented as follow:

• We propose a novel algorithm to generate the CDS and construct the virtual backbones in WSNs.

• We analyze the performance ratio and time complexity of our algorithm.

• We conduct extensive simulations to demonstrate the performance of the algorithms. Simulation results show that the algorithm generates CDS with smaller size than the state-of-the-art algorithms in [15].

The rest of the paper is organized as follows. Related work is reviewed in Section 2. Our novel centralized algorithm for constructing a CDS is presented in Section 3. The performance of the proposed algorithm is thoroughly analyzed in Section 4. Section 5 gives the results of simulations, which show the performance of the algorithm. Finally, we conclude this paper in Section 6.

Related works

In this section, we review the classical algorithms for constructing CDS. For more comprehensive approximation algorithms for CDS construction, one can refer to Du and Wan and Yu et al. [16, 17]. Since the MCDS problem in unit disk graph is NP-hard, many algorithms are proposed to compute approximation solutions. CDS construction algorithms can be divided into distributed algorithms and centralized algorithms.

Distributed algorithms

In the case of distributed algorithms, each node in the network only knows the local information and communicates with its neighbors. Recently, the popular methods for constructing CDS are to firstly construct an maximal independent set (MIS), then a CDS is formed by connecting the nodes in the MIS, such as [7, 8, 11–13].

In [7], Wan et al. proposed an ID-based distributed algorithm to construct a CDS with the performance ratio 8|opt|−2, where opt represents the minimum connected dominating set of the unit disk graph. In [8, 11, 12], some MIS-based algorithms are proposed and the first phase of these algorithms is to construct an MIS as shown in [7]. In the second phase of the algorithm in [8], Li et al. constructed a Steiner tree for connecting all nodes in MIS. The performance ratio of their algorithm is (4.8+ ln5)|opt|+1.2. In [11] Min et al. improved the construction of Steiner tree to decrease the size of connectors. Consequently, they proved that the approximation ratio of the proposed algorithm is 6.8. In [12], Wan et al. proved the approximation ratio of [7] is 7.333 and proposed a new approximation algorithm with ratio 6.389. In [13], Misra et al. proposed a heuristic algorithm, called collaborative cover, to obtain an MIS. After that, they constructed a Steiner tree with minimum number of Steiner nodes to obtain a small CDS. The size of the CDS they got is at most (4.8+ ln5)|opt|+1.2.

Centralized algorithms

In the literature, Guha and Kuller [6] proposed the first approximation algorithm to construct an MCDS as a virtual backbone in a wireless network. They presented two centralized greedy algorithms for CDS construction with approximation factor 2H(Δ)+2 and H(Δ)+2 respectively, where Δ is the maximum degree of the graph. In [18], Ruan et al. proposed another centralized algorithm with the approximation factor lnΔ+2. In [19], Fu et al. proposed a centralized algorithm for CDS construction with the time complexity O(nΔ²). Note that Δ can be as many as O(n). Thus, the time complexity of the algorithm in [19] is O(n³).

In [15], Al-Nabhan et al. proposed three similar centralized algorithms to construct CDSs in wireless network with approximation factor of 5. These approximation algorithms outperform the existing state-of-the-art methods. Their algorithm contains four phases. The first phase is to construct a special independent set S₁ and any pair of complementary subsets of S₁ is separated by exactly three hops. The second phase is to compute an MDS for each disconnected component and all nodes in MDS form the set S₂. The third phase is to connect S₂ nodes and S₁ nodes. The fourth phase is to connect all nodes in S₁.

Some other centralized CDS construction algorithms also exist in the literatures [20–23].

The MCDS has many applications in the special network models, such as ad hoc networks [24, 25], energy harvest networks [26], battery-free networks [27], cognitive ratio networks [28], and others [29–31].

In this paper, we propose a three-phased approximation algorithm for CDS construction with approximation ratio H(Δ)+3 in time O(n²). To compare with the three algorithms proposed in [15], extensive simulations are conducted, and the results show effectiveness of our algorithm. A preliminary version [32] was published in WASA 2017.

MCDS construction

Model

For simplicity, all sensors in WSN are randomly deployed in the two-dimensional plane. Assume that all sensors have the same transmission range in the network. The WSN is modeled as a unit disk graph G(V,E), where V is the set of all sensors and E represents the set of links in the network. If the Euclidean distance between any two sensors u and v is less than or equal to 1, then there is an undirected edge e _uv between these two sensors. Each sensor v∈V has a unique ID. Let N(v) be the set of all neighbors of v and d _v =|N(v)| be the degree of v. Denote Δ=max{d _v |∀v∈V} and Nⁱ(v) to be the i-hops neighbor set of v.

Connected dominating set (CDS)

A dominating set (DS) of a graph G=(V,E) is a subset V^′⊆V such that each node in V∖V^′ is adjacent to at least one node in V^′, and a connected dominating set (CDS) is a dominating set which also induces a connected subgraph.

Minimum connected dominating set (MCDS) problem

Given a graph G=(V,E), the minimum connected dominating set problem is to find the CDS in G such that the size of the CDS is minimized.

In this paper, we propose a novel approximation algorithm for solving the MCDS problem.

Algorithm overview

In this section, we overview the proposed approximation algorithm for the MCDS problem. The algorithm consists of three phases.

• In the first phase, we construct an independent set S₁ (sensors in S₁ called base-cores) for the graph G such that any pair of complementary sensor subsets in S₁ is separated by exactly three hops, which differs from the construction process of the first phase in [15].

• In the second phase, we select connectors from V∖S₁ to connect the base-core sensors in S₁ for obtaining a subtree, called all sensors on the subtree as cores.

• In the third phase, we construct a supporter set S₂ such that neighbors of S₁∪C are added into S₂. S₁∪C∪S₂ forms a CDS.

For an illustrative purpose, we employ the different colors to differentiate sensor states during the construction process of our algorithm. Figure 1 shows the state transition process of sensors in the WSN.

Fig. 1

Sensor state transition of our algorithm. The transition conditions are as follows: a has the largest value of $\frac {|N^{2}(v)|}{|N(v)|}$; b exists a black neighbor; c has a red neighbor but does not have black neighbor; d exists a yellow neighbor but does not have black or red neighbor; e has the largest value of $\frac {|N^{2}(v)|}{|N(v)|}$ among all blue nodes, where N²(v) and N(v) only contain white nodes; f becomes connector; g exists a black neighbor; h has the maximum number of yellow neighbors among all red nodes; I has a red neighbor but does not have black neighbor; J becomes connector

We illustrate the CDS construction process of our algorithm by Fig. 2, which is the same network example G(V,E) in [7]. Initially, all sensors are marked as white and each sensor has a unique ID, as shown in Fig. 2a. In the first phase, we can know that node 8 has the largest value of $\frac {|N^{2}(v)|}{|N(v)|}$ among all sensors in the graph. Hence, sensor 8 is colored black and all neighbors in N(8) are colored red and all sensors in N²(8) are colored yellow. As shown in Fig. 2b, sensors 3, 4, 5, and 6 are colored red and sensors 0, 1, 2, 7, 9, 10, 11, and 12 are colored yellow. None of sensors become connector in the second phase since only one black sensor 8 is added into independent set S₁. In the third phase, we need to select supporters (added into S₂) from red sensors to dominate all yellow sensors. For all red sensors, sensor 5 has the maximum number of yellow neighbors, then sensor 5 is marked green and its yellow neighbors 9, 10, 11, and 12 are colored red. After that, sensors 6 and 4 have the same number of yellow neighbors and the ID of sensor 6 is larger than sensor 4; therefore, sensor 6 is marked green and its yellow neighbors 1 and 7 are colored red. Then sensor 4 is marked green and sensors 0 and 2 are colored red. Finally, sensors with black and green form a CDS that contains sensors 4, 5, 6, and 8, as shown in Fig. 2c. Figure 2d shows a CDS (blue and black sensors) obtained by the algorithm in [12].

Fig. 2

The process of CDS construction by our algorithm in a–c. d A CDS constructed by algorithm in [7]

Independent set S ₁ construction

In this section, we construct the set S₁ such that the hop distance between any two complementary sensor subsets in S₁ is exactly three hops. The details of S₁ construction process as shown in the following steps.

First, a sensor v∈V with the largest value of $\frac {|N^{2}(v)|}{|N(v)|}$ initiates the S₁ construction by coloring itself black. Then, the black sensor v dominates its neighbors in N(v) and all sensors in N(v) are marked red. After that, we color all sensors in N²(v) as yellow and all sensors in N³(v) are colored blue. Last, each blue sensor u deletes red sensors from the set N²(u) and deletes yellow sensors from the set N(u).

Then select black sensor from the current blue sensors, for this purpose, the algorithm repeats the following steps, until no blue/white sensors is left in the graph.

We select a blue sensor v and color it black when the value of $\frac {|N^{2}(v)|}{|N(v)|}$ is largest among all blue sensors. If more than one sensor node have the same value of $\frac {|N^{2}(v)|}{|N(v)|}$, then the algorithm selects the blue sensor with the maximum number of sensors in N(v). If more than one blue sensor have the same value of |N(v)|, then the algorithm selects the blue sensor with the highest ID value among these blue sensors.

After that, the algorithm executes the following operations:

• All sensors in N(v) are colored red

• All sensors in N²(v) are colored yellow

• All sensors in N³(v) are colored blue

• Each blue sensor u deletes red sensors from the set N²(u) and deletes yellow sensors from the set N(u)

The detail illustration as shown in Algorithm 1.

After Algorithm 1 terminates, the sensors in V are either black, red, or yellow. We obtain an independent set S₁ that is composed of black sensors and any red sensor is definitely dominated by a black sensor and any yellow sensor has two hops distance from a black sensor. We can prove that any pair of complementary sensor subsets of S₁ is separated by exactly three hops. The sensors in the set S₁ are called base-cores.

Connector set C construction

In this section, we propose a novel algorithm to find a set of connectors C such that S₁∪C forms a subtree.

Before we describe the algorithm, we introduce some terms and notations. For any subset U⊆V, let q(U) be the number of connected components in G(U). The set U is initially equal to S₁, and the initial value of q(U) is |S₁|. Let M={e|e∈E and the endpoints are red and yellow } and C be the set of connectors. Let W be the subset of S₁ such that any pair of sensors of W is connected by other sensors in C.

To begin our algorithm, first, we select an arbitrary black sensor s₁∈S₁ to start selection of connectors and set W={s₁}. The algorithm repeats the following steps, until the condition q(U)=1 is satisfied:

• Select a sensor s _i ∈W such that there exists a sensor s _j ∈N³(s _i )∩(S₁−W)

• Select an edge e _xy ∈M such that x∈N(s _j ) and y∈N(s _i )

• Delete the edge e _xy from M, then sensors x and y are marked blue and added into C

• For each yellow sensor w, if w∈N(x) or w∈N(y), then it is marked red

• Execute operations U=U∪{u}, U=U∪C and q(U)=q(U)−1

The detail illustration as shown in Algorithm 2.

After Algorithm 2 terminates, any two black sensors are connected by a path that consists of black sensors and blue sensors. That is, we obtain a subtree and all sensors on the subtree are called cores.

Supporter set S ₂ construction

After executing Algorithm 2, we have got a subtree over on S₁∪C. However, there are still some yellow sensors not being dominated since they have two hops distance from black sensor or blue sensor.

In this section, we propose a novel greedy algorithm for acquiring a supporting set S₂, in which the sensors are used to dominate remaining yellow sensors. Sensors in the set S₂ are called supporter.

Let RD be the set {s|s∈V,Color _s =red} and YL be the set {s|s∈V,Color _s =yellow}. In each iteration, we select a red sensor s∈RD with the maximum number of yellow sensors in N(s). If more than one red sensors have the same number of the yellow neighbors, then the algorithm selects the red sensor with the highest ID.

The algorithm repeats the following steps, until the condition YL=∅ is satisfied:

• Select a red sensor s∈V with the maximum number of yellow neighbors

• Sensor s is marked green and its yellow neighbors in N(s)∩YL are marked red

• Delete sensors of N(s)∩YL from YL

The detail illustration as shown in Algorithm 3.

CDS construction

In this section, we propose our approximation algorithm for solving MCDS problem. The algorithm consists of four steps, and the first three steps correspond to Algorithms 1–3, respectively. The last step is to compute union of S₁, C, and S₂. The detail illustration as shown in Algorithm 4.

After this algorithm terminates, we obtain a CDS that is union of S₁ (black sensors), C (blue sensors), and S₂ (green sensors). For a given graph G(V,E), we give the executing process of the Algorithm 4, as shown in Fig. 3(a)-(d).

Fig. 3

Let the transmission range R be 250 m and deploy 100 sensors in the 1000*1000 m² detection area. The execution process of the Algorithm 4 as follows: a Select a sensor s to start S₁ construction and sensor s is marked black. b An independent set S₁ that contains four black sensors is constructed in step 1. c The connector set C that contains six blue sensors is constructed after executing step 2, and we obtain a subtree that contains all cores. d The supporter set S₂ that consists of four green sensors is constructed in step 3, then we can obtain a CDS that consists of all black, blue, and green sensors

Performance analysis

In this section, we analyze the performance ratio and time complexity of our algorithm. Let $H(n)=\sum _{i=1}^{n} \frac {1}{i}$ be the harmonic function and MCDS be an optimal CDS.

Lemma 1

The set S₁ found by Algorithm 1 is an independent set, and any pair of complementary sensor subsets of S₁ is separated by exactly three hops.

Proof

We use {s₁,s₂,···,s _k } to denote the set S₁. Any two sensors s _i ,s _j ∈S₁ are not adjacent to each other according to the process of S₁ construction by Algorithm 1. Therefore, the set S₁ is an independent set of G.

Let T _j ={s₁,s₂,···,s _j } and H _j =(T _j ,E _j ) for any 1≤j≤k. For arbitrary two sensors s _i ,s _l ∈T _j , an edge (s _i ,s _l )∈E _j if and only if their distance in G is three. We prove by induction on j that H _j is connected. Since H₁ contains a single sensor, it is connected obviously. Assume that H _j is connected for 1≤j≤k−1, when the sensor s_j+1 is marked black, according to the Algorithm 1, there exists s _i ∈T _i (1≤i≤j) such that the distance between s_j+1 and s _i in G is three, which means there exists an edge between s _i and s_j+1 in H_j+1. Due to H _j is connected, H_j+1 is also connected. Therefore, H _j is connected for any 1≤j≤k. This implies that any pair of complementary subsets of S₁ is exactly three hops. □

Lemma 2

The CDS=S₁∪C∪S₂ got by Algorithm 4 is a connected dominating set.

Proof

According to lemma 1, we know that S₁ is an independent set and S₁∪C is connected.

According to Algorithm 3, each sensor in S₂ is adjacent to at least one sensor in S₁∪C. Therefore, the set CDS is connected. Since the distance between any sensor not in S₁∪C and S₁∪C in G is at most 2, all other sensors not in CDS are dominated by sensors in CDS according to the selection process of S₂. Therefore, for any sensor v∈V, it belongs to the set CDS or has at least a neighbor in CDS, which means CDS is a connected dominating set. □

Lemma 3

The size of S₁ is less than or equal to |MCDS|.

This lemma has been proved by lemma 2 in [15].

Lemma 4

The size of the set C obtained by Algorithm 2 is at most 2|MCDS|−2.

Proof

Let S₁ be the set {s₁,s₂···,s _k }. According to lemma 1, we obtain that auxiliary graph H _k over S₁ is a tree. Hence, H _k contains k−1 edges. According to Algorithm 2, any two endpoints of an edge in H _k are two sensors in S₁. Therefore, two connectors are added into C to connect the two sensors.

Therefore, the size of set C is 2|S₁|−2. By lemma 3, we get |C| is at most 2|MCDS|−2. □

Lemma 5

The size of the set S₂ obtained by Algorithm 3 is less than H(Δ)|MCDS|.

Proof

For a sensor v ∈MCDS, let P _v be the sensors set including v in which each sensor is dominated by v. According to Algorithm 3, when a red sensor v is marked green, all yellow neighbors of v are dominated by v.

We will prove that the total number of sensors in P _v for any node v is at most H(Δ).

Assume that when we pick a sensor v from RD to add to S₂, y yellow sensors turn to red. We obtain that each of y yellow sensors spends at most $\frac {1}{y}$.

Assume that the number of yellow sensors is initially y₀<Δ in P _v , and finally drops to 0. Let y _j denote the number of yellow sensors in P _v after step j. Here, we assume that some yellow sensors in P _v are marked red at each step. Therefore, the number of yellow sensors in P _v decreases at each step. After the first step, the number of sensors which changed color is y₀−y₁. In the jth step, the number of sensors that change color in set P _v is y_j−1−y _j , and the cost of each sensor which changed color is at most $\frac {1}{y_{j}}$. Let y _h =0. We can get the total number of sensors in P _v is

$$\begin{array}{*{20}l} \sum_{j=1}^{h} \frac{1}{y_{j-1}} (y_{j-1}-y_{j})&=\sum_{j=1}^{h} \sum_{i=y_{j}}^{y_{j-1}} \frac{1}{y_{j-1}}\\ &\leq\sum_{j=1}^{h} \sum_{i=y_{j}}^{y_{j-1}} \frac{1}{i}\\ &=\sum_{j=1}^{h} \left(\sum_{i=1}^{y_{i-1}} \frac{1}{i}-\sum_{i=1}^{y_{i}} \frac{1}{i}\right)\\ &= H(y_{0})< H(\Delta). \end{array} $$

Therefore,

$$|S_{2}|\leq \cup_{v\in MCDS}|P_{v}|<H(\Delta)|MCDS|. $$

This lemma is proved. □

We know that CDS=S₁∪C∪S₂. According to lemma 3–5, we obtain the following theorem.

Theorem 1

The number of sensors in CDS found by Algorithm 4 is less than (H(Δ)+3)|MCDS|−2.

Lemma 6

The time complexity of Algorithm 1 is O(n²).

Proof

According to Algorithm 1, we need |S₁| iterations for obtaining the set S₁. In the first iteration, we need at most n steps to choose a sensor v with the largest value of $\frac {|N^{2}(v)|}{|N(v)|}$ from V. Since any black sensor comes from blue sensor, we need at most n steps to select a black sensor from blue sensors in ith iteration. Therefore, the total number of black sensor selection over all iterations is O(n²)=O(n|S₁|), since |S₁|<n, and we obtain that the time complexity of Algorithm 1 is O(n²)+O(n)=O(n²). □

Lemma 7

The time complexity of Algorithm 2 is O(n²).

Proof

Firstly, we pick out all edges with a red endpoint and a yellow endpoint from set E. Therefore, the operation needs the running time of O(|E|).

Secondly, due to the initial value of q(U) is |S₁|, the number of iterations is less than |S₁| by lemma 3. In the interior of the loop, first, we need |W| steps to select a sensor s _i ∈W such that there exists a sensor s _j ∈N³(s _i )∩(S₁−W). The maximum value of |W| is equal to |S₁|. Second, we select an edge e _xy ∈M for connecting s _i and s _j such that e _xy is composed of an endpoint x∈N(s _i ) and an endpoint y∈N(s _j ). Therefore, we need at most 2Δ steps to select edge e _xy . Last, 2Δ steps are needed for coloring all sensors in N(x)∪N(y).

Therefore, the time complexity of Algorithm 2 is O(|E|+(|W|+2Δ+2Δ)×|S₁|)=O(n²). □

Lemma 8

The time complexity of Algorithm 3 is O(n²).

Proof

We need n steps to pick out red sensors (added into RD) and yellow sensors (added into YL) from V. Algorithm 3 executes at most |YL| iterations. In a single iteration, due to the size of RD is less than n, we need at most n steps a red sensor v∈RD with the maximum number of yellow neighbors among all sensors in RD. And at most Δ steps are needed to mark all yellow neighbors of v.

Therefore, the time complexity of Algorithm 3 is O((n+Δ+n)×|YL|)=O(n²), since |YL|<n. □

We know that Algorithm 4 consists of four steps and the first three steps correspond to Algorithms 1, 2, and 3, respectively. The last step needs single time to compute the union of S₁, C, and S₂. According to lemmas 6–8, we obtain the following theorem.

Theorem 2

The time complexity of Algorithm 4 is O(n²).

Simulation

In this section, we evaluate the performance of our algorithm through simulations. In the simulations, N sensors are randomly deployed in the two-dimension plane. All sensors are assumed to have the same transmission range R. Each experimental result is the average of 100 runs. We first evaluate how the network configuration, such as the number of the sensors, the transmission range, and the area of the deployment, impact on the size of CDS, as shown in Section 5.1. After that, we compare the performance of our algorithm with the performance of the three algorithms (Approach I, Approach II, and Approach III) in [15], as shown in Section 5.2. We used MATLAB R2013a for all simulations.

Impact of network configuration

In this section, we evaluate the impact of the different parameter settings on the size of CDS.

Firstly, Fig. 4a illustrates the impact of the transmission range R on the size of CDS with different number of sensors. We randomly deploy N sensors in a 1000×1000 m² area, and measure the size of CDS when the transmission range R varies from 200 to 500 m increased by 50 m. As shown in Fig. 4a, we can observe that the size of CDS decreases as the transmission range R increases. This is because when the transmission range becomes longer, the number of neighbors of sensors increase. That is to say, a backbone sensor is able to dominate more non-backbone sensors. When the transmission range R is large enough and the number of senors reaches to some number, the CDS size is almost same no matter how big the number of sensors N is. It is because the some sensors can cover the whole detection area when the transmission range R is large enough. From Fig. 4a, when R = 500 m, the CDS sizes are almost the same. We can also find that the ratio of CDS size to the total number of sensors in the network decreases with the increasing of the density of network deployment. For example, we fix R to 300 m, when N = 100 and N = 500, the size of CDSs are 11.2 and 14.5, respectively, and the ratio of the former is 11.2% and the latter is 2.9%.

Fig. 4

The performance of our algorithm. a Size of CDS with a different value of N when R varies between 200 and 500 m. b Size of CDS with the different value of R when N changes from 200 and 1200 sensors. c Size of CDS with fixed R = 80 m when N varies between 200 and 1000 sensors. d Size of CDS with fixed N=1000 sensors when R changes from 50 to 120 m

Secondly, we evaluate the impact of the number of sensors N on the size of CDS with the different transmission range R. In the 1000×1000 m² monitor area, the number of sensors N changes from 200 to 1200 sensors, we can find that the size of CDS increases with the number of sensors increasing when R = 100 m and that the size of CDS levels off as R is more than 250 m, as shown in Fig. 4b. We also obtain that, when N is fixed, the size of CDS decreases more and more slowly with the increasing of the transmission range when the transmission range reaches to some value.

Thirdly, we measure the effect of the size of the deployment area on the size of CDS. We deploy network sensors in the detection areas 300×300m², 400×400m², 500×500m², and 600×600m², respectively. First, we evaluate the impact of the number of sensors N on the size of CDS in different detection areas, as shown in Fig. 4c. When we fix the transmission range to 80 m and the number of sensors N (from 200 to 1000), we can notice that the CDS size increases as the deployment area grows. Afterwards, we evaluate the impact of the transmission range on the size of CDS in different detection areas, as shown in Fig. 4d. When we fix the number of sensors N to 1000 and R (from 50 to 120 m), we can notice that the CDS size increases as the deployment area grows.

Performance evaluation

In this section, we compare the performance of our algorithm with the performance of the three algorithms (Approach I, Approach II, and Approach III) in [15]. To compare the performance of our algorithm with the three algorithms, we set the same value of the experiment parameters of our algorithm as the other three algorithms in [15].

Firstly, we give the comparison of the algorithms when the sensors are randomly deployed in the 300×300 m² area, as shown in Fig. 5. When the number of sensors N = 1000 and the transmission range R is increased by 10 m from 50 to 120 m, we give the comparative results of the four algorithms in Fig. 5a. The results show that the size of CDS got by our algorithm is always better than the other three algorithms as the transmission range becomes longer. And CDS sizes decrease with the transmission range increasing, which is because the transmission range is bigger, the coverage area is larger, and the network area size is finite. Similarly, we fix the transmission range R to 50 m and change N from 100 to 1000 sensors increased by 100. The comparative results in Fig. 5b illustrate that our algorithm outperforms the other three algorithms.

Fig. 5

Comparing results in the 300×300 m² detection area. a The average performance of four algorithms when N=1000 sensors and R changes from 50 to 120 m. b The average performance of four algorithms, when R = 50 m and N varies between 100 and 1000 sensors

Secondly, for 600×600 m² monitor area, Fig. 6 shows the performance of the compared algorithms. If setting the number of sensors N=1000 and changing the transmission range R between 50 and 100 m, our algorithm is better than the other three algorithms and the gap between the four results is getting smaller and smaller with increasing of the transmission range. By setting R = 100 m, Fig. 6b gives the comparison in terms of CDS size through increasing the number of sensors from 100 to 1000. We can observe that our algorithm is still better than the other three algorithms.

Fig. 6

Comparing results in the 600×600m² detection area. a The average performance of four algorithms, when N = 1000 sensors and R changes from 50 to 120 m. b The average performance of four algorithms when R = 100m and N changes from 100 to 1000 sensors

Finally, to better illustrate the superiority of our algorithm, we deploy the sensors 1000×1000 m² area randomly, as shown in Fig. 7. In Fig. 7a, when the number of sensors N is fixed to 1000 and R varies from 150 to 500 m, we can observe that our algorithm also outperforms the other three algorithms in the larger detection area. And the size of CDS of the four algorithms tends to be stable when transmission range is big enough. According to Fig. 7b, if we set R=200 m and vary N from 1000 and 10,000, our algorithm still outperforms other three algorithms and the CDS sizes of the algorithms level off as the number of sensors increases, which means that our algorithm is also suitable in dense networks.

Fig. 7

Comparing results in the 1000×1000m² detection area. a The average performance of four algorithms when N is fixed to 1000 sensors and R changes from 150 to 500 m. b The average performance of four algorithms when R = 200 m and N varies between 1000 and 10,000 sensors

Conclusions

This paper proposes an approximation algorithm for the MCDS problem in wireless sensor networks. The key idea is to separate sensors in CDS into core sensors and supporting sensors. The core sensors dominate the supporting sensors in CDS and some sensors are not in CDS, while the supporting sensors dominate remaining sensors that are not in CDS. Simulation results show that the algorithm generates CDS with smaller size than the state-of-the-art algorithms.