<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>An Optimal Fleet Assignment and Flight Scheduling Problem for an Airline Company</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Yurii A. Mezentsev</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Igor V. Estraykh</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Novosibirsk State Technical University</institution>
          ,
          <addr-line>Novosibirsk</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
      <fpage>276</fpage>
      <lpage>290</lpage>
      <abstract>
        <p>An original problem statement and solution algorithms are presented for an applied problem in the scheduling theory. The idea of the optimal fleet assignment and Flight Scheduling problem considered in this paper is to find a scheduling control method that minimizes the losses of the airline company from aircraft schedule disruptions. The problem is NP-complete and cannot be solved accurately for any real-life number of dimensions. An efficient parametric algorithm is proposed for finding an approximate solution of the problem. The proposed algorithm is an extension of the schedule optimization algorithm for a system of unrelated parallel machines with job release dates, which is based on the makespan criterion (Cmax). A substantial example is presented of applying the algorithm, as well as statistics of testing it on the data of a generating problem by the Cmax criterion.</p>
      </abstract>
      <kwd-group>
        <kwd>Optimal scheduling</kwd>
        <kwd>Airline fleet assignment</kwd>
        <kwd>Makespan criterion</kwd>
        <kwd>Efficient parametric algorithm</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>One of the areas where optimization methods are traditionally applied in practice is
the planning of airline operations. In this case, planning involves several stages, the
most important being aircraft scheduling, fleet assignment, routing, and crew
planning. A detailed review on this topic was published, e.g., by Grönkvist (2005) [1]; the
formal problem statements and approaches to solving the basic problems were
discussed by Sherali, Bish, and Zhu (2006) [2] and in the numerous publications
following individual lines of applied research from among those listed above [3–22].</p>
      <p>For instance, the problems and algorithms of airline fleet assignment modeling
(FAM) are examined in [3–7]. The main focus in [8–16] is on the aircraft routing
problem (ARP). Simultaneous solving of both problems (FAM and ARP) is
considered, e.g., in [17–19]. Finally, the studies closest to the subject of the present paper [1,
5, 20–22] consider the optimal scheduling problem, including route changes and fleet
assignment.</p>
      <p>Copyright © by the paper’s authors. Copying permitted for private and academic purposes.</p>
      <p>In: S. Belim et al. (eds.): OPTA-SCL 2018, Omsk, Russia, published at http://ceur-ws.org
Obviously, the above listed problems are closely related. All their relevant formal
representations belong to the class of intractable problems of mixed programming.
The approaches that are used to find their approximate solutions build on classical
schemes such as the Lagrangian relaxation methods, column generation, and Benders
decomposition and apply the well-known computational tools of combinatorial
optimization, methods of cuts, and programming in constraints [1, 2].</p>
      <p>The core of this work is an original problem statement in the form of an optimal
scheduling problem for a system of unrelated parallel machines (aircraft) with job
release dates (flight delays), which is adapted to the airline flight scheduling problem
proposed by the authors in [23, 24], together with a special efficient parametric
algorithm for its approximate solution [24].
1</p>
    </sec>
    <sec id="sec-2">
      <title>Conceptual and Formal Statement for the Optimal Fleet</title>
    </sec>
    <sec id="sec-3">
      <title>Assignment and Flight Scheduling Problem</title>
      <p>The input data are airline flight schedules, standard flight times for of all types of
aircraft, and standard times for ground handling and flight preparations for all types of
aircraft.</p>
      <p>The real-time information is flight delays at any given time at all airports.</p>
      <p>Then, conceptually, the scheduling problem consists in finding, for the flights in
the planning period, such an airline fleet assignment that will minimize the maximum
total deviation from the initial schedule for the entire fleet while satisfying all the
constraints of the initial schedule in terms of the passenger flow, number of flights,
and flight standards.</p>
      <p>We use the following notation:
l is the airport number, l  L ;
i is the flight number, i  Il ,  Il  I , Il  Il'  , l, l' L ;</p>
      <p>lL
s is the type of aircraft, s  S ;
j is the tail number, j  J s ,  J s  J , J s  J s'  , s, s' S ;</p>
      <p>sS
 i0 is the actual delay of flight i at the time of scheduling,  i0  0 , i  Il , l  L ,
0   i0 . Hereinafter,  denotes a vector, matrix, or tensor corresponding to the
context of dimension;
ti0 is the scheduled departure time of flight i , i  Il , l  L , T 0  ti0 ;
ti0  i0 is the possible actual departure time of flight i at the initial time of
scheduling;</p>
      <p>ti, j is the time of ground handling, preparation, and air travel of flight i of aircraft
