Hardness and approximation of Gathering in static radio networks

In this paper, we address the problem of gathering information in a central node of a radio network, where interference constraints are present. We take into account the fact that, when a node transmits, it produces interference in an area bigger than the area in which its message can actually be received. The network is modeled by a graph; a node is able to transmit one unit of information to the set of vertices at distance at most d/sub T/ in the graph, but when doing so it generates interference that does not allow nodes at distance up to d/sub I/ (d/sub I/ /spl ges/ d/sub T/) to listen to other transmissions. Time is synchronous and divided into time-steps in each of which a round (set of non-interfering radio transmissions) is performed. We give a general lower bound on the number of rounds required to gather on any graph, and present an algorithm working on any graph, with an approximation factor of 4. We also show that the problem of finding an optimal strategy for gathering (one that uses a minimum number of time-steps) does not admit a fully polynomial time approximation scheme if d/sub I/ > d/sub T/, unless P=NP, and in the case d/sub I/ = d/sub T/ the problem is NP-hard.

[1]  Stéphane Pérennes,et al.  Gossiping in Cayley Graphs by Packets , 1995, Combinatorics and Computer Science.

[2]  Stéphane Pérennes,et al.  On the complexity of bandwidth allocation in radio networks , 2008, Theor. Comput. Sci..

[3]  Mihir Bellare,et al.  Free bits, PCPs and non-approximability-towards tight results , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[4]  Stéphane Pérennes,et al.  Optimal Sequential Gossiping by Short Messages , 1998, Discret. Appl. Math..

[5]  Yishay Mansour,et al.  Centralized broadcast in multihop radio networks , 2003, J. Algorithms.

[6]  Jean-Claude Bermond,et al.  Gathering Algorithms on Paths Under Interference Constraints , 2006, CIAC.

[7]  Jean-Claude Bermond,et al.  Fast Gossiping by Short Messages , 1998, SIAM J. Comput..

[8]  Andrzej Pelc,et al.  Dissemination of Information in Communication Networks - Broadcasting, Gossiping, Leader Election, and Fault-Tolerance , 2005, Texts in Theoretical Computer Science. An EATCS Series.

[9]  Mihir Bellare,et al.  Free Bits, PCPs, and Nonapproximability-Towards Tight Results , 1998, SIAM J. Comput..

[10]  Igor Potapov,et al.  Gossiping with Unit Messages in Known Radio Networks , 2002, IFIP TCS.

[11]  Wojciech Rytter,et al.  Fast broadcasting and gossiping in radio networks , 2002, J. Algorithms.

[12]  Guy Kortsarz,et al.  Logarithmic inapproximability of the radio broadcast problem , 2004, J. Algorithms.

[13]  J. Håstad Clique is hard to approximate withinn1−ε , 1999 .

[14]  Johan Håstad,et al.  Clique is hard to approximate within n/sup 1-/spl epsiv// , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[15]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[16]  Imrich Chlamtac,et al.  The wave expansion approach to broadcasting in multihop radio networks , 1991, IEEE Trans. Commun..

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

[18]  Andrzej Lingas,et al.  Gossiping with Bounded Size Messages in ad hoc Radio Networks , 2002, ICALP.

[19]  Stéphane Pérennes,et al.  Gathering in specific radio networks , 2006 .