Tabu Search for Constraint Satisfaction
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Combined Simulated Annealing and Tabu Search Strategy to Solve a Network Design Problem with Two Classes of Users
Copyright Warning & Restrictions The copyright law of the United States (Title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted material. Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or other reproduction. One of these specified conditions is that the photocopy or reproduction is not to be “used for any purpose other than private study, scholarship, or research.” If a, user makes a request for, or later uses, a photocopy or reproduction for purposes in excess of “fair use” that user may be liable for copyright infringement, This institution reserves the right to refuse to accept a copying order if, in its judgment, fulfillment of the order would involve violation of copyright law. Please Note: The author retains the copyright while the New Jersey Institute of Technology reserves the right to distribute this thesis or dissertation Printing note: If you do not wish to print this page, then select “Pages from: first page # to: last page #” on the print dialog screen The Van Houten library has removed some of the personal information and all signatures from the approval page and biographical sketches of theses and dissertations in order to protect the identity of NJIT graduates and faculty. ASAC A COMIE SIMUAE AEAIG A AU SEAC SAEGY O SOE A EWOK ESIG OEM WI WO CASSES O USES y Qieg e g A methodology to solve a transportation network design problem (TCNDP) with two classes of users (passenger cars and trucks) is developed. Given an existing highway system, with a capital investment budget constraint, the methodology selects the best links to be expanded by an extra lane by considering one of three types of traffic operations: exclusive for passenger cars, exclusive for trucks, and for both passenger cars and trucks such that the network total user equilibrium (UE) travel time is minimized. -
An Improved Tabu Search Algorithm for the Fixed-Spectrum Frequency-Assignment Problem Roberto Montemanni, Jim N
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, VOL. 52, NO. 3, MAY 2003 891 An Improved Tabu Search Algorithm for the Fixed-Spectrum Frequency-Assignment Problem Roberto Montemanni, Jim N. J. Moon, and Derek H. Smith Abstract—A tabu search algorithm with a dynamic tabu list for this meant that several or many pairs of transmitters had the fixed-spectrum frequency-assignment problem is presented. inadequate frequency separation. It is now recognized that For cellular problems, the algorithm can be combined with an the pattern of interference obtained when this approach is efficient cell reoptimization step. The algorithm is tested on several sets of test problems and compared with existing algorithms of used may be quite unsatisfactory. One way to overcome the established performance. In particular, it is used to improve problem is to minimize a measure of interference based on some of the best existing assignments for COST 259 benchmarks. the signal-to-interference ratio (SIR) at specified reception These results add support to the claim that the algorithm is the points [10], [11]. This approach is conceptually attractive as most effective available, at least when solution quality is a more interference is directly minimized and it can take account of important criterion than solution speed. The algorithm is robust and easy to tune. multiple interference. However, it is computationally demanding and may restrict the size of the problems that can be handled. Index Terms—Fixed-spectrum problems, radio-frequency Our recent experiences with this approach suggest that, if data assignment, tabu search algorithm. structures of similar efficiency are used, run times are increased by a factor of about 20. -
A Tabu Search Algorithm with Efficient Diversification Strategy for High School Timetabling Problem
International Journal of Computer Science & Information Technology (IJCSIT) Vol 5, No 4, August 2013 A TABU SEARCH ALGORITHM WITH EFFICIENT DIVERSIFICATION STRATEGY FOR HIGH SCHOOL TIMETABLING PROBLEM Salman Hooshmand1 , Mehdi Behshameh2 and OmidHamidi3 1Department of Computer Engineering, Hamedan University of Technology, Hamedan Iran [email protected] 2Department of Computer Engineering, Islamic Azad University ,Toyserkan Branch, Toyserkan, Iran [email protected] 3Department of Science, Hamedan University of Technology, Hamedan, Iran [email protected] ABSTRACT The school timetabling problem can be described as scheduling a set of lessons (combination of classes, teachers, subjects and rooms) in a weekly timetable. This paper presents a novel way to generate timetables for high schools. The algorithm has three phases. Pre-scheduling, initial phase and optimization through tabu search. In the first phase, a graph based algorithm used to create groups of lessons to be scheduled simultaneously; then an initial solution is built by a sequential greedy heuristic. Finally, the solution is optimized using tabu search algorithm based on frequency based diversification. The algorithm has been tested on a set of real problems gathered from Iranian high schools. Experiments show that the proposed algorithm can effectively build acceptable timetables. KEYWORDS Timetabling. Tabu Search. Diversification .Graph . Scheduling 1. INTRODUCTION Scheduling high school lessons has been considered to be one of the main concerns of schools’ staff before beginning of the term. Manual timetabling is tedious and generally takes several weeks to build an acceptable timetable. The main difficulty is related to the size of the problem; the algorithm should consider several conflicting criteria and conditions often for a large number of classes, teachers and courses. -
Solving Zero-One Mixed Integer Programming Problems Using Tabu Search
Solving Zero-One Mixed Integer Programming Problems Using Tabu Search by Arne Løkketangen * Fred Glover # 20 April 1997 Abstract We describe a tabu search approach for solving general zero- one mixed integer programming problems that exploits the extreme point property of zero-one solutions. Specialized choice rules and aspiration criteria are identified for the problems, expressed as functions of integer infeasibility measures and objective function values. The first-level TS mechanisms are then extended with advanced level strategies and learning. We also look at probabilistic measures in this framework, and examine how the learning tool Target Analysis can be applied to identify better control structures and decision rules. Computational results are reported on a portfolio of multiconstraint knapsack problems. Our approach is designed to solve thoroughly general 0/1 MIP problems and thus contains no problem domain specific knowledge, yet it obtains solutions for the multiconstraint knapsack problem whose quality rivals, and in some cases surpasses, the best solutions obtained by special purpose methods that have been created to exploit the special structure of these problems. Keywords Tabu Search, Heuristics, Integer Programming #* School of Business, CB419 Molde College University of Colorado Britvn. 2 Boulder, CO 80309 6400 Molde USA Norway Email: [email protected] Email: [email protected] 2 Introduction Tabu search (TS) has been applied to solving a variety of zero-one mixed integer programming (MIP) problems with special structures, ranging from scheduling and routing to group technology and probabilistic logic. (See, for example, the volume Annals of Operations Research 41 (1993), and the application surveys in Glover and Laguna (1993), and Glover (1996)). -
Dynamic Temporary Blood Facility Locationallocation During And
Dynamic temporary blood facility location-allocation during and post-disaster periods Article (Accepted Version) Sharma, Bhuvnesh, Ramkumar, M, Subramanian, Nachiappan and Malhotra, Bharat (2017) Dynamic temporary blood facility location-allocation during and post-disaster periods. Annals of Operations Research. ISSN 0254-5330 This version is available from Sussex Research Online: http://sro.sussex.ac.uk/id/eprint/71673/ This document is made available in accordance with publisher policies and may differ from the published version or from the version of record. If you wish to cite this item you are advised to consult the publisher’s version. Please see the URL above for details on accessing the published version. Copyright and reuse: Sussex Research Online is a digital repository of the research output of the University. Copyright and all moral rights to the version of the paper presented here belong to the individual author(s) and/or other copyright owners. To the extent reasonable and practicable, the material made available in SRO has been checked for eligibility before being made available. Copies of full text items generally can be reproduced, displayed or performed and given to third parties in any format or medium for personal research or study, educational, or not-for-profit purposes without prior permission or charge, provided that the authors, title and full bibliographic details are credited, a hyperlink and/or URL is given for the original metadata page and the content is not changed in any way. http://sro.sussex.ac.uk Dynamic temporary blood facility location-allocation during and post-disaster periods Bhuvnesh Sharma Department of Industrial & Systems Engineering Indian Institute of Technology Kharagpur Kharagpur – 721302, West Bengal, India e-mail: [email protected] M. -
A Comparative Analysis of a Tabu Search and a Genetic Algorithm for Solving a University Course Timetabling Problem
DEGREE PROJECT, IN COMPUTER SCIENCE , FIRST LEVEL STOCKHOLM, SWEDEN 2015 A comparative analysis of a Tabu Search and a Genetic Algorithm for solving a University Course Timetabling Problem CASPER RENMAN AND HAMPUS FRISTEDT KTH ROYAL INSTITUTE OF TECHNOLOGY CSC SCHOOL www.kth.se iii Abstract This work implements a Tabu search (TS) algorithm for solving an instance of the University Course Timetabling Problem (UCTP). The algorithm is com- pared to a Genetic algorithm (GA) implemented by Yamazaki and Pertoft (2014) that solves the same instance. The purpose of the work is to explore how the approaches differ for this particular instance, and specifically inves- tigate whether a TS algorithm alone is sufficient, considering the small size of the UCTP instance. The TS was based on the OpenTS library (Harder, 2001) and reuses parts from Yamazaki and Pertoft’s (2014) GA. The results show that the TS alone is too slow. Even in a small instance of the UCTP, the search space is too big for the TS to be fast. This confirms the state of the art, that a combination of TS and GA would perform better than either of them individually. Further improvements on the TS would involve reducing the number of moves generated each iteration. iv Sammanfattning Detta arbete implementerar en Tabu search-algoritm (TS) för att lösa en in- stans av University Course Timetabling Problem (UCTP). Algoritmen jämförs med en Genetic algoritm (GA) implementerad av Yamazaki och Pertoft (2014) som löser samma instans. Syftet med arbetet är att utforska hur angreppssätten skiljer sig för denna instans, och specifikt undersöka om det räcker att endast använda en TS-algoritm, eftersom instansen är liten. -
Exploiting the Power of Local Search in a Branch and Bound Algorithm for Job Shop Scheduling Matthew J
Exploiting the Power of Local Search in a Branch and Bound Algorithm for Job Shop Scheduling Matthew J. Streeter1 and Stephen F. Smith2 Computer Science Department and Center for the Neural Basis of Cognition1 and The Robotics Institute2 Carnegie Mellon University Pittsburgh, PA 15213 {matts, sfs}@cs.cmu.edu Abstract nodes in the branch and bound search tree. This paper presents three techniques for using an iter- 2. Branch ordering. In practice, a near-optimal solution to ated local search algorithm to improve the performance an optimization problem will often have many attributes of a state-of-the-art branch and bound algorithm for job (i.e., assignments of values to variables) in common with shop scheduling. We use iterated local search to obtain an optimal solution. In this case, the heuristic ordering (i) sharpened upper bounds, (ii) an improved branch- of branches can be improved by giving preference to a ordering heuristic, and (iii) and improved variable- branch that is consistent with the near-optimal solution. selection heuristic. On randomly-generated instances, our hybrid of iterated local search and branch and bound 3. Variable selection. The heuristic solutions used for vari- outperforms either algorithm in isolation by more than able selection at each node of the search tree can be im- an order of magnitude, where performance is measured proved by local search. by the median amount of time required to find a globally optimal schedule. We also demonstrate performance We demonstrate the power of these techniques on the job gains on benchmark instances from the OR library. shop scheduling problem, by hybridizing the I-JAR iter- ated local search algorithm of Watson el al. -
Constrained Optimization 5
Constrained Optimization 5 Most problems in structural optimization must be formulated as constrained min- imization problems. In a typical structural design problem the objective function is a fairly simple function of the design variables (e.g., weight), but the design has to satisfy a host of stress, displacement, buckling, and frequency constraints. These constraints are usually complex functions of the design variables available only from an analysis of a finite element model of the structure. This chapter offers a review of methods that are commonly used to solve such constrained problems. The methods described in this chapter are for use when the computational cost of evaluating the objective function and constraints is small or moderate. In these meth- ods the objective function or constraints these are calculated exactly (e.g., by a finite element program) whenever they are required by the optimization algorithm. This approach can require hundreds of evaluations of objective function and constraints, and is not practical for problems where a single evaluation is computationally ex- pensive. For these more expensive problems we go through an intermediate stage of constructing approximations for the objective function and constraints, or at least for the more expensive functions. The optimization is then performed on the approx- imate problem. This approximation process is described in the next chapter. The basic problem that we consider in this chapter is the minimization of a function subject to equality and inequality constraints minimize f(x) such that hi(x) = 0, i = 1, . , ne , (5.1) gj(x) ≥ 0, j = 1, . , ng . The constraints divide the design space into two domains, the feasible domain where the constraints are satisfied, and the infeasible domain where at least one of the constraints is violated. -
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. -
Tabu Search Tabu Search Is a Mathematical Optimization Method, Belonging to the Class of Trajectory Based Techniques
CSE4403 3.0 & CSE6002E - Soft Computing Winter Semester, 2011 ________________________________________________________________________________________________________ Tabu search Tabu search is a mathematical optimization method, belonging to the class of trajectory based techniques. Tabu search enhances the performance of a local search method by using memory structures that describe the visited solutions: once a potential solution has been determined, it is marked as "taboo" ("tabu" being a different spelling of the same word) so that the algorithm does not visit that possibility repeatedly. Tabu search is attributed to Fred W. Glover. Basic details Tabu search is a metaheuristic algorithm that can be used for solving combinatorial optimization problems, such as the traveling salesman problem (TSP). Tabu search uses a local or neighborhood search procedure to iteratively move from a solution x to a solution x' in the neighborhood of x , until some stopping criterion has been satisfied. To explore regions of the search space that would be left unexplored by the local search procedure (see local optimality), tabu search modifies the neighborhood structure of each solution as the search progresses. The solutions admitted to N * (x) , the new neighborhood, are determined through the use of memory structures. The search then progresses by iteratively moving from a solution x to a solution x' in N * (x) . Perhaps the most important type of memory structure used to determine the solutions admitted to N * (x) is the tabu list. In its simplest form, a tabu list is a short-term memory, which contains the solutions that have been visited in the recent past (less than n iterations ago, where n is the number of previous solutions to be stored ( n is also called the tabu tenure)). -
Discrete Tabu Search for Graph Matching
Discrete Tabu Search for Graph Matching Kamil Adamczewski Yumin Suh [email protected] [email protected] Kyoung Mu Lee [email protected] Department of ECE, ASRI, Seoul National University Abstract forward to combine into the IQP optimization process. As a result, various methods have been developed to approx- Graph matching is a fundamental problem in computer imate the optimal solution of the graph matching problem vision. In this paper, we propose a novel graph match- based on different approaches, including eigenvector analy- ing algorithm based on tabu search [13]. The proposed sis [27, 20], random walk [7], stochastic methods [26] and method solves graph matching problem by casting it into other optimization techniques [21, 32]. an equivalent weighted maximum clique problem of the corresponding association graph, which we further penal- Conventionally, two stage procedure has been used to ize through introducing negative weights. Subsequent tabu approximate the solution of IQP: first, solve the optimiza- search optimization allows for overcoming the convention tion problem in continuous domain by relaxing integer con- of using positive weights. The method’s distinct feature is straint, and then project the intermediate solution into the that it utilizes the history of search to make more strate- original feasible space of IQP [20, 7, 14]. Nonetheless, re- gic decisions while looking for the optimal solution, thus cent research [21, 30] devises methods that produce discrete effectively escaping local optima and in practice achiev- solutions and suggests that post-processing discretization ing superior results. The proposed method, unlike the ex- leads to substantial loss in accuracy, especially that the dis- isting algorithms, enables direct optimization in the orig- cretization step is independent of the optimization of IQP. -
Constrained Quadratic Optimization: Theory and Application for Wireless Communication Systems
Constrained Quadratic Optimization: Theory and Application for Wireless Communication Systems by Erik Hons A thesis presented to the University of Waterloo in ful¯lment of the thesis requirement for the degree of Master of Applied Science in Electrical and Computer Engineering Waterloo, Ontario, Canada, 2001 c Erik Hons 2001 ° I hereby declare that I am the sole author of this thesis. I authorize the University of Waterloo to lend this thesis to other institutions or individuals for the purpose of scholarly research. I further authorize the University of Waterloo to reproduce this thesis by pho- tocopying or by other means, in total or in part, at the request of other institutions or individuals for the purpose of scholarly research. ii The University of Waterloo requires the signatures of all persons using or pho- tocopying this thesis. Please sign below, and give address and date. iii Abstract The suitability of general constrained quadratic optimization as a modeling and solution tool for wireless communication is discussed. It is found to be appropriate due to the many quadratic entities present in wireless communication models. It is posited that decisions which a®ect the minimum mean squared error at the receiver may achieve improved performance if those decisions are energy constrained. That theory is tested by applying a speci¯c type of constrained quadratic optimization problem to the forward link of a cellular DS-CDMA system. Through simulation it is shown that when channel coding is used, energy constrained methods typi- cally outperform unconstrained methods. Furthermore, a new energy-constrained method is presented which signi¯cantly outperforms a similar published method in several di®erent environments.