Research Article  Open Access
Enrique Urra, Claudio Cubillos, Daniel CabreraPaniagua, "A Hyperheuristic for the DialaRide Problem with Time Windows", Mathematical Problems in Engineering, vol. 2015, Article ID 707056, 12 pages, 2015. https://doi.org/10.1155/2015/707056
A Hyperheuristic for the DialaRide Problem with Time Windows
Abstract
The dialaride problem with time windows (DARPTW) is a combinatorial optimization problem related to transportation, in which a set of customers must be picked up from an origin location and they have to be delivered to a destination location. A transportation schedule must be constructed for a set of available vehicles, and several constraints have to be considered, particularly time windows, which define an upper and lower time bound for each customer request in which a vehicle must arrive to perform the service. Because of the complexity of DARPTW, a number of algorithms have been proposed for solving the problem, mainly based on metaheuristics such as Genetic Algorithms and Simulated Annealing. In this work, a different approach for solving DARPTW is proposed, designed, and evaluated: hyperheuristics, which are alternative heuristic methods that operate at a higher abstraction level than metaheuristics, because rather than searching in the problem space directly, they search in a space of lowlevel heuristics to find the best strategy through which good solutions can be found. Although the proposed hyperheuristic uses simple and easytoimplement operators, the experimental results demonstrate efficient and competitive performance on DARPTW when compared to other metaheuristics from the literature.
1. Introduction
The dialaride problem with time windows (DARPTW) [1] is known in the literature as a complex combinatorial optimization problem related to transportation, in which a set of customers must be picked up from an origin location and they must be delivered to a destination location. For achieving this, a set of vehicles are available, and a transportation schedule must be constructed for each one, which should be subject to several constraints. In the timewindowfree version of the problem (DARP), the vehicles have freedom for defining the time at which customers are picked up/delivered, but under the timewindow version (DARPTW, the one considered in this research) a vehicle schedule must assure that the customer is served in a restricted time range: the time windows (TW) itself. That constraint adds an important complexity degree to the problem, which can be proven to be hard [2]. DARPTW comes from a family of pickupanddelivery problems that originates from the travel salesman problem (TSP) [3]. While most of them must deal with objects, in DARPTW people must be transported; therefore, the problem evaluation is closely related with quality of service issues; for example, the total time a customer remains onboard a vehicle should not be excessive.
The solution space of the DARPTW problem is particularly challenging for any automated solving mechanism, because small changes in the solution structure could lead to completely infeasible solutions. For example, if a client is moved to a different vehicle schedule, a complete restructure of the latter is required, and it is highly probable that previous constraints that were fulfilled are now violated. Because of this and considering the high number of involved variables, common solutions in the literature for the DARPTW are based on heuristic methods. For example, Genetic Algorithms (GA) is a metaheuristic approach used in several works. In [4], a first bitsolution based variant was evaluated, and considering several feasibility problems involved in this implementation, an improved integerbased representation and more specialized operators were tested, which allowed converging towards feasible and better solutions. In [2], a classical clusterfirst, routesecond approach was implemented, in which clustering is the process of assigning customers to vehicles and routing is the process of defining the order of the pickup and delivery of customers. The GA was used exclusively for the clustering process. In a previous work [5], a GA that uses preprocessing mechanisms for reducing the search space complexity was implemented, allowing executing more efficiently specialized solutionmodification operators alongside the genetic operators. Another novel contribution of the latter research was implementing the GA for solving both scheduling components of the solutions: the routing and the clustering. A different metaheuristic used for solving DARPTW is Simulated Annealing (SA); for example, in [6] this technique was mixed with other specialized smaller heuristics, generating an efficient and stable approach that particularly improved quality of service issues. In [7], a multiobjective SA algorithm was implemented and embedded into a multiagent system to solve the dynamic version of the problem.
Among heuristic methods, metaheuristics algorithms are the most used techniques through which problems as DARPTW are solved. The prefix “meta” is because they define an abstract framework whose components must be adapted to the solved problem by including extensive problem knowledge within the operations of the algorithm [8]. This adaptation process allows a metaheuristic algorithm to perform efficiently for the target problem, but the main tradeoff is a costly implementation process that can be eventually infeasible for real production environments. Under this scenario, a new type of heuristic method named hyperheuristics [9–11] appears in the optimization research field as a more balanced alternative in which, rather than adapting the main search mechanisms, these ones are encapsulated in a highlevel layer that can be reused among different problems or families of problems. For achieving this idea at the design level, a hyperheuristic requires several lowlevel heuristics provided by the problem domain, that is, very simple and specialized operators. A hyperheuristic uses these lowlevel heuristics for searching an efficient search strategy by leveraging their combined behavior in different manners.
Many applications of hyperheuristic solvers were developed during the last decade [12]; however, no implementations for the DARPTW are currently provided to our knowledge. Only the work in [13] addresses DARP instances by using a hyperheuristic approach; however, the tackled problem does not consider time windows, and then it corresponds to a simplification of the problem instance considered in this work. Also in [14] a hyperheuristic was implemented for solving the VRP problem in its dynamic version.
In this work, a new hyperheuristic approach for solving the DARPTW is presented, which is based in an adapter layer that allows the interaction between both the hyperheuristic and the DARPTW domain. There are three main contributions related to the main research product of this work: (i) it represents the first approach for solving DARPTW under a hyperheuristic architecture, (ii) the hyperheuristic architecture implemented in this work may be reused for evaluating different transportation problems, which can be part of the same family of DARPTW, and (iii) although very basic hyperheuristic operators and DARPTW lowlevel heuristic were used, the obtained results are competitive and efficient regarding other heuristic approaches in the literature, which demonstrates the convenience of dynamically mixing lowlevel operators through highlevel strategies even if all of them are very simple.
This paper is structured as follows. In Section 2, a general background on hyperheuristics is presented, as well as the main motivations behind the concept. In Section 3, the DARPTW problem is described in detail, which includes its mathematical definition. In Section 4, the overall design of proposed solution is presented, which includes the main algorithmic structures of the implemented solver. In Section 5, the experimental design and the obtained results are described and discussed. Finally, in Section 6, several conclusions regarding this work are outlined.
2. Hyperheuristics
The term heuristic has a broad significance in different areas of science. The concerns of this research reside on optimization, in which heuristics are associated with computational mechanisms that perform a search over the solution space of a problem to be solved, in the hope to find the best (if not the optimum) solution. The complexity of the strategy used in the search ranges from simpler algorithms to intelligent learning techniques. Different heuristic classifications have been emerged according to such complexity; for example, metaheuristics [15, 16] are algorithmic frameworks those search strategy is based on a set of subordinate and very specific operators, for example, simpler heuristics. Metaheuristics are madetomeasure techniques [11], because they include extensive problem domain knowledge in their design. This makes their applicability to resourceconstrained scenarios harder, which are common in real industry settings. In response, the hyperheuristic concept has emerged as a relatively new heuristic technology. The search strategy of hyperheuristics can be considered as a process of using heuristics to choose heuristics to solve the problem in hand [17]; however, newer approaches even consider the automated generation of heuristics [9].
Hyperheuristics operate at a higher level than metaheuristics, because they often have no knowledge of the problem domain. To accomplish this, a hyperheuristic is commonly structured as Figure 1 shows. There is a highlevel domain where the hyperheuristic itself resides. Also, there is a lowlevel domain, which can be considered the problem domain itself. In the latter, a collection of simple and highly specialized lowlevel heuristics reside, which are based on rich problem knowledge to operate. At different stages, the hyperheuristic selects and applies a lowlevel heuristic using some decision criteria to move from the current problem state to another. This process allows associating each heuristic, or even a combination of them, with the problem conditions and state. Because of this, in the literature it is often said that hyperheuristics perform the search over a virtual solution space of lowlevel heuristics, unlike simple heuristics or metaheuristics, which perform the search directly over the problem space. The domain barrier is the key component of the framework, which prevents passing problem knowledge from the lowlevel to the highlevel. Therefore the hyperheuristic only knows about the existence of the lowlevel heuristics, but only as if they were blackboxes. The logic which they use to perform some operation in the problem domain is completely encapsulated, and only problemindependent data is transferred between the layers, such as solution quality values and CPU times, which allows the hyperheuristic to make decisions and store useful search information.
As all the search complexity and intelligence are already implemented in the hyperheuristic, they can be directly reused and the problem domain expert does not even require knowing such mechanisms. This enables higher abstraction capabilities than metaheuristics, but it could also involve a tradeoff between generality and efficiency. In general, it makes sense that highly specialized and intelligent search methods could perform better than intelligent but more generic ones. However, it is important to emphasize that the main hyperheuristic features are focused on their applicability in resourcelimited scenarios, the ones in which goodenough, soonenough, cheapenough solutions are adequate [17].
It is said that hyperheuristics perform a search over a space of heuristics rather than a space of problem solutions [18]. For achieving this behavior, a hyperheuristic commonly uses two operator types: heuristic selection, which allows selecting and executing lowlevel heuristics, and move acceptance, which allows or denies movements through the search space by using some criteria. These operators are key components in the hyperheuristic search behavior. In the literature, a number of approaches can be found, from deterministic mechanisms to sophisticated learning approaches. In the following, a set of simple strategies are described, which appear in [11, 19–21], but they are also common in other publications.(i)Basic heuristic selection operators are as follows.(a)Simple random: select the next heuristic at random using a uniform probability distribution.(b)Random descent; it works similar to simple random but applies the selected heuristic until no further improvement is possible.(c)Random permutation: select a random sequence of the lowlevel heuristics and apply them in order.(d)Random permutation descent: it works similar to random permutation but the sequence is kept until no further improvement is possible.(e)Greedy: all heuristics are applied, but the best performing one is selected alongside their effects in the solution.(ii)Basic move acceptance operators are as follows.(a)All moves: all moves are accepted, regardless of their effect.(b)Only improving: only improving moves regarding previous one are accepted.(c)Improving and equal: only improving or equals moves regarding previous one are accepted.
3. DialaRide Problem with Time Windows
DARPTW comes from a family of transportation problems that originate from the TSP. It is known as a multiobjective transportation problem, in which two relevant elements must be minimized simultaneously: the customer inconvenience (individuals are transported) and the transportation costs. In the literature, there are many versions and specifications for the problem because of the variety of constraints. This work is based on the approach in [2], in which some complexities of the mathematical model are addressed by constraint relaxation.
In DARPTW, there is a set of customer transportation requests, each one associated with a pickup location and a dropoff one . For each request, a time window for the pickup and one for the dropoff are generated, based on some customer preferences and the system configuration. There is a set of vehicles available for transporting the customers, each one with a fixed capacity . The goal is to generate a schedule in which each customer is transported by some vehicle while addressing several constraints, which include the arriving and departure at the specified time windows. In this work, a single depot scenario was considered, in which each vehicle starts and ends its schedule at times and , respectively, both at a particular depot location . The following sets are defined:(i): set of pickup locations,(ii): set of delivery locations,(iii): set of pickup and delivery locations,(iv): set of vehicles,(v): set of vehicles used in solution,(vi): set of all possible stopping locations for all vehicles.Several additional parameters are considered:(i): the service time needed at location ,(ii): the traveling time or distance from location to ,(iii): the change in vehicle load at location ,(iv): the maximum route duration, for example, how long a vehicle schedule can be, from the starting time to the ending,(v): the maximum ride time, for example, how long the difference between the pickup and the delivery times can be for a single client.The following decision variables are used:(i): a decision variable with value 1 if the vehicle services a customer at location and the next customer at location , and 0 otherwise,(ii): time at which vehicle starts its service at location ,(iii): load of vehicle after servicing location ,(iv): waiting time of vehicle before servicing location . This time is commonly generated when the vehicle arrives to before the lowbound of the related time window.The objective function will be weighted by using the following weights:(i): weight on transport time, that is, the total time used by vehicles for moving between locations,(ii): weight on excess ride time, that is, difference between the actual time at which the customer arrives to their destination location and the time at which the customer would have reached their destination location if the vehicle transported him directly to its delivery location,(iii): weight on waiting time for customers, that is, total time spent by customers on board a stopped vehicle.(iv): weight on route duration, that is, difference between the start and the end of vehicles’ schedules,(v): weight on timewindow violation, that is, penalty applied when a vehicle arrives too early or too late at a location,(vi): weight on excess of maximum ride time, that is, penalty applied when is violated,(vii): weight on excess of route duration, that is, penalty applied when is violated.Considering the above specifications, the mathematical model of DARPTW can be defined as follows: The constraints defined above can be classified according to the following criteria.(i)Depot constraints: equations (2) and (3) force a vehicle to start and finish its schedule in the depot location.(ii)Routing constraints: equation (4) ensures that, for each location, there is an equal number of vehicles arriving and leaving. Equation (5) ensures that exactly one vehicle serves each pickup location, and (6) forces the same vehicle to serve both the pickup and delivery locations, for any customer.(iii)Precedence constraints: equation (7) ensures that the arrival time at any location is greater than the leaving time of the previous location in the route. Equation (8) ensures that the pickup location of any customer is visited before its delivery location.(iv)Vehicle load constraints: equation (9) forces that, for each vehicle, the same quantity of pickups and deliveries is performed within a route, (10) ensures that vehicle capacity is never exceeded, and (11) forces that all vehicles must be empty when starting and ending their schedules.
4. Solution Design
Listing 1 shows the pseudocode of a hyperheuristic solver implemented in this work. In lines (2–4), the process is initialized, which includes the execution of an initializing lowlevel heuristic to generate the first solution from which the search starts. is the current accepted solution in which the search process is focused, and is the best solution found during all the process. is a candidate solution for acceptance evaluation. In lines (5–13), the main iteration is performed, which stops when particular conditions are met; that is, a number of iterations and/or an execution time are reached. In line , a heuristic selection operator is executed, which allows selecting and running lowlevel heuristics from the set of all available lowlevel heuristics, and uses the as input. Depending on the operator behavior, more than one lowlevel heuristic may be executed, that is, a greedy approach on which the lowlevel heuristic that provides the best output result is selected. The result of the operator, which is stored in , is used as input in line to execute the move acceptance operator. The latter allows deciding if the new solution will be used as the next move within the solution space. If the solution is accepted, the one is updated as well, leaving the previous current solution otherwise. Regardless of this acceptance result, in lines (10–12) the solution is updated if corresponding. Finally, in line , the best result found is returned.

