ALCOMFT-TR-01-107

Dimitris Fotakis, Sotiris Nikoletseas, Vicky Papadopoulou and Paul Spirakis
Radiocolorings in Periodic Planar Graphs: PSPACE-Completeness and Efficient Approximations for the Optimal Range of Frequencies
Patras. Work packages 2 and 4. May 2001.

Abstract: The Frequency Assignment Problem (FAP) in radio networks is the problem of assigning frequencies to transmitters exploiting frequency reuse while keeping signal interference to acceptable levels. The FAP is usually modelled by variations of the graph coloring problem. The Radiocoloring (RC) of a graph G(V, E) is an assignment function \Phi: V -> \rmI\!\rmN such that |\Phi(u)-\Phi(v)| >= 2, when u, v are neighbors in G, and |\Phi(u)-\Phi(v)|>= 1 when the distance of u, v in G is two. The discrete number of frequencies used is called order and the range of frequencies used, span. The optimization versions of the Radiocoloring Problem (RCP) are to minimize the span ( min span RCP) or the order ( min order RCP).

In this paper, we deal with an interesting, yet not examined until now, variation of the radiocoloring problem: that of satisfying frequency assignment requests which exhibit some periodic behavior. In this case, the interference graph (modelling interference between transmitters) is some (infinite) periodic graph. Infinite periodic graphs usually model finite networks that accept periodic (in time, e.g. daily) requests for frequency assignment. Alternatively, they can model very large networks produced by the repetition of a small graph.

A periodic graph G is defined by an infinite two-way sequence of repetitions of the same finite graph G_i(V_i, E_i). The edge set of G is derived by connecting the vertices of each iteration G_i to some of the vertices of the next iteration G_i+1, the same for all G_i. We focus on planar periodic graphs, because in many cases real networks are planar and also because of their independent mathematical interest.

We give two basic results:

• We prove that the min span RCP is \PSPACE-complete for periodic planar graphs.
• We provide an O(n(\Delta(G_i)+\sigma)) time algorithm, (where |V_i|=n, \Delta(G_i) is the maximum degree of the graph G_i and \sigma is the number of edges connecting each G_i to G_i+1), which obtains a radiocoloring of a periodic planar graph G that approximates the minimum span within a ratio which tends to 2 as \Delta(G_i)+\sigma tends to infinity.

We remark that, any approximation algorithm for the min span RCP of a finite planar graph G, that achieves a span of at most alpha \Delta(G)+constant, for any alpha and where \Delta(G) is the maximum degree of G, can be used as a subroutine in our algorithm to produce an approximation for min span RCP of asymptotic ratio alpha for periodic planar graphs.

Postscript file: ALCOMFT-TR-01-107.ps.gz (369 kb).