3.1 Introduction

Keywords: integer programming, graph theory, decomposition approaches, polyhedral approaches,quadratic programming approaches, constraint programming..

Combinatorial optimization is the field of discrete optimization problems. In many applications, the most important decisions (control variables) are binary (on/off decisions) or integer (indivisible quantities). Extra variables can represent continuous adjustments or amounts. This results in models known as mixed integer programs (MIP), where the relationships between variables and input parameters are expressed as linear constraints and the goal is defined as a linear objective function. MIPs are notoriously difficult to solve: good quality estimations of the optimal value (bounds) are required to prune enumeration-based global-optimization algorithms whose complexity is exponential. In the standard approach to solving an MIP is so-called branch-and-bound algorithm : $\left(i\right)$ one solves the linear programming (LP) relaxation using the simplex method; $\left(ii\right)$ if the LP solution is not integer, one adds a disjunctive constraint on a factional component (rounding it up or down) that defines two sub-problems; $\left(iii\right)$ one applies this procedure recursively, thus defining a binary enumeration tree that can be pruned by comparing the local LP bound to the best known integer solution. Commercial MIP solvers are essentially based on branch-and-bound (such IBM-CPLEX, FICO-Xpress-mp, or GUROBI). They have made tremendous progress over the last decade (with a speedup by a factor of 60). But extending their capabilities remains a continuous challenge; given the combinatorial explosion inherent to enumerative solution techniques, they remain quickly overwhelmed beyond a certain problem size or complexity.

Progress can be expected from the development of tighter formulations. Central to our field is the characterization of polyhedra defining or approximating the solution set and combinatorial algorithms to identify “efficiently” a minimum cost solution or separate an unfeasible point. With properly chosen formulations, exact optimization tools can be competitive with other methods (such as meta-heuristics) in constructing good approximate solutions within limited computational time, and of course has the important advantage of being able to provide a performance guarantee through the relaxation bounds. Decomposition techniques are implicitly leading to better problem formulation as well, while constraint propagation are tools from artificial intelligence to further improve formulation through intensive preprocessing. A new trend is robust optimization where recent progress have been made: the aim is to produce optimized solutions that remain of good quality even if the problem data has stochastic variations. In all cases, the study of specific models and challenging industrial applications is quite relevant because developments made into a specific context can become generic tools over time and see their way into commercial software.

Our project brings together researchers with expertise in mathematical programming (polyhedral approaches, decomposition and reformulation techniques in mixed integer programing, robust and stochastic programming, and dynamic programming), graph theory (characterization of graph properties, combinatorial algorithms) and constraint programming in the aim of producing better quality formulations and developing new methods to exploit these formulations. These new results are then applied to find high quality solutions for practical combinatorial problems such as routing, network design, planning, scheduling, cutting and packing problems, High Performance and Cloud Computing.

3.2 Polyhedral approaches for MIP

