Abstract
Permutation diagrams have been used in circuit design to model a set of single point nets crossing a channel, where the minimum number of layers needed to realize the diagram equals the clique number ω(G) of its permutation graph, the value of which can be calculated in O(nlogn) time. We consider a generalization of this model motivated by "standard cell" technology in which the numbers on each side of the channel are partitioned into consecutive subsequences, or cells, each of which can be left unchanged or flipped (i.e., reversed). We ask, for what choice of flippings will the resulting clique number be minimum or maximum. We show that when one side of the channel is fixed (no flipping), an optimal flipping for the other side can be found in O(nlogn) time for the maximum clique number, and that when both sides are free this can be solved in O(n2) time. We also prove NP-completeness of finding a flipping that gives a minimum clique number, even when one side of the channel is fixed, and even when the size of the cells is restricted to be less than a small constant. Moreover, since the complement of a permutation graph is also a permutation graph, the same complexity results hold for the stable set (independence) number. In the process of the NP-completeness proof we also prove NP-completeness of a restricted variant of a scheduling problem. This new NP-completeness result may be of independent interest.
Original language | English |
---|---|
Pages (from-to) | 25-41 |
Number of pages | 17 |
Journal | Discrete Mathematics |
Volume | 296 |
Issue number | 1 |
DOIs | |
State | Published - 28 Jun 2005 |
Keywords
- Cell flipping
- Clique number
- Dynamic programming
- Independent set number
- Multiprocessor scheduling
- Permutation graphs
- Stable set number
- VLSI layout
ASJC Scopus subject areas
- Theoretical Computer Science
- Discrete Mathematics and Combinatorics