j , T  ti, j , i  Il , l  L , j  J s , s  S .</p>
      <p>We need to find xi, j under the constraints:</p>
      <p>1, if aircraft j is assigned to flight i,
xi, j  
0 otherwise,</p>
      <p>
        i  Il , l  L , j  J s , s  S
 xi, j  1 , i  Il l  L ,
jJ
(constraint (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) means that only one aircraft is assigned to flight i);
b j   xi, j  b j , l  L , j  J s s  S ,
      </p>
      <p>
        iIl
(constraint (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) means that aircraft with tail number j can be assigned to no less than
b j and no more than b j flights);
      </p>
      <p>
         i, j is a possible delay in the departure of aircraft j on flight i , i  Il , l  L ,
j  J s , s  S ( i, j can be negative, which is taken into account in constraints (
        <xref ref-type="bibr" rid="ref5">5</xref>
        )
and (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ))
 i, j  ti0  i0   ( k, j  tk, j )xk, j , i  I k , j  J s , s  S ,
      </p>
      <p>
        kIk
(constraint (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) means that the delay of aircraft j at the current step (on flight i ) is a
recursive function of the delays accumulated in the previous flights of this aircraft);
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
(
        <xref ref-type="bibr" rid="ref4">4</xref>
        )
(
        <xref ref-type="bibr" rid="ref5">5</xref>
        )
(
        <xref ref-type="bibr" rid="ref6">6</xref>
        )
(
        <xref ref-type="bibr" rid="ref7">7</xref>
        )
(
        <xref ref-type="bibr" rid="ref8">8</xref>
        )
(7’)

 i, j  i, j  yi, j  0 , i  Il , l  L , j  J s , s  S ;
yi, j  0 , i  Il , l  L , j  J s , s  S .
      </p>
      <p>
          min

 i, j xi, j  
iIl
Constraints (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ) and (
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) neutralize negative delays through the compensating
varia
bles yi, j  0 ; then,  i, j  0 is the dependent variable, having the meaning of adjusted
delay between the arrival of the aircraft j and its flight i , taking into account the
required service time on the ground, and
      </p>
      <p>
 i, j xi, j   ti, j xi, j   , l  L , j  J s , s  S ,
iIl iIl</p>
      <p>
        Relations (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) and (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) represent the minimax makespan criterion. The use of this
criterion helps achieve a uniform distribution of load on the fleet by minimizing the
maximum total downtime for any aircraft from the whole set of aircraft of the airline.
      </p>
      <p>
        Another variant of constraint (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) is
(
        <xref ref-type="bibr" rid="ref9">9</xref>
        )
      </p>
      <p>
        Instead of, or together with (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ), one can apply an additive criterion of minimization
of the total delays
      </p>
      <p>
        
  i, j xi, j  min
jJiI
Relations (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ), which mediate constraints (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ) and (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ), contain recursions because

any subsequent (in time) values of  i, j and  i, j depend on the previous ones.
      </p>
      <p>
        Calculating the delays  i, j in all the i previous steps is associated with
considerable difficulties because, first, due to the multiplicity of the variants of their formation
with the subsequent choice of the best, and, second, the expansion of recursions and
reduction of the statement (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) - (
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) to the one-stage mixed programming problem
leads to an increase in the number of Boolean variables and constraints in the problem
by a factor of I 2 , where I  sup I [23]. The structural complexity of (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) is
thereby reduced to the computational complexity of the resulting problem statement,
which remains intractable given that the initial dimension increases by a large factor.
      </p>
      <p>
        For more detail on the expansion of recursions for a statement identical to (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        )
with the formation of a one-step problem (which we call, for brevity, a direct
reduction) and the subsequent formation of a simplified (relaxed) problem with two criteria
(called a bicriteria relaxation), which allows one to find close-to-optimal schedules in
terms of makespan, see [23, 24]. These works also provide experimental proof of
inefficiency of using the direct reduction. Thus, e.g., finding even an approximate
solution with no more than a six-percent deviation from the optimum for a problem
instance with 20 flights and 5 aircraft took more than 16 hours of computing time
using a 6-core processor and the latest version of the IBM ILOG CPLEX optimization
studio. In [24], one can also find the results of applying the bicriteria relaxation using
CPLEX. Below we compare the accuracy and computing time in the approach
developed in our publication with the results achieved through the application of the
bicriteria relaxation (Table 9).
2
      </p>
    </sec>
    <sec id="sec-4">
      <title>Parametric Algorithm for Finding Suboptimal Solutions</title>
      <p>
        Since the problem contains recursions, DP is, most likely, the only computational
