Abstract

Algorithms that aim to solve optimisation problems by combining heuristics and mathematical programming have attracted researchers’ attention. These methods, also known as matheuristics, have been shown to perform especially well for large, complex optimisation problems that include both integer and continuous decision variables. One common strategy used by matheuristic methods to solve such optimisation problems is to divide the main optimisation problem into several subproblems. While heuristics are used to seek for promising subproblems, exact methods are used to solve them to optimality. In general, we say that both mixed integer (non)linear programming problems and combinatorial optimisation problems can be addressed using this strategy. Beside the number of parameters researchers need to adjust when using heuristic methods, additional parameters arise when using matheuristic methods. In this paper we focus on one particular parameter, which determines the size of the subproblem. We show how matheuristic performance varies as this parameter is modified. We considered a well-known NP-hard combinatorial optimisation problem, namely, the capacitated facility location problem for our experiments. Based on the obtained results, we discuss the effects of adjusting the size of subproblems that are generated when using matheuristics methods such as the one considered in this paper.

1. Introduction

Solving mixed integer programming (MIP) problems as well as combinatorial optimisation problems is, in general, a very difficult task. Although efficient exact methods have been developed to solve these problems to optimality, as the problem size increases exact methods fail to solve it within an acceptable computational time. As a consequence, nonexact methods such as heuristic and metaheuristic algorithms have been developed to find good quality solutions. In addition, hybrid strategies combining different nonexact algorithms are also promising ways to tackle complex optimisation problems. Unfortunately, algorithms that do not consider exact methods cannot give us any guarantee of optimality and, thus, we do not know how good (or bad) solutions found by these methods are.

One hybrid strategy that combines nonexact methods are memetic algorithms, which are population-based metaheuristics that use an evolutionary framework integrated with local search algorithms [1]. Memetic algorithms provide lifetime learning process to refine individuals in order to improve the obtained solutions every iteration or generation; their applications have been grown significantly over the years in several NP-hard optimisation problems [2]. These algorithms are part of the paradigm of memetic computation, where the concept of meme is used to automate the knowledge transfer and reuse across problems [3]. A large number of memetic algorithms can be found in the literature. Depending on its implementation, memetic algorithms might (or might not) give guarantee of local optimality: roughly speaking, if heuristic local search algorithms are considered, then no optimality guarantee is given; if exact methods are considered as the local optimisers, then local optimality could be ensured.

To overcome the situation described above, hybrid methods that combine heuristics and exact methods to solve optimisation problems have been proposed. These methods, also known as matheuristics [4], have been shown to perform better than both heuristic and mathematical programming methods when they are applied separately. The idea of combining the power of mathematical programming with flexibility of heuristics has gained attention within researchers’ community. We can found matheuristics attempting to solve problems arising in the field of logistics [59], health care systems [1013], and pure mathematics [14, 15], among others. Matheuristics have been demonstrated to be very effective in solving complex optimisation problems. Some interesting surveys on matheuristics are [16, 17]. Although there is some overlapping between memetic algorithms and matheuristic ones, in this paper we have chosen to label the studied strategy as matheuristic, as we think matheuristics definition better fits the framework we are interested in.

Because of their complexity, MIP problems as well as combinatorial optimisation problems are often tackled using matheuristic methods. One common strategy to solve this class of optimisation problems is to divide the main optimisation problem into several subproblems. While heuristics are used to seek for promising subproblems, exact methods are used to solve them to optimality. One advantage of this approach is that it does not depend on the (non)linearity of the resulting subproblem. Instead, it has been pointed out that it is desirable that the resulting subproblem would be convex [11]. Having a convex subproblem would allow us to solve it to optimality, and thus comparing solutions obtained at each subproblem becomes more senseful. This strategy has been successfully applied to problems arising in fields as diverse as logistics and radiation therapy.

In this paper we aim to study the impact of parameter tuning on the performance of matheuristic methods as the one described above. To this end, the well-known capacitated facility location problem is used as an application of hard combinatorial optimisation problem. To the best of our knowledge, no paper has focused on parameter tuning for matheuristic methods.

