Analyzing the Run-Time Behaviour of Iterated Local Search for the TSP

Total Page:16

File Type:pdf, Size:1020Kb

Analyzing the Run-Time Behaviour of Iterated Local Search for the TSP MIC I I I Metaheuristics International Conference Analyzing the Runtime Behaviour of Iterated Lo cal Search for the TSP Thomas Stutzle and Holger H Hoos Universite Libre de Bruxelles IRIDIA Avenue Franklin Ro osevelt CP Brussels Belgium Email tstutzleulbacbe University of British Columbia Computer Science Department Main Mall Vancouver BC VT Z Canada Email hooscsubcca Intro duction Metaheuristics strongly involve random decisions during the search pro cess Such random deci sions are for example due to random initial solutions randomized tie breaking criteria randomized sampling of neighb orho o ds probabilistic acceptance criteria and many more Because of their nonde terministic nature the runtime required bysuch an algorithm to achieve a sp ecic goal like nding an optimal solution to a given problem instance is a random variable Obviouslyknowledge on the distribution of this random variable can givevaluable information for the analysis and the character ization of an algorithms b ehavior provide a basis for the comparison of algorithms and give hints on p ossible improvements of an algorithms p erformance To obtain empirical knowledge on the runtime distribution RTD of an algorithm when applied to a sp ecic problem instance one may estimate the RTD from data collected over several runs of the algorithm and p ossibly approximate the empirically observed RTD by a distribution function known from probabilitytheory If similar b ehav iorisobserved on all tested instances from a particular problem class for example on Euclidean TSP instances the observed typ e of RTDs characterizes the runtime b ehavior on this problem class The RTDs may also give an indication under which conditions an algorithm may b e improved As wewill later explain the exp onential distribution plays a crucial role for judging an algorithms eectiveness In this work we investigate the runtime b ehavior of lo cal search algorithms for optimization problems in particular of Iterated Lo cal Search ILS algorithms for the Traveling Salesman Problem TSP Iterated lo cal search ILS isavery simple and p owerful metaheuristic which has proved to b e among the b est p erforming approximation algorithms for the well known Traveling Salesman Problem TSP ILS is based on the observation that iterativeimprovement lo cal search is easily trapp ed in lo cal minima Instead of restarting the lo cal search from a new randomly generated solution a b etter idea may b e to mo dify the current solution moving it to a p ointbeyond the neighb orho o d searched by the lo cal search algorithm ILS then continues the lo cal searchfromthe so p erturb ed solution An acceptance criterion determines to which lo cal optimum the p erturbation step is applied In fact in almost all ILS applications the solution mo dications are always applied to the b est solution found since the start of the algorithm ILS algorithms make heavily use of random decisions and in particular the solution p erturbations are randomized Therefore as argued b efore measuring RTDs is p otentially very helpful for analyzing ILS p erformance To empirically measure the RTDs werunagiven algorithm many times on the same problem instance and collect some elementary data in each run it suces to rep ort the solution quality whenever a new b est solution is found the computation time needed to obtain it and p ossibly some other statistic data for further analysis Then a p osteriori the empirical distributions for dierent bounds on the required solution quality can be easily estimated Then a p osteriori the empirical distribution runtime distribution G t to reach a solution quality b ound c can b e easily computed c c as G tjfj j rtj t f s cgj k For some problems optimal solutions or tight b ounds c j Angra dos Reis Brazil July Brazil PUCRio MIC I I I Metaheuristics International Conference on the optimal solution value may b e known In such a case it might b e preferable to x the solution qualityboundc relative to the optimal solution value that is to require the algorithm to get within a certain p ercentage of the optimal solution value The analysis of ILS runtime b ehavior rep orted in this work suggests improvements of the standard ILS algorithm we exemplify the improved p erformance by giving some exp erimental results on known b enchmark instances The pap er is structured as follows First in Section weintro duce the TSP In the next section wegive details on the ILS implementations we used in our study Then Section gives the results of the analysis of the RTDs Based on this analysis we present computational results for improved ILS variants in Section and end with some concluding remarks in Section The Travelling Salesman Problem The TSP is an NPhard optimization problem which is extensively studied in the litera ture It has b ecome a standard testb ed for new algorithmic ideas and a go o d p erformance on the TSP is often taken as a pro of for the usefulness of an algorithmic approach Intuitively the TSP is the problem of a salesman who wants to nd starting from his home town a shortest p ossible trip through a given set of customer cities and to return to its home town More formallyitcanberepre sented by a complete weighted graph G N A dwithN b eing the set of no des also called cities A b eing the set of edges fully connecting the no des and d isaweight function which assigns to each arc i j A avalue d which represents the distance b etween cities i and j The TSP is the problem of ij nding a minimal length Hamiltonian circuit of the graph where a Hamiltonian circuit is a closed tour visiting eachofthe n jN j no des of G exactly once For symmetric TSPs the distances b etween the cities are indep endent of the direction of traversing the arcs that is d d for every pair of no des In ij ji the asymmetric TSP ATSP at least for one pair of no des i j wehave d d All the TSP instances ij ji used in the empirical studies presented in this article are taken from the TSPLIB Benchmark library ac cessible at httpwwwiwruniheidelbergdeiwrcomoptsoftTSPLIBTSPLIBhtml These instances are actually Euclidean instances that is the cities are given p oints in the Euclidean space and the distance is the Euclidean distance b etween the points These instances in fact havebeen used in many other algorithmic studies and partly stem from practical applications to the TSP In Figure weshowtwo example TSPLIB instances 7000 2200 "att532" "fl1577" 2000 6000 1800 5000 1600 1400 4000 1200 1000 3000 800 2000 600 400 1000 200 0 0 0 1000 2000 3000 4000 5000 6000 7000 8000 9000 200 400 600 800 1000 1200 1400 1600 1800 2000 2200 Figure TSP instances att left side and fl right side from TSPLIB with and cities resep ctively The rst instance is based in cities in the USA while the second instance which stems from a drilling problem shows a pathological clustering of the cities PUCRio Angra dos Reis Brazil July MIC I I I Metaheuristics International Conference Iterated Lo cal Search for the TSP Algorithmic Outline Iterated Lo cal Searchis avery simple and powerful metaheuristic which has provided the basis for some of the b est p erforming approximation algorithms for the TSP ILS is based on the observation that lo cal search algorithms are easily trapp ed in lo cal minima Instead of restarting the lo cal searchfroma new randomly generated solution it is usually a b etter idea to mo dify the current solution s such that it is moved to a point s beyond the neighborhood searched by the lo cal search algorithm and to restart the lo cal searchfrom s to reach a new lo cal minimum s An acceptance criterion determines whether the searchiscontinued from s or s or p ossibly from some other solution This is captured in the algorithmic outline given in the following algorithmic outline pro cedure IteratedLocal Search s GenerateInitialSolution s Lo calSearchs rep eat s Mo difys s Lo calSearchs s AcceptanceCriterions s until termination condition met end The instantiation of the functions Lo calSearch Mo dify and AcceptanceCriterion is an imp ortant issue in the design of ILS algorithms In the following we discuss the choices for these functions for the ILS algorithms we applied to the TSP Generic Algorithm Choices for the Symmetric TSP a Choice of Lo calSearch In principle any lo cal search algorithm can b e used but the choice of the particular lo cal search algorithm mayhave a crucial inuence on the nal p erformance of the ILS algorithm In this pap er we consider three p ossible lo cal search algorithms for the TSP The most simple ones to implement are opt and opt which try to nd an improved solution byexchanging two or at most three edges resp ectively However typically the best p erformance with resp ect to solution quality is obtained with the considerably more complex LinKernighan heuristic LK For eachmove it considers a variable numb er of edges to b e exchanged Yet a disadvantage of the LK heuristic is that considerable implementation eort is required to achieve short runtimes and best p erformance with resp ect to solution quality opt and opt on the other hand are much simpler to implement and may therefore b e the preferred choice for practitioners Additionally opt and opts runtime is much more robust with resp ect to the particular instance typ e than LKs runtime In particular LKs run time grows strongly when applied to highly clustered TSP instances like instance fl plotted in Figure Therefore we did not apply the LK heuristic to such clustered instances In the following we will refer
Recommended publications
  • Hybridizations of Metaheuristics with Branch & Bound Derivates
    Hybridizations of Metaheuristics With Branch & Bound Derivates Christian Blum1, Carlos Cotta2, Antonio J. Fern´andez2,Jos´e E. Gallardo2, and Monaldo Mastrolilli3 1 ALBCOM research group Universitat Polit`ecnica de Catalunya [email protected] 2 Dept. Lenguajes y Ciencias de la Computaci´on Universidad de M´alaga {ccottap,afdez,pepeg}@lcc.uma.es 3 Istituto Dalle Molle di Studi sull’Intelligenza Artificiale (IDSIA) [email protected] Summary. An important branch of hybrid metaheuristics concerns the hybridiza- tion with branch & bound derivatives. In this chapter we present examples for two different types of hybridization. The first one concerns the use of branch & bound fea- tures within construction-based metaheuristics in order to increase their efficiancy. The second example deals with the use of a metaheuristic, in our case a memetic algorithm, in order to increase the efficiancy of branch & bound, respectively branch & bound derivatives such as beam search. The quality of the resulting hybrid tech- niques is demonstrated by means of the application to classical string problems: the longest common subsequence problem and the shortest common supersequence problem. 1 Introduction One of the basic ingredients of an optimization technique is a mechanism for exploring the search space, that is, the space of valid solutions to the con- sidered optimization problem. Algorithms belonging to the important class of constructive optimization techniques tackle an optimization problem by ex- ploring the search space in form of a tree, a so-called search tree.Thesearch tree is generally defined by an underlying solution construction mechanism. Each path from the root node of the search tree to one of the leaves corre- sponds to the process of constructing a candidate solution.
    [Show full text]
  • Metaheuristics1
    METAHEURISTICS1 Kenneth Sörensen University of Antwerp, Belgium Fred Glover University of Colorado and OptTek Systems, Inc., USA 1 Definition A metaheuristic is a high-level problem-independent algorithmic framework that provides a set of guidelines or strategies to develop heuristic optimization algorithms (Sörensen and Glover, To appear). Notable examples of metaheuristics include genetic/evolutionary algorithms, tabu search, simulated annealing, and ant colony optimization, although many more exist. A problem-specific implementation of a heuristic optimization algorithm according to the guidelines expressed in a metaheuristic framework is also referred to as a metaheuristic. The term was coined by Glover (1986) and combines the Greek prefix meta- (metá, beyond in the sense of high-level) with heuristic (from the Greek heuriskein or euriskein, to search). Metaheuristic algorithms, i.e., optimization methods designed according to the strategies laid out in a metaheuristic framework, are — as the name suggests — always heuristic in nature. This fact distinguishes them from exact methods, that do come with a proof that the optimal solution will be found in a finite (although often prohibitively large) amount of time. Metaheuristics are therefore developed specifically to find a solution that is “good enough” in a computing time that is “small enough”. As a result, they are not subject to combinatorial explosion – the phenomenon where the computing time required to find the optimal solution of NP- hard problems increases as an exponential function of the problem size. Metaheuristics have been demonstrated by the scientific community to be a viable, and often superior, alternative to more traditional (exact) methods of mixed- integer optimization such as branch and bound and dynamic programming.
    [Show full text]
  • Evaluation of Emerging Metaheuristic Strategies on Opimal Transmission Pricing
    Evaluation of Emerging Metaheuristic Strategies on Opimal Transmission Pricing José L. Rueda, Senior Member, IEEE István Erlich, Senior Member, IEEE Institute of Electrical Power Systems Institute of Electrical Power Systems University Duisburg-Essen University Duisburg-Essen Duisburg, Germany Duisburg, Germany [email protected] [email protected] Abstract--This paper provides a comparative assessment of the In practice, there are several factors that can influence the capabilities of three metaheuristic algorithms for solving the adoption of a particular scheme of transmission pricing. Thus, problem of optimal transmission pricing, whose formulation is existing literature on definition of pricing mechanisms is vast. based on principle of equivalent bilateral exchanges. Among the Particularly, the principle of Equivalent Bilateral Exchange selected algorithms are Covariance Matrix Adaptation (EBE), which was originally proposed in [5], has proven to be Evolution Strategy (CMA-ES), Linearized Biogeography-based useful for pool system by providing suitable price signals Optimization (LBBO), and a novel swarm variant of the Mean- reflecting variability in the usage rates and charges across Variance Mapping Optimization (MVMO-SM). The IEEE 30 transmission network. In [6], an optimization problem was bus system is used to perform numerical comparisons on devised based on EBE in order enable exploration of multiple convergence speed, achieved optimum solutions, and computing solutions in deciding equivalent bilateral exchanges. In the effort. 2011 competition on testing evolutionary algorithms for real- Index Terms--Equivalent bilateral exchanges, evolutionary world optimization problems (CEC11), this problem was mechanism, metaheuristics, transmission pricing. solved by different metaheuristic algorithms, most of them constituting extended or hybridized variants of genetic I.
    [Show full text]
  • Global Optimisation Through Hyper-Heuristics: Unfolding Population-Based Metaheuristics
    applied sciences Article Global Optimisation through Hyper-Heuristics: Unfolding Population-Based Metaheuristics Jorge M. Cruz-Duarte 1,† , José C. Ortiz-Bayliss 1,† , Ivan Amaya 1,*,† and Nelishia Pillay 2,† 1 School of Engineering and Sciences, Tecnologico de Monterrey, Av. Eugenio Garza Sada 2501 Sur, Monterrey 64849, NL, Mexico; [email protected] (J.M.C.-D.); [email protected] (J.C.O.-B.) 2 Department of Computer Science, University of Pretoria, Lynnwood Rd, Hatfield, Pretoria 0083, South Africa; [email protected] * Correspondence: [email protected]; Tel.: +52-(81)-8358-2000 † These authors contributed equally to this work. Abstract: Optimisation has been with us since before the first humans opened their eyes to natural phenomena that inspire technological progress. Nowadays, it is quite hard to find a solver from the overpopulation of metaheuristics that properly deals with a given problem. This is even considered an additional problem. In this work, we propose a heuristic-based solver model for continuous optimisation problems by extending the existing concepts present in the literature. We name such solvers ‘unfolded’ metaheuristics (uMHs) since they comprise a heterogeneous sequence of simple heuristics obtained from delegating the control operator in the standard metaheuristic scheme to a high-level strategy. Therefore, we tackle the Metaheuristic Composition Optimisation Problem by tailoring a particular uMH that deals with a specific application. We prove the feasibility of this model via a two-fold experiment employing several continuous optimisation problems and a collection of Citation: Cruz-Duarte, J.M.; diverse population-based operators with fixed dimensions from ten well-known metaheuristics in Ortiz-Bayliss, J.C.; Amaya, I.; Pillay, the literature.
    [Show full text]
  • A Multi-Objective Hyper-Heuristic Based on Choice Function
    A Multi-objective Hyper-heuristic based on Choice Function Mashael Maashi1, Ender Ozcan¨ 2, Graham Kendall3 1 2 3Automated Scheduling, Optimisation and Planning Research Group, University of Nottingham, Department of Computer Science, Jubilee Campus,Wollaton Road, Nottingham, NG8 1BB ,UK. 1email: [email protected] 2email: [email protected] 3The University of Nottingham Malaysia Campus email:[email protected] Abstract Hyper-heuristics are emerging methodologies that perform a search over the space of heuristics in an attempt to solve difficult computational opti- mization problems. We present a learning selection choice function based hyper-heuristic to solve multi-objective optimization problems. This high level approach controls and combines the strengths of three well-known multi-objective evolutionary algorithms (i.e. NSGAII, SPEA2 and MOGA), utilizing them as the low level heuristics. The performance of the pro- posed learning hyper-heuristic is investigated on the Walking Fish Group test suite which is a common benchmark for multi-objective optimization. Additionally, the proposed hyper-heuristic is applied to the vehicle crash- worthiness design problem as a real-world multi-objective problem. The experimental results demonstrate the effectiveness of the hyper-heuristic approach when compared to the performance of each low level heuristic run on its own, as well as being compared to other approaches including an adaptive multi-method search, namely AMALGAM. Keywords: Hyper-heuristic, metaheuristic, evolutionary algorithm, multi-objective optimization. 1. Introduction Most real-world problems are complex. Due to their (often) NP-hard nature, researchers and practitioners frequently resort to problem tailored heuristics to obtain a reasonable solution in a reasonable time.
    [Show full text]
  • On Metaheuristic Optimization Motivated by the Immune System
    Applied Mathematics, 2014, 5, 318-326 Published Online January 2014 (http://www.scirp.org/journal/am) http://dx.doi.org/10.4236/am.2014.52032 On Metaheuristic Optimization Motivated by the Immune System Mohammed Fathy Elettreby1,2*, Elsayd Ahmed2, Houari Boumedien Khenous1 1Department of Mathematics, Faculty of Science, King Khalid University, Abha, KSA 2Department of Mathematics, Faculty of Science, Mansoura University, Mansoura, Egypt Email: *[email protected] Received November 16, 2013; revised December 16, 2013; accepted December 23, 2013 Copyright © 2014 Mohammed Fathy Elettreby et al. This is an open access article distributed under the Creative Commons Attribu- tion License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In accordance of the Creative Commons Attribution License all Copyrights © 2014 are reserved for SCIRP and the owner of the intellectual property Mohammed Fathy Elettreby et al. All Copyright © 2014 are guarded by law and by SCIRP as a guardian. ABSTRACT In this paper, we modify the general-purpose heuristic method called extremal optimization. We compare our results with the results of Boettcher and Percus [1]. Then, some multiobjective optimization problems are solved by using methods motivated by the immune system. KEYWORDS Multiobjective Optimization; Extremal Optimization; Immunememory and Metaheuristic 1. Introduction Multiobjective optimization problems (MOPs) [2] are existing in many situations in nature. Most realistic opti- mization problems require the simultaneous optimization of more than one objective function. In this case, it is unlikely that the different objectives would be optimized by the same alternative parameter choices. Hence, some trade-off between the criteria is needed to ensure a satisfactory problem.
    [Show full text]
  • Metaheuristics ``In the Large''
    Metaheuristics “In the Large” Jerry Swan∗, Steven Adriaensen, Alexander E. I. Brownlee, Kevin Hammond, Colin G. Johnson, Ahmed Kheiri, Faustyna Krawiec, J. J. Merelo, Leandro L. Minku, Ender Ozcan,¨ Gisele L. Pappa, Pablo Garc´ıa-S´anchez, Kenneth S¨orensen, Stefan Voß, Markus Wagner, David R. White Abstract Following decades of sustained improvement, metaheuristics are one of the great success stories of optimization 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 uderpinnings of the project are: truly extensible algo- rithm 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 ar- gue that, via 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 metaheuris- tics can help liberate the potential of the field, easing the exploration of the design space of metaheuristics. Keywords: Evolutionary Computation, Operational Research, Heuristic design, Heuristic methods, Architecture, Frameworks, Interoperability 1. Introduction arXiv:2011.09821v4 [cs.NE] 3 Jun 2021 Optimization problems have myriad real world applications [42] and have motivated a wealth of research since before the advent of the digital computer [25].
    [Show full text]
  • Exploring High-Order Neighborhoods by Pattern Mining and Injection
    PILS: Exploring high-order neighborhoods by pattern mining and injection Florian Arnolda, ´Italo Santanab, Kenneth S¨orensena, Thibaut Vidalb∗ a University of Antwerp, Department of Engineering Management, Belgium fflorian.arnold,[email protected] bDepartamento de Inform´atica,Pontif´ıciaUniversidade Cat´olicado Rio de Janeiro (PUC-Rio) fisantana,[email protected] Abstract. We introduce pattern injection local search (PILS), an optimization strategy that uses pattern mining to explore high-order local-search neighborhoods, and illustrate its application on the vehicle routing problem. PILS operates by storing a limited number of frequent patterns from elite solutions. During the local search, each pattern is used to define one move in which 1) incompatible edges are disconnected, 2) the edges defined by the pattern are reconnected, and 3) the remaining solution fragments are optimally reconnected. Each such move is accepted only in case of solution improvement. As visible in our experiments, this strategy results in a new paradigm of local search, which complements and enhances classical search approaches in a controllable amount of computational time. We demonstrate that PILS identifies useful high-order moves (e.g., 9-opt and 10-opt) which would otherwise not be found by enumeration, and that it significantly improves the performance of state-of-the-art population-based and neighborhood-centered metaheuristics. Keywords. Local search, Pattern mining, Combinatorial optimization, Vehicle routing problem ∗ Corresponding author 1. Introduction Since the \no free lunch" theorem [46], it is known that no method can | on average | perform arXiv:1912.11462v1 [cs.AI] 24 Dec 2019 better than any other method on all possible problems.
    [Show full text]
  • On the Design of (Meta)Heuristics
    On the design of (meta)heuristics Tony Wauters CODeS Research group, KU Leuven, Belgium There are two types of people • Those who use heuristics • And those who don’t ☺ 2 Tony Wauters, Department of Computer Science, CODeS research group Heuristics Origin: Ancient Greek: εὑρίσκω, "find" or "discover" Oxford Dictionary: Proceeding to a solution by trial and error or by rules that are only loosely defined. Tony Wauters, Department of Computer Science, CODeS research group 3 Properties of heuristics + Fast* + Scalable* + High quality solutions* + Solve any type of problem (complex constraints, non-linear, …) - Problem specific (but usually transferable to other problems) - Cannot guarantee optimallity * if well designed 4 Tony Wauters, Department of Computer Science, CODeS research group Heuristic types • Constructive heuristics • Metaheuristics • Hybrid heuristics • Matheuristics: hybrid of Metaheuristics and Mathematical Programming • Other hybrids: Machine Learning, Constraint Programming,… • Hyperheuristics 5 Tony Wauters, Department of Computer Science, CODeS research group Constructive heuristics • Incrementally construct a solution from scratch. • Easy to understand and implement • Usually very fast • Reasonably good solutions 6 Tony Wauters, Department of Computer Science, CODeS research group Metaheuristics A Metaheuristic is a high-level problem independent algorithmic framework that provides a set of guidelines or strategies to develop heuristic optimization algorithms. Instead of reinventing the wheel when developing a heuristic
    [Show full text]
  • Chapter 4 TABU SEARCH
    Chapter 4 TABU SEARCH Fred Glover1 and Rafael Martí2 1 Leeds School of Business, University of Colorado, Campus Box 419, Boulder, CO 80309; 2 Dpto. de Estadística e Investigación Operativa, Universidad de Valencia, Dr. Moliner 50, 46100 Burjassot (Valencia) Spain Abstract: Tabu Search is a meta-heuristic that guides a local heuristic search procedure to explore the solution space beyond local optimality. One of the main components of Tabu Search is its use of adaptive memory, which creates a more flexible search behavior. Memory-based strategies are therefore the hallmark of tabu search approaches, founded on a quest for “integrating principles,” by which alternative forms of memory are appropriately combined with effective strategies for exploiting them. In this chapter we address the problem of training multilayer feed-forward neural networks. These networks have been widely used for both prediction and classification in many different areas. Although the most popular method for training these networks is back propagation, other optimization methods such as tabu search have been applied to solve this problem. This chapter describes two training algorithms based on the tabu search. The experimentation shows that the procedures provide high quality solutions to the training problem, and in addition consume a reasonable computational effort. Key words: Intelligent Problem Solving, Memory Structures, Adaptive Memory Programming. 1. INTRODUCTION The basic form of Tabu Search (TS) is founded on ideas proposed by Fred Glover (1977, 1986). The method is based on procedures designed to cross boundaries of feasibility or local optimality, instead of treating them as barriers. Early examples of these procedures, derived from surrogate 2 Chapter 4 constraint methods and cutting plane approaches, systematically impose and released constraints to permit exploration of otherwise forbidden regions.
    [Show full text]
  • Constraint Handling Methods for Portfolio Optimization Using Particle Swarm Optimization
    2015 IEEE Symposium Series on Computational Intelligence Constraint Handling Methods for Portfolio Optimization using Particle Swarm Optimization Stuart G. Reid Katherine M. Malan Department of Computer Science Department of Computer Science University of Pretoria University of Pretoria South Africa South Africa Email: [email protected] Email: [email protected] Abstract—Given a portfolio of securities, portfolio optimiza- portfolio was long only. Mathematically speaking this means tion aims to optimize the proportion of capital allocated to each that the proportion of capital allocated to each security must security such that either the risk of the portfolio is minimized for be positive. Two popular methods for finding feasible solutions a given level of expected return, expected return is maximized for when using classical optimization methods are the penalty a given risk budget, or the risk-adjusted expected return of the function and augmented Lagrangian methods [12]. This paper portfolio is maximized. Extensions to the portfolio optimization presents two new constraint handling methods which are poten- problem can result in it becoming more difficult to solve which has prompted the use of computational intelligence optimization tially better suited to computational intelligence optimization methods over classical optimization methods. The portfolio opti- methods namely, a portfolio repair method and a preserving mization problem is subject to two primary constraints namely, feasibility method for the barebones PSO algorithm. that all of the capital available to the portfolio should be allocated between the constituent securities and that the portfolio remain Related studies in the use of PSO for portfolio optimization long only and unleveraged. Two popular methods for finding [6][7][8][9][10] have focused on the good performance of PSO feasible solutions when using classical optimization methods are in contrast to other algorithms, such as genetic algorithms.
    [Show full text]
  • Parameter Meta-Optimization of Metaheuristic Optimization Algorithms
    Fachhochschul-Masterstudiengang SOFTWARE ENGINEERING 4232 Hagenberg, Austria Parameter Meta-Optimization of Metaheuristic Optimization Algorithms Diplomarbeit zur Erlangung des akademischen Grades Master of Science in Engineering Eingereicht von Christoph Neumüller, BSc Begutachter: Prof. (FH) DI Dr. Stefan Wagner September 2011 Erklärung Hiermit erkläre ich an Eides statt, dass ich die vorliegende Arbeit selbstständig und ohne fremde Hilfe verfasst, andere als die angegebenen Quellen und Hilfsmit- tel nicht benutzt und die aus anderen Quellen entnommenen Stellen als solche gekennzeichnet habe. Hagenberg, am 4. September 2011 Christoph Neumüller, BSc. ii Contents Erklärung ii Abstract 1 Kurzfassung 2 1 Introduction 3 1.1 Motivation and Goal . .3 1.2 Structure and Content . .4 2 Theoretical Foundations 5 2.1 Metaheuristic Optimization . .5 2.1.1 Trajectory-Based Metaheuristics . .6 2.1.2 Population-Based Metaheuristics . .7 2.1.3 Optimization Problems . 11 2.1.4 Operators . 13 2.2 Parameter Optimization . 17 2.2.1 Parameter Control . 18 2.2.2 Parameter Tuning . 18 2.3 Related Work in Meta-Optimization . 19 3 Technical Foundations 22 3.1 HeuristicLab . 22 3.1.1 Key Concepts . 22 3.1.2 Algorithm Model . 23 3.2 HeuristicLab Hive . 25 3.2.1 Components . 26 4 Requirements 29 5 Implementation 31 5.1 Solution Encoding . 31 5.1.1 Parameter Trees in HeuristicLab . 31 5.1.2 Parameter Configuration Trees . 33 iii Contents iv 5.1.3 Search Ranges . 36 5.1.4 Symbolic Expression Grammars . 37 5.2 Fitness Function . 39 5.2.1 Handling of Infeasible Solutions . 41 5.3 Operators . 41 5.3.1 Solution Creator .
    [Show full text]