method directly applicable to solving problem (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ). However, the direct
application of DP is inefficient, partly because the problem in question is NP-complete. In
attempts at finding an accurate solution of (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ), DP leads to an exhaustive search
through all possible options. It is easy to calculate the number N of these options.
For example, if k is the step number and we assume in (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) that b j  0 and
b j  sup I , I  sup I , J  sup J , then, as shown below, considering that the number
of options grows in a geometric progression with DP steps, we have
 I 1 
N   J  J  2 .. Therefore, the DP method in (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) has a complexity greater
 
than the exponential one and is not applicable in its pure form to problems with an
actual number of dimensions.
      </p>
      <p>To construct an efficient approximate algorithm, we use a general DP scheme with
the sifting of locally worst options at certain DP steps. We tested this approach
previously in solving optimal scheduling problems for unrelated parallel machines with job
start delays [24]; the tests showed good results in terms of accuracy and speed.</p>
      <p>We assume that all flights i  Il , l  L , are arranged in the order of the initial
delays (the initial schedule  i0 ), considering the aircraft locations at the time of
scheduling. Then, based on the DP procedure, we determine the step number   1, I .
We denote the time when aircraft j completes flight  at step  as

f , j ( , j , t , j , x , j ) , j  J s , s  S , and the conditional minimum time of completion

of all flights at steps from 1 to  as  ( , j , ti, j , xi, j ) i  1, I , j  1,
 
f , j ( , j , t , j , x , j )  max0,[ , j x , j  1, j ( 1, j , ti, j , xi, j )] t , j x , j , j  1, J ,
i  1, 1 .</p>
      <p>2
N  J  J
 ...  J
k
 ...  J</p>
      <p>I</p>
      <p> I 1
  J
</p>
      <p>
 J  2
</p>
      <p>
        We can sift out intermediate schedules in DP in different ways. If we discard all
intermediate schedules at step k except the locally best one, we have a greedy
algorithm. If we keep all the intermediate schedules, we have an exhaustive search
through all the options. In the latter case, we have J intermediate schedule options at
2 k
step 1, J options at step 2, and J options at step k . If we look for a compromise
between accuracy and speed, then, considering that we seek to construct an efficient
algorithm, the number of intermediate schedules should be polynomially dependent
on the number of Boolean variables in (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ).
      </p>
      <p>The recurrent Bellman relation for this problem is</p>
      <p>
          
 , j ( 1, j , ti, j , xi, j )  f , j ( , j , t , j , x , j )  1, j ( 1, j , ti, j , xi, j ), i  1, 1 , (
        <xref ref-type="bibr" rid="ref11">11</xref>
        )
(
        <xref ref-type="bibr" rid="ref10">10</xref>
        )
(
        <xref ref-type="bibr" rid="ref12">12</xref>
        )
(
        <xref ref-type="bibr" rid="ref13">13</xref>
        )
 ( , j ,ti, j , xi, j )  max  , j ( 1, j ,ti, j , xi, j ), j  J s , s  S , i  1, .
      </p>
      <p>j</p>
      <p>
        To achieve the minimum makespan in (
        <xref ref-type="bibr" rid="ref7">7</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ), we should select in the last step the
minimum value of  I ( I , j , ti, j , xi, j ) , i.e., find.   min  I ( I , j ,ti, j , xi, j ) j  J s , s  S ,
 
i  Il , l  L . The total number of scheduling options that we need to find to ensure
the best schedule is
obtain J options at step 1, J
      </p>
      <p>Let us now consider one such compromise. First, we determine the maximum
number K of the options retained at stage k for further analysis. For convenience of
description, we assume that K is a constant. For example, we assume that K  1024
and determine the maximum number K '  J k  K . Since the number of possible
intermediate schedules increases by a factor of J at each step, we suggest sifting out
11/ J of the locally worst options at each step starting from k 1 .</p>
      <p> ln K 
 ln J   , where  is the integer part of the number.</p>
      <p>Obviously, k : k  
If we calculate the total number of schedule options generated in the algorithm, we
k k</p>
      <p>options at steps from
options at step k , and also J
k 1
k 1 to I . This scheme is implemented by sifting out J intermediate schedule
options at all the steps from k  1 to I . Then, the number of options that remains for
further consideration at each step beginning from k 1 is exactly J , and the total
number of intermediate schedules N' is</p>
      <p>
        N ' J  J 2  ...  J
