-
On the connected (sub)partition polytope
Authors:
Phablo F. S. Moura,
Roel Leus,
Hande Yaman
Abstract:
Let $k$ be a positive integer and let $G$ be a graph with $n$ vertices. A connected $k$-subpartition of $G$ is a collection of $k$ pairwise disjoint sets (a.k.a. classes) of vertices in $G$ such that each set induces a connected subgraph. The connected $k$-partition polytope of $G$, denoted by $P(G,k)$, is defined as the convex hull of the incidence vectors of all connected $k$-subpartitions of…
▽ More
Let $k$ be a positive integer and let $G$ be a graph with $n$ vertices. A connected $k$-subpartition of $G$ is a collection of $k$ pairwise disjoint sets (a.k.a. classes) of vertices in $G$ such that each set induces a connected subgraph. The connected $k$-partition polytope of $G$, denoted by $P(G,k)$, is defined as the convex hull of the incidence vectors of all connected $k$-subpartitions of $G$. Many applications arising in off-shore oil-drilling, forest planning, image processing, cluster analysis, political districting, police patrolling, and biology are modeled in terms of finding connected (sub)partitions of a graph. This study focus on the facial structure of $P(G,k)$ and the computational complexity of the corresponding separation problems. We first propose a set of valid inequalities having non-null coefficients associated with a single class that extends and generalizes the ones in the literature of related problems, show sufficient conditions for these inequalities to be facet-defining, and design a polynomial-time separation algorithm for them. We also devise two sets of inequalities that consider multiple classes, prove when they define facets, and study the computational complexity of associated separation problems.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
Compact formulations and valid inequalities for parallel machine scheduling with conflicts
Authors:
Phablo F. S. Moura,
Roel Leus,
Hande Yaman
Abstract:
The problem of scheduling conflicting jobs on parallel machines consists in assigning a set of jobs to a set of machines so that no two conflicting jobs are allocated to the same machine, and the maximum processing time among all machines is minimized. We propose a new compact mixed integer linear formulation based on the representatives model for the vertex coloring problem, which overcomes a num…
▽ More
The problem of scheduling conflicting jobs on parallel machines consists in assigning a set of jobs to a set of machines so that no two conflicting jobs are allocated to the same machine, and the maximum processing time among all machines is minimized. We propose a new compact mixed integer linear formulation based on the representatives model for the vertex coloring problem, which overcomes a number of issues inherent in the natural assignment model. We present a polyhedral study of the associated polytope, and describe classes of valid inequalities inherited from the stable set polytope. We describe branch-and-cut algorithms for the problem, and report on computational experiments with benchmark instances. Our computational results on the hardest instances of the benchmark set show that the proposed algorithms are superior (either in running time or quality of the solutions) to the current state-of-the-art methods. We find that our new method performs better than the existing ones especially when the gap between the optimal value and the trivial lower bound (i.e., the sum of all processing times divided by the number of machines) increases.
△ Less
Submitted 9 July, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
Fair integer programming under dichotomous and cardinal preferences
Authors:
Tom Demeulemeester,
Dries Goossens,
Ben Hermans,
Roel Leus
Abstract:
One cannot make truly fair decisions using integer linear programs unless one controls the selection probabilities of the (possibly many) optimal solutions. For this purpose, we propose a unified framework when binary decision variables represent agents with dichotomous preferences, who only care about whether they are selected in the final solution. We develop several general-purpose algorithms t…
▽ More
One cannot make truly fair decisions using integer linear programs unless one controls the selection probabilities of the (possibly many) optimal solutions. For this purpose, we propose a unified framework when binary decision variables represent agents with dichotomous preferences, who only care about whether they are selected in the final solution. We develop several general-purpose algorithms to fairly select optimal solutions, for example, by maximizing the Nash product or the minimum selection probability, or by using a random ordering of the agents as a selection criterion (Random Serial Dictatorship). We also discuss in detail how to extend the proposed methods when agents have cardinal preferences. As such, we embed the black-box procedure of solving an integer linear program into a framework that is explainable from start to finish. Lastly, we evaluate the proposed methods on two specific applications, namely kidney exchange (dichotomous preferences), and the scheduling problem of minimizing total tardiness on a single machine (cardinal preferences). We find that while the methods maximizing the Nash product or the minimum selection probability outperform the other methods on the evaluated welfare criteria, methods such as Random Serial Dictatorship perform reasonably well in computation times that are similar to those of finding a single optimal solution.
△ Less
Submitted 9 April, 2024; v1 submitted 23 June, 2023;
originally announced June 2023.
-
An improved decomposition-based heuristic for truck platooning
Authors:
Boshuai Zhao,
Roel Leus
Abstract:
Truck platooning is a promising transportation mode in which several trucks drive together and thus save fuel consumption by suffering less air resistance. In this paper, we consider a truck platooning system for which we jointly optimize the truck routes and schedules from the perspective of a central platform. We improve an existing decomposition-based heuristic by Luo and Larson (2022), which i…
▽ More
Truck platooning is a promising transportation mode in which several trucks drive together and thus save fuel consumption by suffering less air resistance. In this paper, we consider a truck platooning system for which we jointly optimize the truck routes and schedules from the perspective of a central platform. We improve an existing decomposition-based heuristic by Luo and Larson (2022), which iteratively solves a routing and scheduling problem, with a cost modification step after each scheduling run. We propose different formulations for the routing and the scheduling problem and embed these into Luo and Larson's framework, and we examine ways to improve their iterative process. In addition, we propose another scheduling heuristic to deal with large instances. The computational results show that our procedure achieves better performance than the existing one under certain realistic settings.
△ Less
Submitted 19 February, 2023; v1 submitted 11 October, 2022;
originally announced October 2022.
-
A flow-based formulation for parallel machine scheduling using decision diagrams
Authors:
Daniel Kowalczyk,
Roel Leus,
Christopher Hojny,
Stefan Røpke
Abstract:
We present a new flow-based formulation for identical parallel machine scheduling with a regular objective function and without idle time. The formulation is constructed with the help of a decision diagram that represents all job sequences that respect specific ordering rules. These rules rely on a partition of the planning horizon into, generally non-uniform, periods and do not exclude all optima…
▽ More
We present a new flow-based formulation for identical parallel machine scheduling with a regular objective function and without idle time. The formulation is constructed with the help of a decision diagram that represents all job sequences that respect specific ordering rules. These rules rely on a partition of the planning horizon into, generally non-uniform, periods and do not exclude all optimal solutions, but they constrain solutions to adhere to a canonical form. The new formulation has numerous variables and constraints, and hence we apply a Dantzig-Wolfe decomposition in order to compute the linear programming relaxation in reasonable time; the resulting lower bound is stronger than the bound from the classical time-indexed formulation. We develop a branch-and-price framework that solves several instances from the literature for the first time. We compare the new formulation with the time-indexed and arc-time-indexed formulation by means of a series of computational experiments.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
The TSP with drones: The benefits of retraversing the arcs
Authors:
Nicola Morandi,
Roel Leus,
Jannik Matuschke,
Hande Yaman
Abstract:
In the Traveling Salesman Problem with Drones (TSP-mD), a truck and multiple drones cooperate to serve customers in the minimum amount of time. The drones are launched and retrieved by the truck at customer locations, and each of their flights must not consume more energy than allowed by their batteries. Most problem settings in the literature restrict the feasible truck routes to cycles, i.e., cl…
▽ More
In the Traveling Salesman Problem with Drones (TSP-mD), a truck and multiple drones cooperate to serve customers in the minimum amount of time. The drones are launched and retrieved by the truck at customer locations, and each of their flights must not consume more energy than allowed by their batteries. Most problem settings in the literature restrict the feasible truck routes to cycles, i.e., closed paths, which never visit a node more than once. Revisiting a node, however, may lower the time required to serve all the customers. Additionally, we observe that optimal solutions for the TSP-mD may retraverse arcs, i.e., optimal truck routes may contain the same arcs multiple times. We refer to such solutions as arc-retraversing, and include them in our solution space by modeling the truck route as a closed walk. We describe Euclidean instances where all the optimal solutions are arc-retraversing. The necessity of arc retraversals does not seem to have been investigated in previous studies, and those that allow node revisits seem to assume that there always exists an optimal solution without arc retraversals. We prove that under certain conditions, which are commonly met in the literature, this assumption is correct. When these conditions are not met, however, excluding arc-retraversing solutions might result in an increase of the optimal value; we identify cases where a priori and a posteriori upper bounds hold on such increase. Finally, we prove that there is no polynomial-time heuristic that can approximate the metric TSP-mD within a constant factor, unless P=NP. We identify a (non-constant) approximation factor explicitly when the truck can visit all the nodes.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Scheduling a single parallel-batching machine with non-identical job sizes and incompatible job families
Authors:
Fan Yang,
Morteza Davari,
Wenchao Wei,
Ben Hermans,
Roel Leus
Abstract:
We study the scheduling of jobs on a single parallel-batching machine with non-identical job sizes and incompatible job families. Jobs from the same family have the same processing time and can be loaded into a batch, as long as the batch size respects the machine capacity. The objective is to minimize the total weighted completion time. The problem combines two classic combinatorial problems, nam…
▽ More
We study the scheduling of jobs on a single parallel-batching machine with non-identical job sizes and incompatible job families. Jobs from the same family have the same processing time and can be loaded into a batch, as long as the batch size respects the machine capacity. The objective is to minimize the total weighted completion time. The problem combines two classic combinatorial problems, namely bin packing and single machine scheduling. We develop three new mixed-integer linear-programming formulations, namely an assignment-based formulation, a time-indexed formulation (TIF), and a set-partitioning formulation (SPF). We also propose a column generation (CG) algorithm for the SPF, which is the basis for a branch-and-price (B&P) algorithm and a CG-based heuristic. We develop a preprocessing method to reduce the formulation size. A heuristic framework based on proximity search is also developed using the TIF. The SPF and B&P can solve instances with non-unit and unit job durations to optimality with up to 80 and 150 jobs within reasonable runtime limits, respectively. The proposed heuristics perform better than the methods from the literature.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
Time-critical testing and search problems
Authors:
Alessandro Agnetis,
Ben Hermans,
Roel Leus,
Salim Rostami
Abstract:
This paper introduces a problem in which the state of a system needs to be determined through costly tests of its components by a limited number of testing units and before a given deadline. We also consider a closely related search problem in which there are multiple searchers to find a target before a given deadline. These natural generalizations of the classical sequential testing problem and s…
▽ More
This paper introduces a problem in which the state of a system needs to be determined through costly tests of its components by a limited number of testing units and before a given deadline. We also consider a closely related search problem in which there are multiple searchers to find a target before a given deadline. These natural generalizations of the classical sequential testing problem and search problem are applicable in a wide range of time-critical operations such as machine maintenance, diagnosing a patient, and new product development. We show that both problems are NP-hard, develop a pseudo-polynomial dynamic program for the special case of two time slots, and describe a partial-order-based as well as an assignment-based mixed integer program for the general case. Based on extensive computational experiments, we find that the assignment-based formulation performs better than the partial-order-based formulation for the testing variant, but that this is the other way round for the search variant. Finally, we propose a pairwise-interchange-based local search procedure and show that, empirically, it performs very well in finding near-optimal solutions.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Exact algorithms for budgeted prize-collecting covering subgraph problems
Authors:
Nicola Morandi,
Roel Leus,
Hande Yaman
Abstract:
We introduce a class of budgeted prize-collecting covering subgraph problems. For an input graph with prizes on the vertices and costs on the edges, the aim of these problems is to find a connected subgraph such that the cost of its edges does not exceed a given budget and its collected prize is maximum. A vertex prize is collected when the vertex is visited, but the price can also be partially co…
▽ More
We introduce a class of budgeted prize-collecting covering subgraph problems. For an input graph with prizes on the vertices and costs on the edges, the aim of these problems is to find a connected subgraph such that the cost of its edges does not exceed a given budget and its collected prize is maximum. A vertex prize is collected when the vertex is visited, but the price can also be partially collected if the vertex is covered, where an unvisited vertex is covered by a visited one if the latter belongs to the former's neighbourhood. A capacity limit is imposed on the number of vertices that can be covered by the same visited vertex. Potential application areas include network design and intermodal transportation. We develop a branch-and-cut framework and a Benders decomposition for the exact solution of the problems in this class. We observe that the former algorithm results in shorter computational times on average, but also that the latter can outperform the former for specific instance settings. Finally, we validate our algorithmic frameworks for the cases where the subgraph is a tour and a tree, and for these two cases we also identify novel symmetry-breaking inequalities.
△ Less
Submitted 4 August, 2021; v1 submitted 10 January, 2021;
originally announced January 2021.
-
A pessimist's approach to one-sided matching
Authors:
Tom Demeulemeester,
Dries Goossens,
Ben Hermans,
Roel Leus
Abstract:
Inspired by real-world applications such as the assignment of pupils to schools or the allocation of social housing, the one-sided matching problem studies how a set of agents can be assigned to a set of objects when the agents have preferences over the objects, but not vice versa. For fairness reasons, most mechanisms use randomness, and therefore result in a probabilistic assignment. We study th…
▽ More
Inspired by real-world applications such as the assignment of pupils to schools or the allocation of social housing, the one-sided matching problem studies how a set of agents can be assigned to a set of objects when the agents have preferences over the objects, but not vice versa. For fairness reasons, most mechanisms use randomness, and therefore result in a probabilistic assignment. We study the problem of decomposing these probabilistic assignments into a weighted sum of ex-post (Pareto-)efficient matchings, while maximizing the worst-case number of assigned agents. This decomposition preserves all the assignments' desirable properties, most notably strategy-proofness. For a specific class of probabilistic assignments, including the assignment by the Probabilistic Serial mechanism, we propose a polynomial-time algorithm for this problem that obtains a decomposition in which all matchings assign at least the expected number of assigned agents by the probabilistic assignment, rounded down, thus achieving the theoretically best possible guarantee. For general probabilistic assignments, the problem becomes NP-hard. For the Random Serial Dictatorship mechanism, we show that the worst-case number of assigned agents is at least half of the optimal, and that this bound is asymptotically tight. Lastly, we propose a column generation framework for the introduced problem, which we evaluate both on randomly generated data, and on real-world school choice data from the Belgian cities Antwerp and Ghent.
△ Less
Submitted 12 July, 2022; v1 submitted 3 January, 2021;
originally announced January 2021.
-
Exact and approximation algorithms for the expanding search problem
Authors:
Ben Hermans,
Roel Leus,
Jannik Matuschke
Abstract:
Suppose a target is hidden in one of the vertices of an edge-weighted graph according to a known probability distribution. The expanding search problem asks for a search sequence of the vertices so as to minimize the expected time for finding the target, where the time for reaching the next vertex is determined by its distance to the region that was already searched. This problem has numerous appl…
▽ More
Suppose a target is hidden in one of the vertices of an edge-weighted graph according to a known probability distribution. The expanding search problem asks for a search sequence of the vertices so as to minimize the expected time for finding the target, where the time for reaching the next vertex is determined by its distance to the region that was already searched. This problem has numerous applications, such as searching for hidden explosives, mining coal, and disaster relief. In this paper, we develop exact algorithms and heuristics, including a branch-and-cut procedure, a greedy algorithm with a constant-factor approximation guarantee, and a novel local search procedure based on a spanning tree neighborhood. Computational experiments show that our branch-and-cut procedure outperforms all existing methods for general instances and both heuristics compute near-optimal solutions with little computational effort.
△ Less
Submitted 20 November, 2019;
originally announced November 2019.
-
Scheduling multiple agile Earth observation satellites with multiple observations
Authors:
Chao Han,
Xinwei Wang,
Guopeng Song,
Roel Leus
Abstract:
The Earth observation satellites (EOSs) are specially designed to collect images according to user requirements. The agile EOSs (AEOS), with stronger attitude maneuverability, greatly improve the observation capability, while increasing the complexity in scheduling. We address a multiple AEOSs scheduling with multiple observations for the first time}, where the objective function aims to maximize…
▽ More
The Earth observation satellites (EOSs) are specially designed to collect images according to user requirements. The agile EOSs (AEOS), with stronger attitude maneuverability, greatly improve the observation capability, while increasing the complexity in scheduling. We address a multiple AEOSs scheduling with multiple observations for the first time}, where the objective function aims to maximize the entire observation profit over a fixed horizon. The profit attained by multiple observations for each target is nonlinear to the number of observations. We model the multiple AEOSs scheduling as a specific interval scheduling problem with each satellite orbit respected as machine. Then A column generation based framework is developed to solve this problem, in which we deal with the pricing problems with a label-setting algorithm. Extensive simulations are conducted on the basis of a China's AEOS constellation, and the results indicate the optimality gap is less than 3% on average, which validates the performance of the scheduling solution obtained by the proposed framework. We also compare the framework in the conventional EOS scheduling.
△ Less
Submitted 1 December, 2018;
originally announced December 2018.
-
A Combination of Flow Shop Scheduling and the Shortest Path Problem
Authors:
Kameng Nip,
Zhenbo Wang,
Fabrice Talla Nobibon,
Roel Leus
Abstract:
This paper studies a combinatorial optimization problem which is obtained by combining the flow shop scheduling problem and the shortest path problem. The objective of the obtained problem is to select a subset of jobs that constitutes a feasible solution to the shortest path problem, and to execute the selected jobs on the flow shop machines to minimize the makespan. We argue that this problem is…
▽ More
This paper studies a combinatorial optimization problem which is obtained by combining the flow shop scheduling problem and the shortest path problem. The objective of the obtained problem is to select a subset of jobs that constitutes a feasible solution to the shortest path problem, and to execute the selected jobs on the flow shop machines to minimize the makespan. We argue that this problem is NP-hard even if the number of machines is two, and is NP-hard in the strong sense for the general case. We propose an intuitive approximation algorithm for the case where the number of machines is an input, and an improved approximation algorithm for fixed number of machines.
△ Less
Submitted 31 August, 2013;
originally announced September 2013.