Research Article  Open Access
Chao Lu, Leishan Zhou, Yixiang Yue, Ran Chen, "A Branch and Bound Algorithm for the Exact Solution of the Problem of EMU Circulation Scheduling in Railway Network", Mathematical Problems in Engineering, vol. 2016, Article ID 8537089, 14 pages, 2016. https://doi.org/10.1155/2016/8537089
A Branch and Bound Algorithm for the Exact Solution of the Problem of EMU Circulation Scheduling in Railway Network
Abstract
This paper is concerned with the scheduling of Electrical Multiple Units (EMUs) under the condition of their utilization on one sector or within several interacting sectors. Based on the introduction of the train connection graph which describes the possible connection relationship between trains, the integer programming model of EMU circulation planning is constructed. In order to analyzing the resolution of the model, a heuristic which shares the characteristics with the existing methods is introduced first. This method consists of two stages: one is a greedy strategy to construct a feasible circulation plan fragment, and another is to apply a stochastic disturbance to it to generate a whole feasible solution or get a new feasible solution. Then, an exact branch and bound method which is based on graph designing is proposed. Due to the complexity, the lower bound is computed through a polynomial approximation algorithm which is a modification from the one solving the degree constraint minimum 1tree problem. Then, a branching strategy is designed to cope with the maintenance constraints. Finally, we report extensive computational results on a railway corridor in which the sectors possess the basic feature of railway networks.
1. Introduction
The assignment of transportation tools to fulfilling a group of tasks under certain conditions is one of the most important scheduling activities in many real world applications, such as the Aircraft Routing Problem (ARP) in airline operation, Vehicle Routing Problem (VRP) in logistics delivery, and the Locomotives Scheduling Problem (LSP) in railway system. As the mobile resources, the quality of the utilization of the transportation tools has a great effect on the efficiency and the economic benefits of the transportation enterprises. The operation of these resources also provides a foundation for the conduction of other works and has an interaction with them.
In highspeed railway network, Electrical Multiple Units (EMU) are the main tools used for the passenger transportation. They are significantly cost equipment, because not only is their acquisition or construction expensive but also they need power supply and regular maintenance. The scheduling of EMU falls in the category of rolling stock circulation problems and the operation plan of them determines the concrete activities they need to perform when the system is running. In order not to result in the waste of the precious resources, they need to be operated as reasonably as possible.
The EMU operation plan in each country differs in small points. In China, the EMU operation plan defines the arranging of the train trips and maintenance tasks of each level to each EMU within a certain period of time according to the given train timetable, the configuration of EMU, the condition of EMU maintenance facilities, and the rules of the operation of the stations. It is a comprehensive plan and could be generally divided into three parts, namely, the EMU circulation plan, the EMU allocation plan, and EMU maintenance plan. Among these plans, the EMU circulation plan mainly determines the connection relationship of the train trips and arranges the first level maintenance for EMUs. It is a basis for the other two plans.
The optimization of the rolling stock circulation scheduling problem has received a lot of attention from researchers. Some realistic problems such as the unit coupling or uncoupling when scheduling the EMU are also considered. Cacchiani et al. [1] designed an effective heuristic procedure for the train unit assignment problem that were able to find solutions significantly better than the “manual” solutions found by practitioners. Cacchiani et al. [2] proposed a heuristic which is based on the natural Lagrangian relaxation of a natural integer linear programming of the train unit assignment problem which turns out to be much faster in practice and still providing solutions of good quality. Abbink et al. [3] deal with the tactical problem of finding the most effective allocation of the train types, subtypes, and units of rolling stock to the train series, such that as many people as possible can be transported with a seat, especially during the rush hours. Lin and Kwan [4] proposed a twophase approach for the train unit scheduling problem; the first phase assigns and sequences train trips to train units considering some realworld scenarios and the second phase focuses on satisfying the remaining station detailed requirements. Peeters and Kroon [5] focused on the efficient circulation of train units within a certain scope of railway line given the timetable and the passengers’ seat demand and a branchandprice algorithm is described. Alfieri et al. [6] present a solution approach based on an integer multicommodity flow model to determine the appropriate numbers of train units of different types together with their efficient circulation on a single line. Cacchiani et al. [7] present two integer linear programming (ILP) formulations together with their relaxations (the linear programming (LP) relaxation and Lagrangian based approach, resp.) to assign the train units to the trips with minimum cost. When the highspeed railway system is running, many disturbances can occur and that would lead to the irregularities of the operations of the train units. In order to avoid such events to some extent, it is reasonable to find a plan that is insensitive to these disruptions; that is, the plan is able to cope with relatively small disruptions without structural changes, which is also known as the robustness scheduling, or to react immediately to those disruptions by applying a recovery strategy to the plan defined previously, which is also known as the rescheduling process (see, e.g., [8–10]). Cadarso and Marín [11] formulate a multicommodity flow model for the rolling stock problem in rapid transit networks. Empty movements and shunting operations are considered and the robustness is introduced by selectively avoiding empty train movements and these operations. Cadarso and Marín [12] presents a model to study the robust determining of the best sequence for each rolling stock in the train network. The method is based on an approach in which sequences are designed once the timetable and the rolling stock assignment have been done.
As for the particular EMU circulation plan in China, it is mainly based on a condition of the utilization of the EMU on one railway sector or within several interacting sectors, which is generally viewed as a more reasonable mode for the EMU operation (see, e.g., Zhao et al. [13]). Although the scheduling of the EMU shares something in common with the scheduling of other kinds of transportation tools, especially the scheduling of locomotive in ordinary railway, it has its own characteristics. Locomotives are often scheduled on a fixed sector and could be viewed as an assignment problem which could be solved by Hungarian algorithm. Ahuja et al. [14] formulated the locomotivescheduling problem as a multicommodity flow problem with side constraints on a weekly spacetime network. Each locomotive type defines a commodity in the network. However, the EMUs are scheduled within several linked sectors and some complicated constraints such as the EMU maintenance constraints must be taken into account; therefore, more applicable methods should be developed for solving the construction of the EMU circulation plan. Zhao and Tomii [15] transformed the original problem into the Traveling Salesperson Problem and introduced a probability based local search algorithm, whose key points are about the connection of the trains and the generation of the maintenance arcs. On the basis of that, Miao et al. [16] transformed the original problem into a multiple Traveling Salesperson Problem with replenishment and designed a hierarchical optimization heuristic algorithm. Shi et al. [17] designed a simulated annealing algorithm by introducing the penalty function and 3opt neighborhood structure, which is based on the circular permutation of all trains. Li et al. [18] introduces the optimized EMU connection graph, based on which the improved particle swarm optimization algorithm is designed for solving the problem.
Through the analysis of the studies concerning EMU circulation plan, it can be seen that the problem could be transformed into some classic optimization problems, and due to the complexity of these problems, most of the existing solution generation methods belong to the range of probability based searching heuristics. The motivation of this paper is to propose an exact algorithm for solving the EMU circulation scheduling problem in highspeed railway network. The algorithm is based on the graph theory and could be able to deal with the problems of practical size within a reasonable time. Furthermore, we propose a heuristic, which shares the characteristics with the existing methods and is based on local search strategy. We also make a comparison between these methods.
The paper is organized as follows. In Section 2, we describe the details of the EMU circulation scheduling problem we study. In Section 3, we introduce the concept of the train connection graph, based on which the model of EMU circulation scheduling in highspeed railway network is constructed. In Section 4, we design the neighbor structure of the solution of the problem and the local search method is illustrated. In Section 5, the exact branch and bound algorithm for solving the problem is outlined, and the details of the algorithm such as the calculation of the approximate lower bound and the branching strategy is illustrated. In Section 6, we report the computational results of the comparison of the proposed methods in a test case.
2. Problem Description
In highspeed railway network, EMUs are utilized on one railway sector or within several interacting sectors; see Figure 1. There are a set of train trips of up and down direction in each sector. The EMUs circulation scheduling problem needs to assign all the tasks of the train trips to a set of EMUs. In each sector, the train trips of the up direction and the train trips of the down direction are connected at the endpoint stations by certain EMUs. At the stations which are linked with the EMU maintenance base, the EMUs need to have maintenance if either the accumulative running distance or running time reaches the upper bound which is provided in the first level maintenance document of the EMU.
Given a train timetable, the circulation plan could be shown as the format in Figure 2. During a period of one day, we use the term circulation plan fragment to indicate a series of tasks that an EMU should fulfill, which includes several train trips and train connections at stations. In Figure 2, a circulation plan fragment is represented by a polygonal line that links the tasks within one day. Each two train trips could be connected at the station if the duration between the arrival time of one train trip and the departure time of another train trip is not less than the provided minimum duration time. If the EMU needs to have maintenance, then the duration of the connection should also exceed the minimum duration of the maintenance. For example, if an EMU conducts the tasks which are provided in fragment ① of the circulation plan in the first day, it starts from station A and finally arrives at station B after all the tasks have been conducted; it stay at station B in the night. In the second day it starts from station B and conducts the tasks which are provided in fragment ② of the circulation plan. After it finishes serving as train 3102, it has maintenance at station A. Finally, after conducting all the tasks it returns to station A and stays there in the night. In the following days it should conduct the tasks which are provided in another fragment of the circulation plan.
The whole circulation plan is formed by connecting all the fragments through the overnight connection When the first EMU conducts the fragment ① of the circulation plan, other EMUs conduct the fragments ②, ③, ④ of the circulation plan according to the same rules respectively, then the number of the utilized EMU is known. The maintenance in the circulation is of the basic level and the extensive maintenance which needs much longer time, therefore they are not considered in the circulation plan.
It is worth mentioning that one of the objectives pursued in the scheduling process of the rolling stock circulation would consider maximization of service to the passengers by minimizing the seat shortages. However, under the Chinese railway organization mode the types of trains are viewed as the same and the number of travelers of each sector is dealt with when working out the train operation scheme which provides the train service frequency. Therefore, the consideration of the number of travelers when solving the EMU circulation scheduling problem is out of the scope of this paper.
3. Model of the EMU Circulation Planning
3.1. Train Connection Graph
Given a timetable of several interacting railway sectors, the corresponding EMU connection graph could be constructed correspondingly, which is a useful tool to describe the essentials of the problem of EMU circulation scheduling. The notations with regard to the problem are listed in Notations section.
The parameter if and only if there could exist a connection relationship between trains and under the condition of and . is calculated as follows:
Parameter if and only if and .
Figure 3 shows the connection graph of a certain group of routes, in which we only display the arcs from the upbound trains to the downbound trains. Each row of nodes represents the set of trains that belong to the same route. The solid arcs are the connection arc whose duration time is within one period, while the dotted arcs are the connection arc in which the departing train and the arriving train is distributed in two periods.
3.2. Model Formulation
We use the binary decision variables and to indicate whether the arc in the connection graph is selected in the circulation plan and used as the maintenance arc, respectively, that is, if and only if train is scheduled to be connected by train in the circulation plan; then, . if and only if the arc is used as the maintenance arc in the circulation plan. Then, the model of EMU circulation planning could be formulated as follows:
Objective function (2) consists of two terms, the first term is the total connection time, which is closely related to the number of EMUs needed and this is the main objective of this problem, the second term is the total times of the maintenance. Constraints (3) and (4) impose that each train should be used as the starting node and the ending node of only one arc in ; that is, each node of train trip should be visited only once in the circulation plan. Constraints (5) impose that the connection between trains should be reasonable. Constraints (6) and (7) impose that the cumulative running time and running distances of an EMU between two maintenance arcs must not exceed the upper bound of the prescriptive distance and time, where is the set of the maintenance arcs. The set contains all the trains between maintenance arcs and . Constraints (8) impose that an arc could be selected as the maintenance arc if and only if that arc is used as a connection arc and is able to provide the maintenance. Constraints (9) avoid the occurrence of the subloop. Given a certain arc set connecting all the nodes in (see Figure 4), when arbitrarily deleting two arcs (represented by the hidden line), then with the starting or ending node of the deleted arc as the root node and searching all the connected nodes using the adjacency matrix of the existing arcs the number of the nodes that can be found is denoted as , which is linked by the dotted line in Figure 4. Obviously, (a) is subjected to constraints (9) while (b) is not subjected to constraints (9). Constraints (10) avoid the existence of none maintenance loop for the circulation plan.
(a)
(b)
4. Heuristic
4.1. Generation of the Initial Solution
Through the analysis of the constraints of the model, the format of the solution could be written as which satisfies constraints (3)–(10) and the condition of for each pair of adjacent arcs in . The construction of the solution starts from the first selected arc, which could be any one of , and then keeps finding arcs and adds them into the solution. Assuming the current selected arc is , then the basic rules used to select the next arc are
The set of nodes that satisfy condition (11) is represented as . In the process of selecting the connection arcs, the maintenance tasks should be considered simultaneously. Since the existence of constraint (10), then the first arc must be any that satisfies . Let and be the current accumulative running distance and running time when the EMU arrives at the station , whose value could be computed using (12), where is the last maintenance arc before , and is the next arc after :
If an EMU arrives at station after taking on train of current arc in and the relationship of holds (otherwise, the solution is finished), then due to the existence of the constraints (6) and (7) the next arc to be selected should also to make it be subjected to , . Therefore, is selected as follows:
We define the set of arcs that satisfies the condition defined in (13) as the first arc set. If the first arc set does not contain any elements, then the EMU needs maintenance and the alternative arc to be selected is a random one that is subjected to the following constraint:
We then define the set of arcs that satisfy the condition mentioned in (14) as the second arc set. When such an arc is found then continue to implement the above procedure until meeting the node of . If the second arc set dose not contain any elements either, then the next arc subjected to all the constraints does not exist in the process of constructing solution . As a result, it is necessary to improve the structure of the already found part of the solution by means of the strategy which will be introduced in next section.
4.2. Local Improvement
In order to change the structure of a feasible solution or part of an unfinished solution, a disturbance should be brought into them. In case that a solution needs to continue to be constructed, which is a basic condition in the generation of different feasible solutions, let be the already existing feasible part of solution ; is the set of the maintenance arcs of , for a randomly selected element ; change the property as a random node which satisfies the following conditions:
The elements not belonging to the fragment of are deleted from the temporary solution . Then, set the newly found arc to be the current arc and continue to conduct the solution construction procedure to finish .
In case that a feasible solution needs to be improved to get another one, the basic idea is to randomly combine the maintenance arcs with connection arcs, and between each pair of adjacent maintenance arcs, the set of connection arcs do not violate all the constraints.
Firstly, the component of derived from should be determined, which would be kept temporarily in the next generated solution. Since is a feasible solution, then any part of it is also feasible. Therefore, in order to ensure the randomness of the new solution, is formed through the random selection of two maintenance arcs and from and has the format of which satisfies the condition of for any adjacent arcs in . Note that could not necessarily be . Secondly, change the property as the one satisfying the conditions described by (15). Then, set the newly found arc to be the current arc and continue to conduct the solution construction procedure to finish .
When a feasible solution is found, function (2) will be used to evaluate the quality of the solution. The whole process of the heuristic used to find the optimal solution of the problem is shown in Figure 5.
5. An Exact Branch and Bound Algorithm
5.1. Computing the Lower Bound
Given a graph with nodes, a 1tree is defined to be a set of arcs that span the graph (see, e.g., Fisher [19]). The Degree Constraint Minimum 1Tree (DCM1T) is a 1tree such that the total weight of the set of the arcs is minimum and that the degree of each node does not exceed the limitation of the degree constraint.
It can be seen from the analysis of the model that, under the condition of the utilization of the EMU within several interacting sectors and given the connection graph , finding the optimal circulation plan which satisfies all constraints is a Degree Constraint Minimum 1tree Designing Problem. Since DCM1T is NPcomplete (see, e.g., Alexandre and Abilio [20]), there are only methods to find a satisfactory optimal solutions. In order to solve the problem, we draw on the experience of a polynomial approximation algorithm which is introduced in Subhash and Cesar [21]. However, Subhash and Cesar [21] focused on the undirected graph, whereas, according to Figure 3, the multisector train connection graph is a directed, incomplete graph; besides, the constraints of the degree of a node include both the part of indegree constraints and the part of outdegree constraints. Obviously, the maximum value of the indegree and the outdegree of each node is 1. All these characteristics about the train connection graph are defined as NCDC rules. Therefore, the algorithm used in this paper is an improved edition of the original one, which could not be applied directly.
(1) The Construction of the Basic Connection Tree. If none of the arcs associated with a node has been selected in , then we call the node an idle node. The construction process starts with an initial set of nonidle nodes , which could include arbitrary number of nodes. For example, we could select a certain arc of overnight connection in at the beginning and then contains two elements, namely, the departure train trip and the arrival train trip of the arc. Let be the initial set of idle nodes. The construction process constitutes continuously selecting arcs which connect the nodes in with the nodes in . After an arc is selected the associated node in is transformed into the set .
For each node , its indegree and the outdegree are initialized to be 0. Let denote the node in such that there is an arc from to it and that
Let denote the node in such that there is an arc from it to node and that
Let denote the arc whose cost satisfies the condition of . If has the form , then the outdegree of node is updated as , and the indegree of the node is updated as . If or , then the arc could not be selected and the node is modified as the node such that
Similarly, If has the form , then the outdegree of the node is updated as , and the indegree of the node is updated as . If or , then the arc could not be selected either and the node is modified as the node such that
The arc is redetermined according to the new property of the and . After selecting the arc , the set of is updated as , and the node is removed from the set simultaneously. In addition, as the components of both set and set are changed, therefore and for each need to update again; specifically, if , set , and if , set .
If all the nodes are checked with the procedure mentioned before, then the basic connection tree (BCT) is gotten. However, due to the incompleteness of the train connection graph, there are still elements in the set , and the supplementary measures need to be applied to continue the construction of the DCM1T.
(2) Finishing the Construction of 1Tree. If set is still not empty after the BCT is constructed then it means no nodes could be found in the set of under the NCDC rules. Therefore, the remaining nodes in should first be incorporated into the BCT and the BCT is transformed into an ordinary tree; then, some exchanging method should be applied to the ordinary tree and transform it into a degree constraint minimum 1tree which contains all the nodes in .
In order to transform as many nodes as possible from set into set , repeat the procedure introduced before and do not consider the indegree or outdegree constraints of the nodes. During this process, for , the corresponding or should not belong to the initial , which is the set of the nodes before any other node being added into it. When all the remaining elements in are transformed to the set , the structure of BCT could not be subjected to constraints (3) and (4).
Under the NCDC rules, if an arc connecting nodes and could be selected in the DCM1T, then we denote it as . Notation represents the possibility of the arc connecting nodes and , which could be the form of or . We then introduce two methods for exchanging the structure of a tree.
The dual exchanging method for the ordinary tree (exm1): let denote the full subtree of BCT rooted at the node , denote the set of trains which are connected with the node of the BCT through the already selected arcs. Then, the arcs could be exchanged as follows:
In (20), is the arc which is to be added into the BCT and is the arc which is to be removed from the BCT, is some node which is connected with node through an arc and they are determined according to the following conditions:
The second exchanging method for the 1tree (exm2): after applying exm1 for the BCT and adding the edge to it, where and are the nodes whose indegree and outdegree are not equal, then the structure of the modified BCT becomes 1tree. The exchange is as follows:
In (22), the arc is the edge which is to be deleted from the BCT, and the other three edges are to be added into the BCT. These edges could be determined through the following condition:
Although the exm1 could be replaced by the exm2, the latter is a more conservative method to increase the total cost of the BCT when changing its structure to subject it to the constraints (3) and (4) after a majority of elements in are transformed into it. Therefore, when the initial BCT is gotten, the exm1 is applied first and if still the , then the exm2 should be applied. The whole process of the algorithm used to find the DCM1T of the train connection graph is shown in Figure 6.
Although the DCM1T does not consider the maintenance when connecting the trains, it aims at finding a circulation of EMU with the minimum total cost. Therefore, it provides an approximate lower bound on the optimal circulation plan which considers the maintenance constraints, while the cost of any feasible circulation plan provides an upper bound on it. In order to compute the optimal feasible circulation plan, we design a branch and bound algorithm which could improve the structure of the DCM1T to make it subject to the maintenance constraints and increase the total cost of the DCM1T as little as possible.
5.2. The Branching Strategy
Since the DCM1T might violate constraints (6) and (7), then we need first to fix part of the DCMT in the circulation plan and build some branches to, respectively, determine some values of the maintenance variables; then, the DCM1T are calculated for each branch and new parts of the DCM1T are fixed. Repeat this process until all the parts of the DCM1T are feasible with respect to the constraints (6) and (7). After each branch is calculated, the best feasible circulation plan could be obtained simultaneously.
Let denote the set of arcs that are included when recomputing the DCM1T. Let denote the set of arcs that are excluded when recomputing the DCM1T. At the beginning, there is only one element in which is the basic maintenance arc in DCM1T while the . At each level of branch, if the objective value of the DCM1T computed based on the subset is smaller than the current upper bound, then the circulation fragment is fixed, which satisfies that for each pair of adjacent arcs in the DCM1T where means the adjacent arc of the last arc in , , and is an integer used to limit the number of the arcs which would violate the maintenance constraints. Then, the set of maintenance arcs is constructed, in which the arrival train of each arc is and is the parameter indicating the level of the branching process. means the number of the elements of the set , and if the number of arcs in that could be selected into the set is bigger than , then the actual elements held in are the first lower cost arcs; otherwise, contains all the arcs. Based on and , the list of the new subsets could be constructed as follows:
For a subset which is also the branch at level , a DCM1T which includes the arcs in and excludes the arcs in is calculated and its objective value is obtained as a lower bound. In the whole branching process, we apply strategy like the one mentioned in [21]: always branch to the left subnode and at each node, keep a “left” bound as the current lower bound of the subset , and a “right” bound as the lower bound of the subset , as shown in Figure 7.
At beginning, let the time of iteration , represent the value of the objective function for a given EMU circulation . and are the right and the left bounds of a subset at level of the branching tree, respectively. Then, the algorithm could be summarized as follows.
Step 1. Generate an EMU circulation plan which considers the maintenance using an arbitrary heuristic; set the upper bound . Initialize set and set . Implement the lower bound calculation algorithm to generate the circulation plan , which is a DCM1T. Set the left bound , the right bound , and .
Step 2. Determine the subset , based on which we implement the lower bound calculation algorithm to generate the circulation plan . Set the left bound , . Determine the subset . Implement the lower bound calculation algorithm to generate the circulation plan ; set the right bound .
Step 3. If , go to Step 4; otherwise, go to Step 5.
Step 4. If the circulation plan corresponding to the left bound does not violate the maintenance constraints, then a feasible solution is found. Update the upper bound. Set , and go to Step 5; otherwise, set and go to Step 2.
Step 5. If , then update the left bound and set ; go to Step 6; otherwise, go directly to Step 6.
Step 6. Set ; if , go to Step 7. Otherwise, if , determine the subset , implement the lower bound calculation algorithm to generate the circulation plan , and update the right bound . Otherwise, set . When the is determined, if , repeat Step 6. Otherwise, go to Step 3.
Step 7. Go back to the previous level; set ; if , go to Step 5; otherwise, stop.
It is worth mentioning that the solution made of the combination of the branch constructed with the lowest cost arc in of each level under the condition that these branches are able to formalize a feasible solution could be viewed as the result of another greedy strategy, namely, the usually mentioned Tight Connection, which is also a way to quickly generate a feasible EMU circulation plan.
5.3. Improvement of the Heuristic
During the generation of a feasible solution introduced in Section 4, due to the incompleteness of the train connection graph there is an interactive process between the selecting of arcs to construct the solution and the exchanging of the arcs for the part of the solution which has been already obtained in order to complete the generation of a feasible solution. A lot of detection procedures for the arc exchanging may appear until a whole feasible solution is found in the interactive process; therefore, it accounts for the majority of the running time of the algorithm.
However, according to the illustration of Section 4.2, let be the randomly selected part of either the unfinished solution or a feasible solution when applying the local improvement, after property is changed and the newly found arc is set to be the current arc, if the branch strategy with a limitation on the levels of the branches is incorporated into the remaining process of the construction of the feasible solution, then a more reliable way could be obtained to generate the feasible solution faster and with a probably better objective value.
6. Numerical Experiments
Without loss of generality, we test our method on the set of trains on a corridor, in which we use the JingHu railway line between Beijing and Shanghai as reference to setting the parameters when working out the EMU circulation plan. Figure 8 shows which segments a sector contains. This example has general features in common with other highspeed railway networks that consist of several different train sectors and these sectors interact with each other.
Table 1 shows the data of the train operation scheme used in the following experiments referring to the corridor. () is the set of highspeed trains (mediumspeed trains) in each sector and is twice as much as the trains of each direction of the sector. is the length of each sector. The travel time of each train is different and could be obtained from the timetable.