Adding valid inequalities to the polyhedral description of an MIP allows one to improve the resulting LP bound and hence to better prune the enumeration tree. In a cutting plane procedure, one attempt to identify valid inequalities that are violated by the LP solution of the current formulation and adds them to the formulation. This can be done at each node of the branch-and-bound tree giving rise to a so-called branch-and-cut algorithm47. The goal is to reduce the resolution of an integer program to that of a linear program by deriving a linear description of the convex hull of the feasible solutions. Polyhedral theory tells us that if $X$ is a mixed integer program: $X=P\cap {\mathbb{Z}}^n\times {ℝ}^p$ where $P=\{x\in {ℝ}^{n+p}:Ax\le b\}$ with matrix $(A,b)\in {\mathbb{Q}}^{m\times (n+p+1)}$, then $conv\left(X\right)$ is a polyhedron that can be described in terms of linear constraints, i.e. it writes as $conv\left(X\right)=\{x\in {ℝ}^{n+p}:Cx\le d\}$ for some matrix $(C,d)\in {\mathbb{Q}}^{m^{\text{'}}\times (n+p+1)}$ although the dimension $m^{\text{'}}$ is typically quite large. A fundamental result in this field is the equivalence of complexity between solving the combinatorial optimization problem $min\{cx:x\in X\}$ and solving the separation problem over the associated polyhedron $conv\left(X\right)$: if $\tilde{x}\notin conv\left(X\right)$, find a linear inequality $\pi x\ge {\pi }_0$ satisfied by all points in $conv\left(X\right)$ but violated by $\tilde{x}$. Hence, for NP-hard problems, one can not hope to get a compact description of $conv\left(X\right)$ nor a polynomial time exact separation routine. Polyhedral studies focus on identifying some of the inequalities that are involved in the polyhedral description of $conv\left(X\right)$ and derive efficient separation procedures (cutting plane generation). Only a subset of the inequalities $Cx\le d$ can offer a good approximation, that combined with a branch-and-bound enumeration techniques permits to solve the problem. Using cutting plane algorithm at each node of the branch-and-bound tree, gives rise to the algorithm called branch-and-cut.

3.3 Decomposition-and-reformulation-approaches

An hierarchical approach to tackle complex combinatorial problems consists in considering separately different substructures (subproblems). If one is able to implement relatively efficient optimization on the substructures, this can be exploited to reformulate the global problem as a selection of specific subproblem solutions that together form a global solution. If the subproblems correspond to subset of constraints in the MIP formulation, this leads to Dantzig-Wolfe decomposition. If it corresponds to isolating a subset of decision variables, this leads to Bender's decomposition. Both lead to extended formulations of the problem with either a huge number of variables or constraints. Dantzig-Wolfe approach requires specific algorithmic approaches to generate subproblem solutions and associated global decision variables dynamically in the course of the optimization. This procedure is known as column generation, while its combination with branch-and-bound enumeration is called branch-and-price. Alternatively, in Bender's approach, when dealing with exponentially many constraints in the reformulation, the cutting plane procedures that we defined in the previous section are well-suited tools. When optimization on a substructure is (relatively) easy, there often exists a tight reformulation of this substructure typically in an extended variable space. This gives rise powerful reformulation of the global problem, although it might be impractical given its size (typically pseudo-polynomial). It can be possible to project (part of) the extended formulation in a smaller dimensional space if not the original variable space to bring polyhedral insight (cuts derived through polyhedral studies can often be recovered through such projections).

3.4 Integration of Artificial Intelligence Techniques in Integer Programming

When one deals with combinatorial problems with a large number of integer variables, or tightly constrained problems, mixed integer programming (MIP) alone may not be able to find solutions in a reasonable amount of time. In this case, techniques from artificial intelligence can be used to improve these methods. In particular, we use variable fixing techniques, primal heuristics and constraint programming.

Primal heuristics are useful to find feasible solutions in a small amount of time. We focus on heuristics that are either based on integer programming (rounding, diving, relaxation induced neighborhood search, feasibility pump), or that are used inside our exact methods (heuristics for separation or pricing subproblem, heuristic constraint propagation, ...). Such methods are likely to produce good quality solutions only if the integer programming formulation is of top quality, i.e., if its LP relaxation provides a good approximation of the IP solution.

In the same line, variable fixing techniques, that are essential in reducing the size of large scale problems, rely on good quality approximations: either tight formulations or tight relaxation solvers (as a dynamic program combined with state space relaxation). Then if the dual bound derives when the variable is fixed to one exceeds the incubent solution value, the variable can be fixed to zero and hence removed from the problem. The process can be apply sequentially by refining the degree of relaxation.

Constraint Programming (CP) focuses on iteratively reducing the variable domains (sets of feasible values) by applying logical and problem-specific operators. The latter propagates on selected variables the restrictions that are implied by the other variable domains through the relations between variables that are defined by the constraints of the problem. Combined with enumeration, it gives rise to exact optimization algorithms. A CP approach is particularly effective for tightly constrained problems, feasibility problems and min-max problems. Mixed Integer Programming (MIP), on the other hand, is known to be effective for loosely constrained problems and for problems with an objective function defined as the weighted sum of variables. Many problems belong to the intersection of these two classes. For such problems, it is reasonable to use algorithms that exploit complementary strengths of Constraint Programming and Mixed Integer Programming.

3.5 Robust Optimization

Decision makers are usually facing several sources of uncertainty, such as the variability in time or estimation errors. A simplistic way to handle these uncertainties is to overestimate the unknown parameters. However, this results in over-conservatism and a significant waste in resource consumption. A better approach is to account for the uncertainty directly into the decision aid model by considering mixed integer programs that involve uncertain parameters. Stochastic optimization account for the expected realization of random data and optimize an expected value representing the average situation. Robust optimization on the other hand entails protecting against the worst-case behavior of unknown data. There is an analogy to game theory where one considers an oblivious adversary choosing the realization that harms the solution the most. A full worst case protection against uncertainty is too conservative and induces very high over-cost. Instead, the realization of random data are bound to belong to a restricted feasibility set, the so-called uncertainty set. Stochastic and robust optimization rely on very large scale programs where probabilistic scenarios are enumerated. There is hope of a tractable solution for realistic size problems, provided one develops very efficient ad-hoc algorithms. The techniques for dynamically handling variables and constraints (column-and-row generation and Bender's projection tools) that are at the core of our team methodological work are specially well-suited to this context.

3.6 Polyhedral Combinatorics and Graph Theory

Many fundamental combinatorial optimization problems can be modeled as the search for a specific structure in a graph. For example, ensuring connectivity in a network amounts to building a tree that spans all the nodes. Inquiring about its resistance to failure amounts to searching for a minimum cardinality cut that partitions the graph. Selecting disjoint pairs of objects is represented by a so-called matching. Disjunctive choices can be modeled by edges in a so-called conflict graph where one searches for stable sets – a set of nodes that are not incident to one another. Polyhedral combinatorics is the study of combinatorial algorithms involving polyhedral considerations. Not only it leads to efficient algorithms, but also, conversely, efficient algorithms often imply polyhedral characterizations and related min-max relations. Developments of polyhedral properties of a fundamental problem will typically provide us with more interesting inequalities well suited for a branch-and-cut algorithm to more general problems. Furthermore, one can use the fundamental problems as new building bricks to decompose the more general problem at hand. For problem that let themselves easily be formulated in a graph setting, the graph theory and in particular graph decomposition theorem might help.

4.1 Network Design and Routing Problems

We are actively working on problems arising in network topology design, implementing a survivability condition of the form “at least two paths link each pair of terminals”. We have extended polyhedral approaches to problem variants with bounded length requirements and re-routing restrictions 40. Associated to network design is the question of traffic routing in the network: one needs to check that the network capacity suffices to carry the demand for traffic. The assignment of traffic also implies the installation of specific hardware at transient or terminal nodes.

To accommodate the increase of traffic in telecommunication networks, today's optical networks use grooming and wavelength division multiplexing technologies. Packing multiple requests together in the same optical stream requires to convert the signal in the electrical domain at each aggregation of disaggregation of traffic at an origin, a destination or a bifurcation node. Traffic grooming and routing decisions along with wavelength assignments must be optimized to reduce opto-electronics system installation cost. We developed and compared several decomposition approaches 67, 66, 65 to deal with backbone optical network with relatively few nodes (around 20) but thousands of requests for which traditional multi-commodity network flow approaches are completely overwhelmed. We also studied the impact of imposing a restriction on the number of optical hops in any request route 64. We also developed a branch-and-cut approach to a problem that consists in placing sensors on the links of a network for a minimum cost 49, 48.

The Dial-a-Ride Problem is a variant of the pickup and delivery problem with time windows, where the user inconvenience must be taken into account. In  56, ride time and customer waiting time are modeled through both constraints and an associated penalty in the objective function. We develop a column generation approach, dynamically generating feasible vehicle routes. Handling ride time constraints explicitly in the pricing problem solver requires specific developments. Our dynamic programming approach for pricing problem makes use of a heuristic dominance rule and a heuristic enumeration procedure, which in turns implies that our overall branch-and-price procedure is a heuristic. However, in practice our heuristic solutions are experimentally very close to exact solutions and our approach is numerically competitive in terms of computation times.

In  53, 54, we consider the problem of covering an urban area with sectors under additional constraints. We adapt the aggregation method to our column generation algorithm and focus on the problem of disaggregating the dual solution returned by the aggregated master problem.

We studied several time dependent formulations for the unit demand vehicle routing problem  31, 32. We gave new bounding flow inequalities for a single commodity flow formulation of the problem. We described their impact by projecting them on some other sets of variables, such as variables issued of the Picard and Queyranne formulation or the natural set of design variables. Some inequalities obtained by projection are facet defining for the polytope associated with the problem. We are now running more numerical experiments in order to validate in practice the efficiency of our theoretical results.

We also worked on the p-median problem, applying the matching theory to develop an efficient algorithm in Y-free graphs and to provide a simple polyhedral characterization of the problem and therefore a simple linear formulation 62 simplifying results from Baiou and Barahona.

We considered the multi-commodity transportation problem. Applications of this problem arise in, for example, rail freight service design, "less than truckload" trucking, where goods should be delivered between different locations in a transportation network using various kinds of vehicles of large capacity. A particularity here is that, to be profitable, transportation of goods should be consolidated. This means that goods are not delivered directly from the origin to the destination, but transferred from one vehicle to another in intermediate locations. We proposed an original Mixed Integer Programming formulation for this problem which is suitable for resolution by a Branch-and-Price algorithm and intelligent primal heuristics based on it.

For the problem of routing freight railcars, we proposed two algorithmes based on the column generation approach. These algorithmes have been tested on a set of real-life instances coming from a real Russian freight transportation company. Our algorithms have been faster on these instances than the current solution approach being used by the company.

4.2 Packing and Covering Problems

Realopt team has a strong experience on exact methods for cutting and packing problems. These problems occur in logistics (loading trucks), industry (wood or steel cutting), computer science (parallel processor scheduling).

We developed a branch-and-price algorithm for the Bin Packing Problem with Conflicts which improves on other approaches available in the literature 61. The algorithm uses our methodological advances like the generic branching rule for the branch-and-price and the column based heuristic. One of the ingredients which contributes to the success of our method are fast algorithms we developed for solving the subproblem which is the Knapsack Problem with Conflicts. Two variants of the subproblem have been considered: with interval and arbitrary conflict graphs.

We also developed a branch-and-price algorithm for a variant of the bin-packing problem where the items are fragile. In 23 we studied empirically different branching schemes and different algorithms for solving the subproblems.

We studied a variant of the knapsack problem encountered in inventory routing problem 50: we faced a multiple-class integer knapsack problem with setups 51 (items are partitioned into classes whose use implies a setup cost and associated capacity consumption). We showed the extent to which classical results for the knapsack problem can be generalized to this variant with setups and we developed a specialized branch-and-bound algorithm.

We studied the orthogonal knapsack problem, with the help of graph theory  41, 44, 43, 42. Fekete and Schepers proposed to model multi-dimensional orthogonal placement problems by using an efficient representation of all geometrically symmetric solutions by a so called packing class involving one interval graph for each dimension. Though Fekete & Schepers' framework is very efficient, we have however identified several weaknesses in their algorithms: the most obvious one is that they do not take advantage of the different possibilities to represent interval graphs. We propose to represent these graphs by matrices with consecutive ones on each row. We proposed a branch-and-bound algorithm for the 2D knapsack problem that uses our 2D packing feasibility check. We are currently developing exact optimization tools for glass-cutting problems in a collaboration with Saint-Gobain 26. This 2D-3stage-Guillotine cut problems are very hard to solve given the scale of the instance we have to deal with. Moreover one has to issue cutting patterns that avoid the defaults that are present in the glass sheet that are used as raw material. There are extra sequencing constraints regarding the production that make the problem even more complex.

We have also organized a European challenge on packing with society Renault. This challenge was about loading trucks under practical constraints.

4.3 Planning, Scheduling, and Logistic Problems

Inventory routing problems combine the optimization of product deliveries (or pickups) with inventory control at customer sites. We considered an industrial application where one must construct the planning of single product pickups over time; each site accumulates stock at a deterministic rate; the stock is emptied on each visit. We have developed a branch-and-price algorithm where periodic plans are generated for vehicles by solving a multiple choice knapsack subproblem, and the global planning of customer visits is coordinated by the master program  52. We previously developed approximate solutions to a related problem combining vehicle routing and planning over a fixed time horizon (solving instances involving up to 6000 pick-ups and deliveries to plan over a twenty day time horizon with specific requirements on the frequency of visits to customers 46.

Together with our partner company GAPSO from the associate team SAMBA, we worked on the equipment routing task scheduling problem  55 arising during port operations. In this problem, a set of tasks needs to be performed using equipments of different types with the objective to maximize the weighted sum of performed tasks.

We participated to the project on an airborne radar scheduling. For this problem, we developed fast heuristics  39 and exact algorithms  25. A substantial research has been done on machine scheduling problems. A new compact MIP formulation was proposed for a large class of these problems 24. An exact decomposition algorithm was developed for the NP-hard maximizing the weighted number of late jobs problem on a single machine  57. A dominant class of schedules for malleable parallel jobs was discovered in the NP-hard problem to minimize the total weighted completion time  59. We proved that a special case of the scheduling problem at cross docking terminals to minimize the storage cost is polynomially solvable  60, 58.

Another application area in which we have successfully developed MIP approaches is in the area of tactical production and supply chain planning. In 22, we proposed a simple heuristic for challenging multi-echelon problems that makes effective use of a standard MIP solver. 21 contains a detailed investigation of what makes solving the MIP formulations of such problems challenging; it provides a survey of the known methods for strengthening formulations for these applications, and it also pinpoints the specific substructure that seems to cause the bottleneck in solving these models. Finally, the results of 27 provide demonstrably stronger formulations for some problem classes than any previously proposed. We are now working on planning phytosanitary treatments in vineries.

We have been developing robust optimization models and methods to deal with a number of applications like the above in which uncertainty is involved. In 37, 36, we analyzed fundamental MIP models that incorporate uncertainty and we have exploited the structure of the stochastic formulation of the problems in order to derive algorithms and strong formulations for these and related problems. These results appear to be the first of their kind for structured stochastic MIP models. In addition, we have engaged in successful research to apply concepts such as these to health care logistics 28. We considered train timetabling problems and their re-optimization after a perturbation in the network 68, 63. The question of formulation is central. Models of the literature are not satisfactory: continuous time formulations have poor quality due to the presence of discrete decision (re-sequencing or re-routing); arc flow in time-space graph blow-up in size (they can only handle a single line timetabling problem). We have developed a discrete time formulation that strikes a compromise between these two previous models. Based on various time and network aggregation strategies, we develop a 2-stage approach, solving the contiguous time model having fixed the precedence based on a solution to the discrete time model.

Currently, we are conducting investigations on a real-world planning problem in the domain of energy production, in the context of a collaboration with EDF  34, 33, 35. The problem consists in scheduling maintenance periods of nuclear power plants as well as production levels of both nuclear and conventional power plants in order to meet a power demand, so as to minimize the total production cost. For this application, we used a Dantzig-Wolfe reformulation which allows us to solve realistic instances of the deterministic version of the problem 38. In practice, the input data comprises a number of uncertain parameters. We deal with a scenario-based stochastic demand with help of a Benders decomposition method. We are working on Multistage Robust Optimization approaches to take into account other uncertain parameters like the duration of each maintenance period, in a dynamic optimization framework. The main challenge addressed in this work is the joint management of different reformulations and solving techniques coming from the deterministic (Dantzig-Wolfe decomposition, due to the large scale nature of the problem), stochastic (Benders decomposition, due to the number of demand scenarios) and robust (reformulations based on duality and/or column and/or row generation due to maintenance extension scenarios) components of the problem 29.

5.1 Footprint of research activities

Our research involves a large amount of computational experiments.

5.2 Impact of research results

The objective of our research is to reduce the quantity of energy/material used to realize some large projects, including energy production and distribution, chemical treatments, and distribution of goods.

7.1 New software

8.1 Algorithms for optimization under uncertainty

We introduce a new exact algorithm, called Benders by batch algorithm, based on Benders decomposition to solve two-stage stochastic linear programs. This algorithm is based on based on the multicut formulation of Benders decomposition and solves only a few number of subproblems at each iteration. We propose two primal stabilization methods for the algorithm and perform an extensive computational study on six large-scale benchmarks of the stochastic optimization literature. Results show the efficiency of the method compared to five classical alternative algorithms and significant time saving provided by its primal stabilization. We show acceleration factors up to 10 times faster than the best method from the literature we compare to, and up to 800 times faster than IBM ILOG CPLEX 12.10 built-in Benders decomposition.

We have studied a class of two-stage robust binary optimization problems with objective uncertainty where recourse decisions are restricted to be mixed-binary 3. For these problems, we present a deterministic equivalent formulation through the convexification of the recourse feasible region. We then explore this formulation under the lens of a relaxation, showing that the specific relaxation we propose can be solved using the branch-and-price algorithm. We present conditions under which this relaxation is exact, and describe alternative exact solution methods when this is not the case. Despite the two-stage nature of the problem, we provide NP-completeness results based on our reformulations. Finally, we present various applications in which the methodology we propose can be applied. We compare our exact methodology to those approximate methods recently proposed in the literature under the name K-adaptability. Our computational results show that our methodology is able to produce better solutions in less computational time compared to the K-adaptability approach, as well as to solve bigger instances than those previously managed in the literature.

8.2 Machine scheduling problems

Minimizing the weighted number of tardy jobs is a classical and intensively studied scheduling problem. In 15, we develop a two-stage robust approach, where exact weights are known after accepting to perform the jobs, and before sequencing them on the machine. This assumption allows diverse recourse decisions to be taken in order to better adapt one's tactical plan. The contribution of this paper is twofold: first, we introduce a new scheduling problem and model it as a min-max-min optimization problem with mixed-integer recourse by extending existing models proposed for the classical problem where all the costs are assumed to be known. Second, we take advantage of the special structure of the problem to propose two solution approaches based on results from the recent robust optimization literature, namely finite adaptability (Bertsimas and Caramanis, 2010) and a convexification-based approach (Arslan and Detienne, 2020). We also study the cost of finding anchored solutions, where the sequence of jobs has to be decided before the uncertainty is revealed. Computational experiments to analyze the effectiveness of our approaches are reported.

Work 4 deals with a very generic class of scheduling problems with identical/uniform/unrelated parallel machine environment. It considers well-known attributes such as release dates or sequence-dependent setup times and accepts any objective function defined over job completion times. Non-regular objectives are also supported. We introduce a branch-cut-and-price algorithm for such problems that makes use of non-robust cuts, i.e., cuts which change the structure of the pricing problem. This is the first time that such cuts are employed for machine scheduling problems. The algorithm also embeds other important techniques such as strong branching, reduced cost fixing and dual stabilization. Computational experiments over literature benchmarks showed that the proposed algorithm is indeed effective and could solve many instances to optimality for the first time.

8.3 Generic solver for vehicle routing and similar problems

Major advances were recently obtained in the exact solution of Vehicle Routing Problems (VRPs). Sophisticated Branch-Cut-and-Price (BCP) algorithms for some of the most classical VRP variants now solve many instances with up to a few hundreds of customers. However, adapting and reimplementing those successful algorithms for other variants can be a very demanding task. Work 9 proposes a BCP solver for a generic model that encompasses a wide class of VRPs. It incorporates the key elements found in the best recent VRP algorithms: ng-path relaxation, rank-1 cuts with limited memory, and route enumeration; all generalized through the new concept of "packing set". This concept is also used to derive a new branch rule based on accumulated resource consumption and to generalize the Ryan and Foster branch rule. Extensive experiments on several variants show that the generic solver has an excellent overall performance, in many problems being better than the best existing specific algorithms. Even some non-VRPs, like bin packing, vector packing and generalized assignment, can be modeled and effectively solved.

The Shortest Path Problem with Resource Constraints (SPPRC) arises as a subproblem in state-of-the-art Branch-Cut-and-Price algorithms for vehicle routing problems, including the BCP solver described just above. In 11, we propose a variant of the bi-directional label correcting algorithm in which the labels are stored and extended according to the so-called bucket graph. Such organization of labels helps to decrease significantly the number of dominance checks and the running time of the algorithm. We also show how the forward/backward route symmetry can be exploited and how to eliminate arcs from the bucket graph using reduced costs. The proposed algorithm can be especially beneficial for vehicle routing instances with large vehicle capacity and/or with time window constraints. Computational experiments were performed on instances from the distance constrained vehicle routing problem, including multi-depot and site-dependent variants, on the vehicle routing problem with time windows, and on the "nightmare" instances of the heterogeneous fleet vehicle routing problem. Significant improvements over the best algorithms in the literature were achieved and many instances could be solved for the first time.

8.4 Vehicle routing applications

8.5 Cutting and packing problems

In 18, we introduce and motivate a variant of the bin packing problem where bins are assigned to time slots, and minimum and maximum lags are required between some pairs of items. We suggest two integer programming formulations for the problem: a compact one, and a stronger formulation with an exponential number of variables and constraints. We propose a branch-cut-and-price approach which exploits the latter formulation. For this purpose, we devise separation algorithms based on a mathematical characterization of feasible assignments for two important special cases of the problem. Computational experiments are reported for instances inspired from a real-case application of chemical treatment planning in vineyards, as well as for literature instances for special cases of the problem. The experimental results show the efficiency of our branch-cut-and-price approach, as it outperforms the compact formulation of newly proposed instances, and is able to obtain improved lower and upper bounds for literature instances.

In 8, we propose branch-cut-and-price algorithms for the classic bin packing problem and also for the following related problems: vector packing, variable sized bin packing and variable sized bin packing with optional items. The algorithms are defined as models for VRPSolver, a generic solver for vehicle routing problems. In that way, a simple parameterization enables the use of several branch-cut-and-price advanced elements: automatic stabilization by smoothing, limited-memory rank-1 cuts, enumeration, hierarchical strong branching and limited discrepancy search diving heuristics. As an original theoretical contribution, we prove that the branching over accumulated resource consumption, that does not increase the difficulty of the pricing subproblem, is sufficient for those bin packing models. Extensive computational results on instances from the literature show that the VRPSolver models have a performance that is very robust over all those problems, being often superior to the existing exact algorithms on the hardest instances. Several instances could be solved to optimality for the first time.

We have developed an approach to solve the temporal knapsack problem (TKP) based on a very large size dynamic programming formulation 5. In this generalization of the classical knapsack problem, selected items enter and leave the knapsack at fixed dates. We solve the TKP with a dynamic program of exponential size, which is solved using a method called Successive Sublimation Dynamic Programming (SSDP). This method starts by relaxing a set of constraints from the initial problem, and iteratively reintroduces them when needed. We show that a direct application of SSDP to the temporal knapsack problem does not lead to an effective method, and that several improvements are needed to compete with the best results from the literature.

9.1 Bilateral contracts with industry

We have a contract with RTE to develop strategies inspired from stochastic gradient methods to speed-up Benders' decomposition. The PhD thesis of Xavier Blanchot is part of this contract.

We had a contract with Thales Avionique to study a robust scheduling problem.

9.2 Bilateral grants with industry

Our joint project with Atoptima start-up "Solution methods for the inventory routing problem: application to waste collection in the urban environment" has been supported in 2020 by Nouvelle Aquitaine region (appel à projet "Recherche et Enseignement Supérieur"). The project is financing one half of a PhD thesis.

10.1 International initiatives

10.2 Regional initiatives

We have obtained a grant from Région Nouvelle Aquitaine to work on inventory-routing problems.

11.1 Promoting scientific activities

11.2 Teaching - Supervision - Juries

11.3 Popularization

12.1 Major publications

• 1 articleArtur AlvesA. Pessoa, RuslanR. Sadykov, EduardoE. Uchoa and FrançoisF. Vanderbeck. A Generic Exact Solver for Vehicle Routing and Related ProblemsMathematical Programming1832020, 483-523
  HALDOI
• 2 article RuslanR. Sadykov, Artur AlvesA. Pessoa and EduardoE. Uchoa. A Bucket Graph Based Labelling Algorithm for Vehicle Routing Transportation Science October 2020
  HAL DOI

12.2 Publications of the year

12.3 Other

12.4 Cited publications

• 21 unpublishedAndrew J.A. Akartunali. A Computational Analysis of Lower Bounds for Big Bucket Production Planning Problems2009, URL: http://hal.archives-ouvertes.fr/hal-00387105/en/
  back to text
• 22 articleAndrew J.A. Akartunali. A heuristic approach for big bucket multi-level production planning problemsEuropean Journal of Operational Research2009, 396-411URL: http://hal.archives-ouvertes.fr/hal-00387052/en/
  back to text
• 23 articleManuelM. Alba Martínez, FrançoisF. Clautiaux, MauroM. Dell'Amico and ManuelM. Iori. Exact algorithms for the bin packing problem with fragile objectsDiscrete Optimization103August 2013, 210-223URL: http://hal.inria.fr/hal-00909480
  DOIback to text
• 24 articleRuslanR. Baptiste. On Scheduling a Single Machine to Minimize a Piecewise Linear Objective Function : A Compact MIP FormulationNaval Research Logistics / Naval Research Logistics An International Journal5662009, 487--502URL: http://hal.inria.fr/inria-00387012/en/
  back to text
• 25 articleRuslanR. Baptiste. Time Indexed Formulations for Scheduling Chains on a Single Machine: An Application to Airborne RadarsEuropean Journal of Operational Research2009, URL: http://hal.inria.fr/inria-00339639/en/
  back to text
• 26 techreportFrançoisF. Clautiaux, RuslanR. Sadykov, FrançoisF. Vanderbeck and QuentinQ. Viaud. Pattern based diving heuristics for a two-dimensional guillotine cutting-stock problem with leftoversUniversité de BordeauxDecember 2017, 1-30
  HALback to text
• 27 articleAndrew J. AND Van VyveA. Constantino. Mixing MIR Inequalities with Two Divisible CoefficientsMathematical Programming, Series A2009, 1--1URL: http://hal.archives-ouvertes.fr/hal-00387098/en/
  back to text
• 28 articleAndrew J. AND BalasubramanianA. Denton. Optimal Allocation of Surgery Blocks to Operating Rooms Under UncertaintyOperations Research2009, 1--1URL: http://hal.archives-ouvertes.fr/hal-00386469/en/
  back to text
• 29 inproceedings BorisB. Detienne. Extended formulations for robust maintenance planning at power plants Gaspard Monge Program for Optimization : Conference on Optimization and Practices in Industry PGMO-COPI14 Saclay, France October 2014
  HAL back to text
• 30 articleAurélienA. Froger, Jorge E.J. Mendoza, OlaO. Jabali and GilbertG. Laporte. Improved formulations and algorithmic components for the electric vehicle routing problem with nonlinear charging functionsComputers & Operations Research1042019, 256--294
  back to text
• 31 inproceedings M. T.M. Godinho, L. Gouveia, T. L.T. Magnanti, PierreP. Pesneau and J. Pires. On Time-Dependent Model for Unit Demand Vehicle Routing Problems International Conference on Network Optimization, INOC Spa, Belgium International Network Optimization Conference (INOC) 2007
  back to text
• 32 techreport M. T.M. Godinho, L. Gouveia, T. L.T. Magnanti, PierreP. Pesneau and J. Pires. On a Time-Dependent Model for the Unit Demand Vehicle Routing Problem 11-2007 Centro de Investigacao Operacional da Universidade de Lisboa 2007
  back to text
• 33 inproceedings RodolpheR. Griset, PascaleP. Bendotti, BorisB. Detienne, HugoH. Grevet, MarcM. Porcheron, HalilH. Şen and FrançoisF. Vanderbeck. Efficient formulations for nuclear outages using price and cut, Snowcap project. PGMO Days 2017 Saclay, France November 2017
  HAL back to text
• 34 inproceedings RodolpheR. Griset, PascaleP. Bendotti, BorisB. Detienne, HugoH. Grevet, MarcM. Porcheron and FrançoisF. Vanderbeck. Scheduling nuclear outage with cut and price (Snowcap) Mathematical Optimization in the Decision Support Systems for Efficient and Robust Energy Networks Final Conference Modena, Italy March 2017
  HAL back to text
• 35 inproceedings RodolpheR. Griset. Optimisation des arrêts nucléaires : une amélioration des solutions développées par EDF suite au challenge ROADEF 2010 18ème conférence de la société française de recherche opérationnelle et d'aide à la décision ROADEF 2017 Metz, France February 2017
  HAL back to text
• 36 articleY. Guan, S. Ahmed, Andrew J.A. Miller and G.L.G. Nemhauser. On formulations of the stochastic uncapacitated lot-sizing problemOperations Research Letters342006, 241-250
  back to text
• 37 articleY. Guan, S. Ahmed, G.L.G. Nemhauser and Andrew J.A. Miller. A branch-and-cut algorithm for the stochastic uncapacitated lot-sizing problemMathematical Programming1052006, 55-84
  back to text
• 38 inproceedings JinilJ. Han, PascaleP. Bendotti, BorisB. Detienne, GeorgiosG. Petrou, MarcM. Porcheron, RuslanR. Sadykov and FrançoisF. Vanderbeck. Extended Formulation for Maintenance Planning at Power Plants ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision Société française de recherche opérationnelle et d'aide à la décision Bordeaux, France February 2014
  HAL back to text
• 39 inproceedingsY. Hendel and RuslanR. Sadykov. Timing problem for scheduling an airborne radarProceedings of the 11th International Workshop on Project Management and SchedulingIstanbul, TurkeyApril 2008, 132-135
  back to text
• 40 articleD. Huygens, MartineM. Labbé, A. R.A. Mahjoub and PierreP. Pesneau. The two-edge connected hop-constrained network design problem: Valid inequalities and branch-and-cutNetworks4912007, 116-133
  back to text
• 41 inproceedingsArnaud AND PesneauA. Joncour. Mathematical programming formulations for the orthogonal 2d knapsack problemLivre des résumé du 9ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la DécisionFebruary 2008, 255--256URL: http://hal.archives-ouvertes.fr/hal-00307152/en/
  back to text
• 42 articleCédricC. Joncour and ArnaudA. Pêcher. Consecutive ones matrices for multi-dimensional orthogonal packing problemsJournal of Mathematical Modelling and Algorithms1112012, 23-44
  HALDOIback to text
• 43 articleCédricC. Joncour, ArnaudA. Pêcher and PetruP. Valicov. MPQ-trees for the orthogonal packing problemJournal of Mathematical Modelling and Algorithms111March 2012, 3-22
  HALDOIback to text
• 44 phdthesis CédricC. Joncour. Problèmes de placement 2D et application à l'ordonnancement : modélisation par la théorie des graphes et approches de programmation mathématique University Bordeaux I December 2010
  back to text
• 45 article Nicholas DN. Kullman, Justin C.J. Goodson and Jorge E.J. Mendoza. Electric Vehicle Routing with Public Charging Stations Transportation Science 2020
  HAL back to text
• 46 articleM.~Mourgaya and FrançoisF. Vanderbeck. Column generation based heuristic for tactical planning in multi period vehicle routingEuropean Journal of Operational Research18332007, 1028-1041
  back to text
• 47 articleM.~Padberg and G.~Rinaldi. A branch-and-cut algorithm for the resolution of large-scale symmetric traveling salesman problemsSIAM Review3311991, 60--100
  back to text
• 48 inproceedings Pierre AND VanderbeckP. Meurdesoif. A Branch­-and­-Cut algorithm to optimize sensor installation in a network Graph and Optimization Meeting GOM2008 France Saint-Maximin 2008
  back to text
• 49 inproceedings PhilippeP. Meurdesoif, PierreP. Pesneau and FrançoisF. Vanderbeck. Meter installation for monitoring network traffic International Conference on Network Optimization, INOC Spa, Belgium International Network Optimization Conference (INOC) 2007
  back to text
• 50 techreportFrançoisF. Michel. A Column Generation based Tactical Planning Method for Inventory RoutingINRIA2008, URL: http://hal.inria.fr/inria-00169311/en/
  back to text
• 51 articleNancy AND VanderbeckN. Michel. Knapsack Problems with SetupsEuropean Journal of Operational Research1962009, 909-918URL: http://hal.inria.fr/inria-00232782/en/
  back to text
• 52 articleSophieS. Michel and FrançoisF. Vanderbeck. A Column Generation based Tactical Planning Method for Inventory RoutingOperations Research6022012, 382-397
  HALback to text
• 53 inproceedings PierreP. Pesneau, FrançoisF. Clautiaux and JeremyJ. Guillot. Aggregation technique applied to a clustering problem 4th International Symposium on Combinatorial Optimization (ISCO 2016) Vietri sul Mare, Italy May 2016
  HAL back to text
• 54 inproceedings PierreP. Pesneau, FrançoisF. Clautiaux and JeremyJ. Guillot. Aggregation technique applied to a clustering problem for waste collection ROADEF 2016 Compiègne, France February 2016
  HAL back to text
• 55 inproceedings MarcusM. Poggi, DiegoD. Pecin, M. Reis, C. Ferreira, K. Neves, RuslanR. Sadykov and FrançoisF. Vanderbeck. Equipment/Operator task scheduling with BAPCOD Column Generation 2012 Bromont, Canada June 2012
  HAL back to text
• 56 inproceedings NastaranN. Rahmani, BorisB. Detienne, RuslanR. Sadykov and FrançoisF. Vanderbeck. A Column Generation Based Heuristic for the Dial-A-Ride Problem International Conference on Information Systems, Logistics and Supply Chain (ILS) Bordeaux, France June 2016
  HAL back to text
• 57 articleRuslanR. Sadykov. A branch-and-check algorithm for minimizing the sum of the weights of the late jobs on a single machine with release datesEuropean Journal of Operations Research18932008, 1284--1304URL: http://dx.doi.org/10.1016/j.ejor.2006.06.078
  back to text
• 58 techreportRuslanR. Sadykov. A polynomial algorithm for a simple scheduling problem at cross docking terminalsRR-7054INRIA2009, URL: http://hal.inria.fr/inria-00412519/en/
  back to text
• 59 inproceedingsRuslanR. Sadykov. On scheduling malleable jobs to minimise the total weighted completion time13th IFAC Symposium on Information Control Problems in ManufacturingRussie Moscow2009, URL: http://hal.inria.fr/inria-00339646/en/
  back to text
• 60 articleRuslanR. Sadykov. Scheduling incoming and outgoing trucks at cross docking terminals to minimize the storage costAnnals of Operations Research20112012, 423-440
  HALDOIback to text
• 61 articleRuslanR. Sadykov and FrançoisF. Vanderbeck. Bin Packing with conflicts: a generic branch-and-price algorithmINFORMS Journal on Computing2522013, 244-255URL: http://hal.inria.fr/inria-00539869
  DOIback to text
• 62 article GautierG. Stauffer. The p-median Polytope of Y-free Graphs: An Application of the Matching Theory Operations Research Letters 2008
  HAL back to text
• 63 inproceedings L. Gély AND G. Dessagne AND Pierre Pesneau AND FrançoisL. Vanderbeck. A multi scalable model based on a connexity graph representation 11th International Conference on Computer Design and Operation in the Railway and Other Transit Systems COMPRAIL'08 Toledo, Spain September 2008
  back to text
• 64 techreportBrigitte AND VanderbeckB. Vignac. Hierarchical Heuristic for the GRWA Problem in WDM Networks with Delay ConstraintsINRIA2009, 18URL: http://hal.inria.fr/inria-00415513/en/
  back to text
• 65 techreportFrançois AND JaumardF. Vignac. Nested Decomposition Approach to an Optical Network Design ProblemINRIA2009, 18URL: http://hal.inria.fr/inria-00415500/en/
  back to text
• 66 techreportFrançois AND JaumardF. Vignac. Reformulation and Decomposition Approaches for Traffic Routing in Optical NetworksINRIA2009, 36URL: http://www.math.u-bordeaux.fr/~fv/papers/grwaWP.pdf
  back to text
• 67 phdthesis BenoitB. Vignac. Résolution d'un problème de groupage dans le réseaux optiques maillés Université de Montréal January 2010
  back to text
• 68 inproceedings L. ~Gély. Real-time train scheduling at SNCF 1st Workshop on Robust Planning and Rescheduling in Railways Utrecht ARRIVAL meeting on Robust planning and Rescheduling in Railways April 2007
  back to text