Title :
Fully Dynamic Evaluation of Sequence Pair
Author_Institution :
Inst. of Comput. Eng., Control & Robot., Wroclaw Univ. of Technol., Wroclaw, Poland
Abstract :
In the electronic design automation field, as well as in other areas, problem instances and solutions are often subject to discrete changes. The foundational significance of efficient updates of the criterion value after dynamic updates, instead of recomputing it from scratch each time, has attracted a lot of research. In this paper, motivated by the significance of the sequence pair (SP) representation for floorplanning, we develop a fully dynamic algorithm of SP evaluation, that efficiently updates a criterion value after insertions and deletions of SP elements and after modifications of element weights. Our result is based on a new data structure for the predecessor problem, which maintains the whole history of its dynamic modifications, and the path-compression technique from the union-find problem, which efficiently support predecessor queries. Numerical experiments showed that our algorithm exhibits linear-time behavior and considerably reduces the time of SP evaluation, compared to other approaches.
Keywords :
data structures; integrated circuit design; sequential circuits; criterion value; data structure; discrete changes; electronic design automation field; element weights; fully dynamic evaluation; sequence pair; Algorithm design and analysis; Data structures; Heuristic algorithms; History; Time complexity; Vegetation; Evaluation algorithm; fully dynamic algorithm; sequence pair;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCAD.2013.2244642