From an architectural perspective, this work was focused on the generation and usage of components that can be further modified and replaced for other problems and scenarios, and thereby, hyperheuristic background concepts could be leveraged. The most basic component used is the hMod framework, a heuristic design library that was initially presented in a previous work [23]. One of the main features of hMod is its wide coverage for different heuristic types and abstraction levels, thus, algorithms of different complexity can be implemented through the framework: from simpler heuristics to complex meta and hyperheuristic solvers. For supporting this, hMod provides a Step interface, which represents a particular stage within an algorithm that performs some operation related to the complete process. A complete algorithm is defined by the sequential execution of chained steps. In this way, any algorithm implemented through the framework must start with a particular step, and this is the case of the hyperheuristic itself, and the lowlevel heuristics at problem domain. In the former, the Step interface is used for both referencing the lowlevel heuristics and implementing the highlevel solver itself.
It is important to remark that a selected lowlevel heuristic is not directly executed by the hyperheuristic main algorithm or its common operators. Instead, a particular lowlevel heuristic call operator, whose pseudocode is presented in Listing 2, is used each time a lowlevel heuristic must be executed. This is necessary because intermediary tasks must be executed alongside the lowlevel heuristic itself. The operator receives two arguments: the lowlevel heuristic to execute () and the highlevel solution to be used as input of the calling (). To compatibilize the input solution with the lowlevel heuristic, a decode operation is called at line , which transforms to a lowlevel representation, storing it in . To provide the decoded solution to the problem domain, a download operator is called at line , which takes such solution and puts it into the lowlevel data structures. is executed at line , assuming that the input lowlevel solution is available because of the previous procedures. After the lowlevel heuristic execution, an inverse process is performed to retrieve the result from the problem domain and to put the result into hyperheuristic structures. An upload operator is called at line , which retrieves the output lowlevel solution, storing it in . An encoder operation is called at line for converting into a highlevel representation, which is stored in . Finally, is returned as result of the lowlevel heuristic execution.

