DOCSLIB.ORG

Local Search Methods for Constraint Problems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Local Search Methods for Constraint Problems Local Search Methods for Constraint Problems Muhammad Rafiq Bin Muhammad This thesis is submitted in total fulfilment of the requirements of the degree of Master in Computer Science NICTA Victoria Research Lab Department of Computer Science and Software Engineering University of Melbourne Australia November, 2006 Revised On October, 2007 Final Revised On February, 2008 (Acid-Free Paper) Abstract This thesis investigates the use of local search methods in solving constraint prob- lems. Such problems are very hard in general and local search offers a useful and successful alternative to existing techniques. The focus of the thesis is to analyze the techniques of invariants used in local search. The use of invariants have recently become the cornerstone of local search technology as they provide a declarative way to specify incremental algorithms. We have produced a series of program libraries in C++ known as the One-Way-Solver. The One-Way-Solver includes the implementation of incremental data structures and is a useful tool for the implementation of local search. The One-Way-Solver is applied to two challenging constraint problems, the Boolean Satisfiability testing (SAT) and university course timetabling problems. In the implementation of Boolean Satisfiability testing (SAT), we introduced a pure non-clausal solver based on well-known stochastic local search techniques. It works directly on arbitrary non-clausal formula including psuedo-Boolean constructs and other extended Boolean operators. We introduced a novel scoring function using positive and negative values and empirically show that on certain benchmarks our non-CNF local search solver can outperform highly optimized CNF local search solvers as well as existing CNF and non-CNF complete solvers. In the implementation of university course timetabling problem, we developed a weighted penalty scheme (WPS) local search technique. WPS is a local search method guided by a multiplier that provides a force to determine the concentration of the search as well as mechanism to escape local minima hence it can be considered as a meta-heuristic technique. When used with the One-Way-Solver, WPS achieved very promising results in solving university course timetabling problem. Declaration The work in this thesis is based on research carried out at the NICTA Victoria Re- search Lab, the Department of Computer Science and Software Engineering, Uni- versity of Melbourne, Australia. This is to certify that (i) no part of this thesis has been submitted elsewhere for any other degree or qual- ification. (ii) the thesis comprises only my original work towards the Master. (iii) due acknowledgement has been made in the text to all other material used. (iv) the thesis is less than 100,000 words in length, exclusive of tables, maps, bibli- ographies and appendices. ................................ (MUHAMMAD RAFIQ BIN MUHAMMAD) Copyright c 2006 by Muhammad Rafiq Bin Muhammad. “The copyright of this thesis rests with the author. No quotations from it should be published without the author’s prior written consent and information derived from it should be acknowledged”. iii Acknowledgements Mostly I would like to thank my supervisor Professor Peter Stuckey for his boundless help, criticism and patience. Without his supervision and expert knowledge in Artificial Intelligence especially in constraint optimization techniques, this thesis would not have been possible. I would also like to thank all the members of G12 research group. In no particular order, thanks to: Mark Wallace, Ralph Becket, Mark Brown, Zoltan, Kim Marriott, Peter Schachte, Neng Fa and Reza who have provided help and advice during my attachment with the group. Special thanks to Noraini for her thorough proof reading and constructive criticism. Finally, I thank my wife Nurul and my kids Nurin and Amin for their patience, encouragement and companionship. Thanks to all who gave me the support during these last few years. Thanks to God Almighty for making my effort a success. iv Contents Abstract ii Declaration iii Acknowledgements iv 1 Introduction 1 1.1 Constraint Satisfaction Problem (CSP) . ... 2 1.2 Techniques in solving Constraint Problems . .... 3 1.2.1 Mathematical Programming Techniques . 3 1.2.2 Searching Techniques . 4 1.3 ConstraintProgramming . 7 1.4 ThesisContributions ........................... 8 1.5 ThesisOrganization............................ 9 2 Local Search and Invariants 11 2.1 StochasticLocalSearch. 12 2.1.1 ProblemDefinition . 13 2.1.2 ObjectiveFunction . 14 2.1.3 Local Move and Neighborhood Function . 15 2.1.4 LocalMinima/Maxima . 16 2.1.5 Meta-Heuristics . 17 2.1.6 BeyondMeta-Heuristics . 25 2.2 Invariants: One-Way-Solver . 25 2.2.1 Invariants ............................. 27 v Contents vi 2.2.2 ArithmeticInvariants. 27 2.2.3 ListInvariants........................... 35 2.2.4 Implementation . .. .. 42 2.3 ChapterSummary ............................ 44 3 Stochastic Non-CNF SAT Solver 46 3.1 SatisfiabilityProblem. 46 3.1.1 SATSolvers............................ 47 3.1.2 StochasticLocalSearchandSAT . 48 3.2 Non-CNFSAT .............................. 49 3.2.1 TheStateofnon-CNFSATSolvers . 51 3.3 StochasticLocalSearchNon-CNFSAT . 52 3.3.1 Score................................ 52 3.3.2 SearchingforaSolution . 58 3.3.3 Implementation . .. .. 60 3.4 Non-CNFSATBenchmarks . 61 3.4.1 HardRandomNon-CNFFormula . 61 3.4.2 Social Golfers as Non-CNF SAT Problem . 61 3.4.3 Minimum Disagreement Parity Problem . 64 3.5 ExperimentalResults. 67 3.5.1 HardRandomNon-CNFFormula . 68 3.5.2 SocialGolferProblem . 69 3.5.3 Minimal Disagreement Parity Problem . 70 3.6 ChapterSummary ............................ 70 4 University Course Timetabling Problem 72 4.1 University Course Timetabling . 72 4.2 Methods in Course Timetabling . 74 4.2.1 SequentialApproaches . 74 4.2.2 ClusterApproaches. 75 4.2.3 Constraint Programming Approaches . 75 4.2.4 Meta-Heuristic Local Search Approaches . 76 Contents vii 4.2.5 HybridApproaches . 77 4.3 Course Timetabling Benchmarks . 77 4.3.1 A Simple Timetabling Example . 78 4.4 Timetabling Problem Modeling . 79 4.5 SolutionRepresentation . 81 4.6 SearchingforSolution . .. .. 82 4.6.1 Searching for Feasible Solution . 82 4.6.2 SearchingforQualitySolution . 86 4.7 Implementation .............................. 86 4.8 ExperimentResults............................ 87 4.9 ChapterSummary ............................ 89 5 Conclusions 94 5.1 Invariants ................................. 94 5.2 Non-CNFSAT .............................. 95 5.3 Timetabling ................................ 96 Bibliography 97 List of Figures 2.1 Localminima[59] ............................. 17 2.2 Crossoveroftwochromosomes . 24 2.3 Topological order of arithmetic operations . ..... 28 2.4 Valuation of f(x) when A = 3, B = 4, C = 5 and D =7 ....... 28 2.5 Incrementalupdateofequationtree . .. 29 2.6 Structure representing the invariant variable for addition and sub- tractionoperations . .. .. 29 2.7 Structure representing the invariant variable for multiplication and divisionoperations ............................ 31 2.8 Topological order of arithmetic operations . ..... 32 2.9 Incrementalupdateofequationtree . .. 33 2.10Priorityqueue............................... 34 2.11Don’tcarenodes ............................. 35 2.12 Min heapforlist3,4,5,6,7,8 . 37 3.1 The propositional formula φ = (((¬A ∨ ¬B ∨ ¬C) ∧ ¬D ∧ (¬E ∨ ¬F ))∧¬C ∧((¬D ∨A∨¬E)⊕(C ∧F ))) with scores for the valuation {A, ¬B,C, ¬D, ¬E, F } bracketed. .................... 53 3.2 AND score (a) where the node is false and (b) where it is true .... 54 3.3 OR score (a) where the node is false and (b) where it is true ..... 54 3.4 XOR score (a) where the node is false and (b) where it is true .... 55 3.5 ATMOST 2 score (a) where the node is false and (b) where it is true 56 3.6 ATLEAST 2 score (a) where the node is false and (b) where it is true 57 viii List of Figures ix 3.7 COUNT 2 score (a) where the node is true and (b)(c) where they are false .................................... 58 3.8 The formula φ with scores for the valuation {A, ¬B,C, ¬D,E,F }... 60 3.9 The formula φ with scores for the valuation {A, ¬B,C, ¬D,E, ¬F }. 60 4.1 Example of empty timetable slots . 80 4.2 WPS: Escaping local minima . 83 4.3 Result of soft constraint violation for small instances ......... 89 4.4 Result of soft constraint violation for medium instances........ 90 4.5 Result of soft constraint violation for large01 instances ........ 90 4.6 Result of soft constraint violation for large02 instances ........ 91 4.7 Percentage of invalid solution for large01 . ..... 91 4.8 Percentage of invalid solution for large02 . ..... 92 4.9 Comparison for Feasible Time between Naive and Heuristic Move for MediumInstances............................. 92 4.10 Comparison for Feasible Time between Naive and Heuristic Move for LargeInstances .............................. 93 List of Tables 2.1 Gene encoding of variable x ....................... 23 3.1 Comparison of number of variables and clauses between CNF and Non-CNFencoding ............................ 64 3.2 Comparison of CNF and non-CNF encoding of MDP problem . 67 3.3 Comparative results for CNF solvers on hard random formulas . 68 3.4 Comparative results for non-CNF solvers on hard random formulas . 69 3.5 Comparative results for solvers on social golfer problems ....... 69 3.6 Comparative results for solvers on MDP problems . .... 70 4.1 RoomFeatures .............................. 78 4.2 Features required by each event . 78 4.3 Students subscription to events . 79 4.4
Load more