This paper is organised as follows: Section 2 shows the general matheuristic framework we consider in this paper. Details on the algorithms that are used in this study are also shown in this section. In Section 3 the capacitated facility location problem is introduced and its mathematical model is described in Section 3.1. The experiments performed in this study are presented and the obtained results are discussed in Section 3.2. Finally, in Section 4 some conclusions are presented and the future work is outlined.

2. Matheuristic Methods

This section is twofold. We start by describing a general matheuristic framework that is used to solve both MIP problems and combinatorial optimisation problems and how it is different from other commonly used approaches such as memetic algorithms and other evolutionary approaches. After that, we present the local-search-based algorithms we consider in this work to perform our experiments. We finish this section by introducing the parameter we will be focused on in this study.

2.1. General Framework

Equations (1a) to (1f) show the general form of MIP problems. Hereafter we will refer to this problem as the MIP problem or the main problem.where is an objective function, is the number of inequality constraints on and , is the number of inequality constraints on , is the number of inequality constraints on , is the number of binary (≥0) decision variables , and is the number of continuous decision variables. Combinatorial optimisation problems, as the one we consider in this paper, can be easily obtained by either removing the continuous decision variable from the model or making it integer (i.e., ).

Although there exist a number of exact algorithms that can find an optimal solution for the MIP, as the size of the problem increases, exact methods fail or take too long. Because of this, heuristic methods are used to obtain good quality solutions of the problem within an acceptable time. Heuristic methods cannot guarantee optimality though.

During the last two decades, the idea of combining heuristic methods and mathematical programming has received much more attention. Exploiting the advantages of each method appears to be a senseful strategy to overcome their inherent drawbacks. Several strategies have been proposed to combine heuristics and exact methods to solve optimisation problems such as the MIP problem. For instance, Chen and Ting [18] and Lagos et al. [8] combine the well-known ant colony optimisation (ACO) algorithm and Lagrangian relaxation method to solve the single source capacitated facility location problem and a distribution network design problem, respectively. In these articles, Lagrangian multipliers are updated using ACO algorithm. Another strategy to combine heuristics and exact methods is to let heuristics seek for subproblems of MIP which, in turn, are solved to optimality by some exact method. One alternative to obtain subproblems of MIP is to add a set of additional constraints on a subset of binary decision variables. These constraints are of the form , with and being the set of index that are restricted in subproblem (see (1a) to (1f)). The portion of binary decision variables that are set to is denoted by (i.e., ), with being the number of binary variables . Then, the obtained subproblem, which we call , is

In this paper we assume that a constraint on the th resource of vector of the form , that is, , means that such a resource is not available for subproblem . We can note that, as the number of constrained binary decision variables associated with increases, that is, as ) increases, the subproblem becomes smaller. Similarly, as the number of constrained binary decision variables associated with gets smaller, that is, decreases, the subproblem gets larger, as there are more available resources. It is also easy to note that, as increases, we can obtain optimal solutions of the corresponding subproblem relatively faster. However, quality of the obtained solutions is usually impaired as the solution space is restricted by the additional constraints associated with the set . Similarly, as gets smaller, obtaining optimal solutions of the associated subproblems might take longer but the quality of the obtained solutions is, in general, greatly improved. Finally, when we have that subproblem is identical to the main problem, MIP. We assume that optimal solution of subproblem , , is also feasible for the MIP problem. Moreover, we can note that there must be a minimal set , for which an optimal solution of the associated subproblem is also an optimal solution of the main problem MIP.

In some cases, the value of might be predefined by the problem that is being solved. For instance, the problem of finding the best beam angle configuration for radiation delivery in cancer treatment (beam angle optimisation problem) usually sets the number of beams to be used in a beam angle configuration (see Cabrera-Guerrero et al. [11], Li et al. [19], and Li et al. [20]). This definition is made by the treatment planner and it does not take into account the algorithm performance but clinical aspects. Unlike this kind of problems, there are many other problems where the value of is not predefined and, then, setting it to an efficient value is important for the algorithm performance. Figure 1 shows the interaction between the heuristic and the exact method.

