WFAP'07 detailed program

Sunday, September 23
15:00 - 18:00    transfer from Prague to Sadek
18:30 - 19:30 problem session
19:30 welcome party
Monday, September 24
8:00 - 9:00 breakfast
9:00 - 11:00 Jerrold Griggs: Minimum Span Real Number Graph Labellings with Separation Conditions
11:00 - 11:30 coffee break
11:30 - 13:00 problem solving
13:00 - 14:00 lunch
14:00 - 15:00 a little hike
15:00 - 18:00 problem solving
16:00 -16:30 coffee break
16:30 - 18:00 problem solving
18:30 dinner
Tuesday, September 25
8:00 - 9:00 breakfast
9:00 - 11:00 Andreas Eisenblatter: Automatic Frequency Planning in GSM networks: How to replenish the spectrum
11:00 - 11:30 coffee break
11:30 - 13:00 problem solving
13:00 - 14:00 lunch
14:00 departure for the conference trip to Telc
15:00 - 16:00 excursion in Telc castle
17:00 dinner in Telc
19:30 excursion in Louka monastery
Wednesday, September 26
8:00 - 9:00 breakfast
9:00 - 11:00 Jean-Sebastien Sereni: Griggs and Yeh's Conjecture and the Probabilistic Method
11:00 - 11:30 coffee break
11:30 - 13:00 problem solving
13:00 - 14:00 lunch
14:00 - 18:00 problem solving
16:00 - 16:30 coffee break
16:30 - 18:00 problem solving
18:30 wine tasting and dinner
Thursday, September 27
8:00 - 9:00 breakfast
9:00 - 11:00 problem solving
11:00 - 11:30 coffee break
11:30 - 13:00 problem solving & progress reports
13:00 - 14:00 lunch
14:30 - 16:30 transfer to Prague

Abstracts of the talks

Jerrold Griggs (University of South Carolina, Columbia, U.S.A.):
Minimum Span Real Number Graph Labellings with Separation Conditions

In 1988 Roberts described a problem posed to him by Lanfear concerning the efficient assignment of channels to a network of transmitters in the plane. To understand this problem, Griggs and Yeh introduced the theory of integer vertex $\lambda$-labellings of a graph $G$. To prevent interference, labels for nearby vertices must be separated by specified amounts $k_i$ depending on the distance $i$, $1\le i\le p$. One seeks the minimum span of such a labelling. The $p=2$ case with $k_1=2$ and $k_2=1$ has attracted the most attention, particularly the tantalizing conjecture that if $G$ has maximum degree $\Delta\ge2$, then the minimum span is at most $\Delta^2$.

In order to gain more insights for general $k_i$, it is natural to expand the model to allow real number labels and separations, as well as infinite graphs with $\Delta<\infty$. Griggs and Jin showed that in this case there is a labelling of minimum span in which all of the labels have the form $\sum_{i=1}^p a_i k_i$, where the $a_i$'s are integers $\ge0$. Moreover, they conjectured that the minimum span as a function of the separations $k_i$ is piecewise linear with finitely many pieces.

Babilon et al. introduced $\lambda$-graphs, in which every edge has weight $k_i$ for some $i$, where reals $k_1,\ldots,k_p\ge0$ are fixed. This is a more general model, which better describes the interference restrictions for an irregular transmitter network in the plane. Král' proved the Piecewise Linearity Conjecture in this more general setting. Networks used in practice often correspond to regular infinite lattices in the plane, and with two levels of interference, the $\lambda$-labelling model with $p=2$ is appropriate. Griggs and Jin determined the minimum span of such labellings for general $k_1, k_2$ for the square and hexagonal lattices. They also solved the triangular lattice for $k_1\ge k_2$, and Král' and Skoda recently completed the remaining cases when $k_1<k_2$.

Our lecture is intended as an overview of this labelling project, with an emphasis on directions for future research.


Andreas Eisenblatter (Konrad-Zuse-Zentrum für Informationstechnik, Berlin, Germany):
Automatic Frequency Planning in GSM networks: How to replenish the spectrum

The traditional model of (extended) graph coloring or graph k-partitioning for GSM frequency assignment uses a rather coarse notion of interference. Potential interference is given for pairs of cells (i.e., the transmitters emitting the cells' signals), and interference occurs in case transmitters from two cells receive the same or directly adjacent frequencies. Depending on the interference threshold used in the computation of potential interference, this approach systematically under- or over-estimates interference. In the live network, however, harmful interference occurs in case the ratio between the strenght of the serving cell's signal (carrier) and the sum of all interferencing signals (carrier-to-interference ratio) falls below a certain threshold. Relevant interference may originate from the use of the same frequency as well as from adjacent frequencies up to a distance of three.

This talk addresses the difference between interference accounting using the traditional and using a more realistic system model. The more refined accounting model is used as the basis of an alterantive mathematical optimization model that aims at minimizing interference in cases of a significant shortage of available frequencies (by the standards of the traditional model). The refined model is also suited to optimize frequency allocation in the presence of (slow) frequency hopping. Computational results illustrate the difference in the complexity as well as in the capabilities of the two approaches.


Jean-Sebastien Sereni (Charles University, Prague, Czech Republic):
Griggs and Yeh's Conjecture and the Probabilistic Method

In 1992, Griggs and Yeh introduced the definition of an $ L(p,q)$-labelling of a graph to model a channel assignment problem. Formally, given a graph $ G=(V,E)$, an $ L(p,q)$-labelling is a mapping $ f:V\to\mathbb{N}^*$ such that (i) $ \vert f(x)-f(y)\vert\ge p$ whenever $ xy\in E$; and (ii) $ \vert f(x)-f(y)\vert\ge q$ whenever $ {\rm dist}(x,y)=2$ where $ {\rm dist}$ is the distance in the graph $ G$. The $ \lambda_{p,q}$-number $ \lambda_{p,q}(G)$ of $ G$ is the smallest $ k$ such that $ G$ admits an $ L(p,q)$-labelling into $ \{1,2,\ldots,k\}$.

The case where $ p=2$ and $ q=1$ attracted the most attention, due to the following conjecture of Griggs and Yeh: if $ G$ has maximum degree $ \Delta$, then $ \lambda_{2,1}(G)\le\Delta^2+1$. We will see that the following approximate version of this conjecture is true: There exists a constant $ C$ such that $ \lambda_{2,1}(G)\le\Delta^2+C$ for every graph $ G$ of maximum degree $ \Delta$. To this end, we will use the probabilistic method to prove that Griggs and Yeh's conjecture holds for $ \Delta$ large enough. We will actually consider a slightly more general setting, which is a bit more flexible regarding the channel assignment problem. This result generalises to the $ \lambda_{p,1}$-number for every positive integer $ p$ (with $ C$ depending on $ p$).

This talk is not an introduction to the probabilistic method. However, its goal -- more than proving the result -- is to show how to create the right environment to be able to use the probabilistic method in our setting, with the hope that some may find it useful for other problems. Some related open questions will be given. This is joint work with Frédéric Havet and Bruce Reed.