A binary matrix has the Consecutive Ones Property (C1P) if its columns can be ordered in such a way that all 1s on each row are consecutive. Algorithmic issues of the C1P are central in computational molecular biology, in particular for physical mapping and ancestral genome reconstruction. In 1972, Tucker gave a characterization of matrices that have the C1P by a set of forbidden submatrices, and a substantial amount of research has been devoted to the problem of efficiently finding such a minimum size forbidden submatrix. This paper presents a new O(Δ^3 m 2 (mΔ + n^3)) time algorithm for this particular task for a m ×n binary matrix with at most Δ 1-entries per row, thereby improving the O(Δ^3 m 2(mn + n^3)) time algorithm of Dom et al. [17].
A Faster Algorithm for Finding Minimum Tucker Submatrices.
RIZZI, ROMEO;
2010-01-01
Abstract
A binary matrix has the Consecutive Ones Property (C1P) if its columns can be ordered in such a way that all 1s on each row are consecutive. Algorithmic issues of the C1P are central in computational molecular biology, in particular for physical mapping and ancestral genome reconstruction. In 1972, Tucker gave a characterization of matrices that have the C1P by a set of forbidden submatrices, and a substantial amount of research has been devoted to the problem of efficiently finding such a minimum size forbidden submatrix. This paper presents a new O(Δ^3 m 2 (mΔ + n^3)) time algorithm for this particular task for a m ×n binary matrix with at most Δ 1-entries per row, thereby improving the O(Δ^3 m 2(mn + n^3)) time algorithm of Dom et al. [17].
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