In this implementation, all the heuristic selection and move acceptance operators mentioned in Section 2 were implemented. In particular, all heuristic selection implementations involved at some point of their execution the call of a lowlevel heuristic through the mechanisms described above. In Listing 3, the pseudocode of the greedy heuristic selection operator is presented. All the heuristics in , which correspond to the lowlevel heuristic set, are iterated and executed within the iteration at lines (3–8). At line , the lowlevel heuristic call operator is used as mentioned above. The greedy procedure always selects the best result obtained in each iteration, and the related evaluation is performed at lines (5–7).

Listing 4 presents the pseudocode of the random permutation descent operator. Originally, this operator is intended to execute a complete heuristic permutation , with the size of the permutation. When a heuristic is executed in the permutation, it provides a result solution , and exactly this solution is used as input of the next heuristic in permutation . In preliminary evaluations of the operator, this behavior presented poor convergence due to the high possibility of disrupting a goodquality solution within the permutation. Because of this, in this work a modified version of the operator was implemented, in which the solution passed as input for is , only if the latter improves the previous solution used as input for . This idea is reflected at lines (9–11) of the pseudocode, which compares the current input solution of the permutation with the obtained solution after the lowlevel heuristic execution . Only if improves , then is assigned to .

Another relevant element of the framework is the lowlevel heuristic set, which is more related to the problem domain. In this implementation, four different lowlevel heuristics were implemented.(1)Move random customer from route (Figure 2(a)): it picks the events (pickup and delivery) of a random customer and moves them to the schedule of another vehicle, if it is possible.(2)Move random customer event within a route (Figure 2(b)): it picks a random event and moves it within the feasible bounds of the schedule of the vehicle that is currently serving the event.(3)Move customer from all routes (generalization of 1): for each vehicle in solution, the move random customer from route is performed.(4)Move random customer event in all routes (generalization of 2): for each vehicle in solution, the move random customer event within a route is performed.
(a) Move random customer from route
(b) Move random customer event within a route
5. Experiments, Results, and Discussion
In this work, a part of a benchmark dataset provided by Cordeau and Laporte in [22] was used, which is the same used in a number of works, such as [2, 5–7]. A description of the used sets is provided in Table 1, which includes the number of customers and vehicles in each set. There are smaller sets (, , , , and ), medium sets (, , , and ), and bigger sets (). For the configuration of the weights in the objective function described in Section 3, the same values as [2] were used in this work, which are the following: with the number of transported customers for each dataset. This configuration prioritizes the quality of service, because it reflects common preferences of customers.

