This section firstly describes the ASALBP–1 through the mathematical programming model developed by Capacho & Pastor (2006). Afterwards, the literature on ASALBPs is summarized.
2.1. Problem Formulation
ASALBP–1 as a general assembly line balancing problem refers to the design problem of a product assembly process where different assembly alternatives exist. In the presence of different assembly alternatives, the balancing problem becomes more complicated, since two interdependent problems must be solved simultaneously. These two problems may be named as selection and assignment problems. The selection problem aims to choose the most appropriate one among the existing assembly alternatives, while, the balancing problem aims to partition the assembly tasks among a minimum number of stations by considering a predetermined cycle time with regard to selected alternative. The ASALBP–1 has been formulated as a binary linear programming model by Capacho & Pastor (2005, 2008). Later Capacho & Pastor (2006) extended the definition of the ASALBP–1 with the consideration of sub-processes composed of different tasks and formulized the problem as a mathematical programming model. The notations with their definitions belonging to this formulation are given in Table 1. This current paper is interested in this extended variant of the ASALBP–1.
Table 1
Model notations with their definitions
Parameters | \(n\) | Number of tasks |
\(nr\) | Number of routes |
\(nsr\) | Number of different sets of routes (subgraphs) such that the routes within a set are alternatives to each other |
\({m}_{max} \left({m}_{min}\right)\) | Upper (Lower ) bound on the number of stations |
\({R}_{i}\) | Set of all assembly routes through which task \(i\) can be processed |
\(C\) | Cycle time |
\({t}_{ir}\) | Processing time of task \(i\), if task \(i\) processed route\(r\) |
\({TR}_{r}\) | Set of tasks that are affected by route\(r\) |
\({P}_{ir}\) | Set of the possible immediate predecessors of task \(i\), if task \(i\) processed through route \(r\) |
\({PT}_{i}\) | Set of all possible immediate predecessors of task\(i\) |
\({E}_{ir} \left({L}_{ir}\right)\) | Earliest (Latest) station that task \(i\) can be assigned to, if task \(i\) is processed through route\(r\) |
\({SCR}_{q}\) | Subset of \(q\) assembly routes that are alternative among one other. |
Decision Variables | \({x}_{ijr}\in \left\{\text{0,1}\right\}\) | Equals 1 if task \(i\) is assigned to station \(j\) and processed through route \(r\), and 0 otherwise |
\({y}_{j}\in \left\{\text{0,1}\right\}\) | Equals 1 if there is any task assigned to station \(j\), and 0 otherwise |
\({ar}_{r}\in \left\{\text{0,1}\right\}\) | Equals 1 if there is any task processed through route \(r\), and 0 otherwise |
$$Min Z =\sum _{j={m}_{min}+1}^{{m}_{max}}j*{y}_{j} \left(1\right)$$
$$\sum _{j={E}_{i0}}^{{L}_{i0}}{x}_{ij0}=1 \forall i|i\in {TR}_{0} (2)$$
$$\sum _{\forall r\in {R}_{i}}\sum _{j={E}_{ir}}^{{L}_{ir}}{x}_{ijr}=\sum _{\forall r\in {R}_{i}}{ar}_{r} \forall i|i\notin {TR}_{0} (3)$$
$$\sum _{r=0}^{nr}\sum _{\forall i|\left(r\in {R}_{i}\right)\bigwedge \left(j\in \left[{E}_{ir},{L}_{ir}\right]\right)}{t}_{ir}*{x}_{ijr}\le C j=1,\dots ,{m}_{min} \left(4\right)$$
$$\sum _{r=0}^{nr}\sum _{\forall i|\left(r\in {R}_{i}\right)\bigwedge \left(j\in \left[{E}_{ir},{L}_{ir}\right]\right)}{t}_{ir}*{x}_{ijr}\le C*{y}_{j} j={m}_{min}+1,\dots ,{m}_{max} \left(5\right)$$
$$\sum _{j={E}_{p0}}^{{L}_{po}}j*{x}_{pj0}\le \sum _{j={E}_{i0}}^{{L}_{i0}}j*{x}_{ij0} \forall i\in {TR}_{0},\forall p\in {PT}_{i}|p\in {TR}_{0} (6)$$
$$\sum _{\forall s\in {R}_{p}}\sum _{j={E}_{ps}}^{{L}_{ps}}j*{x}_{pjs}\le \sum _{j={E}_{io}}^{{L}_{i0}}j*{x}_{ij0} \forall i\in {TR}_{0}, \forall p\in {PT}_{i}|p\notin {TR}_{0} (7)$$
$$\sum _{j\in {E}_{p0}}^{{L}_{p0}}j*{x}_{pj0}\le \sum _{\forall r\in {R}_{i}}\sum _{j={E}_{ir}}^{{L}_{ir}}j*{x}_{ijr}+{m}_{max}*\left(1-\sum _{\forall r\in {R}_{i}}{ar}_{r}\right) \forall i\notin {TR}_{0}, \forall p\in {PT}_{i}|p\in {TR}_{0} (8)$$
$$\sum _{j={E}_{pr}}^{{L}_{pr}}j*{x}_{pjr}\le \sum _{j={E}_{ir}}^{{L}_{ir}}j*{x}_{ijr} \forall i\notin {TR}_{0}, \forall r\in {R}_{i}, \forall p\in {P}_{ir}\left|\left[p\notin {TR}_{0}\bigwedge r\in {R}_{p}\right] \right(9)$$
$$\sum _{\forall s\in {R}_{p}}\sum _{j={E}_{ps}}^{{L}_{ps}}j*{x}_{pjs}\le \sum _{\forall r\in {R}_{i}}\sum _{j={E}_{ir}}^{{L}_{ir}}j*{x}_{ijr} \forall i\notin {TR}_{0}, \forall p\in {PT}_{i}\left|\left[p\notin {TR}_{0}\bigwedge \left({R}_{i}\cap {R}_{p}=\varnothing \right)\right] \right(10)$$
$$\sum _{r\in {SCR}_{q}}{ar}_{r}=1 q=1,\dots ,nsr \left(11\right)$$
$$\sum _{\forall i\in {TR}_{r}}\sum _{j={E}_{ir}}^{{L}_{ir}}{x}_{ijr}\le {ar}_{r}*\left|{TR}_{r}\right| r=1,\dots ,nr \left(12\right)$$
The objective function (1) of the model minimizes the total number of stations. Constraint set (2) and (3) guarantee that every task - belonging to a selected route - is assigned to exactly one station. Constraint sets (4) and (5) ensure the sum of the processing times of the tasks assigned to a station not to exceed the predetermined cycle time. Constraint set (6), (7), (8), (9) and (10) guarantee that a task can only be assigned to station \(j\) if all its predecessors have already been assigned to a preceding station of \(j\) on the line or to station \(j\). Constraint set (11) constructs a unique assembly route by selecting exactly one route for each subassembly among the possible routes. Finally, constraint set (12) ensures assigning the tasks belonging to a particular subgraph to the same route.
2.2. Literature Review
Product assembly therefore the assembly line balancing problems commonly contains certain precedence relations between assembly tasks. Nevertheless, products may have some parts which could have alternative assembly processes in real life and this requires to selection of one of the alternative precedence relations before seeking the optimum balance of the related assembly line. In such circumstances, the balancing problem of an assembly line becomes more complicated due to alternative assemblies and therefore the alternative precedence relations between tasks. Pinto et al. (1983) handled such an assembly line balancing problem for the first time in the related literature. The processing alternatives had been occurred due to need to select of limited equipment in the Authors' case, however, the precedence relations between tasks have always been maintained. The assembly line balancing problem with processing alternatives due to need to select of limited equipment was been studied by also Bukchin & Tzur (2000). On the other hand, assembly line balancing problem that contains alternative subgraphs were been handled by Park et al. (1996), Das & Nagendra (1997) and Senin et al. (2000) for the industries of power washers manufacturing, toy manufacturing and commercial hand-held drills production, respectively.
Subsequent to afore-mentioned works, Capacho & Pastor (2005, 2008) introduced the alternative subgraph assembly line balancing problem (ASALBP) for the first time in the related literature. They gave the character traits of the ASALBP, described the problem with small examples and formulated the problem as a binary linear programming model to solve the problem to optimality. Capacho & Pastor (2006) introduced another variant of ASALBP with assembly sub-processes with different tasks. The Authors also formulized this new variant of the ASALBP as a mathematical programming model to solve the problem to optimality. The exact solution methods developed to solve both above mentioned variants of ASALBP are suffering to solve medium and large scale problem instances. Therefore, Capacho et al., (2006a) proposed three single-pass and two multi-pass heuristic methods to solve medium and large scale problem instances of the ASALBP–1. Additionally, in the related literature, 14 different heuristic methods (Capacho et al., 2006b), approximation methods (Capacho et al., 2006c) and constructive heuristics methods (Capacho et al., 2009) were also been developed to solve the ASALBP–1 as effectively as possible. An alternative representation of the ASALBP was proposed by Scholl et al. (2009) and the Authors formulated the problem as a new mixed integer programming model and tried to solve through a SALOME based solution approach. As distinct the previous works, Capacho & Pastor (2011) tried to solve the ASALBP with a metaheuristic algorithm, Greedy Randomized Adaptive Search Procedure (GRASP). The proposed GRASP selects the subgraphs and determines an initial assignments of tasks in the first phase and tries to improve the solution through a local search in the second phase. Besides this work, a new variant of the problem – ASALBP with resource selection and parallel stations – has also been solved through a genetic algorithm by Leiber et al. (2021). The Authors have also formulated the new variant of the problem as a mathematical programming model. The aforementioned literature review on ASALBPs indicates the lack of metaheuristic algorithms to tackle the problem, since it is difficult to solve the medium and large scale problem instances through the proposed mathematical programming approaches. However, there are plenty number of heuristics, whose results can potentially be improved, designed to solve the problem in the related literature. Additionally, studies in the related literature have suggested to design metaheuristic algorithms for ASALBP as future research directions. To contribute the research on eliminating this research gap, this current paper aspires to develop a hybrid metaheuristic based on firefly and bat algorithms to solve the ASALBP-1 as effectively as possible.
Both the firefly and bat algorithms were originally designed to solve continuous optimization problems, however, these two algorithms have been employed to solve plenty types of optimization problems. The variants and application areas of these two algorithms were comprehensively classified by two recent review papers of Agarwal and Kumar (2021) and Kumar and Kumar (2021). The reader can strongly be suggested to read these two review papers to be informed about the firefly and bat algorithms. These two review papers put forward that there is not any research paper on the implementation of these two algorithms to an assembly line balancing problem in the literature. From this point of view, we can conclude that this current paper will reveal some information about the potential performances of both firefly and bat algorithms in solving assembly line balancing problems.
As a final note, it must be here noted, combining the firefly and bat algorithms within a hybrid algorithmic framework is a scarce research field, since we could attain only three papers hybridized these two algorithms (Arunarani et al, 2017; Sureshkumar et al., 2018; Chen et al., 2019) from a Web-of-Science search. This situation also brings an added value to the struggle of this current paper.