Professional Documents
Culture Documents
Abstra
t. We
onsider a version of the air
raft rotation problem where the ob-
je
tive is to minimize delay risks. Given a set of
ights to be
own by a sub
eet
the rotation problem is to nd a spe
i
route for ea
h air
raft of the sub
eet
su
h that ea
h
ight is
own by exa
tly one air
raft. Additionally, the sequen
e
of
ights dening a route must satisfy
ertain requirements mainly to avoid de-
lays. We present a mathemati
al model for the problem of minimizing the delay
risk a
ording to spe
ial requirements of a major airline. An eÆ
ient Lagrangian
heuristi
is proposed that uses subgradient optimization and linear assignments as
subproblems. Computational results on real data are given and
ompared to a
tual
air
raft rotations of that airline.
1 Introdu
tion
The air
raft rotation problem we
onsider in this arti
le is one of the rst steps
in the planning pro
ess of an airline. Usually, two other problems have to be
solved before. First, the airline must de
ide whi
h
ights should be oered.
This depends, for instan
e, on the expe
ted numbers of passengers and prots
of the
ights. Be
ause an airline has dierent types of air
raft (sub
eets ) ea
h
with dierent
hara
teristi
s like seating
apa
ities,
rew size, and operational
osts it must also de
ide whi
h air
raft type should be used to establish a
onne
tion. The result of this
eet assignment is a
ight s
hedule for ea
h
sub
eet whi
h is the input for the rotation planning problem.
A
ight s
hedule for a given sub
eet
onsists of dierent legs (i.e., non-
stop
ights) ea
h dened by a departure and arrival airport, a date, and
departure and arrival times. An example for a leg between Frankfurt and
Amsterdam
ould be
(FRA / 15. Aug / 19:20 ! AMS / 15. Aug / 20:25) .
The air
raft rotation problem is to determine routes, i.e., sequen
es of
on-
se
utive legs
own by the same air
raft.
In
ontrast to other problems arising within the planning pro
ess of
an airline (like the
eet-assignment problem mentioned above or the
rew-
s
heduling problem ) the air
raft rotation problem has seldomly been a subje
t
2 M. Elf, M. Junger, and V. Kaibel
The input for our rotation problem is a feasible s
hedule. This s
hedule is the
result of a
eet assignment and
onsists of all legs to be
own by a sub
eet
within a period of about six months. Feasibility means that there exist routes
overing all legs with at most as many routes as there are airplanes available.
Ea
h leg is
own by exa
tly one airplane. This rotation planning problem
an also be interpreted as the problem of assigning ea
h in
oming leg at an
airport to one outgoing leg. By dening the su
essor of ea
h leg routes are
determined.
In
ontrast to U.S. airlines
ontinental servi
es of European airlines show a
dierent stru
ture. There is no hub and spoke network but a small number of
airports in the home
ountry and many destinations in other parts of Europe.
Figure 1 shows an example of all
onne
tions within one day of a large sub
eet
of a German airline. We
an see that the arrival airports, resp. the departure
airports, of most
onne
tions are lo
ated in the home
ountry. That means,
most of the
onne
tions ae
t a relatively small number of airports. Later we
des
ribe how this
an be used to redu
e the problem size.
Be
ause usually there are only few stop-overs, the through value is of
minor interest. The obje
tive of our optimization is the redu
tion of delay
risks. In order to avoid delays we are given several rules for
onne
ting legs.
Air
raft Rotation Planning 3
Fig. 1. Conne
tions of a large sub
eet during one day. The size of the airports
are drawn in logarithmi
s
ale a
ording to the number of arrivals and departures.
Ea
h edge represents at least one
onne
tion per day.
These rules had been developed by our industrial partner and represent its
riteria for building rotations. Some of the rules forbid
onne
tions, others
penalize them be
ause of an in
reasing delay risk. There are two kinds of
penalizing rules whi
h we des
ribe below. Ea
h violation of a rule results in
a penalty. We are interested in rotations with a minimum sum of penalties
whi
h means small delay risks.
One set of rules (lo
al rules ) are easy to handle. They ae
t the
onne
tion
of exa
tly two legs. Later we will see how to model them with linear assign-
ment problems. An example of a lo
al rule is that between two
onne
ted
legs there must be a
ertain positive minimum ground time between the ar-
rival time of the rst and the departure time of the se
ond leg. This time is
needed, e.g., for lling-up fuel,
leaning-up, and inspe
ting the air
raft. It de-
pends on the airport of the
onne
tion, the departure airport of the rst, and
the arrival airport of the se
ond leg. SuÆ
iently large ground times should
furthermore guarantee that airplanes
an start at their s
heduled departure
times even if they arrive late. Under
ertain
onditions the a
tual ground
time is allowed to be slightly less than the minimum ground time, although
4 M. Elf, M. Junger, and V. Kaibel
this is not appre
iated due to an in
reasing delay risk. The number of su
h
minimum ground time (MGT) violations should be kept small.
Some airports in Europe have a very large volume of traÆ
. They are
alled air traÆ
riti
al (ATC) airports. Routes not visiting su
h airports
too often should be preferred be
ause large traÆ
may
ause delay. This is
taken into a
ount by another lo
al rule saying that the departure airport
and the arrival airport of two
onne
ted legs must not be air traÆ
riti
al.
A violation is
alled dire
t ATC violation. Overall there are six lo
al rules.
The se
ond
lass of rules ae
t the
onse
utive
onne
tion of more than
two legs, i.e, subpaths of routes. They are
alled non-lo
al rules and are mu
h
more diÆ
ult to handle. One rule restri
ts the number of ATC airports an
airplane visits within one day. Another rule demands not to
onne
t a
er-
tain number of
onse
utive legs with only the minimum ground time. The
most general rule is the following. For ea
h subpath of a route beginning in
the morning a propagated minimum ground time (PMGT) is dened whi
h
depends on the stru
ture of the subpath and the possibility of delay a
umu-
lation. The ground time of the last
onne
tion in su
h a subpath should not
ex
eed the propagated minimum groundtime.
30
airborne machines 25
20
15
10
5
0
0h 3h 6h 9h 12h 15h 18h 21h 24h
Fig. 2. Average number of airborne ma
hines over the period of one day. Ea
h
graph
orresponds to a sub
eet. Time is given in hours.
Let n 2 IN be the number of airports and L be the set of legs for whi
h arrival
or departure time lie within the optimization period (usually one day). For
ea
h airport i 2 f1; : : : ; ng we dene a set of arrival nodes Ai and departure
nodes Di . For ea
h leg arriving at an airport i within the period there is
exa
tly on arrival node a 2 Ai and for ea
h leg leaving an airport i within
the period there is exa
tly one departure node d 2 Di . Thus, usual legs (i.e.,
those
ompletely lying within the period) yield two nodes in the model, while
(the rare) \overnight-legs" give rise to only one node. Now we dene edges
representing feasible
onne
tions of two legs. Conne
table legs
orrespond to
a pair of arrival and departure nodes at the same airport. We dene an edge
set Ei at ea
h airport i. If it is possible to
onne
t the legs
orresponding
to the arrival node a 2 Ai and the departure node d 2 Di we introdu
e
an edge ead 2 Ei . This yields a bipartite graph S Gi = (Ai [ Di ; Ei ) Sfor ea
h
airport
S n
i 2 f1; : : : ; n g. Let
S n
G = (A [ D; E ) = n n
i=1 Gi with A = i=1 Ai ,
D = i=1 Di , and E = i=1 Ei be the
olle
tion of these graphs.
Figure 3 shows an example with three airports. Nodes are drawn top
down a
ording to the arrival resp. departure times of their legs. Solid edges
represent possible
onne
tions. Arrival and departure nodes belonging to the
same leg are
onne
ted with a dotted ar
. They are not edges of G but
represent the
ight dened by their end nodes. Some of the arrival nodes
without a
orresponding departure node are drawn red. These nodes are
alled initial nodes. They represent the air
raft being lo
ated at the respe
tive
airport at the start of the optimization period (e.g., those that have spent the
night at that airport). The initial nodes mark the beginning of the dierent
routes in the rotation s
hedule.
In order to nd a rotation we have to assign an arriving leg to ea
h
departure leg. In the graph model this results in D-perfe
t mat
hings, i.e.,
subsets of the edges E su
h that no two edges in the subset share a
ommon
endnode, but every node in D is
overed. Conversely, ea
h D-perfe
t mat
hing
6 M. Elf, M. Junger, and V. Kaibel
A1 D1 A2 D2 A3 D3
Fig. 3. The graph model with three airports. Solid edges represent possible
on-
ne
tions. Dotted edges
orrespond to
ights. Initial nodes are drawn red.
2.2 An ILP-Formulation
Non-lo
al rules ae
t more than one
onse
utive
onne
tion. They impli
itly
dene
ertain possible paths in the route of an air
raft that should be avoided.
These rules
annot be expressed in the mat
hing formulation. Based on the
graph model, we formulate the problem with non-lo
al rules as an integer
linear program.
Let P be the set of paths dened by the non-lo
al rules. Every P 2 P
onsists of some edges P = e1 e2 : : : ek in E . Let jP j := k be the length of the
path P . For every path P 2 P we dene a weight
P 2 IR0 a
ording to its
penalty. For ea
h edge (a; d) 2 E we dene a binary variable x(ad) 2 f0; 1g
Air
raft Rotation Planning 7
A1 D1 A2 D2 A3 D3
Fig. 4. One possible solution of the rotation problem. Bold edges represent
hosen
onne
tions. Red edges show a resulting route.
with the meaning that x(a;b) = 1 holds if the edge (a; b) 2 E belongs to
the solution and x(a;b) = 0 otherwise. For ea
h path P 2 P we introdu
e a
binary variable yP 2 f0; 1g with yP = 1 if and only if ea
h edge e in the path
P = e1 e2 : : : ek is part of the solution. The optimum solution of the integer
linear program
X X
Z = min
(a;d)x(a;d) +
P yP
(a;d) 2E P 2P
X
x(a;d) 1 (a 2 Ai ; 1 i n) (1)
d2Di
X
x(a;d) = 1 (d 2 Di ; 1 i n) (2)
a2Ai
X
x(a;d) yP jP j 1 (P 2 P) (3)
2P
(a;d)
yP = 1 for all P 2 P the
onstraints (3) are always feasible and do not
in
uen
e the x-part of a solution. Thus, for every rotation there is a feasible
solution of the ILP and vi
e versa. Be
ause the sense of the optimization
is to minimize and the obje
tive fun
tion
oeÆ
ients
P are non-negative a
variable yP has value zero unless
X
x(a;d) = jP j ;
2P
(a;d)
i.e., unless the x-part of the solution denes a route
ontaining the path P .
It follows that the obje
tive fun
tion value is the sum of all penalties.
Besides the
onstraints (1) and (2) for the x-part of the solution our ILP-
formulation
ontains a
onstraint and an additional variable yP for ea
h sub-
path P asso
iated with a non-lo
al rule. The
ight s
hedules we are dealing
with
ontain thousands of su
h subpaths whi
h result in integer linear pro-
grams with a very large number of
onstraints and variables. They are too
large for state of the art mixed integer solvers. In order to solve the rotation
problem, we apply a Lagrangean relaxation to our ILP-formulation and use
subgradient optimization to solve the dual problem. In general, this approa
h
Air
raft Rotation Planning 9
does not yield optimal solutions. But
ompared to a
tually
own rotations
we
an substantially de
rease the number of violations. The lower bound
provided by the Lagrangean relaxation is of minor quality.
By relaxing the
onstraint set (3) for non-lo
al rules with Lagrangean
multipliers P 2 IR0 for ea
h subpath P 2 P we obtain a Lagrangean
relaxation
X X
ZD () = min
(a;d)x(a;d) +
P yP
2E
(a;d) P 2P
0 1
X X
+ P x(a;d) yP jP j + 1A
P 2P 2P
(a;d)
X
x(a;d) 1 (a 2 Ai ; 1 i n)
d2Di
X
x(a;d) = 1 (d 2 Di ; 1 i n)
a2Ai
x(a;d) 2 f0; 1g ((a; d) 2 E )
yP 2 f0; 1g (P 2 P ) :
The Lagrangean dual is
ZD = max0 ZD ()
2IR
whi
h yields a lower bound on the optimum obje
tive fun
tion value of the
ILP-formulation. Our Lagrangean relaxation has the \integrality property"
whi
h means that there exists alway an integer optimum solution even if the
integrality requirements are ignored. Obviously the y -part of any optimum
solution is integer and does not in
uen
e the x-part. By a
lassi
al theorem
due to Birkho (1946) (see also von Neumann, 1953) the x-part of an opti-
mum solution is also integer sin
e the feasible set is an integer polyhedron.
The integrality property implies that the bound obtained by the Lagrangean
dual equals the LP-bound of the ILP-formulation (see, e.g., S
hrijver (1993)).
The independen
e of the x-part and the y -part also guarantees that the La-
grangean relaxation with a xed
an be solved by determining D-perfe
t
mat
hings in the model graph like in the
ase without non-lo
al rules. The
optimum values of yP
an be obtained by setting
(
0 if
P P
yP =
1 if
P < P
for all P 2P :
Be
ause the Lagrangean dual is a pie
ewise linear
onvex optimization prob-
lem it
an be solved by a subgradient method as des
ribed in Fis
her (1985).
10 M. Elf, M. Junger, and V. Kaibel
where (k) is a subgradient of the dual fun
tion ZD () and tk is a positive
s
alar step size. The subgradient of the k -th iteration is obtained as
X
P(k) = k)
x((a;d)
yP(k) jP j + 1 (P 2 P ; k 1)
2P
(a;d)
with the optimum solution (x(k) ; y (k) ) of the Lagrangean relaxation ZD ((k) ).
Theoreti
ally, the sequen
e fZD ((k) )g
onverges to ZD if the step length
P
tk is
hosen su
h that tk ! 0 and ki=0 ti ! 1. In pra
ti
e it is more suitable
to
hoose the step length a
ording to
Z^ ZD ((k) )
tk =
k k
(k) 2
During the subgradient pro
edure most of the work is spent in solving the
Lagrangean subproblems, i.e, for the solution of the bipartite mat
hing prob-
lems in the model graph G. In our software the time for solving the mat
hing
problems is about 98% of the overall running time. Thus, these problems
should be solved as eÆ
iently as possible. One possibility to gain a faster
algorithm is to redu
e the problem size. In Se
tion 1.1 we already mentioned
the spe
ial stru
ture of our
ight s
hedules. There are many airports with
a very small number (e.g, 4) of
onne
tions during the day. This often
results in bipartite mat
hings with exa
tly one solution or in problems where
most of the edges
annot be part of any solution. Due to stru
tural reasons,
edges that are not part of any solution even o
ur at airports with larger
number of
onne
tions. We
an prune all these edges from the model graph
in a prepro
essing step. This is done as follows.
Consider a bipartite graph Gi = (Ai [ Di ; Ei ) of our model and let M
be a Di -perfe
t mat
hing. An M -alternating path is a path su
h that ea
h
non-mat
hing edge is followed by a mat
hing edge and vi
e versa. Alternating
y
les are dened similarly. Sin
e the symmetri
dieren
e of two mat
hings
is a disjoint union of alternating paths and
y
les, it follows that an edge
belongs to no Di -perfe
t mat
hing if it is not
ontained in any M -alternating
y
le and not
ontained in an alternating path with one end
overed by M
and one not. If we dire
t all edges in M from Di to Ai and all other edges from
Ai to Di , the rst kind of edges are edges between two strongly
onne
ted
omponents of the dire
ted graph. The se
ond kind of edges are edges whi
h
are not part of a dire
ted path starting at a free node in Ai . Both
an be
omputed in linear time.
Another
ru
ial point for keeping the running time as small as possible is
the method for solving the bipartite mat
hing problems. Usually this is done
by the Hungarian method (see Kuhn (1955)), but for our problem primal
methods are more suitable. During the subgradient optimization we have to
solve a sequen
e of mat
hing problems at the same graph but with dierent
obje
tive fun
tions. Espe
ially in later iterations of the subgradient method
when the step size has be
ome small there are only little
hanges of edge
weights. It follows that the optimum obje
tive fun
tion values of the mat
hing
problems
hange only slightly and that the solution of an iteration is near to
the optimum of the next iteration.
This is taken into a
ount by primal methods. They are able to perform
a \warm start" at a feasible solution, e.g the near optimum solution of the
previous iteration of the subgradient method. Often it is possible to
om-
pute the optimum mat
hing with only few iterations. In our appli
ation we
12 M. Elf, M. Junger, and V. Kaibel
4 Results
We tested our algorithm on three dierent data sets of real
ight s
hedules.
For ea
h of these s
hedules we performed experiments with six sub
eets of
dierent sizes and
hara
teristi
s. It turned out that the s
hedules do not
dier in terms of the
omplexity of the rotation problems. Table 1 shows the
problem
hara
teristi
s of all sub
eets for a typi
al day. There are four large
sub
eets (321, 320, 733, and 735) and three smaller ones (314, 319, and AB6).
For ea
h sub
eet the table
ontains a row with the number of edges in the
model graph G, the number of
hosen edges (
onne
tions) in the solution,
the number of dualized
onstraints for non-lo
al rules, the maximum number
of non-zero Lagrangean multipliers during the subgradient method, and the
time for the Lagrangean heuristi
.
sub
eets
314 319 320 321 733 735 AB6
edges in G 150 518 3064 1729 2334 1507 373
onne
tions 33 108 207 236 207 129 48
dualized
onstraints 85 142 1035 1132 1265 800 27
non-zero multipliers 34 57 104 175 130 113 19
time in se
onds 0:2 0:7 4:9 3:0 4:1 2:4 0:1
Be
ause our data shows a distin
tive weekly periodi
ity we do not present
results of the whole period of about six month but
on
entrate on a small
number of weeks. The presented results are generalizable. Figure 5 shows the
ratios of the number of violated rules in solutions found with the Lagrangean
heuristi
and the number of violations in a
tually
own routes. Ea
h graph
orresponds to one of the sub
eets under
onsideration. Ex
ept for the sub-
eets 314, 319, and AB6 the ratio is between 0:4 and 0:7 whi
h means that
the
omputed routes
ontain 30%{60% less violations than the
own routes.
The number of violations for the sub
eets 314 and AB6 is at least 20% better
than in the
own routes. The ratio for sub
eet AB6 is often less than 0:4.
For the sub
eet 319 it is sometimes possible to obtain redu
tions of violations
better than 50% but on some days we only get the same number of violations.
The time used to
ompute the solutions is always less than 5 se
onds. Table 1
Air
raft Rotation Planning 13
0.8
0.6
ratio
0.4
0.2
0
week 1 week 2 week 3
Fig. 5. Ratios of the total number of violated rules for
omputed and a
tually
own
rotations. Ea
h of the six graphs
orresponds to a sub
eet.
ontains typi
al running times for all sub
eets at a SUN Ultra 4 workstation
with 300 MHz.
Until now we only
onsidered the total amount of violations. Table 2
shows a detailed
omparison of all violations in
omputed and
own routes
for one week of sub
eet 733. Also these results are similar for dierent weeks
and sub
eets. We
an see that in both
ases the number of violations is
dominated by the number of violations for the rule \I" whi
h is the PMGT
rule. With the Lagrangean heuristi
it is possible to redu
e these violations
drasti
ally. Although we minimize the total amount of violations, the overall
de
rease of violations is obtained by redu
ing violations for all but one rule.
Only the number of violations of rule \E" (MGT violation) in the
omputed
routes marginally ex
eeds the violations in the
own routes three times.
The last
olumn of Table 2
ontains the lower bound obtained by opti-
mizing the Lagrangean dual. There is a large gap between the best solution
and this bound. This is not
aused by an insuÆ
ient
onvergen
e of the sub-
gradient method but the poor LP-bound of our ILP-formulation. Often a
Lagrangean heuristi
is embedded in an bran
h and bound s
heme to nd
optimum solutions. Be
ause su
h a s
heme stronly depends on the quality of
the bounding pro
edure this is not reasonable in our
ase.
In order to make our algorithms and tools for the rotation problem suit-
able for pra
ti
al use we bundled them in the software pa
kage RPF. This
pa
kage
ontains a C++
lass library, a
ommand line tool, and a graphi
al
user interfa
e. The library
an be used to integrate our methods in existing
software pa
kages. With the
ommand line tool it is possible to read/write
the s
hedule and routing data in the standard SSIM format used by many
airlines. With this format we
an easily
ommuni
ate with existing software
without
hanging it. In addition to the
omputation of rotations, our tool
provides a lot of fun
tionality to analyze s
hedule data and routing informa-
14 M. Elf, M. Junger, and V. Kaibel
Table 2. Detailed
omparison of
omputed and a
tual routes for the sub
eet 733.
The left value in a
olumn is the number of violations for the
omputed route the
right value is the number of violations in the a
tually
own routes.
Day A B
lo
al rules
C D E F
non-lo
al rules
G H I
P bound
1. 0/0 0/0 0/0 0/1 6/4 0/2 0/1 0/9 36/55 42/72 12
2. 0/0 0/0 0/0 0/0 5/6 0/2 0/2 2/9 34/51 41/70 12
3. 0/0 0/0 0/0 0/1 4/5 0/2 0/1 2/9 37/58 43/76 13
4. 0/0 0/0 0/0 0/2 5/4 0/1 0/1 2/8 32/54 40/70 11
5. 0/0 0/0 0/0 0/2 6/4 0/1 0/1 2/7 32/53 40/68 12
6. 11/11 2/3 0/0 0/3 4/7 1/1 1/1 0/2 11/25 30/53 23
7. 7/7 1/2 0/0 1/2 3/6 0/0 0/0 0/2 7/17 19/36 13
tion. With the graphi
al user interfa
e the s
hedule and routing information
an be displayed in a user-friendly way. Figure 6 shows a s
reenshot of our
interfa
e displaying a solution for sub
eet 314. It is also possible to show
dieren
es of two rotations, e.g., rotations found by optimizing with dierent
weighting of violations. This
an help to analyse dierent rotations and to
nd an appropriate weighting strategy.
Referen
es
Ahuya, R. K., Magnanti, T. L., and Orlin, J. B., Network Flows: Theory, Algo-
rithms, and Appli
ations, Prenti
e Hall, Englewood Clis, NJ, 1993.
Boland, N. L., Clarke, L. W., Johnson, E. L., Nemhauser, G., and Shenoi, R. G.:
Flight String Models for Air
raft, Fleeting and Routing, Transportation S
ien
e.
Fo
used Issue on Airline Optimization, Vol. 32, No. 3, pp. 208-220, 1998.
Birkho, G.: Tres observationes sobre el algebra lineal. Revista Fa
ultad de Cien-
ias Exa
tas, Puras y Appli
adas Universidad Na
ional de Tu
uman, Serie A
(Matemati
as y Fisi
a Teoreti
a) 5, pp. 147{151, 1946.
Clarke, L., Johnson, E. , Nehmhauser, G., and Zhu, Z.: The Air
raft Rotation
Problem. Annals of Operations Resear
h 69, pp. 33{46, 1997.
Crowder, H.: Computational Improvements for Subgradient Optimization. Sym-
posia Mathemati
a, Vol XIX., A
ademi
Press, London, 1976.
Fisher, M. L.: An Appli
ation Oriented Guide to Lagrangian Relaxation. Inter-
fa
es 15, pp. 10{21, 1985.
Kuhn, H. W.: The Hungarian Method for the Assignment Problem. Naval Resear
h
Logisti
s Quaterly 2, pp. 83{97, 1955.
S
hrijver, A.: Theory of Linear and Integer Programming, John Wiley & Sons, In
.,
New York, 1986.
von Neumann, J.: A
ertain zero-sum two-person game equivalent to the optimal
assignment problem. In: Contributions to the Theory of Games, Vol. II, Kuhn,
H. W. and Tu
ker, A. W. (eds.), Prin
eton University Press, pp. 5{12, 1953.
Air
raft Rotation Planning 15