Minmax-cut graph partitioning problems

Two partitioning problems on graphs are considered. In the first problem the nodes of a directed graph are partitioned into sets of sizes within prescribed ranges. If in(V/sub i/) is the sum of the weights on the incoming edges to set V/sub i/ in the partition, the goal is to minimize max/sub i/ (in(V/sub i/)). It is shown that the problem is NP-hard if the maximum set size is at least three or there is a constant number of sets of the same size. For the case where n and m are the number of nodes and the number of edges of the input graph, respectively, an O(m square root n) time algorithm is obtained when the maximum set size is two. The same problem is then considered on undirected graphs. It is shown that this partitioning problem is NP-hard for partitioning into equal-size sets, but polynomial-time algorithms are obtained when the maximum set size is a constant k. Applications of the problems are in layout, built-in self-test (BIST), and high-level synthesis.<<ETX>>

[1]  Chien-In Henry Chen,et al.  Autonomous-tool for hardware partitioning in a built-in self-test environment , 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

[2]  N. Kanopoulos,et al.  The Test Engineer's Assistant: a design environment for testable and diagnosable systems , 1989 .

[3]  Frank Thomson Leighton,et al.  An approximate max-flow min-cut theorem for uniform multicommodity flow problems with applications to approximation algorithms , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[4]  Fillia Makedon,et al.  Approximation algorithms for VLSI partition problems , 1990, IEEE International Symposium on Circuits and Systems.

[5]  ZVI GALIL,et al.  Efficient algorithms for finding maximum matching in graphs , 1986, CSUR.

[6]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[7]  Giovanni De Micheli,et al.  Partitioning of functional models of synchronous digital systems , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[8]  Thomas Lengauer,et al.  Combinatorial algorithms for integrated circuit layout , 1990, Applicable theory in computer science.

[9]  Fillia Makedon,et al.  Circuit partitioning into small sets , 1992, Microprocess. Microsystems.