Fast Self-Reduction Algorithms for Combinatorical Problems of VLSI-Design

作者: Michael R. Fellows , Michael A. Langston

DOI: 10.1007/BFB0040395

关键词:

摘要: In a recent series of papers [FL1, FL2, FL3], we have proven the existence decision algorithms with low-degree polynomial running times for number well-studied VLSI layout, placement and routing problems. These results make use powerful Robertson-Seymour theorems on well-partial-ordering graphs under both minor immersion orders. present paper, study complexity construction versions these problems, focusing efficient self-reduction strategies. We introduce notion fast in this setting develop general technique, which term scaffolding, that is useful design algorithms.

参考文章(29)
Stephen T. Hedetniemi, Thomas Victor Wimer, Linear algorithms on k-terminal graphs Clemson University. ,(1987)
Béla Bollobás, Extremal Graph Theory ,(1978)
D. Seese, Tree-partite graphs and the complexity of algorithms fundamentals of computation theory. pp. 412- 421 ,(1985) , 10.1007/BFB0028825
Arnold L. Rosenberg, Issues in the Study of Graph Embeddings workshop on graph theoretic concepts in computer science. pp. 150- 176 ,(1980) , 10.1007/3-540-10291-4_12
Donald Ervin Knuth, Sorting and Searching ,(1973)
Z. Miller, I. H. Sudborough, A polynomial algorithm for recognizing small cutwidth in hypergraphs Proceedings of the VLSI Algorithms and Architectures, Aegean Worksho on Computing. pp. 252- 260 ,(1986) , 10.1007/3-540-16766-8_23
W. Mader, A Reduction Method for Edge-Connectivity in Graphs Annals of discrete mathematics. ,vol. 3, pp. 145- 164 ,(1978) , 10.1016/S0167-5060(08)70504-1
R M Karp, E Upfal, A Wigderson, Are search and decision programs computationally equivalent? Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85. pp. 464- 475 ,(1985) , 10.1145/22145.22197
Michael R. Fellows, Michael A. Langston, Nonconstructive tools for proving polynomial-time decidability Journal of the ACM. ,vol. 35, pp. 727- 739 ,(1988) , 10.1145/44483.44491
Neil Robertson, P. D. Seymour, Disjoint Paths—A Survey Siam Journal on Algebraic and Discrete Methods. ,vol. 6, pp. 300- 305 ,(1985) , 10.1137/0606030