Beruflich Dokumente
Kultur Dokumente
Martin Grtschel
Summer School
Progress in Mathematics for
Communication Systems
Bremen, July 2-13, 2007
Martin Grtschel
groetschel@zib.de
http://www.zib.de/groetschel
Contents
1. Introduction
2. The Telecom Problem & Mobile Communication
3. GSM Frequency/Channel Assignment
4. The UMTS Radio Interface
Martin
Grtschel
Contents
1. Introduction
2. The Telecom Problem & Mobile Communication
3. GSM Frequency/Channel Assignment
4. The UMTS Radio Interface
Martin
Grtschel
Former Members
Dimitris Alevras (ZIB, IBM)
Christoph Helmberg (ZIB, TU Chemnitz)
Arie Koster (ZIB, U Warwick)
Sven Krumke (ZIB, U Kaiserslautern)
Alexander Martin (ZIB, TU Darmstadt)
Mechthild Opperud (ZIB, Telenor)
Diana Poensgen (ZIB, McKinsey)
Jrg Rambau (ZIB, U Bayreuth)
Adrian Zymolka (ZIB, atesio)
Clyde Monma (BellCore, ...)
Martin
Grtschel
is gratefully acknowledged.
Martin
Grtschel
Contents
1. Introduction
2. The Telecom Problem & Mobile Communication
3. GSM Frequency/Channel Assignment
4. The UMTS Radio Interface
Martin
Grtschel
Martin
Grtschel
Speech
Data
Video
Etc.
Martin
Grtschel
This problem is
too general
to be solved in
one step.
Approach in Practice:
Decompose whenever possible.
Look at a hierarchy of problems.
Address the individual problems one by one.
Recompose to find a good global solution.
10
MSC
BSC
BSC
MSC
MSC
BSC
MSC
BSC
BSC
BTS
Martin
Grtschel
BSC
11
Wireless Communication
Martin
Grtschel
Mobile Telecommunication
12
Martin
Grtschel
Generations of Mobile
Telecommunications Systems
1980s
1990s
2000s
Analogue
Voice Only
UMTS,
Digital
WiFi/WLAN,
Voice & Data
cdma2000
GSM mass
Data Rates
market
PCS
384 kbit/s
cdmaOne/IS95 Various Services
2010 ??
more services
more bandwidth
fresh spectrum
new technology
W-CDMA radio
transmissions
13
Radio Interface:
OR & Optimization Challenges
Location of sites/base stations
was investgated in the OR literature (dead subject)
has become hot again
UMTS: massive investments around the world
GSM: still significant roll-outs
special issue: mergers
14
Contents
1. Introduction
2. The Telecom Problem & Mobile Communication
3. GSM Frequency/Channel Assignment
4. The UMTS Radio Interface
Martin
Grtschel
Wireless Communication
Martin Grtschel
FAP
F
i
l
m
Martin Grtschel
Antennas
Martin Grtschel
Initial Idea
Use graph colouring to assign channels!
Martin Grtschel
Coloring Graphs
Given a graph G = (V,E), color the nodes of the
graph such that no two adjacent nodes have the
same color.
Martin Grtschel
Coloring Graphs
A typical theoretical question: Given a
class C of graphs
(e.g., planar or perfect graphs, graphs without
certain minors), what can one prove about the
chromatic number of all graphs in C ?
A typical practical question: Given a
particular graph G
(e.g., arising in some application), how can
one determine (or approximate) the chromatic
number of G?
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
Martin Grtschel
Coloring Graphs
Coloring graphs algorithmically
- NP-hard in theory
- very hard in practice
- almost impossible to find optimal colorings
(symmetry issue)
- playground for heuristics (e.g., DIMACS challenge)
Martin Grtschel
Coloring in Telecommunication
Frequency or Channel Assignment for
radio-, tv-transmission, etc.
Our Example: GSM mobile phone systems
Andreas Eseinbltter, Martin Grtschel and
Arie M. C. A. Koster, Frequenzplanung im Mobilfunk,
DMV-Mitteilungen 1(2002)18-25
Andreas Eisenbltter, Hans-Florian Geerdes, Thorsten Koch, Ulrich
Trke: MOMENTUM Data Scenarios for Radio Network Planning and
Simulation , ZIB-Report 04-07
Andreas Eisenbltter, Armin Fgenschuh, Hans-Florian Geerdes,
Daniel Junglas, Thorsten Koch, Alexander Martin: Optimization
Methods for UMTS Radio Network Planning, ZIB-Report 03-41
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
Martin Grtschel
Properties of wireless
communication
Transmitter
Receiver
detects
oscillations
emits electromagnetic
oscillations at a frequency
Martin Grtschel
antenna
x
x
x
x
site
x
x x
x
cell
backbone
network
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
Martin Grtschel
Cell Models
Hexagon Cell Model
realistic propagation
conditions
arbitrary cell shapes
no cell-overlapping
realistic propagation
conditions
arbitrary cell shapes
cell-overlapping
Martin Grtschel
Interference
ZIB
Martin Grtschel
Separation
Frequencies assigned to the same location
(site) have to be separated
Site
Blocked channels
Restricted spectrum at some
locations:
government regulations,
agreements with operators in
neighboring regions,
requirements of military forces,
Konrad-Zuse-Zentrum
etc. fr Informationstechnik Berlin
Martin Grtschel
and either
avoids interference at all
or
minimizes the (total/maximum) interference
level
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
Martin Grtschel
30
Martin
Grtschel
Graph Coloring
Simplifications:
drop adjacent-channel interference
drop local blockings
reduce all separation requirements to 1
change large co-channel interference into
separation distance 1 (inacceptable
interference)
Result:
FAP reduces to coloring the vertices of a
graph
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
Martin Grtschel
T-Coloring
List Coloring
k-Colorability
Min k-Partition
Set Packing
Minimum
Interference
Frequency
Assignment
(MI-FAP)
Minimum
Blocking
Frequency
Assignment
(MB-FAP)
List T-Coloring
Minimum Span
Frequency
Assignment
(MS-FAP)
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
Martin Grtschel
k-Colorability
Vertex Coloring
T-Coloring
List Coloring
Min k-Partition
Set Packing
Minimum
Interference
Frequency
Assignment
(MI-FAP)
Minimum
Blocking
Frequency
Assignment
(MB-FAP)
List T-Coloring
Minimum Span
Frequency
Assignment
(MS-FAP)
Martin Grtschel
k-Colorability
Vertex Coloring
T-Coloring
Set Packing
Minimum Span
Frequency
Assignment
(MS-FAP)
Minimum
Interference
Frequency
Assignment
(MI-FAP)
Minimum
Blocking
Frequency
Assignment
(MB-FAP)
Tvw ={0,,d(vw)-1}
a
0,1
0,1
0
c
Min k-Partition
List T-Coloring
List Coloring
0,1
a
0
Minimization of
number of colors and span
are not equivalent!
0,1
0,1
0,1
Colors: 3
Span: 4
0,1
0
c
0,1
0,1
0
d
Colors: 4
Span: 3
Martin Grtschel
1
2
3
4
5
k-Colorability
Vertex Coloring
T-Coloring
List Coloring
1
2
4
5
0,1
0
1
2
3
4
5
0,1
0,1
1
2
3
4
5
0
d
4
5
0,1
Minimum
Interference
Frequency
Assignment
(MI-FAP)
Minimum
Blocking
Frequency
Assignment
(MB-FAP)
0,1
0
1
2
0,1
Set Packing
List T-Coloring
Minimum Span
Frequency
Assignment
(MS-FAP)
Min k-Partition
a
0
0,1
0,1
0
c
0,1
Colors: 3
Span: 4
Martin Grtschel
Minimum Span
Frequency Assignment
k-Colorability
Vertex Coloring
T-Coloring
List Coloring
Min k-Partition
Set Packing
Minimum
Interference
Frequency
Assignment
(MI-FAP)
Minimum
Blocking
Frequency
Assignment
(MB-FAP)
List T-Coloring
Minimum Span
Frequency
Assignment
(MS-FAP)
List-T-Coloring (+ multiplicity)
Benchmarks: Philadelphia instances
Martin Grtschel
k-Colorability
Vertex Coloring
Fixed Spectrum
1
2
0,1
0
d
List Coloring
Min k-Partition
Set Packing
Minimum
Interference
Frequency
Assignment
(MI-FAP)
Minimum
Blocking
Frequency
Assignment
(MB-FAP)
List T-Coloring
Minimum Span
Frequency
Assignment
(MS-FAP)
1
2
3
4
0,1
0
1
2
3
4
0,1
T-Coloring
Martin Grtschel
Martin Grtschel
1+
1
1
2
1
2
1
d
1
2
1
1+
1
c
1
d
Total penalty:
2 2
Maximum penalty: 1
1+
1
c
1
d
Total penalty :
1+
Maximum penalty : 1 +
Martin Grtschel
Martin Grtschel
Our Model
Carrier Network:
N = (V , E , C ,{Bv }vV , d , c , c )
co
ad
(spectrum)
Bv C for all v V
(blocked channels)
d : E Z+
(separation)
c co , c ad : E [0,1]
(interference)
Martin Grtschel
Vertex Coloring
Minimum Interference
Frequency Assignment
Integer Linear Program:
min
vwE
s.t.
co co
cvw
zvw +
f Fv
vf
List Coloring
Min k-Partition
Set Packing
Minimum
Interference
Frequency
Assignment
(MI-FAP)
Minimum
Blocking
Frequency
Assignment
(MB-FAP)
List T-Coloring
Minimum Span
Frequency
Assignment
(MS-FAP)
ad ad
cvw
zvw
vwE ad
co
T-Coloring
k-Colorability
=1
v V
xvf + xwg 1
vw E d , f g < d (vw)
vw E co , f Fv Fw
ad
xvf + xwg 1 + zvw
co
ad
xvf , zvw
, zvw
{0,1}
vw E ad , f g = 1
v V , f C \ Bv , vw E co , vw E ad
m
ini
m
u
av m d
er
ag egr
ee
e
de
gr
m
ee
ax
im
um
de
dia
gr
m
ee
ete
r
cli
qu
e
nu
m
be
r
[%
]
k
267
B-0-E-20 1876
f
2786
h
4240
de
ns
ity
|V
|
Ins
tan
ce
56,8
13,7
4,5
5,9
2
40
3
11
151,0
257,7
135,0
249,0
238
779
453
561
3
69
5
81
12
69
10 130
Martin Grtschel
Computational Complexity
Neither high quality nor feasibility are
generally achievable within practical
running times:
Testing for feasibility is NP-complete.
There exists an > 0 such that FAP
cannot be approximated within a factor
of |V| unless
P = NP.
Martin Grtschel
Martin Grtschel
Heuristics
T-coloring
Dual Greedy
DSATUR with Costs
o
-++
construction heuristics
o
+
o
++
other improvement
heuristics
Iterated 1-Opt
Simulated Annealing
Tabu-Search
Variable Depth Search
MCF
B&C-based
Martin Grtschel
264 cells
267 TRXs
50 channels
57% density
151 avg.deg.
238 max.deg.
69 clique size
Martin Grtschel
20 km
Commercial software
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
DC5-IM
Martin Grtschel
Martin Grtschel
Region Karlsruhe
2877
Carriers
75 channels
Interference
Reduction:
83.9 %
Martin Grtschel
Guaranteed Quality
Optimal solutions are out of reach!
Enumeration: 50
267
10
197
combinations
Hardness of approximation
Polyhedral investigation (IP formulation)
Aardal et al.; Koster et al.; Jaumard et al.; ...
Used for adapting to local changes in the network
Martin Grtschel
Martin Grtschel
264 cells
267 TRXs
50 channels
57% density
151 avg.deg.
238 max.deg.
69 clique size
DC5-VDS
Further
Reduction:
46.3%
Martin Grtschel
N = (V , E , C ,{Bv }vV , d , c , c )
co
ad
(spectrum)
Bv C for all v V
(blocked channels)
d : E Z + {0, 1}
(separation)
c co , c ad : E [0,1]
(interference)
Martin Grtschel
MIN k-Partition
No blocked channels
No separation constraints larger than one
No adjacent-channel interference
Invariant under permutation of channels!
min k-partition (max k-cut)
Chopra & Rao; Deza et al.; Karger et al.; Frieze & Jerrum
Martin Grtschel
MIN k-Partition
Given: an undirected graph G = (V,E) together
with real edge weights wij and an integer k.
Find a partition of the vertex set into (at most)
k sets V1, ..., Vk such that the sum of the edge
weights in the induced subgraphs is minimal!
Martin Grtschel
(ILP)
-> use at most k blocks
|V|
69
81
84
93
120
174
k
50
75
75
75
75
75
Triangle
Clique Inequalities
157182
17231414395464984
255960
25621596
285852
43595145594
389298
1724861095493098563
842520
1334655509331585084721199905599180
2588772 361499854695979558347628887341189586948364637617230
Martin Grtschel
Vector Labeling
Lemma: For each k, n (2 k n+1) there exist k unit
vectors u1, ..., uk in n-space, such that their mutual
scalar product is -1/(k-1). (This value is least possible.)
Fix U = {u1, ..., uk} with the above property, then
the min k-partition problem is equivalent to:
Martin Grtschel
Semidefinite Relaxation
(SDP)
Solvable in
polynomial
time!
(SDP) is an
approximation
of (ILP)
Martin Grtschel
Computational Results
S. Burer, R.D.C Monteiro, Y. Zhang; Ch. Helmberg; J. Sturm
Instance
cell.k
B-0-E
B-1-E
B-2-E
B-4-E
B-10-E
maximal clique
entire scenario
Martin Grtschel
Semidefinite Conclusions
Lower bounding via
Semidefinite Programming works (somewhat),
at least better than LP!
Challenging computational problems
Lower bounds too far from cost of solutions to
give strong quality guarantees
How to produce good k-partitions starting from
SDP solutions?
Martin Grtschel
Literature
(ZIB PaperWeb)
http://fap.zib.de
Konrad-Zuse-Zentrum fr Informationstechnik Berlin
Martin Grtschel
63
Martin
Grtschel