-
Fast Neighborhood Search Heuristics for the Colored Bin Packing Problem
Authors:
Renan F. F. da Silva,
Yulle G. F. Borges,
Rafael C. S. Schouery
Abstract:
The Colored Bin Packing Problem (CBPP) is a generalization of the Bin Packing Problem (BPP). The CBPP consists of packing a set of items, each with a weight and a color, in bins of limited capacity, minimizing the number of used bins and satisfying the constraint that two items of the same color cannot be packed side by side in the same bin. In this article, we proposed an adaptation of BPP heuris…
▽ More
The Colored Bin Packing Problem (CBPP) is a generalization of the Bin Packing Problem (BPP). The CBPP consists of packing a set of items, each with a weight and a color, in bins of limited capacity, minimizing the number of used bins and satisfying the constraint that two items of the same color cannot be packed side by side in the same bin. In this article, we proposed an adaptation of BPP heuristics and new heuristics for the CBPP. Moreover, we propose a set of fast neighborhood search algorithms for CBPP. These neighborhoods are applied in a meta-heuristic approach based on the Variable Neighborhood Search (VNS) and a matheuristic approach that combines linear programming with the meta-heuristics VNS and Greedy Randomized Adaptive Search (GRASP). The results indicate that our matheuristic is superior to VNS and that both approaches can find near-optimal solutions for a large number of instances, even for those with many items.
△ Less
Submitted 8 July, 2024; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Solving Cutting Stock Problems via an Extended Ryan-Foster Branching Scheme and Fast Column Generation
Authors:
Renan F. F. da Silva,
Rafael C. S. Schouery
Abstract:
We present a branch-cut-and-price framework to solve Cutting Stock Problems with strong relaxations using Set Covering (Packing) Formulations, which are solved by column generation. The main contributions of this paper include an extended Ryan-Foster scheme, which allows us to use this powerful branching scheme even in non-binary problems by using a conflict propagation lemma; a fast column genera…
▽ More
We present a branch-cut-and-price framework to solve Cutting Stock Problems with strong relaxations using Set Covering (Packing) Formulations, which are solved by column generation. The main contributions of this paper include an extended Ryan-Foster scheme, which allows us to use this powerful branching scheme even in non-binary problems by using a conflict propagation lemma; a fast column generation process based on a diversification strategy; custom primal heuristics, enabling us to find optimal solutions for several open instances; and a technique to use a smaller feasibility tolerance in floating-point linear programming solvers, combined with numerically safe methods to produce stronger and safer lower bounds. Additional performance-improving strategies include a technique that controls the height of the branch-and-bound tree; a variable selection algorithm based on branching history; a new set of dual inequalities; insights to obtain a lean model; and the subset-row inequalities. By employing this comprehensive framework, we overcame the current state-of-the-art concerning the following problems: Cutting Stock, Skiving Stock, Ordered Open-End Bin Packing, Class-Constrained Bin Packing, and Identical Parallel Machines Scheduling with Minimum Makespan. Additionally, a new challenging benchmark for Cutting Stock is introduced.
△ Less
Submitted 14 May, 2025; v1 submitted 7 August, 2023;
originally announced August 2023.
-
Algorithms for the Bin Packing Problem with Scenarios
Authors:
Yulle G. F. Borges,
Vinícius L. de Lima,
Flávio K. Miyazawa,
Lehilton L. C. Pedrosa,
Thiago A. de Queiroz,
Rafael C. S. Schouery
Abstract:
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio…
▽ More
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio for an algorithm for the vector bin packing problem. We also show how an asymptotic polynomial-time approximation scheme is derived when the number of scenarios is constant. As a practical study of the problem, we present a branch-and-price algorithm to solve an exponential model and a variable neighborhood search heuristic. To speed up the convergence of the exact algorithm, we also consider lower bounds based on dual feasible functions. Results of these algorithms show the competence of the branch-and-price in obtaining optimal solutions for about 59% of the instances considered, while the combined heuristic and branch-and-price optimally solved 62% of the instances considered.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Mathematical Models and Exact Algorithms for the Colored Bin Packing Problem
Authors:
Yulle G. F. Borges,
Rafael C. S. Schouery,
Flávio K. Miyazawa
Abstract:
This paper focuses on exact approaches for the Colored Bin Packing Problem (CBPP), a generalization of the classical one-dimensional Bin Packing Problem in which each item has, in addition to its length, a color, and no two items of the same color can appear consecutively in the same bin. To simplify modeling, we present a characterization of any feasible packing of this problem in a way that does…
▽ More
This paper focuses on exact approaches for the Colored Bin Packing Problem (CBPP), a generalization of the classical one-dimensional Bin Packing Problem in which each item has, in addition to its length, a color, and no two items of the same color can appear consecutively in the same bin. To simplify modeling, we present a characterization of any feasible packing of this problem in a way that does not depend on its ordering. Furthermore, we present four exact algorithms for the CBPP. First, we propose a generalization of Valério de Carvalho's arc flow formulation for the CBPP using a graph with multiple layers, each representing a color. Second, we present an improved arc flow formulation that uses a more compact graph and has the same linear relaxation bound as the first formulation. And finally, we design two exponential set-partition models based on reductions to a generalized vehicle routing problem, which are solved by a branch-cut-and-price algorithm through VRPSolver. To compare the proposed algorithms, a varied benchmark set with 574 instances of the CBPP is presented. Results show that the best model, our improved arc flow formulation, was able to solve over 62% of the proposed instances to optimality, the largest of which with 500 items and 37 colors. While being able to solve fewer instances in total, the set-partition models exceeded their arc flow counterparts in instances with a very small number of colors.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
On the approximability and energy-flow modeling of the electric vehicle sharing problem
Authors:
Welverton R. Silva,
Fábio L. Usberti,
Rafael C. S. Schouery
Abstract:
The electric vehicle sharing problem (EVSP) arises from the planning and operation of one-way electric car-sharing systems. It aims to maximize the total rental time of a fleet of electric vehicles while ensuring that all the demands of the customer are fulfilled. In this paper, we expand the knowledge on the complexity of the EVSP by showing that it is NP-hard to approximate it to within a factor…
▽ More
The electric vehicle sharing problem (EVSP) arises from the planning and operation of one-way electric car-sharing systems. It aims to maximize the total rental time of a fleet of electric vehicles while ensuring that all the demands of the customer are fulfilled. In this paper, we expand the knowledge on the complexity of the EVSP by showing that it is NP-hard to approximate it to within a factor of $n^{1-ε}$ in polynomial time, for any $ε> 0$, where $n$ denotes the number of customers, unless P = NP. In addition, we also show that the problem does not have a monotone structure, which can be detrimental to the development of heuristics employing constructive strategies. Moreover, we propose a novel approach for the modeling of the EVSP based on energy flows in the network. Based on the new model, we propose a relax-and-fix strategy and an exact algorithm that uses a warm-start solution obtained from our heuristic approach. We report computational results comparing our formulation with the best-performing formulation in the literature. The results show that our formulation outperforms the previous one concerning the number of optimal solutions obtained, optimality gaps, and computational times. Previously, $32.7\%$ of the instances remained unsolved (within a time limit of one hour) by the best-performing formulation in the literature, while our formulation obtained optimal solutions for all instances. To stress our approaches, two more challenging new sets of instances were generated, for which we were able to solve $49.5\%$ of the instances, with an average optimality gap of $2.91\%$ for those not solved optimally.
△ Less
Submitted 20 May, 2023;
originally announced May 2023.
-
On the complexity and modeling of the electric vehicle sharing problem
Authors:
Welverton R. Silva,
Fábio L. Usberti,
Rafael C. S. Schouery
Abstract:
We introduce the electric vehicle sharing problem (EVSP), a problem that arises from the planning and operation of electric car-sharing systems which allow one-way rental of vehicles. The problem aims at finding the maximum total daily rental time in which customers' demands are assigned to the existing fleet. In addition, either all of the customer's demands are completely fulfilled or the custom…
▽ More
We introduce the electric vehicle sharing problem (EVSP), a problem that arises from the planning and operation of electric car-sharing systems which allow one-way rental of vehicles. The problem aims at finding the maximum total daily rental time in which customers' demands are assigned to the existing fleet. In addition, either all of the customer's demands are completely fulfilled or the customer does not use the system at all. We show that the EVSP is NP-hard, and we provide four mixed-integer linear programming formulations based on space-time network flow models, along with some theoretical results. We perform a comprehensive computational study of the behavior of the proposed formulations using two benchmark sets, one of which is based on real-world data from an electric car-sharing system located in Fortaleza, Brazil. The results show that our best formulation is effective in solving instances where each customer has only one demand. In general, we were able to optimally solve at least 55% of the instances within the time limit of one hour.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Maximum Customers' Satisfaction in One-way Car-sharing: Modeling, Exact and Heuristic Solving
Authors:
Welverton R. Silva,
Rafael C. S. Schouery
Abstract:
One-way car-sharing systems are transportation systems that allow customers to rent cars at stations scattered around the city, use them for a short journey, and return them at any station. The maximum customers' satisfaction problem concerns the task of assigning the cars, initially located at given stations, to maximize the number of satisfied customers. We consider the problem with two stations…
▽ More
One-way car-sharing systems are transportation systems that allow customers to rent cars at stations scattered around the city, use them for a short journey, and return them at any station. The maximum customers' satisfaction problem concerns the task of assigning the cars, initially located at given stations, to maximize the number of satisfied customers. We consider the problem with two stations where each customer has exactly two demands in opposite directions between both stations, and a customer is satisfied only if both their demands are fulfilled. For solving this problem, we propose mixed-integer programming (MIP) models and matheuristics based on local search. We created a benchmark of instances used to test the exact and heuristic approaches. Additionally, we proposed a preprocessing procedure to reduce the size of the instance. Our MIP models can solve to optimality 85% of the proposed instances with 1000 customers in 10 minutes, with an average gap smaller than 0.1% for all these instances. For larger instances (2500 and 5000 customers), except for some particular cases, they presented an average gap smaller than 0.8%. Also, our local-based matheuristics presented small average gaps which are better than the MIP models in some larger instances.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
Graphs without gap-vertex-labellings: families and bounds
Authors:
C. A. Weffort-Santos,
R. C. S. Schouery
Abstract:
A proper labelling of a graph $G$ is a pair $(π,c_π)$ in which $π$ is an assignment of numeric labels to some elements of $G$, and $c_π$ is a colouring induced by $π$ through some mathematical function over the set of labelled elements. In this work, we consider gap-vertex-labellings, in which the colour of a vertex is determined by a function considering the largest difference between the labels…
▽ More
A proper labelling of a graph $G$ is a pair $(π,c_π)$ in which $π$ is an assignment of numeric labels to some elements of $G$, and $c_π$ is a colouring induced by $π$ through some mathematical function over the set of labelled elements. In this work, we consider gap-vertex-labellings, in which the colour of a vertex is determined by a function considering the largest difference between the labels assigned to its neighbours. We present the first upper-bound for the vertex-gap number of arbitrary graphs, which is the least number of labels required to properly label a graph. We investigate families of graphs which do not admit any gap-vertex-labelling, regardless of the number of labels. Furthermore, we introduce a novel parameter associated with this labelling and provide bounds for it for complete graphs ${K_n}$.
△ Less
Submitted 2 July, 2020;
originally announced July 2020.
