Nonlinear optimization of constrained functions using tabu search

Download Nonlinear optimization of constrained functions using tabu search

Post on 06-Mar-2017

215 views

Category:

Documents

1 download

Embed Size (px)

TRANSCRIPT

<ul><li><p>This article was downloaded by: [University North Carolina - Chapel Hill]On: 29 October 2014, At: 08:21Publisher: Taylor &amp; FrancisInforma Ltd Registered in England and Wales Registered Number: 1072954Registered office: Mortimer House, 37-41 Mortimer Street, London W1T 3JH, UK</p><p>International Journal ofMathematical Education in Scienceand TechnologyPublication details, including instructions for authors andsubscription information:http://www.tandfonline.com/loi/tmes20</p><p>Nonlinear optimization ofconstrained functions using tabusearchJ.A. Bland aa Department of Mathematics, Statistics and OperationalResearch , The Nottingham Trent University, Burton Street ,Nottingham NG1 4BU, EnglandPublished online: 09 Jul 2006.</p><p>To cite this article: J.A. Bland (1993) Nonlinear optimization of constrained functions usingtabu search, International Journal of Mathematical Education in Science and Technology, 24:5,741-747, DOI: 10.1080/0020739930240515</p><p>To link to this article: http://dx.doi.org/10.1080/0020739930240515</p><p>PLEASE SCROLL DOWN FOR ARTICLE</p><p>Taylor &amp; Francis makes every effort to ensure the accuracy of all the information(the Content) contained in the publications on our platform. However, Taylor&amp; Francis, our agents, and our licensors make no representations or warrantieswhatsoever as to the accuracy, completeness, or suitability for any purpose of theContent. Any opinions and views expressed in this publication are the opinions andviews of the authors, and are not the views of or endorsed by Taylor &amp; Francis. Theaccuracy of the Content should not be relied upon and should be independentlyverified with primary sources of information. Taylor and Francis shall not be liablefor any losses, actions, claims, proceedings, demands, costs, expenses, damages,and other liabilities whatsoever or howsoever caused arising directly or indirectly inconnection with, in relation to or arising out of the use of the Content.</p><p>This article may be used for research, teaching, and private study purposes. Anysubstantial or systematic reproduction, redistribution, reselling, loan, sub-licensing,systematic supply, or distribution in any form to anyone is expressly forbidden.</p><p>http://www.tandfonline.com/loi/tmes20http://www.tandfonline.com/action/showCitFormats?doi=10.1080/0020739930240515http://dx.doi.org/10.1080/0020739930240515</p></li><li><p>Terms &amp; Conditions of access and use can be found at http://www.tandfonline.com/page/terms-and-conditions</p><p>Dow</p><p>nloa</p><p>ded </p><p>by [</p><p>Uni</p><p>vers</p><p>ity N</p><p>orth</p><p> Car</p><p>olin</p><p>a - </p><p>Cha</p><p>pel H</p><p>ill] </p><p>at 0</p><p>8:21</p><p> 29 </p><p>Oct</p><p>ober</p><p> 201</p><p>4 </p><p>http://www.tandfonline.com/page/terms-and-conditionshttp://www.tandfonline.com/page/terms-and-conditions</p></li><li><p>INT. J. MATH. EDUC. SCI. TECHNOL., 1993, VOL. 24, NO. 5, 741-747</p><p>Nonlinear optimization of constrained functionsusing tabu search</p><p>by J. A. BLANDDepartment of Mathematics, Statistics and Operational Research,</p><p>The Nottingham Trent University, Burton Street,Nottingham NG1 4BU, England</p><p>(Received 20 July 1992)</p><p>A direct search algorithm is presented which is based on the tabu searchmethodology. It is shown how the algorithm may be used to solve constrainednonlinear optimization problems. The major merit of the presented approach isthe ability of the algorithm to escape local optima in the search for a globaloptimim.</p><p>1. IntroductionThis article is concerned with the optimization of functions with constraints. An</p><p>algorithm is presented that is quite general in the sense that it is applicable to bothlinear and nonlinear functions of an arbitrary number of independent variableswhich may be continuous or discrete. Furthermore, it is flexible enough to cope withboth linear and nonlinear constraints.</p><p>Over the past few decades many optimization methods have been proposed, forreviews see references [1] and [2]. These methods, together with the ever increasingspeed and capacity of electronic computers, have enabled large and complexoptimization problems to be solved. In general, proposed optimization procedureshave fallen into two broad classes; search algorithms, which utilize functionevaluations only [3,4], and gradient-based techniques which require both functionand derivative information [5,6].</p><p>In this article a direct search algorithm is presented which adapts the tabu searchmethodology [7,8] to optimize constrained nonlinear functions.</p><p>2. Tabu searchOver the past few years the tabu search optimization procedure has grown</p><p>in popularity although, in general, it has been applied to combinatorial problems[9-11]. In this article it is applied to functions with independent variables that maybe continuous, or, if they are discrete, need not take integer values.</p><p>The tabu search methodology has been fully described (in a combinatorialcontext) in [10] and [12]; here a brief outline of the algorithm is given in terms ofunconstrained minimization.</p><p>The basic operation of the tabu search procedure is similar to a simple descentalgorithm in the sense that solutions with ever decreasing objective function valuesare continually accepted as the current minimum solution, until no furtherimprovements (i.e. reductions) are obtained. However, tabu search incorporates ashort-term memory of forbidden (or tabu) solutions that enables the procedure to</p><p>0020-739X/93 $10-00 1993 Taylor &amp; Francis Ltd.</p><p>Dow</p><p>nloa</p><p>ded </p><p>by [</p><p>Uni</p><p>vers</p><p>ity N</p><p>orth</p><p> Car</p><p>olin</p><p>a - </p><p>Cha</p><p>pel H</p><p>ill] </p><p>at 0</p><p>8:21</p><p> 29 </p><p>Oct</p><p>ober</p><p> 201</p><p>4 </p></li><li><p>742 J. A. Bland</p><p>escape from local minima, which usually cause simple descent algorithms toterminate.</p><p>The short-term memory facility is a characteristic of tabu search and consists of alist (called the tabu list) of arbitrary length whose elements are previously acceptedsolutions. In the present context an accepted solution is one whose objective functionvalue is the smallest of those associated with a defined neighbourhood of solutions,and it is not currently in the tabu list.</p><p>The tabu list operates as a first in-first out queue of accepted solutions whichenables the algorithm to continue searching while retaining knowledge of the currentminimum solution. In this manner, tabu search with a tabu list of length L, avoidsboth entrapment by local minima and cycling (cycles of order L, at least) throughpreviously accepted solutions.</p><p>3. Constrained minimizationA basic algorithm which adapts the tabu search methodology to the minimization</p><p>of functions whose independent variables are continuous (or non-integer discrete) isnow presented.</p><p>Consider a function/of n independent variables, x, where x={xt}, i = l, 2 , . . .n.Ifxo = {xOi}, i = l , 2 , . . . , is an initial solution in n-dimensional space then/ 0 is thefunction value, where/0=/(a;0). In the framework of the tabu search technique x0becomes the first element of an initially empty tabu list. Furthermore, the currentminimum solution and function value, arbest and/best, respectively, are such that xbest= x0 and / b e s t =/ 0 . Next a neighbourhood of x0 is constructed by considering thesolutions that are generated when each coordinate of x0 is, in turn, slightly displaced(positively and negatively) by a specified amount; xoihh i = 1,2,. . . n, where ht areconstants. At each neighbourhood solution the function is evaluated and a move ismade from the initial solution to the neighbourhood solution with the smallestfunction value (ties are broken arbitrarily). If xt denotes the neighbourhoodsolution with the smallest function value, flt -where f1f(x1), then the searchprogresses from x0 to xt and xt enters the tabu list. If / t &lt; / 0 then the currentminimum solution and function value are updated; *best = ;x;i ar&gt;d/best = / i &gt; respec-tively. Note that if / t &gt; / 0 no updating takes place but the search, nonetheless,progresses to x1 even though, with strict inequality, x0 is a local minimum.Furthermore, at the next move, the search cannot return to x0 because it is in the tabulist of forbidden solutions.</p><p>In general terms, a move from solution xt to xt + j is based on/j + j being the lowestfunction value in the neighbourhood of x( and that xi+1 is not in the tabu list. As thesearch progresses the tabu list becomes full, after which its length is maintained byreleasing the least recent solution when the current solution is entered. In thismanner the tabu list provides the search with the capability to escape local minimaand avoid cycling through solution cycles of order less than or equal to the list length.Because of its ability to avoid termination at a local minimum tabu search willprogress continually through n-dimensional space in the search for a globalminimum; hence a stopping condition, such as a specified maximum number ofmoves, is required.</p><p>The preceeding explanation gives an outline of a basic (unconstrained) tabusearch algorithm which may be enhanced in the following ways. First, the searchmay incorporate a second sweep, where a sweep consists of a specified number ofmoves. If the tabu list length is greater than the number of moves in a sweep and the</p><p>Dow</p><p>nloa</p><p>ded </p><p>by [</p><p>Uni</p><p>vers</p><p>ity N</p><p>orth</p><p> Car</p><p>olin</p><p>a - </p><p>Cha</p><p>pel H</p><p>ill] </p><p>at 0</p><p>8:21</p><p> 29 </p><p>Oct</p><p>ober</p><p> 201</p><p>4 </p></li><li><p>Nonlinear optimization using tabu search 743</p><p>search in the second sweep starts at xbest, then the search is forced to investigate newsolutions. A second enhancement is the incorporation of sweeps within a zoomfacility, whereby, after the sweep phase, the search starts at xbest, but some (or all) ofthe step lengths, hh are reduced by setting hhjcj, where c{^\,i1,2,.. . w. Hence,by using a sequence of zooms which contain sweeps, the presented algorithm has, bymeans of the tabu search methodology, the capability to determine a globallyminimum solution of a function with continuous and/or discrete independentvariables.</p><p>With k constraints the optimization (here minimization) problem may be statedin general terms as follows,</p><p>minimize f(x) (3.1)</p><p>subject to gi(x)~^0 i '=l,2, ...k (3.2)</p><p>where objective function,/(x), and constraint functions, gi(x), i= 1,2.. .k, may belinear or nonlinear functions of n independent variables, x. In order to utilize thepresented algorithm a new objective function, F(x), is formulated, where</p><p>F(x)=f(x)+ a,ft(:e) (3.3)</p><p>with0 iigi(x)&gt;0 (3.4)N ifg:(x)</p></li><li><p>744 J. A. Bland</p><p>Figure 1. Contours of equation (4.5) in the region 1 * t &lt; 1, 1 S x2</p><p>Figure 2. Contours of equation (4.5) with constraints (4.6), (4.7) and (4.8) in the region</p><p>Dow</p><p>nloa</p><p>ded </p><p>by [</p><p>Uni</p><p>vers</p><p>ity N</p><p>orth</p><p> Car</p><p>olin</p><p>a - </p><p>Cha</p><p>pel H</p><p>ill] </p><p>at 0</p><p>8:21</p><p> 29 </p><p>Oct</p><p>ober</p><p> 201</p><p>4 </p></li><li><p>Nonlinear optimization using tabu search 745</p><p>Hence the (unconstrained) objective function F(x), given by equation (3.3), may beconstructed with k = 3. The value of N in equation (3.5) was taken to be 10000.The (constrained) objective function f(x), given by equation (4.5), is investigatedbecause it has a number of local minima (the global minimum is at the origin, whereF(0,0)=/(0,0) = 0). Furthermore, since f(x) has two independent variables itscontours may be visualized, as shown in Figure 1 (without constraints) and Figure 2(with constraints (4.6), (4.7) and (4.8) included).</p><p>In order to ensure (for purposes of illustration) that the search encountered localminima, a step length of h = 05 was used with each variable. The results of the searchwhen various starting points, x0, are used is given in Table 1, where M denotes thenumber of moves the search took to encounter the global minimum. In all cases thetabu list length was set to the same value as the maximum number of moves, i.e. 150.</p><p>Table 1. Tabu search results.</p><p>(1,1)(1,-1)(-1,-1)(-1,1)(0,1)(1,0)(0,-1)(-1,0)</p><p>F(*o)</p><p>3-610003-610003-6</p><p>3-62-01-620</p><p>5626-6</p><p>M</p><p>100120848617</p><p>so8820</p><p>Figure 3. Search path with xo = ( 1, 1).</p><p>Dow</p><p>nloa</p><p>ded </p><p>by [</p><p>Uni</p><p>vers</p><p>ity N</p><p>orth</p><p> Car</p><p>olin</p><p>a - </p><p>Cha</p><p>pel H</p><p>ill] </p><p>at 0</p><p>8:21</p><p> 29 </p><p>Oct</p><p>ober</p><p> 201</p><p>4 </p></li><li><p>746 J. A. Bland</p><p>Figure 4. Search path with 3CO = (O, 1).</p><p>To illustrate the capability of the search to escape local minima the search pathfor starting points at ( 1,1) and (0,-1) are shown in Figure 3 and Figure 4,respectively.</p><p>5. Concluding remarksIn this article a direct search algorithm is presented which may be used to</p><p>optimize a given function subject to constraints. The presented algorithm is based onthe tabu search methodology which was originally developed to solve (un-constrained) combinatorial problems.</p><p>The presented optimization method is quite general in the sense that it may beapplied to both linear and nonlinear functions of an arbitrary number of variables(which may be continuous or discrete). Moreover it is flexible enough to accommo-date both linear and nonlinear constraints.</p><p>As stated in the previous section, with respect to the example problem, the globalminimum was obtained with all starting points (not all of them feasible). Fur-thermore, the search path was visualized in two instances, Figure 3 and Figure 4.These two diagrams clearly show the ability of the algorithm to escape local minima;a characteristic of tabu search.</p><p>References[1] POWELL, M. J. D., 1970, Asurvey of numerical methods for unconstrained optimization,</p><p>SI AM Rev., 12,79-91.[2] Box, M. J., 1966, A comparison of several current optimisation methods, and the use of</p><p>transformations in constrained problems, The Computer J, 9, 67-77.[3] HOOKE, R., and JEEVES, T. A., 1961, Direct search solution of numerical and statistical</p><p>problems, J. Assn. Comp. Mach., 8, 212-229.</p><p>Dow</p><p>nloa</p><p>ded </p><p>by [</p><p>Uni</p><p>vers</p><p>ity N</p><p>orth</p><p> Car</p><p>olin</p><p>a - </p><p>Cha</p><p>pel H</p><p>ill] </p><p>at 0</p><p>8:21</p><p> 29 </p><p>Oct</p><p>ober</p><p> 201</p><p>4 </p></li><li><p>Nonlinear optimization using tabu search 747</p><p>[4] NELDER, J. A., and MEAD, R., 1965, A simplex method for function minimisation, TheComputer J., 7, 308-313.</p><p>[5] FLETCHER, R., and REEVES, C. M., 1964, Function minimisation by conjugate gradients,The Computer J., 7, 149-154.</p><p>[6] POWELL, M. J. D., 1971, On the convergence of the variable metric algorithm, J. Inst.Math. AppL, 7, 21-36.</p><p>[7] GLOVER, F., 1977, Heuristics for integer programming using surrogate constraints,Decision Sci., 8, 156-166.</p><p>[8] GLOVER, F., 1986, Future paths for integer programming and links to artificialintelligence, Comput. Operations Res., 13, 533-549.</p><p>[9] KNOX, J. E., 1989, The application of tabu search to the symmetric travelling salesmanproblem, PhD. Thesis, University of Colorado, USA.</p><p>[10] BLAND, J. A., and DAWSON, G. P., 1991, Tabu search and design optimisation,Computer-Aided Des., 23, 195-201.</p><p>[11] SKORIN-KARPOV, J., 1990, Tabu search applied to the quadratic assignment problem,ORSA J. Comp., 2, 3345.</p><p>[12] GLOVER, F., 1989, Tabu search; Part I, ORSA J. Comp., 1, 190-206.</p><p>Dow</p><p>nloa</p><p>ded </p><p>by [</p><p>Uni</p><p>vers</p><p>ity N</p><p>orth</p><p> Car</p><p>olin</p><p>a - </p><p>Cha</p><p>pel H</p><p>ill] </p><p>at 0</p><p>8:21</p><p> 29 </p><p>Oct</p><p>ober</p><p> 201</p><p>4 </p></li></ul>