A polynomial-time algorithm for finding a minimal conflicting set containing a given row

  • Authors:
  • Guillaume Blin;Romeo Rizzi;Stéphane Vialette

  • Affiliations:
  • Université Paris-Est, LIGM, UMR CNRS 8049, France;DIMI, Università di Udine, Italy;Université Paris-Est, LIGM, UMR CNRS 8049, France

  • Venue:
  • CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

A binary matrix has the Consecutive Ones Property (C1P) if there exists a permutation of its columns (i.e. a sequence of column swappings) such that in the resulting matrix the 1s are consecutive in every row. A Minimal Conflicting Set (MCS) of rows is a set of rows R that does not have the C1P, but such that any proper subset of R has the C1P. In [5], Chauve et al. gave a O(Δ2mmax(4,Δ+1)(n+m+e)) time algorithm to decide if a row of a m × n binary matrix with at most Δ 1s per row belongs to at least one MCS of rows. Answering a question raised in [2], [5] and [25], we present the first polynomial-time algorithm to decide if a row of a m × n binary matrix belongs to at least one MCS of rows.