130 likes | 274 Vues
This paper presents a comprehensive analysis of the Movement Planner Problem (MPP) using Mixed-Integer Linear Programming (MILP) and heuristic approaches. We define track segments essential for train routing between nodes and develop enhanced formulations, heuristic variable-fixing procedures, and a decomposition algorithm to effectively manage scheduling complexities. Our proposed solutions significantly reduce computation times, achieving optimal outcomes in under 30 seconds for larger instances. By refining MILP formulations and solution strategies, we improve the efficiency of train scheduling in complex networks.
E N D
Mixed-integer Programming Based Approaches for the Movement Planner Problem: Model, Heuristics and DecompositionBamboo@Tsinghua ChiweiYan Department of Civil & Environmental EngineeringMassachusetts Institute of Technology LuyiYang The University of ChicagoBooth School of Business RAS Problem Solving Competition 2012
Problem Formulation: Definition of Segments • Acollection of tracks (main tracks, sidings, switches, crossovers) between two adjacent nodes • A train must pass through everysegment between its origin and destination and travel on one specific track within a given segment.
Notation entry (exit) time for train at segment
Mixed-integer Linear Programming Model schedule deviance train delay TWT deviance unpreferred track time
Solution Approaches • Combinatorially difficult to solve • Even the smallest test instance requires more than one hourin our implementation! • What we propose: • Formulation enhancement • Heuristic variable fixing procedure • Decomposition algorithm
Solution Approaches: Formulation Enhancement • Dominance transitivity • No delays at intermediate nodes = • Fixing MOW-related variables • Fine-tuning big-M
Solution Approaches: Heuristic Variable Fixing • Imposing dominance for “distant” trains If the lower bounds are too far apart, there is little chance for the later train to catch up … • Prohibiting unattractive overtakes • Entry time is no later • Type priority is no lower • Origin is no farther • Estimating what to be realized prior to the end of planning horizon
Solution Approaches: Decomposition Algorithm End of Iteration 1 End of Iteration 2 End of Iteration 3 End of Planning Horizon Time Axis roll back ratio
Computational Results • Implementation: C++ and ILOG CPLEX 12.1 • Platform: a PC with 2.40 GHz CPU and 4GB RAM • Maximum computational time: 1 hour
Concluding Remarks • Successfully formulate the Movement Planner Problem as MILP • To solve the problem, we propose • Formulation enhancement • Heuristic variable fixing • Decomposition algorithm • Summary of computational results • Expedite the search for optimal solutions by a factor of 400 for Data Set 1 • Obtain satisficing solutions for larger instances Data Set 2: less than 30 seconds Data Set 3: less than 2.5 minutes