Problems, Models and Algorithms in One- and Two-Dimensional Cutting

Within such disciplines as Management Science, Information and Computer Science, Engineering, Mathematics and Operations Research, problems of cutting and packing (C&P) of concrete and abstract objects appear under various specifications (cutting problems, knapsack problems, container and vehicle loading problems, pallet loading, bin packing, assembly line balancing, capital budgeting, changing coins, etc.), although they all have essentially the same logical structure. In cutting problems, a large object must be divided into smaller pieces; in packing problems, small items must be combined to large objects. Most of these problems are NP-hard. Since the pioneer work of L.V. Kantorovich in 1939, which first appeared in the West in 1960, there has been a steadily growing number of contributions in this research area. In 1961, P. Gilmore and R. Gomory presented a linear programming relaxation of the one-dimensional cutting stock problem. The best-performing algorithms today are based on their relaxation. It was, however, more than three decades before the first `optimum? algorithms appeared in the literature and they even proved to perform better than heuristics. They were of two main kinds: enumerative algorithms working by separation of the feasible set and cutting plane algorithms which cut off infeasible solutions. For many other combinatorial problems, these two approaches have been successfully combined. In this thesis we do it for one-dimensional stock cutting and two-dimensional two-stage constrained cutting. For the two-dimensional problem, the combined scheme provides mostly better solutions than other methods, especially on large-scale instances, in little time. For the one-dimensional problem, the integration of cuts into the enumerative scheme improves the results of the latter only in exceptional cases. While the main optimization goal is to minimize material input or trim loss (waste), in a real-life cutting process there are some further criteria, e.g., the number of different cutting patterns (setups) and open stacks. Some new methods and models are proposed. Then, an approach combining both objectives will be presented, to our knowledge, for the first time. We believe this approach will be highly relevant for industry

ONE-DIMENSIONAL CUTTING STOCK PROBLEM THAT MINIMIZES THE NUMBER OF DIFFERENT PATTERNS

Cutting stock problem (CSP) is a problem of cutting an object into several smaller objects to fulfill the existing demand with a minimum unused object remaining. Besides minimizing the remaining of the object, sometimes there is another additional problem in CSP, namely minimizing the number of different cutting patterns. This happens because there is a setup cost for each pattern. This study shows a way to obtain a minimum number of different patterns in the cutting stock problem (CSP). An example problem is modeled in linear programming and then solved by a column generation algorithm using the Lingo 18.0 software

Common operation scheduling with general processing times: A branch-and-cut algorithm to minimize the weighted number of tardy jobs

Common operation scheduling (COS) problems arise in real-world applications, such as industrial processes of material cutting or component dismantling. In COS, distinct jobs may share operations, and when an operation is done, it is done for all the jobs that share it. We here propose a 0-1 LP formulation with exponentially many inequalities to minimize the weighted number of tardy jobs. Separation of inequalities is in NP, provided that an ordinary min Lmax scheduling problem is in P. We develop a branch-and-cut algorithm for two cases: one machine with precedence relation; identical parallel machines with unit operation times. In these cases separation is the constrained maximization of a submodular set function. A previous method is modified to tackle the two cases, and compared to our algorithm. We report on tests conducted on both industrial and artificial instances. For single machine and general processing times the new method definitely outperforms the other, extending in this way the range of COS applications

A Polyhedral Study of Mixed 0-1 Set

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

A Small Cosmological Constant, Grand Unification and Warped Geometry

We explore a mechanism to obtain the observational small value for the 4-dimensional vacuum energy through an exponential warp-factor suppression. Intriguingly the required suppression scale relates directly to the GUT scale. We demonstrate the mechanism explicitly in a 5-dimensional brane-world setup with warped geometry. Upon lifting the setup to 10-dimensional IIB string-theory, the relevance of the GUT scale becomes clear as the IIB string-theory description, which is based on D3-brane stacks, gives rise to a spontaneously broken SU(5) supersymmetric GUT theory with low-energy MSSM spectrum and Higgs doublet-triplet splitting.Comment: 38 pages, 11 figures, various minor corrections and references adde

Models and algorithms for hard optimization problems

This thesis is devoted to exact solution methods for NP-hard integer programming models. We consider two of these problems, the cutting stock problem and the vehicle routing problem. Both problems have been studied for several decades by researchers and practitioners of the Operations Research eld. Their interest and contribution to real-world applications in business, industry and several kinds of organizations are irrefutable. Our solution approaches are always exact. We contribute with new lower bounds, families of valid inequalities, integer programming models and exact algorithms for the problems we explore. More precisely, we address two variants of each of the referred problems. In what concerns cutting stock problems, we analyze the one-dimensional pattern minimization problem and the two-dimensional cutting stock problem with the guillotine constraint. The one-dimensional pattern minimization problem is a cutting and packing problem that becomes relevant in situations where changing from one pattern to another involves, for example, a cost for setting up the cutting machine. It is the problem of minimizing the number of di erent patterns of a given cutting stock solution. For this problem, we contribute with new lower bounds. The two-dimensional cutting stock problem with the guillotine constraint and two stages is also addressed. We propose a pseudo-polynomial network ow model, along with some reduction criteria to reduce its symmetry. We strengthen the model with a new family of cutting planes and propose a new lower bound. For this variant, we also consider some variations of the problem.Regarding vehicle routing problems, we address the vehicle routing problem with time windows and multiple use of vehicles and the location routing problem, with capacitated vehicles and depots and multiple use of vehicles. The rst of these problems considers the well know case of vehicle routing with time windows with the additional consideration that vehicles can be assigned to several routes within the same planning period. The second variant considers the combination of the rst problem, without time windows, with a location problem. This means that the depots to be used must be selected from a set of available ones. For both of these variants, we propose a network ow model whose nodes of the underlying graph correspond to time instants of the planning period and whose arcs correspond to vehicle routes. We reduce their symmetry by deriving several reduction criteria. For the vehicle routing problem with time windows and multiple use of vehicles, we propose an iterative algorithm to solve the problem exactly. Our proposed procedures are tested and compared with other methods from the literature. All the computational results produced by the series of experiments are presented and discussed.Esta tese e dedicada a métodos de resolução exata para problemas de programação inteira NP-difíceis. São considerados dois desses problemas, nomeadamente o problema de corte e empacotamento e o problema de encaminhamento de veículos. Ambos os problemas têm vindo a ser abordados por investigadores e profissionais da área da Investigação Operacional há já várias décadas. O seu interesse e contribuição para aplicações reais do mundo dos negócios e industria, assim como para inúmeros outros tipos de organizações são, hoje em dia, inegáveis. A nossa abordagem para a resolução dos problemas descritos e exata. Contribuímos com novos limites inferiores, novas famílias de desigualdades validas, novos modelos de programação inteira e algoritmos de resolução exata para os problemas que nos propomos explorar. Em particular, abordamos duas variantes de cada um dos referidos problemas. Em relação ao problema de corte e empacotamento, analisamos o problema de minimização de padrões a uma dimensão e o problema de corte e empacotamento a duas dimensões, com restrição de guilhotina. O problema de minimização de padrões a uma dimensão e pertinente em situações em que a mudança de padrão envolve, por exemplo, custos de reconfiguração nas máquinas de corte. E o problema de minimização do numero de padrões diferentes de uma dada solução de um problema de corte. Para este problema contribuímos com novos limites inferiores. O problema de corte e empacotamento a duas dimensões com restrição de guilhotina e dois estágios e também abordado. Propomos um modelo pseudopolinomial de rede de fluxos, assim como critérios de redução que eliminam parte da sua simetria. Reforçamos o modelo com uma nova família de planos de corte e propomos novos limites inferiores. Para esta variante, consideramos também outras variações do problema original. No que se refere ao problema de encaminhamento de veículos, abordamos um problema de encaminhamento de veículos com janelas temporais e múltiplas viagens, e também um problema de localização e encaminhamento de veículos com capacidades nos veículos e depósitos e múltiplo uso dos veículos. O primeiro destes problemas considera o conhecido caso de encaminhamento de veículos com janelas temporais, com a consideração adicional de que os veículos podem ser alocados a v arias rotas no decurso do mesmo período de planeamento. A segunda variante considera a combinação do primeiro problema, embora sem janelas temporais, com um problema de localização. Isto significa que os depósitos a usar são selecionados de um conjunto de localizações disponíveis. Para ambas as variantes, propomos um modelo pseudo-polinomial de rede de fluxos cujos nodos do grafo correspondente representam instantes de tempo do período de planeamento, e cujos arcos representam rotas. Derivamos critérios de redução com o intuito de reduzir a simetria. Para o problema com janelas temporais e múltiplas viagens, propomos um algoritmo iterativo que o resolve de forma exata. Os procedimentos propostos são testados e comparados com outros métodos da literatura. Todos os resultados obtidos pelas experiencias computacionais são apresentados e discutidos

Approximation Schemes for Machine Scheduling

In the classical problem of makespan minimization on identical parallel machines, or machine scheduling for short, a set of jobs has to be assigned to a set of machines. The jobs have a processing time and the goal is to minimize the latest finishing time of the jobs. Machine scheduling is well known to be NP-hard and thus there is no polynomial time algorithm for this problem that is guaranteed to find an optimal solution unless P=NP. There is, however, a polynomial time approximation scheme (PTAS) for machine scheduling, that is, a family of approximation algorithms with ratios arbitrarily close to one. Whether a problem admits an approximation scheme or not is a fundamental question in approximation theory. In the present work, we consider this question for several variants of machine scheduling. We study the problem where the machines are partitioned into a constant number of types and the processing time of the jobs is also dependent on the machine type. We present so called efficient PTAS (EPTAS) results for this problem and variants thereof. We show that certain cases of machine scheduling with assignment restrictions do not admit a PTAS unless P=NP. Moreover, we introduce a graph framework based on the restrictions of the jobs and use it in the design of approximation schemes for other variants. We introduce an enhanced integer programming formulation for assignment problems, show that it can be efficiently solved, and use it in the EPTAS design for variants of machine scheduling with setup times. For one of the problems, we show that there is also a PTAS in the case with uniform machines, where machines have speeds influencing the processing times of the jobs. We consider cases in which each job requires a certain amount of a shared renewable resource and the processing time is depended on the amount of resource it receives or not. We present so called asymptotic fully polynomial time approximation schemes (AFPTAS) for the problems

Matheuristics: using mathematics for heuristic design

Matheuristics are heuristic algorithms based on mathematical tools such as the ones provided by mathematical programming, that are structurally general enough to be applied to different problems with little adaptations to their abstract structure. The result can be metaheuristic hybrids having components derived from the mathematical model of the problems of interest, but the mathematical techniques themselves can define general heuristic solution frameworks. In this paper, we focus our attention on mathematical programming and its contributions to developing effective heuristics. We briefly describe the mathematical tools available and then some matheuristic approaches, reporting some representative examples from the literature. We also take the opportunity to provide some ideas for possible future development