222 research outputs found
Cosolver2B: An Efficient Local Search Heuristic for the Travelling Thief Problem
Real-world problems are very difficult to optimize. However, many researchers
have been solving benchmark problems that have been extensively investigated
for the last decades even if they have very few direct applications. The
Traveling Thief Problem (TTP) is a NP-hard optimization problem that aims to
provide a more realistic model. TTP targets particularly routing problem under
packing/loading constraints which can be found in supply chain management and
transportation. In this paper, TTP is presented and formulated mathematically.
A combined local search algorithm is proposed and compared with Random Local
Search (RLS) and Evolutionary Algorithm (EA). The obtained results are quite
promising since new better solutions were found.Comment: 12th ACS/IEEE International Conference on Computer Systems and
Applications (AICCSA) 2015. November 17-20, 201
Surrogate Assisted Optimisation for Travelling Thief Problems
The travelling thief problem (TTP) is a multi-component optimisation problem
involving two interdependent NP-hard components: the travelling salesman
problem (TSP) and the knapsack problem (KP). Recent state-of-the-art TTP
solvers modify the underlying TSP and KP solutions in an iterative and
interleaved fashion. The TSP solution (cyclic tour) is typically changed in a
deterministic way, while changes to the KP solution typically involve a random
search, effectively resulting in a quasi-meandering exploration of the TTP
solution space. Once a plateau is reached, the iterative search of the TTP
solution space is restarted by using a new initial TSP tour. We propose to make
the search more efficient through an adaptive surrogate model (based on a
customised form of Support Vector Regression) that learns the characteristics
of initial TSP tours that lead to good TTP solutions. The model is used to
filter out non-promising initial TSP tours, in effect reducing the amount of
time spent to find a good TTP solution. Experiments on a broad range of
benchmark TTP instances indicate that the proposed approach filters out a
considerable number of non-promising initial tours, at the cost of omitting
only a small number of the best TTP solutions
Exact and heuristic approaches for multi-component optimisation problems
Modern real world applications are commonly complex, consisting of multiple subsystems
that may interact with or depend on each other. Our case-study about wave
energy converters (WEC) for the renewable energy industry shows that in such a
multi-component system, optimising each individual component cannot yield global
optimality for the entire system, owing to the influence of their interactions or the
dependence on one another. Moreover, modelling a multi-component problem is
rarely easy due to the complexity of the issues, which leads to a desire for existent
models on which to base, and against which to test, calculations. Recently,
the travelling thief problem (TTP) has attracted significant attention in the Evolutionary
Computation community. It is intended to offer a better model for multicomponent
systems, where researchers can push forward their understanding of
the optimisation of such systems, especially for understanding of the interconnections
between the components. The TTP interconnects with two classic NP-hard
problems, namely the travelling salesman problem and the 0-1 knapsack problem,
via the transportation cost that non-linearly depends on the accumulated weight
of items. This non-linear setting introduces additional complexity. We study this
nonlinearity through a simplified version of the TTP - the packing while travelling
(PWT) problem, which aims to maximise the total reward for a given travelling tour.
Our theoretical and experimental investigations demonstrate that the difficulty of a
given problem instance is significantly influenced by adjusting a single parameter,
the renting rate, which prompted our method of creating relatively hard instances
using simple evolutionary algorithms. Our further investigations into the PWT
problem yield a dynamic programming (DP) approach that can solve the problem in
pseudo polynomial time and a corresponding approximation scheme. The experimental
investigations show that the new approaches outperform the state-of-the-art
ones. We furthermore propose three exact algorithms for the TTP, based on the DP
of the PWT problem. By employing the exact DP for the underlying PWT problem
as a subroutine, we create a novel indicator-based hybrid evolutionary approach for
a new bi-criteria formulation of the TTP. This hybrid design takes advantage of the
DP approach, along with a number of novel indicators and selection mechanisms
to achieve better solutions. The results of computational experiments show that the
approach is capable to outperform the state-of-the-art results.Thesis (Ph.D.) -- University of Adelaide, School of Computer Science, 201
Solving Travelling Thief Problems using Coordination Based Methods
A travelling thief problem (TTP) is a proxy to real-life problems such as
postal collection. TTP comprises an entanglement of a travelling salesman
problem (TSP) and a knapsack problem (KP) since items of KP are scattered over
cities of TSP, and a thief has to visit cities to collect items. In TTP, city
selection and item selection decisions need close coordination since the
thief's travelling speed depends on the knapsack's weight and the order of
visiting cities affects the order of item collection. Existing TTP solvers deal
with city selection and item selection separately, keeping decisions for one
type unchanged while dealing with the other type. This separation essentially
means very poor coordination between two types of decision. In this paper, we
first show that a simple local search based coordination approach does not work
in TTP. Then, to address the aforementioned problems, we propose a human
designed coordination heuristic that makes changes to collection plans during
exploration of cyclic tours. We further propose another human designed
coordination heuristic that explicitly exploits the cyclic tours in item
selections during collection plan exploration. Lastly, we propose a machine
learning based coordination heuristic that captures characteristics of the two
human designed coordination heuristics. Our proposed coordination based
approaches help our TTP solver significantly outperform existing
state-of-the-art TTP solvers on a set of benchmark problems. Our solver is
named Cooperation Coordination (CoCo) and its source code is available from
https://github.com/majid75/CoCoComment: expanded and revised version of arXiv:1911.0312
Massivel y parallel declarative computational models
Current computer archictectures are parallel, with an increasing number of processors. Parallel programming is an error-prone task and declarative models such as those based on constraints relieve the programmer from some of its difficult aspects, because they abstract control away. In this work we study and develop techniques for declarative computational models based on constraints using GPI, aiming at large scale parallel execution. The main contributions of this work are: A GPI implementation of a scalable dynamic load balancing scheme based on work
stealing, suitable for tree shaped computations and effective for systems with thousands of threads. A parallel constraint solver, MaCS, implemented to take advantage of the GPI programming model. Experimental evaluation shows very good scalability results on systems with hundreds of cores. A GPI parallel version of the Adaptive Search algorithm, including different variants. The study on different problems advances the understanding of scalability issues known to exist with large numbers of cores; ### SUMÁRIO: Actualmente as arquitecturas de computadores são paralelas, com um crescente número de processadores. A programação paralela é uma tarefa propensa a erros e modelos declarativos baseados em restrições
aliviam o programador de aspectos difíceis dado que abstraem o controlo. Neste trabalho estudamos e desenvolvemos técnicas para modelos de computação declarativos baseados em restrições usando o GPI, uma ferramenta e modelo de programação recente. O Objectivo é a execução paralela em larga escala. As contribuições deste trabalho são as seguintes: a implementação de um esquema dinâmico para balanceamento da computação baseado no GPI. O esquema é adequado para computações em árvores e efectiva em sistemas compostos por milhares de unidades de computação. Uma abordagem à resolução paralela de restrições denominadas de MaCS, que tira partido do modelo de programação do GPI. A Avaliação experimental revelou boa escalabilidade num sistema com centenas de processadores. Uma versão paralela do algoritmo Adaptive Search baseada no GPI, que inclui diferentes variantes. O estudo de diversos problemas aumenta a compreensão de aspectos relacionados com a escalabilidade e presentes na execução deste tipo de algoritmos num grande número de processadores
Dynamic multi-objective optimization using evolutionary algorithms
Dynamic Multi-objective Optimization Problems (DMOPs) offer an opportunity to examine and solve challenging real world scenarios where trade-off solutions between conflicting objectives change over time. Definition of benchmark problems allows modelling of industry scenarios across transport, power and communications networks, manufacturing and logistics. Recently, significant progress has been made in the variety and complexity of DMOP benchmarks and the incorporation of realistic dynamic characteristics. However, significant gaps still exist in standardised methodology for DMOPs, specific problem domain examples and in the understanding of the impacts and explanations of dynamic characteristics. This thesis provides major contributions on these three topics within evolutionary dynamic multi-objective optimization. Firstly, experimental protocols for DMOPs are varied. This limits the applicability and relevance of results produced and conclusions made in the field. A major source of the inconsistency lies in the parameters used to define specific problem instances being examined. The uninformed selection of these has historically held back understanding of their impacts and standardisation in experimental approach to these parameters in the multi-objective problem domain. Using the frequency and severity (or magnitude) of change events, a more informed approach to DMOP experimentation is conceptualized, implemented and evaluated. Establishment of a baseline performance expectation across a comprehensive range of dynamic instances for well-studied DMOP benchmarks is analyzed. To maximize relevance, these profiles are composed from the performance of evolutionary algorithms commonly used for baseline comparisons and those with simple dynamic responses. Comparison and contrast with the coverage of parameter combinations in the sampled literature highlights the importance of these contributions. Secondly, the provision of useful and realistic DMOPs in the combinatorial domain is limited in previous literature. A novel dynamic benchmark problem is presented by the extension of the Travelling Thief Problem (TTP) to include a variety of realistic and contextually justified dynamic changes. Investigation of problem information exploitation and it's potential application as a dynamic response is a key output of these results and context is provided through comparison to results obtained by adapting existing TTP heuristics. Observation driven iterative development prompted the investigation of multi-population island model strategies, together with improvements in the approaches to accurately describe and compare the performance of algorithm models for DMOPs, a contribution which is applicable beyond the dynamic TTP. Thirdly, the purpose of DMOPs is to reconstruct realistic scenarios, or features from them, to allow for experimentation and development of better optimization algorithms. However, numerous important characteristics from real systems still require implementation and will drive research and development of algorithms and mechanisms to handle these industrially relevant problem classes. The novel challenges associated with these implementations are significant and diverse, even for a simple development such as consideration of DMOPs with multiple time dependencies. Real world systems with dynamics are likely to contain multiple temporally changing aspects, particularly in energy and transport domains. Problems with more than one dynamic problem component allow for asynchronous changes and a differing severity between components that leads to an explosion in the size of the possible dynamic instance space. Both continuous and combinatorial problem domains require structured investigation into the best practices for experimental design, algorithm application and performance measurement, comparison and visualization. Highlighting the challenges, the key requirements for effective progress and recommendations on experimentation are explored here
Metaheuristics “In the Large”
Many people have generously given their time to the various activities of the MitL initiative. Particular gratitude is due to Adam Barwell, John A. Clark, Patrick De Causmaecker, Emma Hart, Zoltan A. Kocsis, Ben Kovitz, Krzysztof Krawiec, John McCall, Nelishia Pillay, Kevin Sim, Jim Smith, Thomas Stutzle, Eric Taillard and Stefan Wagner. J. Swan acknowledges the support of UK EPSRC grant EP/J017515/1 and the EU H2020 SAFIRE Factories project. P. GarciaSanchez and J. J. Merelo acknowledges the support of TIN201785727-C4-2-P by the Spanish Ministry of Economy and Competitiveness. M. Wagner acknowledges the support of the Australian Research Council grants DE160100850 and DP200102364.Following decades of sustained improvement, metaheuristics are one of the great success stories of opti- mization research. However, in order for research in metaheuristics to avoid fragmentation and a lack of reproducibility, there is a pressing need for stronger scientific and computational infrastructure to sup- port the development, analysis and comparison of new approaches. To this end, we present the vision and progress of the Metaheuristics “In the Large”project. The conceptual underpinnings of the project are: truly extensible algorithm templates that support reuse without modification, white box problem descriptions that provide generic support for the injection of domain specific knowledge, and remotely accessible frameworks, components and problems that will enhance reproducibility and accelerate the field’s progress. We argue that, via such principled choice of infrastructure support, the field can pur- sue a higher level of scientific enquiry. We describe our vision and report on progress, showing how the adoption of common protocols for all metaheuristics can help liberate the potential of the field, easing the exploration of the design space of metaheuristics.UK Research & Innovation (UKRI)Engineering & Physical Sciences Research Council (EPSRC) EP/J017515/1EU H2020 SAFIRE Factories projectSpanish Ministry of Economy and Competitiveness TIN201785727-C4-2-PAustralian Research Council DE160100850
DP20010236
- …