Table of Contents
Fetching ...

Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints

Lucas Kletzander, Tommaso Mannelli Mazzoli, Nysret Musliu, Pascal Van Hentenryck

TL;DR

The paper tackles the Bus Driver Scheduling Problem under complex break constraints by developing an exact Branch and Price method and a Large Neighborhood Search framework, plus a tight integration that reuses columns across subproblems. It advances RCSPP solving with high-dimensional label management, subproblem partitioning, arc throttling, and advanced dominance checks, achieving state-of-the-art results for small to mid-sized instances. The LNS approach is deeply analyzed with novel destroy/repair operators, adaptive strategies, and two integration modes (column storage and background solving) that significantly improve performance for larger instances. Collectively, these methods push the frontier of practical, high-quality BDSP solutions and offer generalizable techniques for other complex personnel scheduling problems.

Abstract

The Bus Driver Scheduling Problem (BDSP) is a combinatorial optimization problem with the goal to design shifts to cover prearranged bus tours. The objective takes into account the operational cost as well as the satisfaction of drivers. This problem is heavily constrained due to strict legal rules and collective agreements. The objective of this article is to provide state-of-the-art exact and hybrid solution methods that can provide high-quality solutions for instances of different sizes. This work presents a comprehensive study of both an exact method, Branch and Price (B&P), as well as a Large Neighborhood Search (LNS) framework which uses B&P or Column Generation (CG) for the repair phase to solve the BDSP. It further proposes and evaluates a novel deeper integration of B&P and LNS, storing the generated columns from the LNS subproblems and reusing them for other subproblems, or to find better global solutions. The article presents a detailed analysis of several components of the solution methods and their impact, including general improvements for the B&P subproblem, which is a high-dimensional Resource Constrained Shortest Path Problem (RCSPP), and the components of the LNS. The evaluation shows that our approach provides new state-of-the-art results for instances of all sizes, including exact solutions for small instances, and low gaps to a known lower bound for mid-sized instances. Conclusions: We observe that B&P provides the best results for small instances, while the tight integration of LNS and CG can provide high-quality solutions for larger instances, further improving over LNS which just uses CG as a black box. The proposed methods are general and can also be applied to other rule sets and related optimization problems

Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints

TL;DR

The paper tackles the Bus Driver Scheduling Problem under complex break constraints by developing an exact Branch and Price method and a Large Neighborhood Search framework, plus a tight integration that reuses columns across subproblems. It advances RCSPP solving with high-dimensional label management, subproblem partitioning, arc throttling, and advanced dominance checks, achieving state-of-the-art results for small to mid-sized instances. The LNS approach is deeply analyzed with novel destroy/repair operators, adaptive strategies, and two integration modes (column storage and background solving) that significantly improve performance for larger instances. Collectively, these methods push the frontier of practical, high-quality BDSP solutions and offer generalizable techniques for other complex personnel scheduling problems.

Abstract

The Bus Driver Scheduling Problem (BDSP) is a combinatorial optimization problem with the goal to design shifts to cover prearranged bus tours. The objective takes into account the operational cost as well as the satisfaction of drivers. This problem is heavily constrained due to strict legal rules and collective agreements. The objective of this article is to provide state-of-the-art exact and hybrid solution methods that can provide high-quality solutions for instances of different sizes. This work presents a comprehensive study of both an exact method, Branch and Price (B&P), as well as a Large Neighborhood Search (LNS) framework which uses B&P or Column Generation (CG) for the repair phase to solve the BDSP. It further proposes and evaluates a novel deeper integration of B&P and LNS, storing the generated columns from the LNS subproblems and reusing them for other subproblems, or to find better global solutions. The article presents a detailed analysis of several components of the solution methods and their impact, including general improvements for the B&P subproblem, which is a high-dimensional Resource Constrained Shortest Path Problem (RCSPP), and the components of the LNS. The evaluation shows that our approach provides new state-of-the-art results for instances of all sizes, including exact solutions for small instances, and low gaps to a known lower bound for mid-sized instances. Conclusions: We observe that B&P provides the best results for small instances, while the tight integration of LNS and CG can provide high-quality solutions for larger instances, further improving over LNS which just uses CG as a black box. The proposed methods are general and can also be applied to other rule sets and related optimization problems
Paper Structure (54 sections, 1 theorem, 14 equations, 27 figures, 3 tables, 2 algorithms)

This paper contains 54 sections, 1 theorem, 14 equations, 27 figures, 3 tables, 2 algorithms.

Key Result

Lemma 1

Let $\preceq$ be the relation on $L$ defined as follows: for any $\ell_1,\ell_2 \in L$, write $\ell_1\preceq \ell_2$ if either Then $\preceq$ is an order relation, and $(L, \preceq)$ is a totally ordered set.

Figures (27)

  • Figure 1: Example shift kletzander2020solving
  • Figure 2: Rest break positioning kletzander2020solving
  • Figure 3: RCSPP graph for a Toy Instance
  • Figure 4: Original graph
  • Figure 5: Extended graph
  • ...and 22 more figures

Theorems & Definitions (2)

  • Lemma 1
  • proof