k 1
 J k  ...  J k   J k 1  J  2  I  k  1 J k
 
(
        <xref ref-type="bibr" rid="ref14">14</xref>
        )
      </p>
      <p>
        Since k is a constant, relation (
        <xref ref-type="bibr" rid="ref14">14</xref>
        ) represents a polynomial dependence of the
complexity of the parametric DP algorithm with option-sifting on the dimension of
problem (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ). In this case, k is the degree of this polynomial. For clarity, we
compare N with N' , assuming k  3 , I  1000 , and J  100 .
      </p>
      <p>N  1001001 100 2 ,</p>
      <p>Then, N '  1002 100 2  100  21003  98009900 .
These circumstances underlie the ordinary complexity of the parametric algorithm (its
complexity is defined by the parameter k ) and the virtually infinite complexity of the
DP method.</p>
      <p>
        Based on (
        <xref ref-type="bibr" rid="ref14">14</xref>
        ), we can estimate the total complexity of the parametric algorithm.
To this end, it is sufficient to determine the complexity of the step beginning from k ,
which directly depends on the number of combinations of the variables xi, j at step k .
If we denote this value as Pk , then, obviously, Pk  J k . In fact, this means that at
each step beginning from k , the algorithm requires calculating Pk variants of
constrains (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) for all the possible values of xk, j . In total, we have at all steps: P1  J ,
P2  J 2 , Pl  J k , l  k, I . In the above example, Pk  1003 , and, considering (
        <xref ref-type="bibr" rid="ref14">14</xref>
        ),
we obtain a high complexity for a problem with an actual number of dimensions. We
can overcome this difficulty either by reducing k or by decomposition.
      </p>
      <p>Below we describe the parametric DP algorithm with the sifting of the locally
worst intermediate options.
Algorithm</p>
      <p>AP
1. Enter the input data ( i0,ti, j ) , j  J s , s  S , i  Il , l  L , and the parameters k
and N' . Assuming that 0, j ( 00,ti, j , xi, j )  0 , determine the initial step number
 : 0 .</p>
      <p>2.  :  1 .</p>
      <p>
 , j ( , j ,ti, j , xi, j ) .</p>
      <p>3. Check the step number. If   I , proceed to point 7; otherwise, proceed to the
next point.</p>
      <p>
        4. At step  , determine the sequence of the subsequent steps (rearrange the flight

list), calculate the delays  , j , generate from (
        <xref ref-type="bibr" rid="ref10">10</xref>
        )–(
        <xref ref-type="bibr" rid="ref12">12</xref>
        ) all the feasible fleet
assign
ment options, and calculate f , j ( , j , t , j , x , j ) and the schedule lengths
5. Check N , i.e., the number of options of  , j ( , j ,ti, j , xi, j ) at step  . If   k
6. Sift out J
      </p>
      <p>
lengths  , j ( , j ,ti, j , xi, j ) . Return to point 2.
, i.e., N  N ' , then proceed to point 2; otherwise, proceed to the next point.
k 1</p>
      <p>of all the options generated at point 4 with the largest schedule
7. Choose schedule options with the minimum length. Construct the final schedules
using the inverse DP procedure.

A note on the AP algorithm regarding estimates for the delays  i, j :

At each step of the algorithm, one needs to estimate the delays  i, j for aircraft that

have not yet arrived at the airport of departure. The estimates for  i, j are found by
solving the subproblems of finding all the shortest paths in a graph composed of the
possible connections between the airports. In general, one should find these estimates
at each step because the delays can vary from step to step, depending on the previous
local fleet assignments.
3</p>
    </sec>
    <sec id="sec-5">
      <title>Illustrative Example</title>
      <p>Below is an illustrative fragment demonstrating the application of the proposed
algorithm for constructing a close-to-initial flight schedule and fleet assignment for
three aircraft (designated by their tail numbers 1, 2, and 3) of two different types.</p>
      <p>The input data on the flights and time costs are given in Table 1.</p>
      <p>In Table 1, the Time column contains ti, j ; the Location column shows the
