Finite Convergence of Tabu Search

Many optimization techniques (both heuristic and exact) for solving combinatorial and nonlinear problems are iterative neighborhood search procedures – i.e., they start with an initial solution (feasible or infeasible) and repeatedly construct new solutions from current solutions by moves defined by reference to a neighborhood structure. The process continues to generate a trajectory of “neighboring solutions” until a certain stopping criterion is satisfied.