-
Adaptive large neighborhood search for a personnel task scheduling problem with task selection and parallel task assignments
Authors:
Martin Gutjahr,
Sophie N. Parragh,
Fabien Tricoire
Abstract:
Motivated by a real-world application, we model and solve a complex staff scheduling problem. Tasks are to be assigned to workers for supervision. Multiple tasks can be covered in parallel by a single worker, with worker shifts being flexible within availabilities. Each worker has a different skill set, enabling them to cover different tasks. Tasks require assignment according to priority and skil…
▽ More
Motivated by a real-world application, we model and solve a complex staff scheduling problem. Tasks are to be assigned to workers for supervision. Multiple tasks can be covered in parallel by a single worker, with worker shifts being flexible within availabilities. Each worker has a different skill set, enabling them to cover different tasks. Tasks require assignment according to priority and skill requirements. The objective is to maximize the number of assigned tasks weighted by their priorities, while minimizing assignment penalties. We develop an adaptive large neighborhood search (ALNS) algorithm, relying on tailored destroy and repair operators. It is tested on benchmark instances derived from real-world data and compared to optimal results obtained by means of a commercial MIP-solver. Furthermore, we analyze the impact of considering three additional alternative objective functions. When applied to large-scale company data, the developed ALNS outperforms the previously applied solution approach.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
A matheuristic for tri-objective binary integer programming
Authors:
Duleabom An,
Sophie N. Parragh,
Markus Sinnl,
Fabien Tricoire
Abstract:
Many real-world optimisation problems involve multiple objectives. When considered concurrently, they give rise to a set of optimal trade-off solutions, also known as efficient solutions. These solutions have the property that neither objective can be improved without deteriorating another objective. Motivated by the success of matheuristics in the single-objective domain, we propose a linear prog…
▽ More
Many real-world optimisation problems involve multiple objectives. When considered concurrently, they give rise to a set of optimal trade-off solutions, also known as efficient solutions. These solutions have the property that neither objective can be improved without deteriorating another objective. Motivated by the success of matheuristics in the single-objective domain, we propose a linear programming-based matheuristic for tri-objective binary integer programming. To achieve a high-quality approximation of the optimal set of trade-off solutions, a lower bound set is first obtained using the vector linear programming solver Bensolve. Then, feasibility pump-based ideas in combination with path relinking are applied in novel ways so as to obtain a high quality upper bound set. Our matheuristic is compared to a recently-suggested algorithm that is, to the best of our knowledge, the only existing matheuristic method for tri-objective integer programming. In an extensive computational study, we show that our method generates a better approximation of the true Pareto front than the benchmark method on a large set of tri-objective benchmark instances. Since the developed approach starts from a potentially fractional lower bound set, it may also be used as a primal heuristic in the context of linear relaxation-based multi-objective branch-and-bound algorithms.
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
A lexicographic maximin approach to the selective assessment routing problem
Authors:
Mohammadmehdi Hakimifar,
Vera Hemmelmayr,
Fabien Tricoire
Abstract:
Max-min approaches have been widely applied to address equity as an essential consideration in humanitarian operations. These approaches, however, have a significant drawback of being neutral when it comes to solutions with the same minimum values. These equivalent solutions, from a max-min point of view, might be significantly different. We address this problem using the lexicographic maximin app…
▽ More
Max-min approaches have been widely applied to address equity as an essential consideration in humanitarian operations. These approaches, however, have a significant drawback of being neutral when it comes to solutions with the same minimum values. These equivalent solutions, from a max-min point of view, might be significantly different. We address this problem using the lexicographic maximin approach, a refinement of the classic max-min approach. We apply this approach in the rapid needs assessment process, which is carried out immediately after the onset of a disaster, to investigate the disaster's impact on the affected community groups through field visits. We construct routes for an assessment plan to cover community groups, each carrying a distinct characteristic, such that the vector of coverage ratios are maximized. We define the leximin selective assessment problem, which considers the bi-objective optimization of total assessment time and coverage ratio vector maximization. We solve the bi-objective problem by a heuristic approach based on the multi-directional local search framework.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
BROUTE: a benchmark suite for the implementation of standard vehicle routing algorithms
Authors:
Fabien Tricoire
Abstract:
We introduce BROUTE, a benchmark suite for vehicle routing optimization algorithms. We define a selection of algorithms traditionally used in vehicle routing optimization. They capture essential features that are also relevant in optimization algorithms for different application domains, like local search move evaluation, memory allocation, dynamic programming, or insertion and deletion from a lis…
▽ More
We introduce BROUTE, a benchmark suite for vehicle routing optimization algorithms. We define a selection of algorithms traditionally used in vehicle routing optimization. They capture essential features that are also relevant in optimization algorithms for different application domains, like local search move evaluation, memory allocation, dynamic programming, or insertion and deletion from a list. Each algorithm is deterministic. We implement these benchmark algorithms using a selection of programming languages and different data structures. BROUTE is free, open-source, and can be used to inform early decisions in projects that involve programming, such as which language to use.
△ Less
Submitted 2 December, 2021; v1 submitted 28 July, 2021;
originally announced July 2021.
-
An outer approximation algorithm for multi-objective mixed-integer linear and non-linear programming
Authors:
Fritz Bökler,
Sophie N. Parragh,
Markus Sinnl,
Fabien Tricoire
Abstract:
In this paper, we present the first outer approximation algorithm for multi-objective mixed-integer linear programming problems with any number of objectives. The algorithm also works for certain classes of non-linear programming problems. It produces the non-dominated extreme points as well as the facets of the convex hull of these points. The algorithm relies on an oracle which solves single-obj…
▽ More
In this paper, we present the first outer approximation algorithm for multi-objective mixed-integer linear programming problems with any number of objectives. The algorithm also works for certain classes of non-linear programming problems. It produces the non-dominated extreme points as well as the facets of the convex hull of these points. The algorithm relies on an oracle which solves single-objective weighted-sum problems and we show that the required number of oracle calls is polynomial in the number of facets of the convex hull of the non-dominated extreme points in the case of multiobjective mixed-integer programming (MOMILP). Thus, for MOMILP problems for which the weighted-sum problem is solvable in polynomial time, the facets can be computed with incremental-polynomial delay. From a practical perspective, the algorithm starts from a valid lower bound set for the non-dominated extreme points and iteratively improves it. Therefore it can be used in multi-objective branch-and-bound algorithms and still provide a valid bound set at any stage, even if interrupted before converging. Moreover, the oracle produces Pareto optimal solutions, which makes the algorithm also attractive from the primal side in a multi-objective branch-and-bound context. Finally, the oracle can also be called with any relaxation of the primal problem, and the obtained points and facets still provide a valid lower bound set. A computational study on a set of benchmark instances from the literature and new non-linear multi-objective instances is provided.
△ Less
Submitted 2 May, 2022; v1 submitted 30 March, 2021;
originally announced March 2021.
-
A LP relaxation based matheuristic for multi-objective integer programming
Authors:
Duleabom An,
Sophie N. Parragh,
Markus Sinnl,
Fabien Tricoire
Abstract:
Motivated by their success in the single-objective domain, we propose a very simple linear programming-based matheuristic for tri-objective binary integer programming. To tackle the problem, we obtain lower bound sets by means of the vector linear programming solver Bensolve. Then, simple heuristic approaches, such as rounding and path relinking, are applied to this lower bound set to obtain high-…
▽ More
Motivated by their success in the single-objective domain, we propose a very simple linear programming-based matheuristic for tri-objective binary integer programming. To tackle the problem, we obtain lower bound sets by means of the vector linear programming solver Bensolve. Then, simple heuristic approaches, such as rounding and path relinking, are applied to this lower bound set to obtain high-quality approximations of the optimal set of trade-off solutions. The proposed algorithm is compared to a recently suggested algorithm which is, to the best of our knowledge, the only existing matheuristic method for tri-objective integer programming. Computational experiments show that our method produces a better approximation of the true Pareto front using significantly less time than the benchmark method on standard benchmark instances for the three-objective knapsack problem.
△ Less
Submitted 6 February, 2021;
originally announced February 2021.
-
A branch-and-Benders-cut algorithm for a bi-objective stochastic facility location problem
Authors:
Sophie N. Parragh,
Fabien Tricoire,
Walter Gutjahr
Abstract:
In many real-world optimization problems, more than one objective plays a role and input parameters are subject to uncertainty. In this paper, motivated by applications in disaster relief and public facility location, we model and solve a bi-objective stochastic facility location problem. The considered objectives are cost and uncovered demand, whereas the demand at the different population center…
▽ More
In many real-world optimization problems, more than one objective plays a role and input parameters are subject to uncertainty. In this paper, motivated by applications in disaster relief and public facility location, we model and solve a bi-objective stochastic facility location problem. The considered objectives are cost and uncovered demand, whereas the demand at the different population centers is uncertain but its probability distribution is known. The latter information is used to produce a set of scenarios. In order to solve the underlying optimization problem, we apply a Benders' type decomposition approach which is known as the L-shaped method for stochastic programming and we embed it into a recently developed branch-and-bound framework for bi-objective integer optimization. We analyze and compare different cut generation schemes and we show how they affect lower bound set computations, so as to identify the best performing approach. Finally, we compare the branch-and-Benders-cut approach to a straight-forward branch-and-bound implementation based on the deterministic equivalent formulation.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
A Local-Search Based Heuristic for the Unrestricted Block Relocation Problem
Authors:
Dominique Feillet,
Sophie N. Parragh,
Fabien Tricoire
Abstract:
The unrestricted block relocation problem is an important optimization problem encountered at terminals, where containers are stored in stacks. It consists in determining the minimum number of container moves so as to empty the considered bay following a certain retrieval sequence. A container move can be either the retrieval of a container or the relocation of a certain container on top of a stac…
▽ More
The unrestricted block relocation problem is an important optimization problem encountered at terminals, where containers are stored in stacks. It consists in determining the minimum number of container moves so as to empty the considered bay following a certain retrieval sequence. A container move can be either the retrieval of a container or the relocation of a certain container on top of a stack to another stack. The latter types of moves are necessary so as to provide access to containers which are currently not on top of a stack. They might also be useful to prepare future removals. In this paper, we propose the first local search type improvement heuristic for the block relocation problem. It relies on a clever definition of the state space which is explored by means of a dynamic programming algorithm so as to identify the locally optimal sequence of moves of a given container. Our results on large benchmark instance reveal unexpectedly high improvement potentials (up to 50%) compared to results obtained by state-of-the-art constructive heuristics.
△ Less
Submitted 5 April, 2019; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Branch-and-bound for bi-objective integer programming
Authors:
Sophie N. Parragh,
Fabien Tricoire
Abstract:
In bi-objective integer optimization the optimal result corresponds to a set of non-dominated solutions. We propose a generic bi-objective branch-and-bound algorithm that uses a problem-independent branching rule exploiting available integer solutions and takes advantage of integer objective coefficients. The developed algorithm is applied to bi-objective facility location problems, to the bi-obje…
▽ More
In bi-objective integer optimization the optimal result corresponds to a set of non-dominated solutions. We propose a generic bi-objective branch-and-bound algorithm that uses a problem-independent branching rule exploiting available integer solutions and takes advantage of integer objective coefficients. The developed algorithm is applied to bi-objective facility location problems, to the bi-objective set covering problem, as well as to the bi-objective team orienteering problem with time windows. In the latter case, lower bound sets are computed by means of column generation. Comparison to state-of-the-art exact algorithms shows the effectiveness of the proposed branch-and-bound algorithm.
△ Less
Submitted 18 September, 2018;
originally announced September 2018.