Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing
A vector with at most k nonzeros is called k-sparse. We show that enumerating the support vectors of k-sparse solutions to a system Ax = b of r-sparse linear equations (i.e., where the rows of A are r-sparse) is fixed-parameter tractable (FPT) in the combined parameter r,k. For r = 2 the problem is simple. For 0,1-matrices A we can also compute an O(rk r ) kernel. For systems of linear inequalities we get an FPT result in the combined parameter d,k, where d is the total number of minimal solutions. This is achieved by interpeting the problem as a case of group testing in the complex model. The problems stem from the reconstruction of chemical mixtures by observable reaction products.
Unable to display preview. Download preview PDF.
- 2.Candés, E.J., Wakin, M.B.: An Introduction to Compressive Sampling. IEEE Signal Proc. Magazine, 21–30 (March 2008)Google Scholar
- 17.Wang, M., Xu, W., Tang, A.: A Unique “Nonnegative” Solution to an Underdetermined System: From Vectors to Matrices. arXiv:1003.4778v1 (2010) (manuscript)Google Scholar