Regarding the move acceptance operators mentioned in Section 2, only improve or equals were used in this proposal, because the all moves alternative always showed poor convergence in preliminary tests, and the only improving did not provide relevant differences to the selected one. Regarding heuristic selection, the greedy and random permutation descent operators were used in this proposal, because they presented a more interesting behavior for evaluation rather than simple random versions. For all tests, about 200000 iterations were considered, without time limit, and 20 repetitions were performed on each test. The solver was implemented in Java, based on the current hMod framework [23], and it was executed in a i5 2.30 GHz processor.
Considering the numerous variants of DARPTW in the literature, it is important to remark several issues regarding how the problem is addressed by a heuristic method, before providing a comparison. Table 2 shows some of such issues for the methods to be compared with the hyperheuristic implementation. The feasibility issue is related to the manner how constraints are managed, particularly for time windows. In Hard cases, it is common to implement repair operators when infeasible solutions are obtained, and the Soft cases commonly use penalization in the objective function. The use of a single depot or multiple depots is not so relevant because the dataset used in all of these works only supports a single depot; therefore, the multiple depot heuristics only adapt to the case. The same occurs with the vehicle capacity issue, which is homogeneous by default in datasets. Finally, one may consider the objective function issue to explain possible tendencies of the results of each technique.

The results obtained by the hyperheuristic implemented in this work, considering both the greedy operator and the random permutation descent operator, are shown in Table 3. The results of the SArelated metaheuristics are presented in Table 4, and the results of the GArelated ones are presented in Table 5. The leftmost column shows the benchmark instances used for evaluation. As each compared heuristic method may use different criteria for the evaluation of the problem rather than provide the result of the objective function, two different elements related to a single solution were presented: the route duration, that is, the total time spent from that vehicle, starting its schedule to the time at which it finishes, and the ride time, that is, the total time spent by customers aboard the vehicles. The former element reflects the performance of solutions for the transport system perspective, while the latter reflects the quality of service perspective. In all tables, two different values for both elements are presented: the average value (avg. column) of repetitions for each instance, when available, and the best result (best column) obtained for such instance. Also, the best CPU time in all repetitions for each instance (in minutes) is provided for each heuristic method. For a better comparison of the values mentioned above, Figure 3 presents several charts in which the values in the tables are graphically contrasted.