Recommended publications
  • Guided Local Search
    GUIDED LOCAL SEARCH Christos Voudouris, Edward P. K. Tsang and Abdullah Alsheddy Abstract Combinatorial explosion problem is a well known phenomenon that pre- vents complete algorithms from solving many real-life combinatorial optimization problems. In many situations, heuristic search methods are needed. This chapter de- scribes the principles of Guided Local Search (GLS) and Fast Local Search (FLS) and surveys their applications. GLS is a penalty-based meta-heuristic algorithm that sits on top of other local search algorithms, with the aim to improve their efficiency and robustness. FLS is a way of reducing the size of the neighbourhood to improve the efficiency of local search. The chapter also provides guidance for implement- ing and using GLS and FLS. Four problems, representative of general application categories, are examined with detailed information provided on how to build a GLS- based method in each case. Key words: Heuristic Search, Meta-Heuristics, Penalty-based Methods, Guided Local Search, Tabu Search, Constraint Satisfaction. 1 INTRODUCTION Many practical problems are NP-hard in nature, which means complete, construc- tive search is unlikely to satisfy our computational demand. For example, suppose Christos Voudouris Group Chief Technology Office, BT plc, Orion Building, mlb1/pp12, Marthlesham Heath, Ipswich, IP5 3RE, United Kingdom, e-mail: [email protected] Edward P. K. Tsang Department of Computer Science, Univeristy of Essex, Wivenhoe Park, Colchester, CO4 3SQ, United Kingdom, e-mail: [email protected] Abdullah Alsheddy Department of Computer Science, Univeristy of Essex, Wivenhoe Park, Colchester, CO4 3SQ, United Kingdom, e-mail: [email protected] 1 2 Christos Voudouris, Edward P.
    [Show full text]
  • (Stochastic) Local Search Algorithms
    DM841 DISCRETE OPTIMIZATION Part 2 – Heuristics (Stochastic) Local Search Algorithms Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Local Search Algorithms Basic Algorithms Outline Local Search Revisited 1. Local Search Algorithms 2. Basic Algorithms 3. Local Search Revisited Components 2 Local Search Algorithms Basic Algorithms Outline Local Search Revisited 1. Local Search Algorithms 2. Basic Algorithms 3. Local Search Revisited Components 3 Local Search Algorithms Basic Algorithms Local Search Algorithms Local Search Revisited Given a (combinatorial) optimization problem Π and one of its instances π: 1. search space S(π) I specified by the definition of (finite domain, integer) variables and their values handling implicit constraints I all together they determine the representation of candidate solutions I common solution representations are discrete structures such as: sequences, permutations, partitions, graphs (e.g., for SAT: array, sequence of truth assignments to propositional variables) Note: solution set S 0(π) ⊆ S(π) (e.g., for SAT: models of given formula) 4 Local Search Algorithms Basic Algorithms Local Search Algorithms (cntd) Local Search Revisited 2. evaluation function fπ : S(π) ! R I it handles the soft constraints and the objective function (e.g., for SAT: number of false clauses) S(π) 3. neighborhood function, Nπ : S ! 2 I defines for each solution s 2 S(π) a set of solutions N(s) ⊆ S(π) that are in some sense close to s. (e.g., for SAT: neighboring variable assignments differ in the truth value of exactly one variable) 5 Local Search Algorithms Basic Algorithms Local Search Algorithms (cntd) Local Search Revisited Further components [according to [HS]] 4.
    [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]
  • A Novel LP-Based Local Search Technique – Fast and Quite Good –
    A Novel LP-based Local Search Technique – Fast and Quite Good – Vom Fachbereich Informatik der Technische Universit¨at Darmstadt zur Erlangung des akademischen Grades eines Dr. rer. nat. genehmigte Dissertation von Herrn Alaubek Avdil (M.Sc.) aus der Ulaanbaatar, Mongolei Referent: Professor Dr. Karsten Weihe Korreferent: Professor Dr. Matthias M¨uller-Hannemann Tag der Einreichung: 04. Juni 2009 Tag der m¨undlichen Pr¨ufung: 17. Juli 2009 Darmstadt 2009 D 17 ii Acknowledgments I want to express my deep and sincere gratitude to my supervisor Prof. Karsten Weihe for enabling my doctoral study, inspiring with scientific work and motivating and providing me pleasant research and work atmosphere. Without his trust and encouragement my research would not be done and this theses would not exist. I am extremely grateful to Prof. Matthias M¨uller-Hannemann for his invaluable support and advice on my research, excellent and critical review to improve the presentation of my work, and for his friendship, and making it possible for my young family be close with me during my doctoral study in Germany. I would like to express my warm and sincere thanks to the colleagues and members of Algorithmics Group at the Department of Computer Science of Technische Universit¨at Darmstadt for their support and valuable comments on my research. My special ackno- wledgment goes to Dr. Roland Martin for his unforgettable support and encouragement during my doctoral study, and his detailed review and constructive criticism during the writing process of my dissertation. I wish to extend my warmest thanks to all people, who have helped me with my work at the Department of Computer Science at Technische Universit¨at Darmstadt.
    [Show full text]
  • Coupling Ant Colony System with Local Search
    UNIVERSITE´ LIBRE DE BRUXELLES Ecole´ Polytechnique de Bruxelles IRIDIA - Institut de Recherches Interdisciplinaires et de D´eveloppements en Intelligence Artificielle Coupling Ant Colony System with Local Search Luca Maria Gambardella Promoteur de Th`ese: Prof. Marco DORIGO Th`esepr´esent´eeen vue de l'obtention du titre de Docteur en Sciences de l'Ing´enieur Ann´eeacad´emique2014-2015 2 Summary In the last decades there has been a lot of interest in computational models and algorithms inspired by the observation of natural systems. Nature seems to be very good at inventing processes that have many of the qualities we would like to be able to put into artificial systems. Consider for example genetic algorithms and evolutionary computation (Holland 1975): by reproducing in a simplified way the approach taken by Nature to develop living beings, researchers were able to develop both control systems for learning autonomous agents, and robust optimiza- tion algorithms for function optimization or combinatorial optimization. We can also think of work in reinforcement learning (Kaelbling et al. 1996): again, the observation of how animals learn to accomplish some simple tasks has suggested a useful and productive set of reinforcement- based learning algorithms. There are many such examples, some already very widespread, like simulated annealing (Kirkpatrick et al. 1983), ge- netic algorithms (Holland 1975), neural networks (Rumelhart et al. 1986), and others that still exist mostly in research labs, like immune networks (Bersini & F.Varela 1993) and classifier systems (Holland & Reitman 1978). In this thesis we present another ethological approach to combinatorial optimization, which has been inspired by the observation of ant colonies: the Ant Colony System (ACS, Gambardella & Dorigo 1996; Dorigo & Gambardella 1997).
    [Show full text]
  • Clever Algorithms Nature-Inspired Programming Recipes Ii
    Jason Brownlee Clever Algorithms Nature-Inspired Programming Recipes ii Jason Brownlee, PhD Jason Brownlee studied Applied Science at Swinburne University in Melbourne, Australia, going on to complete a Masters in Information Technology focusing on Niching Genetic Algorithms, and a PhD in the field of Artificial Immune Systems. Jason has worked for a number of years as a Consultant and Software Engineer for a range of Corporate and Government organizations. When not writing books, Jason likes to compete in Machine Learning competitions. Cover Image © Copyright 2011 Jason Brownlee. All Reserved. Clever Algorithms: Nature-Inspired Programming Recipes © Copyright 2011 Jason Brownlee. Some Rights Reserved. Revision 2. 16 June 2012 ISBN: 978-1-4467-8506-5 This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 2.5 Australia License. The full terms of the license are located online at http://creativecommons.org/licenses/by-nc-sa/2.5/au/legalcode Webpage Source code and additional resources can be downloaded from the books companion website online at http://www.CleverAlgorithms.com Contents Foreword vii Preface ix I Background1 1 Introduction3 1.1 What is AI.........................3 1.2 Problem Domains...................... 10 1.3 Unconventional Optimization............... 13 1.4 Book Organization..................... 17 1.5 How to Read this Book.................. 20 1.6 Further Reading...................... 21 1.7 Bibliography........................ 22 II Algorithms 27 2 Stochastic Algorithms 29 2.1 Overview.......................... 29 2.2 Random Search....................... 30 2.3 Adaptive Random Search................. 34 2.4 Stochastic Hill Climbing.................. 40 2.5 Iterated Local Search.................... 44 2.6 Guided Local Search.................... 50 2.7 Variable Neighborhood Search..............
    [Show full text]
  • A Guided Tabu Search for the Vehicle Routing Problem with Two-Dimensional Loading Constraints
    Available online at www.sciencedirect.com European Journal of Operational Research 195 (2009) 729–743 www.elsevier.com/locate/ejor A Guided Tabu Search for the Vehicle Routing Problem with two-dimensional loading constraints Emmanouil E. Zachariadis a, Christos D. Tarantilis b,*, Christos T. Kiranoudis a a Department of Process Analysis and Plant Design, Department of Chemical Engineering, National Technical University of Athens, Athens, Greece b Department of Management Science and Technology, Athens University of Economics and Business, Hydras Street 28, Athens 11362, Greece Received 12 January 2007; accepted 31 May 2007 Available online 21 November 2007 Abstract We present a metaheuristic methodology for the Capacitated Vehicle Routing Problem with two-dimensional loading constraints (2L- CVRP). 2L-CVRP is a generalisation of the Capacitated Vehicle Routing Problem, in which customer demand is formed by a set of two- dimensional, rectangular, weighted items. The purpose of this problem is to produce the minimum cost routes, starting and terminating at a central depot, to satisfy the customer demand. Furthermore, the transported items must be feasibly packed into the loading surfaces of the vehicles. We propose a metaheuristic algorithm which incorporates the rationale of Tabu Search and Guided Local Search. The loading aspects of the problem are tackled using a collection of packing heuristics. To accelerate the search process, we reduce the neigh- bourhoods explored, and employ a memory structure to record the loading feasibility information. Extensive experiments were con- ducted to calibrate the algorithmic parameters. The effectiveness of the proposed metaheuristic algorithm was tested on benchmark instances and led to several new best solutions.
    [Show full text]
  • Ant Colony Optimization Marco Dorigo and Thomas Stützle Ant Colony Optimization
    Ant Colony.qxd 6/9/04 12:15 PM Page 1 Ant Colony Optimization Marco Dorigo and Thomas Stützle Optimization Ant Colony The complex social behaviors of ants have been much studied by science, and computer scientists are now finding that these behavior patterns can provide models for solving difficult combinatorial optimization problems. The attempt to develop algorithms inspired by one aspect of ant behavior, the ability to find what computer scientists would call shortest paths, has become the field of ant colony optimization (ACO), the most successful and widely recognized algorithmic Ant Colony technique based on ant behavior. This book presents an overview of this rapidly growing field, from its theoretical inception to practical applications, including descriptions of many available ACO algorithms and their uses. The book first describes the translation of observed ant behavior into working optimization algorithms. The ant Optimization colony metaheuristic is then introduced and viewed in the general context of combinatorial optimization. This is followed by a detailed description and guide to all major ACO algorithms and a report on current theoretical findings. The book surveys ACO applications now in use, including routing, assignment, scheduling, subset, machine learning, and bioin- formatics problems. AntNet, an ACO algorithm designed for the network routing problem, is described in detail. The authors conclude by summarizing the progress in the field and outlining future research directions. Each chapter ends Marco Dorigo and Thomas Stützle with bibliographic material, bullet points setting out important ideas covered in the chapter, and exercises. Ant Colony Optimization will be of interest to academic and industry researchers, graduate students, and practitioners who wish to learn how to implement ACO algorithms.
    [Show full text]
  • Subgradient Based Multiple-Starting-Point Algorithm for Non-Smooth Optimization of Analog Circuits
    Subgradient Based Multiple-Starting-Point Algorithm for Non-Smooth Optimization of Analog Circuits Wenlong Lv1, Fan Yang1∗, Changhao Yan1, Dian Zhou1,2 and Xuan Zeng1∗ 1State Key Lab of ASIC & System, School of Microelectronics, Fudan University, Shanghai, P. R. China 2Department of Electrical Engineering, University of Texas at Dallas, Richardson, TX, U.S.A. Abstract—Starting from a set of starting points, the multiple- is to transform the general polynomial optimization problem starting-point optimization searches the local optimums by to convex programming by Semidefinite-Programming (SDP) gradient-guided local search. The global optimum is selected relaxations [4]. The advantage of model based algorithms from these local optimums. The region-hit property of the multiple-starting-point optimization makes the multiple-starting- is that given the circuit performance models, the optimal point approach more likely to reach the global optimum. solutions can be found very efficiently even for large-scale However, for non-smooth objective functions, e.g., worst-case problems. But what limits their usage is the generation of optimization, the traditional gradient based local search methods accurate performance models. Even with a large number of may stuck at non-smooth points, even if the objective function simulations, the accuracy of the generated performance models is smooth “almost everywhere”. In this paper, we propose a subgradient based multiple-starting-point algorithm for non- still cannot be guaranteed for the whole design space. smooth optimization of analog circuits. Subgradients instead of The simulation based analog circuit optimization methods traditional gradients are used to guide the local search of the non- require no explicit analytical performance models.
    [Show full text]
  • Hybrid Metaheuristics an Emerging Approach to Optimization.Pdf
    Christian Blum, Maria Jose´ Blesa Aguilera, Andrea Roli and Michael Sampels (Eds.) Hybrid Metaheuristics Studies in Computational Intelligence, Volume 114 Editor-in-chief Prof. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences ul. Newelska 6 01-447 Warsaw Poland E-mail: [email protected] Further volumes of this series can be found on our Vol. 104. Maria Virvou and Lakhmi C. Jain (Eds.) homepage: springer.com Intelligent Interactive Systems in Knowledge-Based Environment, 2008 Vol. 93. Manolis Wallace, Marios Angelides and Phivos ISBN 978-3-540-77470-9 Mylonas (Eds.) Vol. 105. Wolfgang Guenthner Advances in Semantic Media Adaptation and Enhancing Cognitive Assistance Systems with Inertial Personalization, 2008 Measurement Units, 2008 ISBN 978-3-540-76359-8 ISBN 978-3-540-76996-5 Vol. 94. Arpad Kelemen, Ajith Abraham and Yuehui Chen ¨ (Eds.) Vol. 106. Jacqueline Jarvis, Dennis Jarvis, Ralph Ronnquist Computational Intelligence in Bioinformatics, 2008 and Lakhmi C. Jain (Eds.) ISBN 978-3-540-76802-9 Holonic Execution: A BDI Approach, 2008 ISBN 978-3-540-77478-5 Vol. 95. Radu Dogaru Systematic Design for Emergence in Cellular Nonlinear Vol. 107. Margarita Sordo, Sachin Vaidya and Lakhmi C. Jain Networks, 2008 (Eds.) ISBN 978-3-540-76800-5 Advanced Computational Intelligence Paradigms in Healthcare - 3, 2008 Vol. 96. Aboul-Ella Hassanien, Ajith Abraham and Janusz ISBN 978-3-540-77661-1 Kacprzyk (Eds.) Computational Intelligence in Multimedia Processing: Vol. 108. Vito Trianni Recent Advances, 2008 Evolutionary Swarm Robotics, 2008 ISBN 978-3-540-76826-5 ISBN 978-3-540-77611-6 Vol. 97. Gloria Phillips-Wren, Nikhil Ichalkaranje and Vol.
    [Show full text]
  • Word, the GA Is Able to Generate Near Optimal Solutions with Some Unlike Local Search Methods, the Genetic Algorithm Method Compromise in the CPU Time
    Comparing Genetic Algorithm and Guided Local Search Methods by Symmetric TSP Instances Mehrdad Nojoumian Divya K. Nair David R. Cheriton School of Computer Science David R. Cheriton School of Computer Science University of Waterloo University of Waterloo Waterloo, Canada Waterloo, Canada [email protected] [email protected] ABSTRACT methods proposed for finding better-quality solutions for the TSP This paper aims at comparing Genetic Algorithm (GA) and problem within an acceptable time limit. Although, GA and LS Guided Local Search (GLS) methods so as to scrutinize their methods aim at achieving the same goal of yielding near optimal behaviors. Authors apply the GLS program with the Fast Local solutions for the hard optimization problems, we are interested to Search (FLS), developed at University of Essex [24], and analyze their problem solving behaviors, by executing two classes implement a genetic algorithm with partially-mapped and order of methods on the standard s-TSP instances. The main concern crossovers, reciprocal and inversion mutations, and rank and regarding local search is the escape from the local optimum, once tournament selections in order to experiment with various it is caught in the local optimum, it becomes almost impossible to Travelling Salesman Problems. The paper then ends up with two advance further to more optimal solutions. This issue is handled prominent conclusions regarding the performance of these meta- easily by an existing array of techniques called meta-heuristics heuristic techniques over wide range of symmetric-TSP instances. which are built on top of local search methods. One of the First, the GLS-FLS strategy on the s-TSP instances yields the simplest and the oldest meta-heuristic is the Repeated Local most promising performance in terms of the near-optimality and Search [1] where a few restarts are applied each time the search is the mean CPU time.
    [Show full text]