ON THE APPROXIMABILITY OF MINIMIZING NONZERO VARIABLES OR UNSATISFIEDRELATIONS IN LINEAR-SYSTEMS

Authors
Citation
E. Amaldi et V. Kann, ON THE APPROXIMABILITY OF MINIMIZING NONZERO VARIABLES OR UNSATISFIEDRELATIONS IN LINEAR-SYSTEMS, Theoretical computer science, 209(1-2), 1998, pp. 237-260
Citations number
66
Categorie Soggetti
Computer Science Theory & Methods","Computer Science Theory & Methods
ISSN journal
03043975
Volume
209
Issue
1-2
Year of publication
1998
Pages
237 - 260
Database
ISI
SICI code
0304-3975(1998)209:1-2<237:OTAOMN>2.0.ZU;2-I
Abstract
We investigate the computational complexity of two closely related cla sses of combinatorial optimization problems for linear systems which a rise in various fields such as machine learning, operations research a nd pattern recognition. In the first class (MIN ULR) one wishes, given a possibly infeasible system of linear relations, to find a solution that violates as few relations as possible while satisfying all the ot hers. In the second class (MIN RVLS) the linear system is supposed to be feasible and one looks for a solution with as few nonzero variables as possible. For both MIN ULR and MIN RVLS the four basic types of re lational operators =, greater than or equal to, > and not equal are co nsidered. While MIN RVLS with equations was mentioned to be NP-hard in (Garey and Johnson, 1979), we established in (Amaldi; 1992; Amaldi an d Kann, 1995) that MIN ULR with equalities and inequalities are NP-har d even when restricted to homogeneous systems with bipolar coefficient s. The latter problems have been shown hard to approximate in (Arora e t al., 1993). In this paper we determine strong bounds on the approxim ability of various variants of MIN RVLS and MIN ULR, including constra ined ones where the variables are restricted to take binary values or where some relations are mandatory while others are optional. The vari ous NP-hard versions turn out to have different approximability proper ties depending on the type of relations and the additional constraints , but none of them can be approximated within any constant factor, unl ess P = NP. Particular attention is devoted to two interesting special cases that occur in discriminant analysis and machine learning. In pa rticular, we disprove a conjecture of van Horn and Martinet (1992) reg arding the existence of a polynomial-time algorithm to design linear c lassifiers (or perceptrons) that involve a close-to-minimum number of features. (C) 1998 Published by Elsevier Science B.V. All rights reser ved.