Irredundant intervals

  • Authors:
  • Donald E. Knuth

  • Affiliations:
  • -

  • Venue:
  • Journal of Experimental Algorithmics (JEA)
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

This expository note presents simplifications of a theorem due to Gy聰ri and an algorithm due to Franzblau and Kleitman: Given a family F of m intervals on a linearly ordered set of n elements, we can construct in O(m+n)2 steps an irredundant subfamily having maximum cardinality, as well as a generating family having minimum cardinality. The algorithm is of special interest because it solves a problem analogous to finding a maximum independent set, but on a class of objects that is more general than a matroid. This note is also a complete, runnable computer program, which can be used for experiments in conjunction with the public-domain software of The Stanford GraphBase.