Showing 1–8 of 8 results for author: Leitner, M

A Two-Step Warm Start Method Used for Solving Large-Scale Stochastic Mixed-Integer Problems

Authors: Berend Markhorst, Markus Leitner, Joost Berkhout, Alessandro Zocca, Rob van der Mei

Abstract: Two-stage stochastic programs become computationally challenging when the number of scenarios representing parameter uncertainties grows. Motivated by this, we propose the TULIP-algorithm ("Two-step warm start method Used for solving Large-scale stochastic mixed-Integer Problems"), a two-step approach for solving two-stage stochastic (mixed) integer linear programs with an exponential number of co… ▽ More Two-stage stochastic programs become computationally challenging when the number of scenarios representing parameter uncertainties grows. Motivated by this, we propose the TULIP-algorithm ("Two-step warm start method Used for solving Large-scale stochastic mixed-Integer Problems"), a two-step approach for solving two-stage stochastic (mixed) integer linear programs with an exponential number of constraints. In this approach, we first generate a reduced set of representative scenarios and solve the root node of the corresponding integer linear program using a cutting-plane method. The generated constraints are then used to accelerate solving the original problem with the full scenario set in the second phase. We demonstrate the generic effectiveness of TULIP on two benchmark problems: the Stochastic Capacitated Vehicle Routing Problem and the Two-Stage Stochastic Steiner Forest Problem. The results of our extensive numerical experiments show that TULIP yields significant computational gains compared to solving the problem directly with branch-and-cut. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Task-splitting in home healthcare routing and scheduling

Authors: Loek van Montfort, Wout Dullaert, Markus Leitner

Abstract: This paper introduces the concept of task-splitting into home healthcare (HHC) routing and scheduling. It focuses on the design of routes and timetables for caregivers providing services at patients' homes. Task-splitting is the division of a (lengthy) patient visit into separate visits that can be performed by different caregivers at different times. The resulting split parts may have reduced car… ▽ More This paper introduces the concept of task-splitting into home healthcare (HHC) routing and scheduling. It focuses on the design of routes and timetables for caregivers providing services at patients' homes. Task-splitting is the division of a (lengthy) patient visit into separate visits that can be performed by different caregivers at different times. The resulting split parts may have reduced caregiver qualification requirements, relaxed visiting time windows, or a shorter/longer combined duration. However, additional temporal dependencies can arise between them. To incorporate task-splitting decisions into the planning process, we introduce two different mixed integer linear programming formulations, a Miller-Tucker-Zemlin and a time-indexed variant. These formulations aim to minimize operational costs while simultaneously deciding which visits to split and imposing a potentially wide range of temporal dependencies. We also propose pre-processing routines for the time-indexed formulation and two heuristic procedures. These methods are embedded into the branch-and-bound approach as primal and improvement heuristics. The results of our computational study demonstrate the additional computational difficulty introduced by task-splitting possibilities and the associated additional synchronization, and the usefulness of the proposed heuristic procedures. From a planning perspective, our results indicate that integrating task-splitting decisions into the planning process reduces staff requirements, decreases HHC operational costs, and allows caregivers to spend relatively more time on tasks aligned with their qualifications. Moreover, we observe that the potential of task-splitting is not specific to the chosen planning objective; it can also be beneficial when minimizing travel time instead. △ Less

Submitted 20 September, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

The role of individual compensation and acceptance decisions in crowdsourced delivery

Authors: Alim Buğra Çınar, Wout Dullaert, Markus Leitner, Rosario Paradiso, Stefan Waldherr

