-
On the convergence of computational methods for the online bin stretching problem
Authors:
Antoine Lhomme,
Nicolas Catusse,
Nadia Brauner
Abstract:
Online bin stretching is an online packing problem where some of the best known lower and upper bounds were found through computational searches. The limiting factor in obtaining better bounds with such methods is the computational time allowed. However, there is still no theoretical guarantee that such methods do converge towards the optimal online performance. This paper shows that such methods…
▽ More
Online bin stretching is an online packing problem where some of the best known lower and upper bounds were found through computational searches. The limiting factor in obtaining better bounds with such methods is the computational time allowed. However, there is still no theoretical guarantee that such methods do converge towards the optimal online performance. This paper shows that such methods do, in fact, converge; moreover, bounds on the gap to the optimal are also given. These results frame a theoretical foundation for the convergence of computational approaches for online problems.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
Computational bounds on randomized algorithms for online bin stretching
Authors:
Antoine Lhomme,
Nicolas Catusse,
Nadia Brauner
Abstract:
A frequently studied performance measure in online optimization is competitive analysis. It corresponds to the worst-case ratio, over all possible inputs of an algorithm, between the performance of the algorithm and the optimal offline performance. However, this analysis may be too pessimistic to give valuable insight on a problem. Several workarounds exist, such as randomized algorithms. This pap…
▽ More
A frequently studied performance measure in online optimization is competitive analysis. It corresponds to the worst-case ratio, over all possible inputs of an algorithm, between the performance of the algorithm and the optimal offline performance. However, this analysis may be too pessimistic to give valuable insight on a problem. Several workarounds exist, such as randomized algorithms. This paper aims to propose computational methods to construct randomized algorithms and to bound their performance on the classical online bin stretching problem. A game theory method is adapted to construct lower bounds on the performance of randomized online algorithms via linear programming. Another computational method is then proposed to construct randomized algorithms which perform better than the best deterministic algorithms known. Finally, another lower bound method for a restricted class of randomized algorithm for this problem is proposed.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Innovative ideas for teaching supports: Application to Graph theory
Authors:
Nicolas Catusse,
Hadrien Cambazard,
Nadia Brauner,
Bernard Penz,
Florian Fontan
Abstract:
Teaching graph theory with the most adequate tools requires time and ideas. We present how an open community of teachers shares contents and ideas on an innovative platform. The objective is to get the students autonomous in their training with activities that give them immediate feedback on their understanding. Beyond learning, the very large collection of exercises of various levels can also be…
▽ More
Teaching graph theory with the most adequate tools requires time and ideas. We present how an open community of teachers shares contents and ideas on an innovative platform. The objective is to get the students autonomous in their training with activities that give them immediate feedback on their understanding. Beyond learning, the very large collection of exercises of various levels can also be used to evaluate the student's level. The proposed activities can be algorithm's code in classical programming languages (e.g. Java, Python) that the student can test with predefined tests proposed by the teacher or collections of generated questions.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Online bin stretching lower bounds: Improved search of computational proofs
Authors:
Antoine Lhomme,
Olivier Romane,
Nicolas Catusse,
Nadia Brauner
Abstract:
Computing lower and upper bounds on the competitive ratio of online algorithms is a challenging question: For a minimization combinatorial problem, proving a competitive ratio for a given algorithm leads to an upper bound. However computing lower bounds requires a proof on all algorithms. This can be modeled as a 2-player game where a strategy for one of the players is a proof for the lower bound.…
▽ More
Computing lower and upper bounds on the competitive ratio of online algorithms is a challenging question: For a minimization combinatorial problem, proving a competitive ratio for a given algorithm leads to an upper bound. However computing lower bounds requires a proof on all algorithms. This can be modeled as a 2-player game where a strategy for one of the players is a proof for the lower bound. The tree representing the proof can can be found computationally. This method has been used with success on the online bin stretching problem where a set of items must be packed online in $m$ bins. The items are guaranteed to fit into the $m$ bins. However, the online procedure might require to stretch the bins to a larger capacity in order to be able to pack all the items. This stretching factor is the objective to be minimized. We propose original ideas to strongly improve the speed of computer searches for lower bound: propagate the game states that can be pruned from the search and improve the speed and memory usage in the dynamic program which is used in the search. These improvements allowed to increase significantly the speed of the search and hence to prove new lower bounds for the bin stretching problem for 6, 7 and 8 bins.
△ Less
Submitted 16 December, 2022; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Dealing with elementary paths in the Kidney Exchange Problem
Authors:
Lucie Pansart,
Hadrien Cambazard,
Nicolas Catusse
Abstract:
We study an elementary path problem which appears in the pricing step of a column generation scheme solving the kidney exchange problem. The latter aims at finding exchanges of donations in a pool of patients and donors of kidney transplantations. Informally, the problem is to determine a set of cycles and chains of limited length maximizing a medical benefit in a directed graph. The cycle formula…
▽ More
We study an elementary path problem which appears in the pricing step of a column generation scheme solving the kidney exchange problem. The latter aims at finding exchanges of donations in a pool of patients and donors of kidney transplantations. Informally, the problem is to determine a set of cycles and chains of limited length maximizing a medical benefit in a directed graph. The cycle formulation, a large-scale model of the problem restricted to cycles of donation, is efficiently solved via branch-and-price. When including chains of donation however, the pricing subproblem becomes NP-hard. This article proposes a new complete column generation scheme that takes into account these chains initiated by altruistic donors. The development of non-exact dynamic approaches for the pricing problem, the NG-route relaxation and the color coding heuristic, leads to an efficient column generation process.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
An integer programming formulation using convex polygons for the convex partition problem
Authors:
Hadrien Cambazard,
Nicolas Catusse
Abstract:
A convex partition of a point set P in the plane is a planar partition of the convex hull of P with empty convex polygons or internal faces whose extreme points belong to P. In a convex partition, the union of the internal faces give the convex hull of P and the interiors of the polygons are pairwise disjoint. Moreover, no polygon is allowed to contain a point of P in its interior. The problem is…
▽ More
A convex partition of a point set P in the plane is a planar partition of the convex hull of P with empty convex polygons or internal faces whose extreme points belong to P. In a convex partition, the union of the internal faces give the convex hull of P and the interiors of the polygons are pairwise disjoint. Moreover, no polygon is allowed to contain a point of P in its interior. The problem is to find a convex partition based on the minimum number of internal faces. The problem has been shown to be NP-Hard and was recently used in the CG:SHOP Challenge 2020. We propose a new integer linear programming (IP) formulation that considerably improves over the existing one. It relies on the representation of faces as opposed to segments and points. A number of geometric properties are used to strengthen it. Data sets of 100 points are easily solved to optimality and the lower bounds provided by the model can be computed up to 300 points.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Exact algorithms for the order picking problem
Authors:
Lucie Pansart,
Nicolas Catusse,
Hadrien Cambazard
Abstract:
Order picking is the problem of collecting a set of products in a warehouse in a minimum amount of time. It is currently a major bottleneck in supply-chain because of its cost in time and labor force. This article presents two exact and effective algorithms for this problem. Firstly, a sparse formulation in mixed-integer programming is strengthened by preprocessing and valid inequalities. Secondly…
▽ More
Order picking is the problem of collecting a set of products in a warehouse in a minimum amount of time. It is currently a major bottleneck in supply-chain because of its cost in time and labor force. This article presents two exact and effective algorithms for this problem. Firstly, a sparse formulation in mixed-integer programming is strengthened by preprocessing and valid inequalities. Secondly, a dynamic programming approach generalizing known algorithms for two or three cross-aisles is proposed and evaluated experimentally. Performances of these algorithms are reported and compared with the Traveling Salesman Problem (TSP) solver Concorde.
△ Less
Submitted 4 June, 2018; v1 submitted 2 March, 2017;
originally announced March 2017.
-
Fixed-Parameter Algorithms for Rectilinear Steiner tree and Rectilinear Traveling Salesman Problem in the plane
Authors:
Hadrien Cambazard,
Nicolas Catusse
Abstract:
Given a set $P$ of $n$ points with their pairwise distances, the traveling salesman problem (TSP) asks for a shortest tour that visits each point exactly once. A TSP instance is rectilinear when the points lie in the plane and the distance considered between two points is the $l_1$ distance. In this paper, a fixed-parameter algorithm for the Rectilinear TSP is presented and relies on techniques fo…
▽ More
Given a set $P$ of $n$ points with their pairwise distances, the traveling salesman problem (TSP) asks for a shortest tour that visits each point exactly once. A TSP instance is rectilinear when the points lie in the plane and the distance considered between two points is the $l_1$ distance. In this paper, a fixed-parameter algorithm for the Rectilinear TSP is presented and relies on techniques for solving TSP on bounded-treewidth graphs. It proves that the problem can be solved in $O\left(nh7^h\right)$ where $h \leq n$ denotes the number of horizontal lines containing the points of $P$. The same technique can be directly applied to the problem of finding a shortest rectilinear Steiner tree that interconnects the points of $P$ providing a $O\left(nh5^h\right)$ time complexity. Both bounds improve over the best time bounds known for these problems.
△ Less
Submitted 23 July, 2019; v1 submitted 21 December, 2015;
originally announced December 2015.
-
Bidirected minimum Manhattan network problem
Authors:
Nicolas Catusse,
Victor Chepoi,
Karim Nouioua,
Yann Vaxes
Abstract:
In the bidirected minimum Manhattan network problem, given a set T of n terminals in the plane, we need to construct a network N(T) of minimum total length with the property that the edges of N(T) are axis-parallel and oriented in a such a way that every ordered pair of terminals is connected in N(T) by a directed Manhattan path. In this paper, we present a polynomial factor 2 approximation algori…
▽ More
In the bidirected minimum Manhattan network problem, given a set T of n terminals in the plane, we need to construct a network N(T) of minimum total length with the property that the edges of N(T) are axis-parallel and oriented in a such a way that every ordered pair of terminals is connected in N(T) by a directed Manhattan path. In this paper, we present a polynomial factor 2 approximation algorithm for the bidirected minimum Manhattan network problem.
△ Less
Submitted 7 July, 2011;
originally announced July 2011.
-
Minimum Manhattan network problem in normed planes with polygonal balls: a factor 2.5 approximation algorithm
Authors:
Nicolas Catusse,
Victor Chepoi,
Karim Nouioua,
Yann Vaxès
Abstract:
Let B be a centrally symmetric convex polygon of R^2 and || p - q || be the distance between two points p,q in R^2 in the normed plane whose unit ball is B. For a set T of n points (terminals) in R^2, a B-Manhattan network on T is a network N(T) = (V,E) with the property that its edges are parallel to the directions of B and for every pair of terminals t_i and t_j, the network N(T) contains a shor…
▽ More
Let B be a centrally symmetric convex polygon of R^2 and || p - q || be the distance between two points p,q in R^2 in the normed plane whose unit ball is B. For a set T of n points (terminals) in R^2, a B-Manhattan network on T is a network N(T) = (V,E) with the property that its edges are parallel to the directions of B and for every pair of terminals t_i and t_j, the network N(T) contains a shortest B-path between them, i.e., a path of length || t_i - t_j ||. A minimum B-Manhattan network on T is a B-Manhattan network of minimum possible length. The problem of finding minimum B-Manhattan networks has been introduced by Gudmundsson, Levcopoulos, and Narasimhan (APPROX'99) in the case when the unit ball B is a square (and hence the distance || p - q || is the l_1 or the l_infty-distance between p and q) and it has been shown recently by Chin, Guo, and Sun (SoCG'09) to be strongly NP-complete. Several approximation algorithms (with factors 8, 4 ,3 , and 2) for minimum Manhattan problem are known. In this paper, we propose a factor 2.5 approximation algorithm for minimum B-Manhattan network problem. The algorithm employs a simplified version of the strip-staircase decomposition proposed in our paper (APPROX'05) and subsequently used in other factor 2 approximation algorithms for minimum Manhattan problem.
△ Less
Submitted 12 June, 2010; v1 submitted 30 April, 2010;
originally announced April 2010.
-
Embedding into the rectilinear plane in optimal O*(n^2)
Authors:
Nicolas Catusse,
Victor Chepoi,
Yann Vaxès
Abstract:
We present an optimal O*(n^2) time algorithm for deciding if a metric space (X,d) on n points can be isometrically embedded into the plane endowed with the l_1-metric. It improves the O*(n^2 log^2 n) time algorithm of J. Edmonds (2008). Together with some ingredients introduced by J. Edmonds, our algorithm uses the concept of tight span and the injectivity of the l_1-plane. A different O*(n^2) t…
▽ More
We present an optimal O*(n^2) time algorithm for deciding if a metric space (X,d) on n points can be isometrically embedded into the plane endowed with the l_1-metric. It improves the O*(n^2 log^2 n) time algorithm of J. Edmonds (2008). Together with some ingredients introduced by J. Edmonds, our algorithm uses the concept of tight span and the injectivity of the l_1-plane. A different O*(n^2) time algorithm was recently proposed by D. Eppstein (2009).
△ Less
Submitted 6 October, 2009;
originally announced October 2009.
