33 research outputs found

    A new mixed-integer programming model for irregular strip packing based on vertical slices with a reproducible survey

    Get PDF
    The irregular strip-packing problem, also known as nesting or marker making, is defined as the automatic computation of a non-overlapping placement of a set of non-convex polygons onto a rectangular strip of fixed width and unbounded length, such that the strip length is minimized. Nesting methods based on heuristics are a mature technology, and currently, the only practical solution to this problem. However, recent performance gains of the Mixed-Integer Programming (MIP) solvers, together with the known limitations of the heuristics methods, have encouraged the exploration of exact optimization models for nesting during the last decade. Despite the research effort, the current family of exact MIP models for nesting cannot efficiently solve both large problem instances and instances containing polygons with complex geometries. In order to improve the efficiency of the current MIP models, this work introduces a new family of continuous MIP models based on a novel formulation of the NoFit-Polygon Covering Model (NFP-CM), called NFP-CM based on Vertical Slices (NFP-CM-VS). Our new family of MIP models is based on a new convex decomposition of the feasible space of relative placements between pieces into vertical slices, together with a new family of valid inequalities, symmetry breakings, and variable eliminations derived from the former convex decomposition. Our experiments show that our new NFP-CM-VS models outperform the current state-of-the-art MIP models. Finally, we provide a detailed reproducibility protocol and dataset based on our Java software library as supplementary material to allow the exact replication of our models, experiments, and results

    Nesting Problems : Exact and Heuristic Algorithms

    Get PDF
    Nesting problems are two-dimensional cutting and packing problems involving irregular shapes. This thesis is focused on real applications on Nesting problems such as the garment industry or the glass cutting. The aim is to study different mathematical methodologies to obtain good lower bounds by exact procedures and upper bounds by heuristic algorithms. The core of the thesis is a mathematical model, a Mixed Integer Programming model, which is adapted in each one of the parts of the thesis. This study has three main parts: first, an exact algorithm for Nesting problems when rotation for the pieces is not allowed; second, an Iterated Greedy algorithm to deal with more complex Nesting problems when pieces can rotate at several angles; third, a constructive algorithm to solve the two-dimensional irregular bin packing problem with guillotine cuts. This thesis is organized as follows. The first part is focused on developing exact algorithms. In Chapter 2 we present two Mixed Integer Programming (MIP) models, based on the Fischetti and Luzzi MIP model. We consider horizontal lines in order to define the horizontal slices which are used to separate each pair of pieces. The second model, presented in Section 2.3, uses the structure of the horizontal slices in order to lift the bound constraints. Section 2.5 shows that if we solve these formulations with CPLEX, we obtain better results than the formulation proposed by Gomes and Oliveira. The main objective is to design a Branch and Cut algorithm based on the MIP, but first a Branch and Bound algorithm is developed in Chapter 3. Therefore, we study different branching strategies and design an algorithm which updates the bounds on the coordinates of the reference point of the pieces in order to find incompatible variables which are fixed to 0 in the current branch of the tree. The resulting Branch and Bound produces an important improvement with respect to previous algorithms and is able to solve to optimality problems with up to 16 pieces in a reasonable time. In order to develop the Branch and Cut algorithm we have found several classes of valid inequalities. Chapter 4 presents the different inequalities and in Chapter 5 we propose separation algorithms for some of these inequalities. However, our computational experience shows that although the number of nodes is reduced, the computational time increases considerably and the Branch and Cut algorithm becomes slower. The second part is focused on building an Iterated Greedy algorithm for Nesting problems. In Chapter 6 a constructive algorithm based on the MIP model is proposed. We study different versions depending on the objective function and the number of pieces which are going to be considered in the initial MIP. A new 11 idea for the insertion is presented, trunk insertion, which allows certain movements of the pieces already placed. Chapter 7 contains different movements for the local search based on the reinsertion of a given number of pieces and compaction. In Chapter 8 we present a math-heuristic algorithm, which is an Iterated Greedy algorithm because we iterate over the constructive algorithm using a destructive algorithm. We have developed a local search based on the reinsertion of one and two pieces. In the constructive algorithm, for the reinsertion of the pieces after the destruction of the solution and the local search movements, we use several parameters that change along the algorithm, depending on the time required to prove optimality in the corresponding MIP models. That is, somehow we adjust the parameters, depending on the difficulty of the current MIP model. The computational results show that this algorithm is competitive with other algorithms and provides the best known results on several known instances. The third part is included in Chapter 9. We present an efficient constructive algorithm for the two dimensional irregular bin packing problem with guillotine cuts. This problem arises in the glass cutting industry. We have used a similar MIP model with a new strategy to ensure a guillotine cut structure. The results obtained improve on the best known results. Furthermore, the algorithm is competitive with state of the art procedures for rectangular bin packing problems

    A beam search approach to solve the convex irregular bin packing problem with guillotine cuts

    Get PDF
    This paper presents a two dimensional convex irregular bin packing problem with guillotine cuts. The problem combines the challenges of tackling the complexity of packing irregular pieces, guaranteeing guillotine cuts that are not always orthogonal to the edges of the bin, and allocating pieces to bins that are not necessarily of the same size. This problem is known as a two-dimensional multi bin size bin packing problem with convex irregular pieces and guillotine cuts. Since pieces are separated by means of guillotine cuts, our study is restricted to convex pieces.A beam search algorithm is described, which is successfully applied to both the multi and single bin size instances. The algorithm is competitive with the results reported in the literature for the single bin size problem and provides the first results for the multi bin size problem

    A Polyhedral Study of Mixed 0-1 Set

    Get PDF
    We consider a variant of the well-known single node fixed charge network flow set with constant capacities. This set arises from the relaxation of more general mixed integer sets such as lot-sizing problems with multiple suppliers. We provide a complete polyhedral characterization of the convex hull of the given set

    Transistor-Level Layout of Integrated Circuits

    Get PDF
    In this dissertation, we present the toolchain BonnCell and its underlying algorithms. It has been developed in close cooperation with the IBM Corporation and automatically generates the geometry for functional groups of 2 to approximately 50 transistors. Its input consists of a set of transistors, including properties like their sizes and their types, a specification of their connectivity, and parameters to flexibly control the technological framework as well as the algorithms' behavior. Using this data, the tool computes a detailed geometric realization of the circuit as polygonal shapes on 16 layers. To this end, a placement routine configures the transistors and arranges them in the plane, which is the main subject of this thesis. Subsequently, a routing engine determines wires connecting the transistors to ensure the circuit's desired functionality. We propose and analyze a family of algorithms that arranges sets of transistors in the plane such that a multi-criteria target function is optimized. The primary goal is to obtain solutions that are as compact as possible because chip area is a valuable resource in modern techologies. In addition to the core algorithms we formulate variants that handle particularly structured instances in a suitable way. We will show that for 90% of the instances in a representative test bed provided by IBM, BonnCell succeeds to generate fully functional layouts including the placement of the transistors and a routing of their interconnections. Moreover, BonnCell is in wide use within IBM's groups that are concerned with transistor-level layout - a task that has been performed manually before our automation was available. Beyond the processing of isolated test cases, two large-scale examples for applications of the tool in the industry will be presented: On the one hand the initial design phase of a large SRAM unit required only half of the expected 3 month period, on the other hand BonnCell could provide valuable input aiding central decisions in the early concept phase of the new 14 nm technology generation

    Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization

    No full text
    International audienceThe Cologne-Twente Workshop (CTW) on Graphs and Combinatorial Optimization started off as a series of workshops organized bi-annually by either Köln University or Twente University. As its importance grew over time, it re-centered its geographical focus by including northern Italy (CTW04 in Menaggio, on the lake Como and CTW08 in Gargnano, on the Garda lake). This year, CTW (in its eighth edition) will be staged in France for the first time: more precisely in the heart of Paris, at the Conservatoire National d’Arts et Métiers (CNAM), between 2nd and 4th June 2009, by a mixed organizing committee with members from LIX, Ecole Polytechnique and CEDRIC, CNAM

    Nesting Problems

    Get PDF

    Operational Research: Methods and Applications

    Get PDF
    Throughout its history, Operational Research has evolved to include a variety of methods, models and algorithms that have been applied to a diverse and wide range of contexts. This encyclopedic article consists of two main sections: methods and applications. The first aims to summarise the up-to-date knowledge and provide an overview of the state-of-the-art methods and key developments in the various subdomains of the field. The second offers a wide-ranging list of areas where Operational Research has been applied. The article is meant to be read in a nonlinear fashion. It should be used as a point of reference or first-port-of-call for a diverse pool of readers: academics, researchers, students, and practitioners. The entries within the methods and applications sections are presented in alphabetical order. The authors dedicate this paper to the 2023 Turkey/Syria earthquake victims. We sincerely hope that advances in OR will play a role towards minimising the pain and suffering caused by this and future catastrophes

    27th Annual European Symposium on Algorithms: ESA 2019, September 9-11, 2019, Munich/Garching, Germany

    Get PDF
    corecore