presence or absence of aircraft at the airport of departure at each step of scheduling; and
the initial schedule corresponds to  i0 . The Tail Number column shows the numbers
j . The data in Table 1 are sorted by  i0 , taking into account the aircraft location. The
flights are numbered in the same order.</p>
      <p>The algorithm parameters are k  1 , ( N '  3 ), J  3 , and I  11 .</p>
      <p>Since k  1 , we can reduce the number of dimensions (the eliminated options are
highlighted by filling). </p>
      <p>After the third step, both the aircraft locations and the current delays  i, j change,
necessitating a new tail assignment sequence, i.e., a change in the sequence of the
algorithm steps (see point 4 in AP ).
1, j  f1, j ,1  majx 1, j 
1  max{6;0;0}=6
1  max0, 1,2,0 1,2 ,
1  max0,0,   
The change in the tail assignment is given in Table 4, whose rows are arranged in

the order of increasing  i, j , considering the current aircraft locations.</p>
      <p>Destination
airport
2
3
1
1
3
2
2
3
1
1
3
  11 x8,1 x8,2 x11,1 x11,2
Flights:
1,2,3,6,
7,10,11,
5,8,4,9
1
1
1
0
0
0</p>
      <p>This example clearly demonstrates the universal applicability of the AP algorithm.
It is also suitable for solving both the FAM problem and the mixed FAM + ARP
problem. The same feature allows finding for the target optimal scheduling problem a
k -best solution that minimizes the airline company losses from disruptions in the
initial aircraft flight schedules.</p>
      <p>The solution obtained by the parametric AP algorithm can be improved using a
procedure based on an exchange of flights between aircraft. Below we describe this
algorithm.</p>
      <p>At the first step, we select an aircraft with the maximum total flight time and try
reassigning one of its flights to another aircraft. If the exchange reduces the value of
the objective function, we repeat the process; otherwise, we move to the next flight.</p>
      <p>At the second step, we select an aircraft with the maximum total flight time and
consistently review the flights assigned to this aircraft. In each case, we search for
flights that this aircraft makes in less time yet assigned to another aircraft. Then, the
flights are exchanged between the aircraft. If the exchange reduces the value of the
objective function, we repeat the second step; otherwise, we cancel the exchange and
search for another flight suitable for reassignment. We denote the general
exchangebased algorithm, as well as the one implemented at step two, as AС . The application
of the AС algorithm at step two can be detailed as follows:</p>
      <p>Algorithm AС
1. Select aircraft m with the maximum total flight time m   .
2. Assume i : 1 .
3. If i : m , then go to point 14.
4. Assume l : 1 .
5. If xm,l  0 , then go to point 12.
6. Assume j : 1 .
7. If j  l or xi, j  0 or tm, j  tm,l or ti,l  ti, j  m  i , go to point 10.
8. Assume xi, j  0 , xm, j  1 , xi,l  1 , xm,l  0 .
9. Calculate the value of the objective function. If it has decreased, go to point 1;
otherwise, assume xi, j  1 , xm, j  0 , xi,l  0 , xm,l  1 .</p>
      <p>10. Assume j : j  1 .
11. If j  J , go to point 7.
12. Assume l : l 1.
13. If l  J , go to point 5.
14. Assume i : i 1.
15. If i  I , go to point 3; otherwise, stop the algorithm.</p>
      <p>
        Let us estimate the complexity of the AС algorithm, which searches for flight
exchange options between aircraft for any finite schedule obtained by the AP
algorithm. Since the former conducts an exhaustive search among all aircraft and all
flights and calculates the value of the objective function for every exchange option,
2 
the complexity of the exchange-based algorithm for one schedule is O I  J  . But
 
since the AP algorithm generates J schedules at the final step, the total upper-bound
A software implementation of the parametric AP and exchange-based AС
algorithms allowed us to investigate their properties for instances with a close-to-actual
number of dimensions. The algorithms were tested on the data of the optimal
scheduling problem for a system of unrelated parallel machine with job start delays [23].
Table 9 contains the results of testing the instances of problem (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) with the use of
the above-mentioned means of solving the bicriteria relaxation of problem (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        )
[23] and the AP and AС algorithms. All the tests have the same number of
dimensions. The number of flights is I  100 , and the number of aircraft is J  5 . The
algorithms AP and AС were applied with two values of the parameter: k  4 and
k  5 .
      </p>
      <p>In Table 9, tda and da are, respectively, the solution time (hh:mm:ss) and the
value of the efficiency criterion, which were obtained by applying the basic algorithm
based on bicriteria relaxation and IBM ILOG CPLEX [24].The values tdp , dp , pdp ,
and dp are, respectively, the solution time (in seconds); the value of the criterion;
and the relative and absolute worsening (improvement at a negative value) of the
criterion achieved by the AP algorithm, compared with the basic algorithm. The
corresponding cdp , pdcp , and cdp values were obtained by the AС algorithm.</p>
      <p>
        In general, there is an evident absolute gain in speed due to the efficiency of the
AP algorithm and its combination with AС . Moreover, the solutions obtained show
almost complete superiority over the basic algorithm in terms of closeness to the
optimal solutions.
note the following points. There are no a priori accuracy estimates for AP and for the
combination AP + AС , but there are a posteriori ones at small dimensions, which are
as follows [24]: in approximately 82% of cases, an accurate solution was obtained in
the generated tests. In the other cases, the deviation from the optimum was no more
than 6%. This conclusion was derived from a comparison of the AP + AС testing
results with the solutions of the same tests in CPLEX by the expansion of recursions
and the direct reduction of problem (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )–(
        <xref ref-type="bibr" rid="ref8">8</xref>
        ) in milp.
      </p>
      <p>The dimensions of the tests (100 flights and 30 aircraft) and the solution time offer
hope that the designed toolkit would be efficient in solving real-life problems of
airline planning.</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusions</title>
      <p>The results obtained demonstrate the efficiency of the proposed approaches in
solving real-life problems of air transportation planning, including aircraft fleet
assignment, routing, and, if necessary, flight scheduling. Thus, our approach would
make a promising a contribution to the planning practice of an airline company of any
size. A posteriori estimates for the accuracy and speed of the algorithms lead us to
conclude that the developed toolkit has evident advantages over its analogs.</p>
      <p>The testing confirms experimentally, in terms of computing time, the efficiency of
the AP + AС pair. Noteworthy is the insignificant contribution of the AС algorithm
to the total complexity. The use of this algorithm adds no more than a second to the
total computing time tdp for the tests in Tables 9–11.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Grönkvist</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>The Tail Assignment Problem</article-title>
          .
          <source>PhD thesis</source>
          , Chalmers University of Technology and Göteborg University, Göteborg, Sweden (
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Sherali</surname>
            ,
            <given-names>H.D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bish</surname>
            ,
            <given-names>E.K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhu</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          :
          <article-title>Airline fleet assignment concepts, models, and algorithms</article-title>
          .
          <source>European Journal of Operational Research</source>
          <volume>172</volume>
          ,
          <fpage>1</fpage>
          -
          <lpage>30</lpage>
          (
          <year>2006</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Hane</surname>
            ,
            <given-names>C. A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Barnhart</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Johnson</surname>
            ,
            <given-names>E. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Marsten</surname>
            ,
            <given-names>R. E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nemhauser</surname>
            ,
            <given-names>G. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sigismondi</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          :
          <article-title>The fleet assignment problem: solving a large-scale integer program</article-title>
          .
          <source>Mathematical Programming</source>
          <volume>70</volume>
          ,
          <fpage>211</fpage>
          -
          <lpage>232</lpage>
          (
          <year>1995</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Gu</surname>
            ,
            <given-names>Z.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Johnson</surname>
            ,
            <given-names>E. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nemhauser</surname>
            ,
            <given-names>G. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wang</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          :
          <article-title>Some Properties of the Fleet Assignment Problem</article-title>
          .
          <source>Technical report</source>
          , School of Industrial &amp; Systems
          <string-name>
            <surname>Engineering</surname>
            , Georgia Institute of Technology, Atlanta,
            <given-names>GA</given-names>
          </string-name>
          , USA (
          <year>1993</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Subramanian</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Scheff</surname>
            ,
            <given-names>Jr. R. P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Quillinan</surname>
            ,
            <given-names>J. D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wiper</surname>
            ,
            <given-names>D. S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Marsten</surname>
            ,
            <given-names>R. E.</given-names>
          </string-name>
          <string-name>
            <surname>Coldstart</surname>
          </string-name>
          <article-title>: Fleet Assignment at Delta Air Lines</article-title>
          .
          <source>Interfaces</source>
          <volume>24</volume>
          (
          <issue>1</issue>
          ),
          <fpage>104</fpage>
          -
          <lpage>120</lpage>
          (
          <year>1994</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Ozdemir</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Basligil</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nalbant</surname>
            ,
            <given-names>K.G.</given-names>
          </string-name>
          :
          <article-title>Optimization of fleet assignment: a case study in Turkey</article-title>
          . An
          <source>International Journal of Optimization and Control: Theories &amp; Applications</source>
          <volume>2</volume>
          (
          <issue>1</issue>
          ),
          <fpage>59</fpage>
          -
          <lpage>71</lpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Blegur</surname>
            ,
            <given-names>F.M.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bakhtiar</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Aman</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Scenarios for fleet assignment: a case study at Lion Air</article-title>
          .
          <source>IOSR Journal of Mathematics</source>
          <volume>10</volume>
          (
          <issue>5</issue>
          )
          <string-name>
            <surname>Ver</surname>
          </string-name>
          . I,
          <fpage>64</fpage>
          -
          <lpage>68</lpage>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Kabbani</surname>
            ,
            <given-names>N. M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Patty</surname>
            ,
            <given-names>B. W.</given-names>
          </string-name>
          :
          <article-title>Aircraft routing at American Airlines</article-title>
          .
          <source>In: Proceedings of the Thirty-Second Annual Symposium of AGIFORS</source>
          (
          <year>1992</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Clarke</surname>
            ,
            <given-names>L. W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Johnson</surname>
            ,
            <given-names>E. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nemhauser</surname>
            ,
            <given-names>G. L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhu</surname>
            ,
            <given-names>Z.</given-names>
          </string-name>
          :
          <article-title>The aircraft rotation problem</article-title>
          .
          <source>Annals of Operations Research</source>
          <volume>69</volume>
          ,
          <fpage>33</fpage>
          -
          <lpage>46</lpage>
          (
          <year>1997</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Cordeau</surname>
            ,
            <given-names>J. F.</given-names>
          </string-name>
          , Stojkovi´c, G.,
          <string-name>
            <surname>Soumis</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Desrosiers</surname>
          </string-name>
          , J.:
          <article-title>Benders decomposition for simultaneous aircraft routing and crew scheduling</article-title>
          .
          <source>Transportation Science</source>
          <volume>35</volume>
          (
          <issue>4</issue>
          ),
          <fpage>55</fpage>
          -
          <lpage>76</lpage>
          (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Barnhart</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Boland</surname>
            ,
            <given-names>N.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Clarke</surname>
            ,
            <given-names>L.W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Johnson</surname>
            ,
            <given-names>E.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nemhauser</surname>
            ,
            <given-names>G.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shenoi</surname>
            ,
            <given-names>R.G.</given-names>
          </string-name>
          <article-title>Flight string models for aircraft fleeting and routing</article-title>
          .
          <source>Transportation Science</source>
          <volume>32</volume>
          (
          <issue>3</issue>
          ),
          <fpage>208</fpage>
          -
          <lpage>220</lpage>
          (
          <year>1998</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Elf</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>J</surname>
          </string-name>
          ¨unger,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Kaibel</surname>
          </string-name>
          ,
          <string-name>
            <surname>V.</surname>
          </string-name>
          :
          <article-title>Rotation planning for the continental service of a European Airline</article-title>
          . In: W. Jager and H.-J. Krebs, editors,
          <source>Mathematics - Key Technologies for the Future. Joint Projects between Universities and Industry</source>
          . pp.
          <fpage>675</fpage>
          -
          <lpage>689</lpage>
          , Springer (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Sarac</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Batta</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rump</surname>
            ,
            <given-names>C. M.:</given-names>
          </string-name>
          <article-title>A Branch-and-Price Approach for Operational Aircraft Maintenance Routing</article-title>
          . Working Paper, Department of Industrial Engineering, University of Buffalo, Buffalo,
          <string-name>
            <surname>NY</surname>
          </string-name>
          , USA, (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Gopalan</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Talluri</surname>
          </string-name>
          , K. T.:
          <article-title>The aircraft maintenance routing problem</article-title>
          .
          <source>Operations Research</source>
          ,
          <volume>46</volume>
          (
          <issue>2</issue>
          ),
          <fpage>260</fpage>
          -
          <lpage>271</lpage>
          (
          <year>1998</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Ahuja</surname>
            ,
            <given-names>R. K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Goodstein</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mukherjee</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Orlin</surname>
            ,
            <given-names>J. B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sharma</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <string-name>
            <given-names>A Very</given-names>
            <surname>Large-Scale Neighborhood</surname>
          </string-name>
          <article-title>Search Algorithm for the Combined Through and Fleet Assignment Model</article-title>
          .
          <source>Working Paper 4388-01</source>
          , MIT Sloan School of Management, Cambridge, USA (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Birbil</surname>
            ,
            <given-names>S.I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Frenk</surname>
            ,
            <given-names>J.B.G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gromicho</surname>
            ,
            <given-names>J.A.S.</given-names>
          </string-name>
          , Zhang,
          <string-name>
            <surname>S.:</surname>
          </string-name>
          <article-title>A Network Airline Revenue Management Framework Based on Decomposition by Origins and Destinations</article-title>
          . Submitted manuscript (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Yan</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tseng</surname>
            ,
            <given-names>C.H.:</given-names>
          </string-name>
          <article-title>A passenger demand model for airline flight scheduling and fleet routing</article-title>
          .
          <source>Computers &amp; Operations Research</source>
          <volume>29</volume>
          ,
          <fpage>1559</fpage>
          -
          <lpage>1581</lpage>
          (
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Barnhart</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Boland</surname>
            ,
            <given-names>N.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Clarke</surname>
            ,
            <given-names>L.W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Johnson</surname>
            ,
            <given-names>E.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nemhauser</surname>
            ,
            <given-names>G.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shenoi</surname>
          </string-name>
          , R.G.:
          <article-title>Flight string models for aircraft fleeting and routing</article-title>
          .
          <source>Transportation Science</source>
          <volume>32</volume>
          (
          <issue>3</issue>
          ),
          <fpage>208</fpage>
          -
          <lpage>220</lpage>
          (
          <year>1998</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Sandhu</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Klabjan</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Integrated Airline Planning</article-title>
          . Working paper, submitted for publication, Department of Mechanical and Industrial Engineering, University of Illinois at Urbana-Campaign, Urbana, IL, USA (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Lettovsky</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>Airline Operations Recovery: An Optimization Approach</article-title>
          .
          <source>PhD thesis</source>
          , School of Industrial &amp; Systems
          <string-name>
            <surname>Engineering</surname>
            , Georgia Institute of Technology, Atlanta,
            <given-names>GA</given-names>
          </string-name>
          , USA (
          <year>1997</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Kohl</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Larsen</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Larsen</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ross</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tiourine</surname>
            ,
            <given-names>S.: Airline</given-names>
          </string-name>
          <string-name>
            <surname>Disruption Management - Perspectives</surname>
          </string-name>
          ,
          <source>Experiences and Outlook. Research and Technology Report CRTR-0407</source>
          ,
          <string-name>
            <given-names>Carmen</given-names>
            <surname>Systems</surname>
          </string-name>
          <string-name>
            <surname>AB</surname>
          </string-name>
          , Gothenburg, Sweden (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Rosenberger</surname>
            ,
            <given-names>J. M.:</given-names>
          </string-name>
          <article-title>Topics in Airline Operations</article-title>
          .
          <source>PhD thesis</source>
          , School of Industrial &amp; Systems
          <string-name>
            <surname>Engineering</surname>
            , Georgia Institute of Technology, Atlanta,
            <given-names>GA</given-names>
          </string-name>
          , USA (
          <year>2002</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <surname>Avdeenko</surname>
            ,
            <given-names>T. V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mesentsev</surname>
            ,
            <given-names>Y. A.</given-names>
          </string-name>
          :
          <article-title>Efficient approaches to scheduling for unrelated parallel machines with release dates</article-title>
          .
          <source>IFAC-Papers Online (IFAC Proceedings Volumes)</source>
          .
          <volume>49</volume>
          (
          <issue>12</issue>
          ),
          <fpage>1743</fpage>
          -
          <lpage>1748</lpage>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <surname>Avdeenko</surname>
            ,
            <given-names>T. V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mezentsev</surname>
            ,
            <given-names>Y. A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Estraikh</surname>
            ,
            <given-names>I.V.</given-names>
          </string-name>
          :
          <article-title>Heuristic approach to unrelated parallel machines scheduling under availability and resource constraints</article-title>
          .
          <source>IFAC-PapersOnline</source>
          ,
          <volume>50</volume>
          (
          <issue>1</issue>
          ),
          <fpage>13096</fpage>
          -
          <lpage>13101</lpage>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          25.
          <string-name>
            <surname>Mezentsev</surname>
            ,
            <given-names>Y. A.</given-names>
          </string-name>
          :
          <article-title>Binary cut-and-branch method for solving linear programming problems with boolean variables</article-title>
          .
          <source>In: Proc. DOOR</source>
          <year>2016</year>
          , Vladivostok, Russia,
          <source>September</source>
          <volume>19</volume>
          - 23, CEUR-WS 1623. Pp.
          <volume>72</volume>
          -
          <fpage>85</fpage>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>