Title :
A stochastic evolution algorithm for the graph covering problem and its application to the technology mapping
Author :
Lee, Dae-Hyun ; Choi, Hoon ; Park, Lae-Jeong ; Park, Cheol Hoon ; Hwang, Seung Ho
Author_Institution :
Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Abstract :
A stochastic evolution algorithm is applied to solve the graph covering problem in which a set of patterns that fully covers a subject graph with a minimal cost is sought. This problem is a typical constrained combinatorial optimization problem and is proven to be NP-complete. Many branch-and-bound algorithms with different heuristics have been proposed but most of them cannot handle practical sized problems like the technology mapping problem from the VLSI synthesis area. Our stochastic evolution is based on a problem-specific encoding scheme to reduce the size of the search space and incorporates the tree matching algorithm at the initial solution generation stage for speed-up. Experimental results show that the proposed algorithm produces good solutions within a reasonable amount of time
Keywords :
computational complexity; genetic algorithms; graph theory; heuristic programming; problem solving; stochastic processes; tree searching; NP-complete; VLSI synthesis; branch-and-bound algorithms; constrained combinatorial optimization problem; graph covering problem; heuristics; minimal cost; problem solving; problem-specific encoding scheme; search space; stochastic evolution algorithm; technology mapping; tree matching algorithm; Business continuity; Encoding; Heuristic algorithms; Libraries; Logic circuits; Pattern matching; Space technology; Stochastic processes; Tree graphs; Very large scale integration;
Conference_Titel :
Evolutionary Computation, 1996., Proceedings of IEEE International Conference on
Conference_Location :
Nagoya
Print_ISBN :
0-7803-2902-3
DOI :
10.1109/ICEC.1996.542647