One distinctive feature of matheuristics is that there exists an interaction between the heuristic method and the exact method. In the method depicted in Figure 1 we have that, on one hand, the heuristic method influences the solver by passing onto it a set of constraints, , that defines the subproblem to be solved by the exact method. On the other hand, we have that the solution obtained by the solver is returned to the heuristic method such that it can be used to influence the selection of the elements in the next set of constraints; that is, the solution of a subproblem might be used by the heuristic to obtain some useful information to generate next subproblems.

As mentioned above, there is one parameter that is not part of the set of parameters of the heuristic method nor part of the set of parameters of the exact method. This parameter, which we call , only comes up after these two methods are posed together. Then, in this paper we are interested in how the choice of can modify the performance of the proposed strategy in terms of the quality of the obtained solutions of the main problem. Since many different matheuristic frameworks might be proposed to solve the MIP problem, we restrict this study to local-search-based matheuristics. Thus, in this study, three local-search-based matheuristic algorithms are implemented and their results compared. Additionally, we implement a very simple method which we call “blind algorithm” as a baseline for this study. Next sections explain these algorithms.

2.2. Local Search Algorithms

As mentioned in previous sections, the aim of this paper is not to provide a “state-of-the-art” algorithm to solve MIP problems but, instead, to study the effect that changing the size of subproblems has on the quality of the obtained solutions when using local-search-based matheuristic methods as the one described in Section 2.1. Thus, three local search algorithms are implemented, namely, steepest descent (SD), next descent (ND), and tabu search (TS). Local search algorithms need a neighbourhood to be defined by means of a neighbourhood movement. We define the same neighbourhood movement for the all three methods.

Since the local search algorithms move on the subproblem space, that is, the local search algorithms look for promising subproblems , or, equivalently, look for promising sets , then we need to define a neighbourhood within the same search space. Thus, the neighbour set of , which we denote by or simply , corresponds to all resources such that they either are not considered in the optimal solution of or are actually part of . Since the number of resources that meet these criteria might be above or below the number of elements set must contain according to the parameter that is being considered, we randomly select among the variables that meet these criteria until the neighbour set is completed. This neighbourhood movement ensures that those resources that are part of the optimal solution of subproblem , that is, and , will continue to be available for sets . Thus, the set of resources that can potentially be part of sets is defined as follows:where is the optimal solution of . The initial set local search methods start with is set randomly for the all three algorithms implemented in this paper.

2.2.1. Steepest Descent Algorithm

The steepest descent algorithm starts with an initial for which its associated subproblem, , is labelled as the current subproblem. For this current subproblem, its entire neighbourhood is generated, and the neighbour that leads to the best objective function value is selected. If the best neighbour subproblem is better than the current one, then the best neighbour is set as the new current solution. If the best neighbour is not better than the current subproblem, then the algorithm stops and the optimal solution of the current subproblem is returned as a locally optimal solution of the main MIP problem. Algorithm 1 shows the pseudocode for the steepest descent algorithm implemented in this paper.

Input:  (portion of the resources included in )
Output:   (locally optimal solution)
(1) begin
(2)  ;
(3)  ;
(4)   solve ;
(5)  repeat
(6)   localOptimum = true;
(7)   ;
(8)   foreachdo
(9)     solve ;
(10)    Ifthen
(11)      ;
(12)      ;
(13)      localOptimum = false;
(14)  until localOptimum;
(15)  return ;

Although the steepest descent algorithm can be considered, in general, a deterministic algorithm, in the sense that, given an initial solution, it converges to the same local optima, in our implementation the algorithm does not visit all possible neighbours and, therefore, it becomes a stochastic local search. Since only one local optimum is generated at each run, we repeat the algorithm until the time limit is reached. Same is done for both ND and TS algorithms we introduce next.

2.2.2. Next Descent Algorithm

As mentioned in Section 2.2.1, the steepest descent might take too long to converge if the size of the neighbourhood is too large or solving an individual subproblem is too time-consuming. Thus, we include in this paper a local search algorithm called next descent that aims to converge faster than the steepest descent, without a major impact on the solution quality. Algorithm 2 shows the next descent method.

 Input:  (portion of the resources included in )
 Output:   (locally optimal solution)
