-
Robust personnel rostering: how accurate should absenteeism predictions be?
Authors:
Martina Doneda,
Pieter Smet,
Giuliana Carello,
Ettore Lanzarone,
Greet Vanden Berghe
Abstract:
Disruptions to personnel rosters caused by absenteeism often necessitate last-minute adjustments to the employees' working hours. A common strategy to mitigate the impact of such changes is to assign employees to reserve shifts: special on-call duties during which an employee can be called in to cover for an absent employee. To maximize roster robustness, we assume a predict-then-optimize approach…
▽ More
Disruptions to personnel rosters caused by absenteeism often necessitate last-minute adjustments to the employees' working hours. A common strategy to mitigate the impact of such changes is to assign employees to reserve shifts: special on-call duties during which an employee can be called in to cover for an absent employee. To maximize roster robustness, we assume a predict-then-optimize approach that uses absence predictions from a machine learning model to schedule an adequate number of reserve shifts. In this paper we propose a methodology to evaluate the robustness of rosters generated by the predict-then-optimize approach, assuming the machine learning model will make predictions at a predetermined prediction performance level. Instead of training and testing machine learning models, our methodology simulates the predictions based on a characterization of model performance. We show how this methodology can be applied to identify the minimum performance level needed for the model to outperform simple non-data-driven robust rostering policies. In a computational study on a nurse rostering problem, we demonstrate how the predict-then-optimize approach outperforms non-data-driven policies under reasonable performance requirements, particularly when employees possess interchangeable skills.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Operational Research: Methods and Applications
Authors:
Fotios Petropoulos,
Gilbert Laporte,
Emel Aktas,
Sibel A. Alumur,
Claudia Archetti,
Hayriye Ayhan,
Maria Battarra,
Julia A. Bennell,
Jean-Marie Bourjolly,
John E. Boylan,
Michèle Breton,
David Canca,
Laurent Charlin,
Bo Chen,
Cihan Tugrul Cicek,
Louis Anthony Cox Jr,
Christine S. M. Currie,
Erik Demeulemeester,
Li Ding,
Stephen M. Disney,
Matthias Ehrgott,
Martin J. Eppler,
Güneş Erdoğan,
Bernard Fortz,
L. Alberto Franco
, et al. (57 additional authors not shown)
Abstract:
Throughout its history, Operational Research has evolved to include a variety of methods, models and algorithms that have been applied to a diverse and wide range of contexts. This encyclopedic article consists of two main sections: methods and applications. The first aims to summarise the up-to-date knowledge and provide an overview of the state-of-the-art methods and key developments in the vari…
▽ More
Throughout its history, Operational Research has evolved to include a variety of methods, models and algorithms that have been applied to a diverse and wide range of contexts. This encyclopedic article consists of two main sections: methods and applications. The first aims to summarise the up-to-date knowledge and provide an overview of the state-of-the-art methods and key developments in the various subdomains of the field. The second offers a wide-ranging list of areas where Operational Research has been applied. The article is meant to be read in a nonlinear fashion. It should be used as a point of reference or first-port-of-call for a diverse pool of readers: academics, researchers, students, and practitioners. The entries within the methods and applications sections are presented in alphabetical order. The authors dedicate this paper to the 2023 Turkey/Syria earthquake victims. We sincerely hope that advances in OR will play a role towards minimising the pain and suffering caused by this and future catastrophes.
△ Less
Submitted 13 January, 2024; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Models and algorithms for simple disjunctive temporal problems
Authors:
Carlo S. Sartori,
Pieter Smet,
Greet Vanden Berghe
Abstract:
Simple temporal problems represent a powerful class of models capable of describing the temporal relations between events that arise in many real-world applications such as logistics, robot planning and management systems. The classic simple temporal problem permits each event to have only a single release and due date. In this paper, we focus on the case where events may have an arbitrarily large…
▽ More
Simple temporal problems represent a powerful class of models capable of describing the temporal relations between events that arise in many real-world applications such as logistics, robot planning and management systems. The classic simple temporal problem permits each event to have only a single release and due date. In this paper, we focus on the case where events may have an arbitrarily large number of release and due dates. This type of problem, however, has been referred to by various names. In order to simplify and standardize nomenclatures, we introduce the name Simple Disjunctive Temporal Problem. We provide three mathematical models to describe this problem using constraint programming and linear programming. To efficiently solve simple disjunctive temporal problems, we design two new algorithms inspired by previous research, both of which exploit the problem's structure to significantly reduce their space complexity. Additionally, we implement algorithms from the literature and provide the first in-depth empirical study comparing methods to solve simple disjunctive temporal problems across a wide range of experiments. Our analysis and conclusions offer guidance for future researchers and practitioners when tackling similar temporal constraint problems in new applications. All results, source code and instances are made publicly available to further assist future research.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Optimal Decision Trees for the Algorithm Selection Problem: Integer Programming Based Approaches
Authors:
Matheus Guedes Vilas Boas,
Haroldo Gambini Santos,
Luiz Henrique de Campos Merschmann,
Greet Vanden Berghe
Abstract:
Even though it is well known that for most relevant computational problems different algorithms may perform better on different classes of problem instances, most researchers still focus on determining a single best algorithmic configuration based on aggregate results such as the average. In this paper, we propose Integer Programming based approaches to build decision trees for the Algorithm Selec…
▽ More
Even though it is well known that for most relevant computational problems different algorithms may perform better on different classes of problem instances, most researchers still focus on determining a single best algorithmic configuration based on aggregate results such as the average. In this paper, we propose Integer Programming based approaches to build decision trees for the Algorithm Selection Problem. These techniques allow automate three crucial decisions: (i) discerning the most important problem features to determine problem classes; (ii) grou** the problems into classes and (iii) select the best algorithm configuration for each class. To evaluate this new approach, extensive computational experiments were executed using the linear programming algorithms implemented in the COIN-OR Branch & Cut solver across a comprehensive set of instances, including all MIPLIB benchmark instances. The results exceeded our expectations. While selecting the single best parameter setting across all instances decreased the total running time by 22%, our approach decreased the total running time by 40% on average across 10-fold cross validation experiments. These results indicate that our method generalizes quite well and does not overfit.
△ Less
Submitted 24 September, 2019; v1 submitted 3 July, 2019;
originally announced July 2019.
-
MILP and Max-Clique based heuristics for the Eternity II puzzle
Authors:
Fabio Salassa,
Wim Vancroonenburg,
Tony Wauters,
Federico Della Croce,
Greet Vanden Berghe
Abstract:
The present paper considers a hybrid local search approach to the Eternity II puzzle and to unsigned, rectangular, edge matching puzzles in general. Both an original mixed-integer linear programming (MILP) formulation and a novel Max-Clique formulation are presented for this NP-hard problem. Although the presented formulations remain computationally intractable for medium and large sized instances…
▽ More
The present paper considers a hybrid local search approach to the Eternity II puzzle and to unsigned, rectangular, edge matching puzzles in general. Both an original mixed-integer linear programming (MILP) formulation and a novel Max-Clique formulation are presented for this NP-hard problem. Although the presented formulations remain computationally intractable for medium and large sized instances, they can serve as the basis for develo** heuristic decompositions and very large scale neighbourhoods. As a side product of the Max-Clique formulation, new hard-to-solve instances are published for the academic research community. Two reasonably well performing MILP-based constructive methods are presented and used for determining the initial solution of a multi-neighbourhood local search approach. Experimental results confirm that this local search can further improve the results obtained by the constructive heuristics and is quite competitive with the state of the art procedures.
△ Less
Submitted 5 October, 2017; v1 submitted 1 September, 2017;
originally announced September 2017.
-
Efficient computation of high index Sturm-Liouville eigenvalues for problems in physics
Authors:
Veerle Ledoux,
Marnix Van Daele,
Guido Vanden Berghe
Abstract:
Finding the eigenvalues of a Sturm-Liouville problem can be a computationally challenging task, especially when a large set of eigenvalues is computed, or just when particularly large eigenvalues are sought. This is a consequence of the highly oscillatory behaviour of the solutions corresponding to high eigenvalues, which forces a naive integrator to take increasingly smaller steps. We will disc…
▽ More
Finding the eigenvalues of a Sturm-Liouville problem can be a computationally challenging task, especially when a large set of eigenvalues is computed, or just when particularly large eigenvalues are sought. This is a consequence of the highly oscillatory behaviour of the solutions corresponding to high eigenvalues, which forces a naive integrator to take increasingly smaller steps. We will discuss some techniques that yield uniform approximation over the whole eigenvalue spectrum and can take large steps even for high eigenvalues. In particular, we will focus on methods based on coefficient approximation which replace the coefficient functions of the Sturm-Liouville problem by simpler approximations and then solve the approximating problem. The use of (modified) Magnus or Neumann integrators allows to extend the coefficient approximation idea to higher order methods.
△ Less
Submitted 16 April, 2008;
originally announced April 2008.
-
An Entry of Ramanujan on Hypergeometric Series in his Notebooks
Authors:
K. Srinivasa Rao,
G. Vanden Berghe,
Christian Krattenthaler
Abstract:
Example 7, after Entry 43, in Chapter XII of the first Notebook of Srinivasa Ramanujan is proved and, more generally, a summation theorem for $_3F_2(a,a,x;1+a,1+a+N;1)$, where $N$ is a non-negative integer, is derived.
Example 7, after Entry 43, in Chapter XII of the first Notebook of Srinivasa Ramanujan is proved and, more generally, a summation theorem for $_3F_2(a,a,x;1+a,1+a+N;1)$, where $N$ is a non-negative integer, is derived.
△ Less
Submitted 22 April, 2003;
originally announced April 2003.