(a) Comparison of route duration (best result)
(b) Comparison of route duration (average result)
(c) Comparison of ride time (best result)
(d) Comparison of ride time (average result)
(e) Comparison of CPU time (best time)
Regarding the presented results, several observations can be made.(i)In general terms, the usage of the greedy heuristic selection works slightly better than the random permutation descent version, not only for solution quality, but also for CPU time. Several exceptions were found for this pattern, for example, the pr02 instance. The CPU time issue could be due to the generation of random permutations that may consume a few additional iterations than a direct iteration over the lowlevel heuristic set, which is the greedy operator behavior.(ii)When comparing the best results of each heuristic method, the hyperheuristic implementation provides a moderate improving in the solution quality. For the route duration factor, the results are competitive with the GA implementations, but the SA ones perform better in most cases. For the ride time factor, the SA of Mauri and Lorena performs better in general terms; however, the hyperheuristic implementation clearly outperforms the other metaheuristics. This behavior could be explained by the configuration of weights in the objective function. Both the Mauri and Lorena SA and the hyperheuristic are more focused on the quality of service optimization; therefore, it is not surprising to obtain a better performance in this perspective. Although Jorgensen et al. GA is also focused on the quality of service, the clusterfirst, routesecond approach may impact the results. A more detailed comparison with the SA approaches would be done if average values for both the route duration and ride time were available.(iii)When comparing the average results with the hyperheuristic implementation and the GA metaheuristics, the behavior is similar to the bestvalues comparison. For the route duration factor, the results are similar between the hyperheuristic and the GAs, obtaining very moderate improvement in several cases for the former. However, in the ride time factor, the hyperheuristic clearly outperforms the GAs in all instances. Again, this is mainly due to the weights configured for the objective function evaluation. The hyperheuristic appears to perform very consistently to this configuration.(iv)Finally, for the CPU times, the hyperheuristic operates very efficiently regarding the other metaheuristics, and it is only outperformed by the SA of Mauri and Lorena by no more than a few minutes in bigger instances. This is interesting considering that a hyperheuristic architecture is rather complex and the communication overhead between the hyperheuristic and the lowlevel could be high during the execution. However, it is important to consider also that the CPU setup in this work is better than others.
The results described above demonstrate that the hyperheuristic solver proposed in this work performs competitively regarding other metaheuristics in the literature, even with the usage of very simple operators at the highlevel and simple but very specialized lowlevel heuristics at the DARPTW domain. It is important to remark that, because of the soft constraints used in the evaluation of the objective function, the results obtained by the hyperheuristic are not totally absent of infeasibility. However, the cases in which some constraint has been violated are limited, and for such cases, the violation magnitude is tolerable in practical settings (i.e., only a few time units of time windows violation).
6. Conclusions
In this work, a novel approach for solving the DARPTW problem was proposed: the usage of a genericform hyperheuristic solver. Hyperheuristics are relatively new heuristic methods that were studied and developed during the last decade, and their conceptualization based in the reuse of solving intelligence has promoted evaluating them for a number of complex problems of the operations research field. To our knowledge, this work represents a first approach using hyperheuristics for solving the DARPTW problem, particularly with the complexity of including the time windows constraints. The experimental results demonstrated that this proposal can perform competitively regarding other metaheuristics for DARPTW, which include Genetic Algorithms and Simulated Annealing. Moreover, results showed that the hyperheuristic behaves consistently with the configured weights for the objective function calculation.
The hyperheuristic solver developed during this research is based on very basic and easytoimplement operators, in both the highlevel and the DARPTW domain. The competitive results obtained are regarded by the synergistic effect in the search process that is influenced by the usage of a simple highlevel operator for finding efficient search strategies based on a set of simple but very specialized lowlevel heuristics of the problem domain. This is one of the most interesting aspects of the hyperheuristic concept, and this research makes a contribution in demonstrating such behavior in a complex problem such as DARPTW. Another clear advantage of the hyperheuristics usage for this domain is the possibility of easily reusing the implemented highlevel solver in other different problems, maybe from the DARPTW family, such as TSP, VRP, and PDP. This can represent a contribution for extending the hyperheuristic applicability to more transportationrelated or time windowsbased problems.
Because of the simplicity of the proposed implementation, many improvements could be considered for further versions in both the highlevel and the lowlevel. Regarding the hyperheuristic operators, more learningoriented heuristic selection operators could be developed for solving DARPTW more efficiently, for example, the wellknown choicefunction proposed in [24]. Also, different metaheuristicinspired approaches for hyperheuristics may be evaluated for DARPTW, such as tabu search [25] or Simulated Annealing [26]. At the problem domain, new lowlevel heuristics may be included in the current set, particularly several approaches that could selectively repair infeasible solutions for a better convergence and higherquality solutions. Also, it can be interesting to reevaluate the hyperheuristic model of this work for new objective function weights, for example, a different configuration more oriented to improve the transport system factors. This could provide more evidence of the consistent behavior of the hyperheuristic implemented in this work.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
References
 J.F. Cordeau and G. Laporte, “The dialaride problem (DARP): variants, modeling issues and algorithms,” Quarterly Journal of the Belgian, French and Italian Operations Research Societies, vol. 1, no. 2, pp. 89–101, 2003. View at: Publisher Site  Google Scholar  MathSciNet
 R. M. Jorgensen, J. Larsen, and K. B. Bergvinsdottir, “Solving the dialaride problem using genetic algorithms,” Journal of the Operational Research Society, vol. 58, no. 10, pp. 1321–1331, 2007. View at: Publisher Site  Google Scholar
 G. Berbeglia, J.F. Cordeau, I. Gribkovskaia, and G. Laporte, “Static pickup and delivery problems: a classification scheme and survey,” TOP, vol. 15, no. 1, pp. 1–31, 2007. View at: Publisher Site  Google Scholar  MathSciNet
 C. Cubillos, F. GuidiPolanco, and C. Demartini, Applying Genetic Algorithms to the DialARide Problem, WSEAS, Turin, Italy, 2004, http://www.worldses.org/online/.
 C. Cubillos, E. Urra, and N. Rodríguez, “Application of genetic algorithms for the DARPTW problem,” International Journal of Computers, Communications and Control, vol. 4, no. 2, pp. 127–136, 2009. View at: Google Scholar
 G. R. Mauri and L. A. N. Lorena, “A multiobjective model and simulated annealing approach for a dialaride problem,” in Workshopdos Cursos de Computação, 2006. View at: Google Scholar
 I. Zidi, K. Zidi, K. Mesghouni, and K. Ghedira, “A multiagent system based on the multiobjective simulated annealing algorithm for the static dial a ride problem,” in Proceedings of the 18th World Congress of the International Federation of Automatic Control (IFAC '11), Milan, Italy, 2011. View at: Google Scholar
 K. Sörensen and F. W. Glover, “Metaheuristics,” in Encyclopedia of Operations Research and Management Science, S. I. Gass and M. C. Fu, Eds., pp. 960–970, Springer, Boston, Mass, USA, 2013. View at: Publisher Site  Google Scholar
 E. K. Burke, M. Hyde, G. Kendall, G. Ochoa, E. Ozcan, and R. John Woodward, “A classiffication of hyperheuristics approaches,” in Handbook of Metaheuristics, M. Gendreau and J.Y. Potvin, Eds., vol. 57 of International Series in Operations Research & Management Science, pp. 449–468, Springer, New York, NY, USA, 2nd edition. View at: Google Scholar
 K. Chakhlevitch and P. Cowling, “Hyperheuristics: recent developments,” in Adaptive and Multilevel Metaheuristics, C. Cotta, M. Sevaux, and K. Sorensen, Eds., vol. 136 of Studies in Computational Intelligence, pp. 3–29, Springer, Berlin, Germany, 2008. View at: Publisher Site  Google Scholar
 P. Cowling, G. Kendall, and E. Soubeiga, “Hyperheuristics: a tool for rapid prototyping in scheduling and optimisation,” in Applications of Evolutionary Computing, S. Cagnoni, J. Gottlieb, E. Hart, M. Middendorf, and G. Raidl, Eds., vol. 2279 of Lecture Notes in Computer Science, pp. 1–10, Springer, Berlin, Germany, 2002. View at: Publisher Site  Google Scholar
 E. K. Burke, M. Gendreau, M. Hyde et al., “Hyperheuristics: a survey of the state of the art,” Journal of the Operational Research Society, vol. 64, no. 12, pp. 1695–1724, 2013. View at: Publisher Site  Google Scholar
 R. R. S. van Lon, T. Holvoet, G. V. Berghe, T. Wenseleers, and J. Branke, “Evolutionary synthesis of multiagent systems for dynamic DialARide problems,” in Proceedings of the 14th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO '12), F. Stonedahl and R. Riolo, Eds., pp. 331–336, ACM, Philadelphia, Pa, USA, 2012. View at: Publisher Site  Google Scholar
 P. Garrido and M. C. Riff, “DVRP: a hard dynamic combinatorial optimisation problem tackled by an evolutionary hyperheuristic,” Journal of Heuristics, vol. 16, no. 6, pp. 795–834, 2010. View at: Publisher Site  Google Scholar
 S. Luke, Essentials of Metaheuristics, Lulu Press, 2009.
 C. Blum and A. Roli, “Metaheuristics in combinatorial optimization: over view and conceptual comparison,” ACM Computing Surveys, vol. 35, no. 3, pp. 268–308, 2003. View at: Publisher Site  Google Scholar
 E. Burke, G. Kendall, J. Newall, E. Hart, P. Ross, and S. Schulenburg, “Hyperheuristics: an emerging direction in modern search technology,” in Handbook of Metaheuristics, vol. 57 of International Series in Operations Research & Management Science, chapter 16, pp. 457–474, Springer, 2003. View at: Google Scholar
 J. Swan, J. Woodward, E. Özcan, G. Kendall, and E. Burke, “Searching the hyperheuristic design space,” Cognitive Computation, vol. 6, no. 1, pp. 66–73, 2014. View at: Publisher Site  Google Scholar
 E. Özcan, B. Bilgin, and E. E. Korkmaz, “A comprehensive analysis of hyperheuristics,” Intelligent Data Analysis, vol. 12, no. 1, pp. 3–23, 2008. View at: Google Scholar
 P. Cowling, G. Kendall, and E. Soubeiga, “A hyperheuristic approach to scheduling a sales summit,” in Practice and Theory of Automated Timetabling III, vol. 2079 of Lecture Notes in Computer Science, pp. 176–190, Springer, Berlin, Germany, 2001. View at: Publisher Site  Google Scholar
 M. Ayob and G. Kendall, “A monte carlo hyperheuristic to optimise component placement sequencing for multi head placement machine,” in Proceedings of the International Conference on Intelligent Technologies (INTECH '03), pp. 132–141, Chiang Mai, Thailand, 2003. View at: Google Scholar
 J.F. Cordeau and G. Laporte, “A tabu search heuristic for the static multivehicle dialaride problem,” Transportation Research Part B: Methodological, vol. 37, no. 6, pp. 579–594, 2003. View at: Publisher Site  Google Scholar
 E. Urra, D. CabreraPaniagua, and C. Cubillos, “Towards an objectoriented pattern proposal for heuristic structures of diverse abstraction levels,” in Proceedings of the Workshop on Agents and Collaborative Systems (WACS '11), School of Computer Engineering, Catholic University of Temuco, Temuco, Chile, 2013. View at: Google Scholar
 G. Kendall, E. Soubeiga, and P. Cowling, Choice Function and Random Hyperheuristics, 2002, http://citeseer.ist.psu.edu/547597.html, http://www.cs.nott.ac.uk/~gxk/gxk1/../papers/seal01.pdf.
 E. Burke and E. Soubeiga, “Scheduling Nurses Using A Tabu Search Hyperheuristic,” 2003, http://citeseer.ist.psu.edu/713555.html, http://www.mistaconference.org/2003/papers/page197.pdf. View at: Google Scholar
 B. Bai, J. Blazewicz, E. Burke, G. Kendall, and B. McCollum, “A simulated annealing hyperheuristic methodology for flexible decision support,” 4OR: A Quarterly Journal of Operations Research, vol. 10, no. 1, pp. 43–66, 2012. View at: Publisher Site  Google Scholar
Copyright
Copyright © 2015 Enrique Urra et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.