Optimization of wireless sensor networks deployment with coverage and connectivity constraints

Wireless sensor networks have been widely deployed in the last decades to provide various services, like environmental monitoring or object tracking. Such a network is composed of a set of sensor nodes which are used to sense and transmit collected information to a base station. To achieve this goal, two properties have to be guaranteed: (i) the sensor nodes must be placed such that all the environment of interest is covered, and (ii) every sensor node can transmit its data to the base station (through other sensor nodes). In this paper, we consider the Minimum Connected Coverage (MCC) problem. We propose two mathematical programming formulations for the MCC problem on square grid graphs. We compare them to a recent model proposed by Rebai et al [1]. Our mathematical programming formulations yield a better LP-bound at the root of the branch-and-cut process than the model of Rebai et al. Moreover, the presented formulations outperform the proportion of solved instances in their work as well as the CPU computation time and the number of nodes explored in the tree search.

[1]  Vaduvur Bharghavan,et al.  Routing in ad-hoc networks using minimum connected dominating sets , 1997, Proceedings of ICC'97 - International Conference on Communications.

[2]  Samir Khuller,et al.  Approximation Algorithms for Connected Dominating Sets , 1996, Algorithmica.

[3]  Henning Fernau,et al.  An exact algorithm for the Maximum Leaf Spanning Tree problem , 2009, Theor. Comput. Sci..

[4]  Bezalel Gavish,et al.  Topological design of centralized computer networks - formulations and algorithms , 1982, Networks.

[5]  Stéphan Thomassé,et al.  The Domination Number of Grids , 2011, SIAM J. Discret. Math..

[6]  Alexandre Salles da Cunha,et al.  Benders Decomposition, Branch-and-Cut, and Hybrid Algorithms for the Minimum Connected Dominating Set Problem , 2014, INFORMS J. Comput..

[7]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[8]  Neng Fan,et al.  Solving the Connected Dominating Set Problem and Power Dominating Set Problem by Integer Programming , 2012, COCOA.

[9]  R. A. Zemlin,et al.  Integer Programming Formulation of Traveling Salesman Problems , 1960, JACM.

[10]  S. Sitharama Iyengar,et al.  Grid Coverage for Surveillance and Target Location in Distributed Sensor Networks , 2002, IEEE Trans. Computers.

[11]  Hichem Snoussi,et al.  Sensor deployment optimization methods to achieve both coverage and connectivity in wireless sensor networks , 2015, Comput. Oper. Res..

[12]  Paul S. Bonsma,et al.  Max-leaves spanning tree is APX-hard for cubic graphs , 2009, J. Discrete Algorithms.

[13]  Alexander Reich,et al.  Complexity of the maximum leaf spanning tree problem on planar and regular graphs , 2016, Theor. Comput. Sci..

[14]  Tetsuya Fujie,et al.  The maximum‐leaf spanning tree problem: Formulations and facets , 2004, Networks.

[15]  Abilio Lucena,et al.  Reformulations and solution algorithms for the maximum leaf spanning tree problem , 2010, Comput. Manag. Sci..

[16]  Guoliang Xing,et al.  Integrated coverage and connectivity configuration in wireless sensor networks , 2003, SenSys '03.

[17]  Orlando Lee,et al.  Flow-based formulation for the maximum leaf spanning tree problem , 2015, Electron. Notes Discret. Math..