(1) begin
(2)  ;
(3)  ;
(4)   solve ;
(5)   repeat
(6)   localOptimum = true;
(7)   ;
(8)   foreach do
(9)      solve ;
(10)     ifthen
(11)      ;
(12)      ;
(13)      localOptimum = false;
(14)      break;
(15)  until  localOptimum;
(16)  return ;

Just as in the steepest descent algorithm, the next descent algorithm starts with an initial solution, which is labelled as the current solution. Then, a random element from the neighbourhood of the current solution is selected and solved, and the objective function value of its optimal solution is compared to the objective function value of the current solution. Like in the SD algorithm, if the neighbour solution is not better than the current solution, another randomly selected set from the neighbourhood is generated and compared to the current solution. Unlike the SD algorithm, in the ND algorithm, if the neighbour is better than the current solution, then the neighbour is labelled as the new current solution and no other is visited. The algorithm repeats these steps until the entire neighbourhood has been computed with no neighbour resulting in a better solution than the current one, in which case the algorithm stops.

2.2.3. Tabu Search Algorithm

Unlike the algorithms described in the previous sections, tabu search is a local search technique guided by the use of adaptive or flexible memory structures [5], and thus, it is inherently a stochastic local search algorithm. The variety of the tools and search principles introduced and described in [21] are such that the TS can be considered as the seed of a general framework for modern heuristic search [22]. We include TS as it has been applied to several combinatorial optimisation problems (see, e.g., [5, 2327]) including, of course, mixed integer programming problems as the one we consider in this study.

As in the algorithms introduced above, TS also starts with an initial set of constraints for which its associated subproblem is solved. Then, as in the SD algorithm, the “entire” neighbourhood of the current solution is computed. As explained before, since the neighbourhood has a stochastic component, it is actually not possible to generate the entire neighbourhood of a solution; however, we use the term “entire” to stress the fact that all the generated neighbours of are solved. This is different from the ND algorithm, where not all the generated neighbours are necessarily solved. The number of generated neighbours, , is, as in the algorithms above, set equal to . Moreover, TS implements a list called tabu list that aims to avoid cycles during the search. Each time a neighbourhood is generated, the warehouses removed from are marked as tabu. Once we have solved the subproblems , with , its optimal solutions are ranked and the one with the best objective function value is chosen as candidate solution for the next iteration. If the candidate solution was generated using a movement within the tabu list, it should be discarded, and the next best neighbour of the list should be chosen as the new candidate solution. However, there is one exception to this rule: if the candidate solution is within the tabu list but its objective function value is better than the best objective function found so far by the algorithm, then the so called aspiration criterion is invoked and the candidate solution is set as the new current solution and passed on to the next iteration.

Unlike the algorithms introduced above, TS does not require next current solution to be better than the previous one. This means that it is able to avoid local optimal by choosing solutions that are more expensive as they allows the algorithm to visit other (hopefully promising) areas in the search space. However, in case the algorithm cannot make any improvement after a predefined number of iterations, a diversification mechanism is used to get out from low-quality neighbourhoods and “jump” to other neighbourhoods. The diversification mechanism implemented here is a restart method, which set the current solution to a randomly generated solution without losing the best solution found so far. Termination criterion implemented here is the time limit.

The tabu search implemented in this paper is as follows.

As Algorithm 3 shows, tabu search requires the following parameters:(i)Time limit: total time the algorithm will perform.(ii)DiversBound: total number of iteration without improvements on the best solution before diversification criterion (restart method) is applied.(iii)TabuListSize (ts): size of tabuList. Number of iterations for which a specific movement remains banned.

Input:  (portion of the resources included in )
Output:   (approximately optimal solution)
(1) begin
(2)  ;
(3)  ;
(4)   solve ;// set current sol
(5)  ; // set best sol
(6)  ; // tabu list initially empty
(7)  ;
(8)  repeat
(9)    ;
(10)   ;
(11)   foreach   do
(12)     solve ;
(13)    ;
(14)   Sort;
(15)   foreachdo
(16)    ifisTabuthen
(17)     ifthen
(18)      ;
(19)      ;
(20)      ;
(21)      ;
(22)      ;
(23)      break;
(24)    else
(25)     ;
(26)     ;
(27)     ifthen
(28)       ;
(29)       ;
(30)     else
(31)       ;
(32)     break;
(33)   ifthen
(34)    ;
(35)  untiltime limit is reached;
(36)  return;
2.2.4. Blind Algorithm

