Parameters in the 2DCSP.
A two-dimensional cutting stock problem (2DCSP) needs to cut a set of given rectangular items from standard-sized rectangular materials with the objective of minimizing the number of materials used. This problem frequently arises in different manufacturing industries such as glass, wood, paper, plastic, etc. However, the current literatures lack a deterministic method for solving the 2DCSP. However, this study proposes a global method to solve the 2DCSP. It aims to reduce the number of binary variables for the proposed model to speed up the solving time and obtain the optimal solution. Our experiments demonstrate that the proposed method is superior to current reference methods for solving the 2DCSP.
- two-dimensional cutting stock problem (2DCSP)
- rectangular items
- optimal solution
- deterministic model
Two-dimensional cutting stock problem (2DCSP) is a well-known problem in the fields of management science and operations research. The problem frequently arises in the manufacturing processes of different products such as wood, glass, paper, steel, etc. In the 2DCSP, a set of given rectangular items is cut from a set of rectangular materials with the aim of determining the minimum number of materials [1, 2]. These applications include sawing plates from wood stocks , reel and sheet cutting at a paper mill , cutting plates of thin-film-transistor liquid-crystal display (TFT-LCD) from glass substrate [5, 6], placing devices into a system-on-a-chip circuit , and container loading or calculation of containers [8, 9]. Minimizing the number of materials is normally the target in this type of the problem because it does not only reduce the overhead consumption but also enhances environmental protection. The problem in the literatures have been classified as one-dimensional, 1.5-dimensional, and 2DCSPs (Hinxman  and Lodi et al. ) and suggested two categories of approaches in solving the problems, namely, the heuristic and deterministic approaches (Belov , Burke et al. , Chen et al. , Hopper and Turton , Lin  and Martello et al. ).
Various heuristic approaches have been proposed and discussed in the literatures. The primary advantage of this approach is easier in solving the 2DCSP within an acceptable and economical timeframe [18, 19]. The feasible solution is obtained within a reasonable time, while the optimal solution cannot be guaranteed. Chazelle  first proposed a popular heuristic algorithm, called the bottom-left heuristic algorithm. Berkey and Wang  proposed a finite best strip heuristic algorithm to improve the original bottom-left method which packs the items directly into the bins with a best-fit policy. On the other hand, Lodi et al.  proposed an integrated heuristic approach that initiates the solution by paralleling the edges of the items and bins (i.e., materials) and utilizes a Tabu search [23, 24] to explore the neighborhood and refine the possible solution. In order to enhance the effectiveness of the algorithm used, Boschetti and Mingozzi [25, 26] consider empty bins in turn and fill the bins with items in a sequence defined by the prices attributed to the items and update them iteratively. Likewise, Monaci and Toth  initially used Lagrangian-based heuristic to generate a set of covering programming model to obtain a lower bound solution, in which the items cannot be rotated. They applied geometric analytical techniques and Dantzig-Wolfe decomposition to produce various lower bounds of the 2DCSP so that a better solution can be compared and obtained [28, 29, 30, 31].
Despite the development of heuristic approaches can obtain possible solution in a reasonable time, however there is a scarcity of literature attempting to ensure the achievement of an optimal solution. Moreover, the distance between one random feasible solution and the actual global optimal solution can be enlarged with an increasing problem size. Only a few studies attempted to develop deterministic approaches for an optimal solution. For example, Chen et al.  formed a mathematical model for packing a set of given rectangular items into a rectangular space in which the dimension of the rectangular space is minimized. The packing problem is equal to the cutting problem, and the problem can also be called as an assortment problem. Moreover, Williams  formulated a mathematical model considering the increased generalization of 2DCSP, to solve the problem with various sizes of bins. However, Williams’ model contains an excessive number of binary variables as indicated by Pisinger and Sigurd  who showed that Williams’ model has difficulty in solving a standard 2DCSP by their computational experiments. The subsequent studies by Li and Chang , Li et al. [35, 36], Hu et al. , and Tsai et al.  (these approaches are called Li’s approach in this study) enhanced Chen’s model with reformulation techniques based on reducing binary variables and piecewise linearization technique. The deterministic approaches can guarantee the achievement of global optimization with an acceptable tolerance; however, these approaches are only suitable for the assortment problem (i.e., cutting rectangular items from one material only), while many manufacturing situations require considering minimal number of materials.
Aiming to close the knowledge gap, this study modifies the two programs of the assortment problem proposed by Chen et al.  and Li and Chang  to be two corresponding deterministic models for the 2DCSP. As an innovative approach, a global approach of the 2DCSP with a logarithmic number of binary variables and extra constraints is proposed and demonstrated.
The remainder of this study is organized as follows: Section 2 discusses the 2DCSP formulations. Section 3 proposes the 2DCSP models with logarithmic number of binary variables and extra constraints. Numerical examples are given in Section 4 to demonstrate the theoretical advances and advantages of the proposed global approach. Section 5 gives the concluding remarks.
2. Problem formulations
Given small rectangular items, the 2DCSP is to cut all items within large rectangular materials with the objective of minimizing the number of materials used. Denote and as the width and the length of the enveloping rectangle. By referring to the method of Chen et al. , a mathematical program can be formed with the objective of minimizing the volume (i.e., Min ) as discussed in Section 2.1. In the 2DCSP, the minimal number of materials can reduce the manufacturing costs. Thus Section 2.2 explains how to reformulate two new 2DCSP programs based on the original model in Section 2.1. Firstly, the terminologies, including decision variables and parameters, are introduced in Tables 1 and 2.
2.1 Cutting problem in one material
The cutting problem considering one material is also called the assortment problem, which considers cutting a set of given rectangular items within a rectangular material of minimum area. Avoiding the overlapping of items is the core requirements. Chen et al.  and Li and Chang  use four binary variables and two binary variables , respectively, to handle the non-overlapping conditions, as shown in Table 3.
|The number of given rectangular items needed to be cut|
|The number of rectangular materials with the same size|
|The width and length of given rectangular item for|
|and are the upper bounds of and , respectively. These items also denote the width and length of a given rectangular material|
|The bottom-left coordinate of rectangular item|
|The top-right coordinate of the rectangular material|
|A set of binary variables expressing the non-overlapping conditions for a pair of rectangular items and rectangular items for , which are defined by Chen et al. |
|A pair of binary variables expressing the non-overlapping conditions for a pair of rectangular items and rectangular items for , which are defined by Li and Chan |
|An orientation indicator for a given rectangular item . if is parallel to the x-axis; otherwise, if is parallel to the y-axis (is a binary variable)|
|The accumulated length of all materials used.|
The following assortment program is proposed by Chen et al. :
where , and are binary variables; and are nonnegative continuous variables; Constraints (1)–(5) ensure that the rectangular items are non-overlapping, and Constraints (6) and (7) are to cut all of the rectangular items within an enveloping rectangular material .
Remark 1. Original (a) uses binary variables () and constraints to formulate an assortment problem with rectangular items.
By referring to Li and Chang , an alternative mathematical model can be expressed as follows:
Remark 2. Original (b) uses binary variables (, ) and constraints to formulate an assortment problem with rectangular items.
However, these two models are inappropriate for directly solving the general 2DCSP because the objective of the 2DCSP must minimize the number of materials used for cutting all items. By referring to the two models above, two corresponding 2DCSP models are proposed in Section 2.2.
2.2 General deterministic models of 2DCSP
As mentioned above, we need to find out the minimal number of materials used for cutting all items. Original (a) is then reformulated as a general deterministic model of 2DCSP, where cutting rectangular items from materials, as shown in P1 (a):
where , and are binary variables; and are nonnegative continuous variables; Constraints (1), (2), (5), (12) and (13) ensure that the rectangular items are non-overlapping; Constraints (15)–(17) mean that each rectangular item is fitly cut from one of the materials; Constraint (18) obtains the accumulated length of materials used; and the objective function minimizes the accumulated length of materials used.
There are new binary variables (i.e., ) in Constraints (15)–(17) of P1 (a) model. It aims to cut the rectangular item from the material if , and Constraint (17) forces any rectangular item to be cut from one of such materials. Supposing that rectangular item is cut from the material, then and for and . Constraints (15)–(17) will force the -axis position of rectangular item cut from the material as shown below:
Remark 3. P1 (a) requires binary variables and constraints to form a 2DCSP program.
Referring to the Original (b), another corresponding 2DCSP program can be formulated as follows:
where , and are binary variables and , and are nonnegative continuous variables.
Remark 4. P1 (b) requires binary variables and constraints to formulate a 2DCSP program.
Although both P1 (a) and P1 (b) can obtain a minimal number of materials used, there is mainly an issue needed to be addressed. That is, an excessive number of binary variables is used to assign rectangular item into one of the materials; such that the computational load becomes a serious burden as the size of the problem grows.
As indicated by Li et al. , reducing the number of binary variables can accelerate the solving speed. Hence, we can roughly estimate the number of materials by the following remark.
Remark 5. The number of materials can be reduced from to where by the following initial calculating:
where if value is not big enough, i.e., in solving P1(a) and P1(b) are infeasible, then we can accumulate , i.e., , until feasible solutions exist.
By referring to Remark 5, the number of binary variables in Constraints (15)–(18) can be reduced from to where . Moreover, this study proposes a reformulation technique using logarithmic number of binary variables for the P1 (a) and P1 (b) models. The detail of technique is then discussed in Section 3.
3. Logarithmic reformulation technique of 2DCSP
After considering Remark 5, for a 2DCSP with rectangular items and materials, the P1 (a) and P1 (b) models will require binary variables () to cut each rectangular item from one of the materials. The computational efficiency of the P1 (a) and P1 (b) models become a serious burden when an increasing size of the 2DCSP. For any rectangular item , Constraint (17) () is an SOS1 constraint , which is an ordered set of variables where only one variable may be one. An SOS1 constraint model with size will generally require binary variables. However, Vielma and Nemhauser  use SOS1 constraint with a logarithmic number of binary variables and constraints. This section utilizes the concept of Vielma and Nemhauser  and introduces the binary variables (and ) to replace the original binary variables () of the P1 (a) and P1 (b) models. Thus, the number of required binary variables can be reduced from to . The following remarks and propositions discuss the logarithmic reformulation technique of the 2DCSP.
Remark 6. Let , , and be the injective function for , which can be expressed as follows:
is an injective function based on Remark 6 (i.e., with for ).
Following Proposition 1, we then have Proposition 2 that uses binary variables to determine whether rectangular item could be exactly cut from one of the given materials.
Proposition 2. Let be the number of materials, the length of material, and the y-axis position of rectangular item . The original Constraint set (15)–(17) of the P1 (a) and P1 (b) models will be re-expressed by the following linear system, which holds the rectangular item to be cut from one of the given materials:
where and are the same as the notations in Proposition 1 and .
Proof: According to Proposition 1, the continuous variables with the Constraint set (30) and (31) have the characteristics of binary variables. Therefore, the Constraint set (28)–(30) is equivalent to the Constraint set (15)–(17).
Two types of 2DCSP models are formulated by utilizing Proposition 2 as the following P2 (a) and P2 (b), respectively:
where and for , , , and .
Remark 7. P2 (a) requires binary variables and constraints to express a 2DCSP model.
where and for , , and .
Remark 8. P2 (b) requires binary variables and constraints to express another 2DCSP model.
Table 4 shows a comparison of the four ways of expressing the 2DCSP, and it clearly lists the number of binary variables, auxiliary continuous variables, and constraints.
4. Numerical examples
There are two examples modified from Tsai et al. . The detail sizes of rectangular items and materials are listed in Table 5. We implement a Java program, which embedded an optimization package GUROBI (2011) as an MIP solver for solving the two examples with the four proposed models (P1 (a), P1 (b), P2 (a), P2 (b)). The experimental tests were run on a PC equipped with an Intel® Core™ 2 Duo CPU, 4GB RAM, and 32 bit Windows 7 operating system.
|Problem||Size of material||Qty. of items||f||Size of items (pi, qi)|
|1||(40, 69)||8||2||(25, 20), (16, 20), (15, 20), (14, 20), (20, 18), (15, 17), (30, 16), (30, 14)|
|2||(25, 150)||12||2||(32, 24), (26, 20), (25, 20), (24, 20), (40, 18), (35, 17), (20, 16), (18, 16), (38, 15), (50, 15), (18, 4), (25, 5)|
The two problems with the number of materials firstly estimated to be 2 (i.e., ) are solved by using the four models including P1(a), P1(b), P2(a), and P2(b). Table 6 shows the experiment results of two problems. Both of Figures 1 and 2 depict the visualization solutions. In solving four models, we obtain the same objective values of (83) and (293) in Problem 1 and Problem 2, respectively. The results clearly indicate that solving P2(a) and P2(b) is much more computationally efficient than that of P1(a) and P1(b). By observing the four models, we know that both P2(a) and P2(b) use proposed approach to reduce the numbers of binary variables. The results demonstrate that the adoption of a smaller number of binary variables can enhance the solving efficiency in solving 2DCSP.
|Items||P1 (a)||P1 (b)||P2 (a)||P2 (b)|
Y = 83
|No. of 0–1 variables||136||80||128||72|
|No. of cont. variables||17||17||33||33|
|No. of constraints||180||152||404||168|
Objective = 293
|No. of 0–1 variables||300||168||288||156|
|No. of cont. variables||25||25||49||49|
|No. of constraints||390||324||844||348|
This study develops a logarithmic reformulation technique for reducing the required binary variables of the mixed integer program for two-dimensional cutting stock problem in the manufacturing industry. A reformulated logarithmic technique in the deterministic method reduces the number of binary variables to speed up the solving time. The deterministic methods are guaranteed to find a global optimal solution, but the computational complexity grows rapidly by increasing the number of variables and constraints. Future studies are suggested to enhance the computational efficiency for globally solving large-scale 2DCSP, such as column generation, cloud computing and meta-heuristic algorithms.