Hybridization of Bound-and-Decompose and Mixed Integer Feasibility Checking t…

Computing the degree of redundancy for structured linear systems is proven to be NP-hard. A linear system whose model matrix is of size is considered structured if some row vectors in the model matrix are linearly dependent. Bound-and-decompose and 0-1 mixed integer programming (MIP) are two approaches to compute the degree of redundancy, which were previously proposed and compared in the liter…