We finally implement a very simple heuristic method we call blind as it moves randomly at each iteration. Pseudocode of this method is presented in Algorithm 4.

// To find an (approximately) optimal solution for MIP
Input:  (portion of the resources included in )
Output:   (approximately optimal solution)
(1) begin
(2)   = 0;
(3)  ;
(4)   = solve (;
(5)  while!stopCriteriondo
(6)   ;
(7)   ;
(8)    = solve (;
(9)   if  MIPthen
(10)     = ;
(11)    
(12)  return ;

As we can see, no additional intelligence is added to the blind algorithm. It is just a random search that, after a predefined number of iterations (or any other “stop criterion”), returns the best solution it found during its search. Thus, we can consider this algorithm as a baseline of this study.

We apply the all four algorithms described in this section to two prostate cases. Details on this case and the obtained results are presented in the next section.

2.3. Subproblem Sizing

All the algorithms above perform very different as the value of the input parameter varies. On the one hand, setting to a very small value provokes that either the solver fails to solve the subproblem because of lack of memory or it takes too long to find an optimal solution of the subproblem. On the other hand, setting close to the total number of binary decision variables provokes that the algorithm fails to find a solution for the generated subproblems as there is no feasible solution to it (i.e., the subproblems are too restrictive). Thus, we have to find a value of such that exact methods can solve the obtained subproblems within an acceptable time. Further, should allow local search methods to iterate as much as needed. Solving the obtained subproblems within few seconds is critical to matheuristic methods as they usually need several iterations before to converge to a good quality solution. This is especially true for matheuristics that consider local search or population-based heuristic methods. Then, there is a trade-off between the quality of the solution of subproblems and the time that is needed to generate such solutions. Therefore, finding a value of that gives us a good compromise between these two aspects is critical for the overall performance of the matheuristic methods explained before. It is interesting that the problem of finding efficient values of might be seen as a multiobjective optimisation problem.

In next section we explain the experiments that we perform to study how the choice of hits local-search-based matheuristics performance. Based on the results, we draft some guidelines to set value of parameter at the end of next section.

3. Computational Experiments

This section starts briefly introducing the problem we consider in this paper. Then, the experiments performed here are presented and their results are discussed.

3.1. The Capacitated Facility Location Problem

The capacitated facility location problem (CFLP) is a well-known problem in combinatorial optimisation. The CFLP has been shown to be NP-hard [28]. The problem consists of selecting specific sites at which to install plants, warehouses, and distribution centres while assigning customers to service facilities and interconnecting facilities using flow assignment decisions [23]. In this study we consider the CFLP problem to evaluate the performance of a very simple matheuristic algorithm. We consider a two-level supply chain in which a single plant serves a set of warehouses, which in turn serve a set of end customers or retailers. Figure 2 shows the basic configuration of our supply chain. Thus, the goal is to find a set of locations that serves the entire set of customers in an optimal way. As Figure 2 shows, each customer (or cluster) is served only by one warehouse.

The optimisation model considers the installation cost (i.e., the cost associated with opening a specific warehouse) and transportation or allocation cost (i.e., the cost of transporting one item from a warehouse to a customer). The mathematical model for the CFLP is

Equation (4a) is the total system cost. The first term is the fixed setup and operating cost when opening warehouses. The second term is the daily transport cost between warehouse and customers which depends on the customer demand and distance between warehouse and customer . Inequality (4b) ensures that total demand of warehouse will never be greater than its capacity . Equation (4c) ensures that customers are served by only one warehouse. Equation (4d) makes sure that customers are only allocated to available warehouses. Finally, (4e) states integrality for the binary variables and . Other versions of the CFLP relax this constraints by making with . In that case, the CFLP would be just as the MIP problem.

3.2. Experiments

In this paper three benchmarks for the CFLP are considered. The first benchmark corresponds to problem sets ,, and from the OR Library [29]. Instances in problem sets , , and consider 1,000 clients and 100 warehouses. Warehouses capacity for instances , , , and are equal to 8,000; 10,000; 12,000; and 14,000, respectively. Warehouses capacity for instances , , , and are equal to 5,000; 6,000; 7,000; and 8,000, respectively. Warehouses capacity for instances , , , and are equal to 5,000; 5,750; 6,500; and 7,250, respectively. Table 1 shows these instances and their corresponding optimal values obtained by the MILP solver. Column shows the time needed by the MILP solver to reach the optimal solution.

The second benchmark is a set of instances where clients and warehouses are uniformly distributed over an imaginary square of (see Figure 3(a)). We call this set . The number of clients considered in instances belonging to set ranges from to (500, 600, 700, 800, 900, and 1,000) while the number of warehouses considered varies between and 1,000. Thus, set consists of problem classes . For each problem class, instances are randomly generated using the procedure proposed in [30] and that was also used in [5, 23]. We do this in order to minimise any instance dependant effect. Table 2 shows the average values for each class of problems.

Finally, a third benchmark consisting on clients that are organised in clusters is considered. We call this benchmark (see Figure 3(b)). Instances in are generated very similar to the ones in . The only difference is that clients in are not uniformly distributed and, thus, those warehouses that are within (or very close to) a cluster have an installation cost slightly higher than those warehouses that are far away from the clusters.

Table 2 shows the results obtained by the MIP solver from Gurobi when solving each instance of . As we can see, the MIP solver is able to solve all the instances to optimality. Further, the solver finds the optimal solution for almost all the instances in less than 1,800 secs. Columns , , and in Table 2 show the average time and both minimum and maximum times, respectively. This is because we solve different instances for each instance class. As mentioned before, we do this to avoid any instance dependent effect.

After we have solved the problem using the MIP solver, we apply the all three local-search-based matheuristics and the blind algorithm to each instance and allow them to run for 2,000 secs. The proposed algorithms solve each instance 10 times for each value of . Table 3 shows the results obtained by the local-search-based matheuristic methods for instances , , and for four different values of . As expected, the blind algorithm consistently obtains GAP values much higher than the other three methods. Further, local-search-based algorithms are able to find the optimal solution for the majority of the instances. While the average GAP for the blind algorithm is , the average GAP for the SD, ND, and TS methods is , , and , respectively. As expected, the best average value is obtained by the TS algorithm while difference between SD and ND algorithms is negligible. Regarding the time needed by the algorithms to converge, the blind algorithm is the one that takes longer ( secs). As mentioned before, the ND algorithm is, in average, the fastest one with seconds, while the SD algorithm almost doubles this time with seconds, in average. TS algorithm takes 371 seconds, in average, before convergence.

Figures 4(a), 5(a), and 6(a) show the evolution of the GAP, as parameter increases. As we expected, the larger the value of is set to, the smaller the GAP. Also, it is clear that the blind algorithms obtain higher GAP values than the other three algorithms considered in this study. As we mentioned before, the blind algorithm works as our baseline algorithm. It is interesting to note that, for all algorithms, the worst performance is obtained for . This is mainly because for this value not enough facilities are available and the algorithms open a set of facilities randomly so the problem has a feasible solution. However, this repairing process is completely random and, thus, algorithms performance is impaired.

Since the problems from the OR Library are only medium size instances, local-search-based matheuristics consistently find the optimal solution for almost all instances for . In fact, even the blind algorithm finds solutions that are very close to the optimal ones when .

Figures 4(b), 5(b), and 6(b) show the time needed by our algorithms to find its best solution, as parameter increases. Unlike we expected, the time needed to find the best solution does not increase as the parameter gets larger. In fact, both algorithms, SD and blind, converge faster when , the larger value we tried in our experiments. This can be explained because of the problems features. We note that optimal solutions for all the problems in the benchmark of the OR Library need not too many warehouses to be open. Thus, when a large portion of the potential warehouses are available (as for the case) the algorithm is likely to find such optimal solutions in early iterations. In fact, for the vast majority of the experiments, optimal solution is found within the first 2 to 3 iterations.

We now move on the and the benchmarks. As we noted before, these sets of instances are much larger and harder to solve than the problems in the OR Library we discussed above. Further, as the optimal solutions of these instances do not require too many warehouses to be open, the repairing procedure applied to the OR Library instances for does not have a great impact on the results. Thus, local-search-based matheuristics outperform the results obtained by the blind algorithm for all values of parameter . Figures 7(a) and 7(b) show the GAP values obtained by the all four algorithms for instances and , respectively.

Just as in the OR Library instances, as the parameter gets larger, the GAP approximates to 0 for the all three local-search-based matheuristic proposed in this paper. While for the instances both the TS and the ND algorithms reach GAP values very close to for and , for the instances the best value obtained by the TS and the ND algorithms is and , respectively, for . Notably, the ND algorithm performs slightly better than the TS for the instance when , obtaining a best average value of against the obtained by the TS algorithm. In spite of that, we can note that the differences between the GAP obtained by both the ND and the TS algorithms when using and are negligible, just as in the OR Library instances.

Figures 8(a) and 8(b) shows the time needed by the all four algorithms to find their best solution for instances and , respectively. As expected, as the parameter gets larger, longer times are needed by the algorithms to converge. This is important as one would like to use a value for such that minimum GAP values are reached within few minutes.

Results in Figures 7 and 8 show, clearly, that there is a compromise between the quality of the solution found by the algorithms and the time they need to do so. Further, we know that this compromise can be managed by adjusting the value of parameter . For the case of instances and , such a value should be between and . Moreover, for the case of the instances of the OR Library, parameter should be set around . It is interesting to note that while the size of instances and is equivalent, instances of the OR Library are much smaller.

We can also note that instances that include clusters tend to take longer to converge. This is especially true as parameter gets larger. Further, for these instances, as the parameter gets larger, less iterations are performed by algorithms although each of these iterations takes much longer. As mentioned before, these should be taken into account when using population-based algorithms within the framework presented in this study as such kind of heuristic algorithms needs to perform several iterations before to converge to good quality solutions.

4. Conclusions and Future Work

In this paper we show the impact of parameter tuning on a local-search-based matheuristic framework for solving mixed integer (non)linear programming problems. In particular, matheuristics that combine local search methods and a MIP solver are tested. In this study, we focus on the size of the subproblem generated by the local search method that is passed on to the MIP solver. As expected, the size of the subproblems that are solved in turn by the matheuristic method has a big impact on the behaviour of the matheuristic and, consequently, on its obtained results: as the size of the subproblem increases (i.e., more integer/binary decision variables are considered) the results obtained by the MIP solver are closer to the optimal solution. The time required by the algorithms tested in this paper to find its best solution also increases as the subproblem gets larger. Further, as the subproblem gets larger, fewer iterations can be performed within the allowed time. This is important as other heuristics such as evolutionary algorithms and swarm intelligence, where many iterations are needed before converging to a good quality solution, might be not able to deal with large subproblems. We also note that the improvement in the GAP values after certain value of parameter is negligible and that this value depends to some extent on the size of the problem: for medium size instances such as the ones in the OR Library, parameter should be set to a value around while for larger instances ( and ) it should be set to a value between and . The specific values will depend on both the accuracy level requested by users and the time available to perform the algorithm. Therefore, the challenge when designing matheuristic frameworks as the one presented in this paper is to find a value for parameter that allows the heuristic algorithm to perform as many iterations as needed and that provides a good compromise between solution quality and run times. Although the values provided here are only valid for the problem and the algorithms considered in this paper, we think that the obtained results can be used as a guide by other researchers using similar frameworks and/or dealing with similar problems.

As a future work, strategies such as evolutionary algorithms and swarm intelligence will be tested within the matheuristic framework considering the results obtained in this study. We expect that intelligent methods such as the ones named before greatly improve the results obtained by the local search methods considered in this study. Moreover, the matheuristic framework used in this paper might also be applied to other MILP and MINLP problems such as, for instance, the beam angle optimisation problem in radiation therapy for cancer treatment.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

Guillermo Cabrera-Guerrero wishes to acknowledge Ingeniería 2030, DI 039.416/2017 and CONICYT/FONDECYT/INICIACION/11170456 projects for partially supporting this research.