Abstract
A new state space representation of a class of combinatorial optimization problems is introduced. The representation enables efficient implementation of exhaustive search for an optimal solution in bounded NP complete problems such as the traveling salesman problem (TSP) with a relatively small number of cities. Furthermore, it facilitates effective heuristic search for sub optimal solutions for problems with large number of cities. This paper surveys structures for representing solutions to the TSP and the use of these structures in iterative hill climbing (ITHC) and genetic algorithms (GA). The mapping of these structures along with respective operators to a newly proposed electro-optical vector by matrix multiplication (VMM) architecture is detailed. In addition, time space tradeoffs related to using a record keeping mechanism for storing intermediate solutions are presented and the effect of record keeping on the performance of these heuristics in the new architecture is evaluated. Results of running these algorithms on sequential architecture as well as a simulation-based estimation of the speedup obtained are supplied. The results show that the VMM architecture can speedup various variants of the TSP algorithm by a factor of 30x to 50x.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Tamir, D.E., Shaked, N.T., Wilson, P.J., Dolev, S.: High-speed and low-power electro-optical DSP coprocessor. J. Opt. Soc. Am. A26, A11–A20 (2009)
Garey, M.R., Johnson, D.S.: Computers and intractability: A guide to the theory of NP-completeness. W.H. Freeman, New York (1979)
Pearl, J.: Heuristics: Intelligent search strategies for computer problem solving. Addison-Wesley, Reading (1984)
Russell, S.J., Norvig, P.: Artificial intelligence: A modern approach. Prentice-Hall, Englewood Cliffs (1995)
Xi, B., Liu, Z., Raghavachari, M., Xia, C., Zhang, L.: A smart hill-climbing algorithm for application server configuration. In: Proceedings of the 13th international conference on world wide web, pp. 287–296 (2004)
Karhi, D., Tamir, D.E.: Caching in the TSP Search Space. In: Next Generation Applied Intelligence, Tainan, Taiwan, pp. 221–230 (2009)
Vose, M.D.: The simple genetic algorithm: Foundations and theory. MIT Press, Cambridge (1999)
Glover, F., Laguna, M.: Tabu Search. Kluwer Academic Press, Dordrecht (1997)
Kennedy, J., Eberhart, R.C.: Swarm Intelligence. Academic Press, London (2001)
Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220, 671–680 (1983)
Johnson, D.S., McGeoch, L.A.: The traveling salesman problem: A case study in local optimization. Local search in combinatorial optimization, 215–310 (1997)
Applegate, D.L., Bixby, R.E., Vasek, C., Cook, W.J.: The traveling salesman problem: A computational study. Princeton University Press, Princeton (2007)
Wang, L., Maciejewski, A.A., Siegel, H.J., Roychowdhury, V.P.: A comparative study of five parallel genetic algorithms using the traveling salesman problem. In: Proceedings of the 12th. International Parallel Processing Symposium, pp. 345–349 (1998)
Borovska, P.: Solving the travelling salesman problem in parallel by genetic algorithm on multicomputer cluster. In: Int. Conf. on Computer Systems and Technologies, pp. 1–6 (2006)
Gang, P., Iimura, I., Nakatsuru, T., Nakayama, S.: Efficiency of local genetic algorithm in parallel processing. In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies, pp. 620–623 (2005)
Langdon, W.B., Banzhaf, W.: A SIMD interpreter for genetic programming on GPU graphics cards. In: O’Neill, M., Vanneschi, L., Gustafson, S., Esparcia Alcázar, A.I., De Falco, I., Della Cioppa, A., Tarantino, E. (eds.) EuroGP 2008. LNCS, vol. 4971, pp. 73–85. Springer, Heidelberg (2008)
Inoue, T., Sano, M., Takahashi, Y.: Design of a processing element of a SIMD computer for genetic algorithms. In: Proceedings of the High-Performance Computing on the Information Superhighway, pp. 688–691 (1997)
Vega-Rodriguez, M.A., Gutierrez-Gil, R., Avila-Roman, J.M., Sanchez-Perez, J.M., Gomez-Pulido, J.A.: Genetic algorithms using parallelism and FPGAs: The TSP as case study. In: International Conference Workshops on Parallel Processing, pp. 573–579 (2005)
Shaked, N.T., Messika, S., Dolev, S., Rosen, J.: Optical solution for bounded NP-complete problems. Applied Optics 46(5), 711–724 (2007)
Shaked, N.T., Tabib, T., Simon, G., Messika, S., Dolev, S., Rosen, J.: Optical binary-matrix synthesis for solving bounded NP-complete combinatorial problems. Optical Engineering 46(10), 108201, 1–11 (2007)
Haist, T., Osten, W.: An Optical solution for the traveling salesman problem. Opt. Express 15, 10473–10482 (2007)
Collings, N., Sumi, R., Weible, K.J., Acklin, B., Xue, W.: The use of optical hardware to find good solutions of the travelling salesman problem (TSP). In: Proc. SPIE 1806, pp. 637–641 (1993)
Dolev, S., Fitoussi, H.: The traveling beams: Optical solutions for bounded NP-complete problems. In: Crescenzi, P., Prencipe, G., Pucci, G. (eds.) FUN 2007. LNCS, vol. 4475, pp. 120–134. Springer, Heidelberg (2007)
Dolev, S., Nir, Y.: Optical implementation of bounded non-deterministic Turing machines. US Patent 7, 130, 093 B2 (January 2005)
Anter, A., Dolev, S.: Optical solution for hard in average NP-complete instances (using exponential space for solving instances of the permanent). In: Proc. of the 12th IEEE Meeting on Optical Engineering and Science in Israel (2nd OASIS), Israel (2009)
Oltean, M.: Solving the Hamiltonian path problem with a light-based computer. Natural Computing 7(1), 57–70 (2008)
Oltean, M., Muntean, O.: Solving NP-complete problems with delayed signals: An overview of current research directions. In: Proceedings of 1st international Workshop on Optical Super Computing, pp. 115–128 (2008)
Gutfreund, D., Shaltiel, R., Ta-Shma, A.: If NP languages are hard on the worst-case, then it is easy to find their hard instances. Comput. Complex. 16(4), 412–441 (2007)
Zilberstein, S.: Using anytime algorithms in intelligent systems. AI Magazine 17(3), 73–83 (1996)
Ramos, T., Cozman, G.: Anytime anyspace probabilistic inference. International Journal of Approximate Reasoning 38(1), 53–80 (2005)
Aarts, E., Lenstra, J.: Local Search in Combinatorial Optimization. Princeton University, Princeton (2003)
Larrinaga, P., Kuijpers, C.M.H., Murga: Genetic algorithms for the travelling salesman problem: A review of representations and operators. Artificial Intelligence Review, 129–170 (1999)
Ursache, L.: Representation models for solving TSP with genetic algorithms. In: Proceedings of CNMI, Bacău, pp. 291–298 (2007)
Feitelson, D.G.: Optical computing: A survey for computer scientists. MIT Press, Cambridge (1988)
Pitsoulis, L., Resende, M.: Greedy randomized adaptive search procedures. Journal of Global Optimization 6(2), 109–133 (1995)
Reinelt, G.: TSPLIB -A traveling salesman problem library. ORSA Journal on Computing 3(4), 376–384 (1991), http://comopt.ifi.uni-heidelberg.de/software/TSPLIB95/
Lowell, D., El Lababedi, B., Novoa, C., Tamir, D.E.: The locality of reference of genetic algorithms and probabilistic reasoning. In: The International Conference on Artificial Intelligence and Pattern Recognition, Florida, pp. 221–228 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tamir, D.E., Shaked, N.T., Geerts, W.J., Dolev, S. (2009). Combinatorial Optimization Using Electro-Optical Vector by Matrix Multiplication Architecture. In: Dolev, S., Oltean, M. (eds) Optical SuperComputing. OSC 2009. Lecture Notes in Computer Science, vol 5882. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10442-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-10442-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10441-1
Online ISBN: 978-3-642-10442-8
eBook Packages: Computer ScienceComputer Science (R0)