Stations BJN, QFD, BBN, and SHHQ are able to fulfill the task of first grade maintenance. Other basic parameters are as follows: min, km, min [18], and min [16]. Given a train timetable which provides the condition for EMUs operated within these sectors, the number of arcs in the train connection graph is 10228. The circulation plan computed using the branch and bound algorithm is as shown in Figure 9.
In order to show further computational results, we test the method on other instances of the problem in which the timetable of the trains on the corridor is randomly generated and other parameters remain the same. Figures 10–13 compare the convergence curves generated by the heuristic and the branch and bound algorithm on four different instances of the problem. And for the heuristic we run it twice and get two curves. The modified heuristic is also tested.
It can be seen from these figures that the time needed by the branch and bound algorithm to generate an optimal solution is 2 min or so in the test case, whose number of trains corresponds to the scale of a majority of practical cases, and the time could be viewed as acceptable. At the same time, the convergence time needed by the heuristic reflects a fluctuation to some extent. In addition, either the value of the total connection cost of the heuristic is bigger than that of the branch and bound or the convergence time of the former algorithm is longer than that of the latter algorithm. However, as the heuristic is modified, the corresponding solutions appear to be better to some extent and the convergence time is shorter compared with the initial heuristic.
We also compare among the heuristic, branch and bound, and tight connection methods mentioned in this paper based on 20 different instances of the problem. The results are listed in Table 2. The second column is the total connection time of the initial DCM1T, which is a circulation plan not considering the maintenance, and columns 2–8 are the total connection cost (TCC) and the times of maintenance (MT) of the three algorithms. Among them, the TTC of the heuristic is the value of the best solutions generated by the heuristic.

