On the complexity of cell flipping in permutation diagrams and multiprocessor scheduling problems

Martin Charles Golumbic, Haim Kaplan, Elad Verbin

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)25-41
Number of pages17
JournalDiscrete Mathematics
Volume296
Issue number1
DOIs
StatePublished - 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

Fingerprint

Dive into the research topics of 'On the complexity of cell flipping in permutation diagrams and multiprocessor scheduling problems'. Together they form a unique fingerprint.

Cite this