Abstract: One of the recent innovations in urban distribution is crowdsourced delivery, where deliveries are made by occasional drivers who wish to utilize their surplus resources (unused transport capacity) by making deliveries in exchange for some compensation. The potential benefits of crowdsourced delivery include reduced delivery costs and increased flexibility (by scaling delivery capacity up and down… ▽ More One of the recent innovations in urban distribution is crowdsourced delivery, where deliveries are made by occasional drivers who wish to utilize their surplus resources (unused transport capacity) by making deliveries in exchange for some compensation. The potential benefits of crowdsourced delivery include reduced delivery costs and increased flexibility (by scaling delivery capacity up and down as needed). The use of occasional drivers poses new challenges because (unlike traditional couriers) neither their availability nor their behavior in accepting delivery offers is certain. The relationship between the compensation offered to occasional drivers and the probability that they will accept a task has been largely neglected in the scientific literature. Therefore, we consider a setting in which compensation-dependent acceptance probabilities are explicitly considered in the process of assigning delivery tasks to occasional drivers. We propose a mixed-integer nonlinear model that minimizes the expected delivery costs while identifying optimal assignments of tasks to a mix of professional and occasional drivers and their compensation. We propose an exact two-stage solution algorithm that allows to decompose compensation and assignment decisions for generic acceptance probability functions and show that the runtime of this algorithm is polynomial under mild conditions. Finally, we also study a more general case of the considered problem setting, show that it is NP-hard and propose an approximate linearization scheme of our mixed-integer nonlinear model. The results of our computational study show clear advantages of our new approach over existing ones. They also indicate that these advantages remain in dynamic settings when tasks and drivers are revealed over time and in which case our method constitutes a fast, yet powerful heuristic. △ Less

Submitted 21 August, 2024; v1 submitted 2 May, 2023; originally announced May 2023.

Journal ref: Transportation Research Part C: Emerging Technologies Volume 169, December 2024, 104834

An Exact Method for Fortification Games

Authors: Markus Leitner, Ivana Ljubić, Michele Monaci, Markus Sinnl, Kübra Tanınmış

Abstract: A fortification game (FG) is a three-level, two-player Stackelberg game, also known as defender-attacker-defender game, in which at the uppermost level, the defender selects some assets to be protected from potential malicious attacks. At the middle level, the attacker solves an interdiction game by depreciating unprotected assets, i.e., reducing the values of such assets for the defender, while a… ▽ More A fortification game (FG) is a three-level, two-player Stackelberg game, also known as defender-attacker-defender game, in which at the uppermost level, the defender selects some assets to be protected from potential malicious attacks. At the middle level, the attacker solves an interdiction game by depreciating unprotected assets, i.e., reducing the values of such assets for the defender, while at the innermost level the defender solves a recourse problem over the surviving or partially damaged assets. Fortification games have applications in various important areas, such as military operations, design of survivable networks, protection of facilities, or power grid protection. In this work, we present an exact solution algorithm for FGs, in which the recourse problems correspond to (possibly NP-hard) combinatorial optimization problems. The algorithm is based on a new generic mixed-integer linear programming reformulation in the natural space of fortification variables. Our new model makes use of fortification cuts that measure the contribution of a given fortification strategy to the objective function value. These cuts are generated on-the-fly by solving separation problems, which correspond to (modified) middle-level interdiction games. We design a branch-and-cut-based solution algorithm based on fortification cuts, their lifted versions, and other speed-up techniques. We present a computational study using the knapsack fortification game and the shortest path fortification game. For the latter one, we include a comparison with a state-of-the-art solution method from the literature. Our algorithm outperforms this method and allows us to solve previously unsolved instances to optimality. △ Less

Submitted 9 February, 2022; v1 submitted 26 November, 2021; originally announced November 2021.

Comments: New computations with the benchmark method added

An Exact Method for (Constrained) Assortment Optimization Problems with Product Costs

Authors: Markus Leitner, Andrea Lodi, Roberto Roberti, Claudio Sole

Abstract: We study the problem of optimizing assortment decisions in the presence of product-specific costs when customers choose according to a multinomial logit model. This problem is NP-hard and approximate solutions methods have been proposed in the literature to obtain both lower and upper bounds in a tractable manner. We propose the first exact solution method for this problem and show that provably o… ▽ More We study the problem of optimizing assortment decisions in the presence of product-specific costs when customers choose according to a multinomial logit model. This problem is NP-hard and approximate solutions methods have been proposed in the literature to obtain both lower and upper bounds in a tractable manner. We propose the first exact solution method for this problem and show that provably optimal assortments of instances with up to one thousand products can be found, on average, in about two tenths of a second. In particular, we propose a bounding procedure based on the approximation method of Feldman and Topaloglu (2015a) to provide tight lower and upper bounds at a fraction of their computing times. We show how these bounds can be used to effectively identify an optimal assortment. We also describe how to adapt our approach to handle cardinality or space/resource capacity constraints on the assortment as well as assortment optimization under a mixed-multinomial logit model. In both cases, our solution method provides significant computational boosts compared to exact methods from the literature. △ Less

Submitted 4 December, 2023; v1 submitted 7 September, 2021; originally announced September 2021.

Convolutions on the complex torus

Authors: Marianne Leitner

Abstract: ``Quasi-elliptic'' functions can be given a ring structure in two different ways, using either ordinary multiplication, or convolution. The map between the corresponding standard bases is calculated. A related structure has appeared recently in the computation of Feynman integrals. The two approaches are related by a sequence of polynomials closely tied to the Eulerian polynomials. ``Quasi-elliptic'' functions can be given a ring structure in two different ways, using either ordinary multiplication, or convolution. The map between the corresponding standard bases is calculated. A related structure has appeared recently in the computation of Feynman integrals. The two approaches are related by a sequence of polynomials closely tied to the Eulerian polynomials. △ Less

Submitted 12 October, 2020; v1 submitted 30 August, 2019; originally announced August 2019.

Comments: 18 pages, to be published in Int. J. Number Theory

Report number: DIAS-STP-20-14 MSC Class: 81T40; 11B68; 11B73

Journal ref: Int. J. Number Theory 2020

The $(2,5)$ minimal model on genus two surfaces

Authors: Marianne Leitner

Abstract: In the $(2,5)$ minimal model, the partition function for genus $g=2$ Riemann surfaces is given by a $5$-tuple of functions with appropriate transformation under the mapping class group. These functions generalise the two Rogers-Ramanujan functions for the torus. Their expansions around a locus of surfaces with conical singularities in the interior of the $g=2$ Siegel upper half plane are obtained… ▽ More In the $(2,5)$ minimal model, the partition function for genus $g=2$ Riemann surfaces is given by a $5$-tuple of functions with appropriate transformation under the mapping class group. These functions generalise the two Rogers-Ramanujan functions for the torus. Their expansions around a locus of surfaces with conical singularities in the interior of the $g=2$ Siegel upper half plane are obtained in terms of standard modular forms. The dependence on the metric is controlled by a canonical choice of flat surface metrics. In the alternative case where a handle of the $g=2$ surface is pinched, our method requires knowledge of the two-point function of the fundamental lowest-weight vector in the non-vacuum representation of the Virasoro algebra, for which we derive a $3$\ts{rd} order ODE. In order to make the paper more accessible to mathematicians, the exposition includes a short introduction to conformal field theory on Riemann surfaces, which may be of independent interest. △ Less

Submitted 15 June, 2021; v1 submitted 25 January, 2018; originally announced January 2018.

Comments: 53 pages. The title is modified. Better organisation of the expansions, and comment on the period matrix included

Report number: DIAS-STP-17-11 MSC Class: 11F03 (Primary); 57M50; 81T40 (Secondary)

CFTs on Riemann Surfaces of genus $g\geq 1$

Authors: Marianne Leitner

Abstract: $N$-point functions of holomorphic fields in conformal field theories can be calculated by methods from algebraic geometry. We establish explicit formulas for the 2-point function of the Virasoro field on hyperelliptic Riemann surfaces of genus $g\geq 1$. Virasoro $N$-point functions for higher $N… ▽ More $N$-point functions of holomorphic fields in conformal field theories can be calculated by methods from algebraic geometry. We establish explicit formulas for the 2-point function of the Virasoro field on hyperelliptic Riemann surfaces of genus $g\geq 1$. Virasoro $N$-point functions for higher $N$ are obtained inductively, and we show that they have a nice graph representation. We discuss the 3-point function with application to the $(2,5)$ minimal model. △ Less

Submitted 9 September, 2013; v1 submitted 7 November, 2010; originally announced November 2010.

Comments: Published version with minor corrections

MSC Class: 81T40; 14H55; 14H81; 14J17; 32C81; 53C80

Journal ref: Lett. Math. Phys. 103.7 (2013), 701-728