There are a few observations to be made from this table. First, there is not a clear proportional relation between the total connection cost and the maintenance times; that is, the maintenance times of a solution with a larger total connection cost might not be more than the maintenance times of a solution with a smaller total connection cost. This is because, under a given structure of the train timetable, the more times of EMUs staying at a station at night the larger the accumulative running time of them after a maintenance, while the accumulative running distance may not reach the limitation. Second, almost all solutions (associated with the notation “”) computed by the branch and bound method reach the lower bound of the problem which is the total cost of the initial DCM1T not considering the maintenance constraints except for two solutions, but the total connection cost of these two solutions is very close to their lower bound and smaller than that of the solutions computed by the other two methods too. Furthermore, there are even some solutions (associated with the notation “”) computed by the branch and bound method whose total connection cost is smaller than the one of the initial DCM1T. This is because the outputs obtained by the lower bound algorithm and the circulation plans obtained by branch and bound all belong to degree constraint 1tree. Since the determining of the DCM1T is NPhard and the DCM1T calculating algorithm could only find an approximate solution whose objective value only provides an approximate lower bound on the optimal circulation plan as mentioned before, therefore through the continuous applying of the DCM1T calculating algorithm in the process of the branch and bound there would exist the probability of finding a degree constraint 1tree whose objective is better than the one found by directly applying the DCM1T calculating algorithm once. Third, it can be inferred from the table that for, the same case, even a slight adjustment of the train timetable may produce completely different optimal EMU circulation plans with different total connection costs. Therefore, the proposed branch and bound method could be used for the problem of the optimization of network train timetable, which is incorporated with the EMU circulation scheduling problem. Finally, by comparison, the mean value of the total connection costs of the solutions generated by the tight connection method is % more than the one of the solutions generated by the heuristic and % more than the one of the solutions generated by the branch and bound method, while mean value of the total connection costs of the solutions generated by the heuristic is % more than the one of the solutions generated by the branch and bound method.
7. Conclusion
Based on the introduction of the train connection graph the of EMU circulation scheduling model is constructed. Through the analyzing of the features of the structure of the feasible EMU circulation plan, this paper mainly designs an exact branch and bound algorithm for solving the problem.
We first put the initial problem down to a graph designing problem; that is, the degree constraint minimum 1tree problem. Due to the complexity of the problem we use a polynomial approximation algorithm to compute the DCM1T which does not consider the maintenance constraints and provides an approximately lower bound of the problem. This algorithm is modified in order to adjust to the characteristics of the train connection graph. Then, a branch strategy is proposed to cope with the maintenance constraints and to generate an optimal circulation plan.
Through the analysis of the computational results of the numerical experiments of the comparison of the proposed branch and bound method with the heuristics which shares the features with the existing methods, it can be seen that the running time needed by branch and bound method is more reasonable when dealing with the instance of the problem with the scale of most practical cases, the objective value of the solutions generated by the branch and bound method is better than the one of the solutions generated by other heuristics, and the branch and bound method could be extended to other problems concerning the optimization of the train timetable.
Notations
:  The EMU connection graph 
:  Set of nodes of the connection graph, means all train trips involved in the planning time horizon 
:  Indexes of node, 
:  the first station the train departs from and the final station the train arrives at along its route, respectively 
:  the departure time of the train at the station and the arrival time of the train at the station 
:  distance between station to station and time consumed of the train running from station to station , respectively 
:  set of arcs of the connection graph, means all the potential connection relationship between train trips 
:  Binary parameter indicating whether there exist an arc from train trip to 
Indexes of the arc , ,  
:  Connection cost of the arc which is measured as the duration time of the arc 
:  Minimum duration time necessary for EMU to connect trains at stations 
:  Binary parameter indicating whether the arc could be used as an maintenance arc 
:  Minimum duration time of the maintenance for EMU at stations 
:  Set of stations which are able to fulfill the maintenance task 
:  Upper bounds of accumulative running distance and time for a EMU under the first level maintenance, respectively 
Arrival train and departure train the of the arc , respectively  
:  Weights of the terms in the objective function 
:  the time of the period of one day. 
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
This work was financially supported by The Fundamental Research Funds for the Central Universities (no. 2014JBZ008).
References
 V. Cacchiani, A. Caprara, and P. Toth, “Solving a realworld trainunit assignment problem,” Mathematical Programming, vol. 124, no. 12, pp. 207–231, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 V. Cacchiani, A. Caprara, and P. Toth, “A Lagrangian heuristic for a trainunit assignment problem,” Discrete Applied Mathematics, vol. 161, no. 12, pp. 1707–1718, 2013. View at: Publisher Site  Google Scholar  MathSciNet
 E. Abbink, B. Van den Berg, L. Kroon, and M. Salomon, “Allocation of railway rolling stock for passenger trains,” Transportation Science, vol. 38, no. 1, pp. 33–41, 2004. View at: Publisher Site  Google Scholar
 Z. Lin and R. S. K. Kwan, “A twophase approach for realworld train unit scheduling,” Public Transport, vol. 6, no. 12, pp. 35–65, 2014. View at: Publisher Site  Google Scholar
 M. Peeters and L. Kroon, “Circulation of railway rolling stock: a branchandprice approach,” Erim Report, vol. 35, no. 2, pp. 538–556, 2008. View at: Google Scholar
 A. Alfieri, R. Groot, L. Kroon, and A. Schrijver, “Efficient circulation of railway rolling stock,” Transportation Science, vol. 40, no. 3, pp. 378–391, 2006. View at: Publisher Site  Google Scholar
 V. Cacchiani, A. Caprara, and P. Toth, “Models and algorithms for the train unit assignment problem,” in Combinatorial Optimization, vol. 7422 of Lecture Notes in Computer Science, pp. 24–35, Springer, Berlin, Germany, 2012. View at: Publisher Site  Google Scholar
 V. Cacchiani, A. Caprara, L. Galli, L. Kroon, G. Maróti, and P. Toth, “Railway rolling stock planning: robustness against large disruptions,” Transportation Science, vol. 46, no. 2, pp. 217–232, 2012. View at: Publisher Site  Google Scholar
 L. K. Nielsen, L. Kroon, and G. Maróti, “A rolling horizon approach for disruption management of railway rolling stock,” European Journal of Operational Research, vol. 220, no. 2, pp. 496–509, 2012. View at: Publisher Site  Google Scholar
 B. Gabriella, G. Maroti, R. Dekker, D. Huisman, and L. Kroon, “Rescheduling in railways: the rolling stock balancing problem,” Research Papers, Econometric Institute, 2007. View at: Google Scholar
 L. Cadarso and Á. Marín, “Robust rolling stock in rapid transit networks,” Computers & Operations Research, vol. 38, no. 8, pp. 1131–1142, 2011. View at: Publisher Site  Google Scholar
 L. Cadarso and Á. Marín, “Robust routing of rapid transit rolling stock,” Public Transport, vol. 2, no. 1, pp. 51–68, 2010. View at: Publisher Site  Google Scholar
 P. Zhao, H. Yang, and A. Z. Hu, “Research on usage of high speed passenger trains on uncertain railroad region,” Journal of the China Railway Society, vol. 19, no. 2, pp. 15–19, 1997. View at: Google Scholar
 R. K. Ahuja, J. Liu, J. B. Orlin, D. Sharma, and L. A. Shughart, “Solving reallife locomotivescheduling problems,” Transportation Science, vol. 39, no. 4, pp. 503–517, 2005. View at: Publisher Site  Google Scholar
 P. Zhao and N. Tomii, “An algorithm for trainset scheduling on weekday based on probabilistic local search,” Systems Engineering—Theory & Practice, vol. 24, no. 2, pp. 123–128, 2004. View at: Google Scholar
 J.R. Miao, Y. Wang, and Z.X. Yang, “Research on the optimization of EMU circulation based on optimized connecting network,” Journal of the China Railway Society, vol. 32, no. 2, pp. 1–7, 2010. View at: Publisher Site  Google Scholar
 F. Shi, W.L. Zhou, Y.W. Yu, and L. Qing, “Optimized model and algorithm of motor trainsets scheduling for dedicated passenger lines,” Journal of the China Railway Society, vol. 33, no. 1, pp. 8–13, 2011. View at: Publisher Site  Google Scholar
 H. Li, B.M. Han, Q. Zhang, and R. Guo, “Research on optimization model and algorithm of EMU circulation plan,” Journal of the China Railway Society, vol. 35, no. 3, pp. 1–8, 2013. View at: Publisher Site  Google Scholar
 M. L. Fisher, “A polynomial algorithm for the degreeconstrained minimum Ktree problem,” Operations Research, vol. 42, no. 4, pp. 775–779, 1994. View at: Publisher Site  Google Scholar  MathSciNet
 S. D. C. Alexandre and L. Abilio, “Algorithms for the degreeconstrained minimum spanning tree problem,” Electronic Notes in Discrete Mathematices, vol. 19, pp. 403–409, 2005. View at: Publisher Site  Google Scholar
 C. N. Subhash and A. H. Cesar, “Degreeconstrained minimum spanning tree,” Computers & Operations Research, vol. 33, pp. 239–249, 1980. View at: Google Scholar
Copyright
Copyright © 2016 Chao Lu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.