On the approximability of minimizing nonzero variables or unsatisfied relations in linear systems

1998 Theoretical Computer Science 757 citations

Abstract

We investigate the computational complexity of two closely related classes of combinatorial optimization problems for linear systems which arise in various fields such as machine learning, operations research and 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 others. 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 relational operators =, ⩾, > and ≠ are considered. While Min RVLS with equations was mentioned to be NP-hard in (Garey and Johnson, 1979), we established in (Amaldi; 1992; Amaldi and Kann, 1995) that min ULR with equalities and inequalities are NP-hard even when restricted to homogeneous systems with bipolar coefficients. The latter problems have been shown hard to approximate in (Arora et al., 1993). In this paper we determine strong bounds on the approximability of various variants of Min RVLS and min ULR, including constrained ones where the variables are restricted to take binary values or where some relations are mandatory while others are optional. The various NP-hard versions turn out to have different approximability properties depending on the type of relations and the additional constraints, but none of them can be approximated within any constant factor, unless P = NP. Particular attention is devoted to two interesting special cases that occur in discriminant analysis and machine learning. In particular, we disprove a conjecture of van Horn and Martinez (1992) regarding the existence of a polynomial-time algorithm to design linear classifiers (or perceptrons) that involve a close-to-minimum number of features.

Keywords

MathematicsClass (philosophy)HomogeneousBinary numberLinear programmingCombinatoricsConstant (computer programming)Discrete mathematicsTime complexityType (biology)Mathematical optimizationComputer scienceArithmeticArtificial intelligence

Affiliated Institutions

Related Publications

Categorical Data Analysis

Preface. 1. Introduction: Distributions and Inference for Categorical Data. 1.1 Categorical Response Data. 1.2 Distributions for Categorical Data. 1.3 Statistical Inference for ...

2002 Wiley series in probability and stati... 6519 citations

Publication Info

Year
1998
Type
article
Volume
209
Issue
1-2
Pages
237-260
Citations
757
Access
Closed

External Links

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

757
OpenAlex

Cite This

E. Amaldi, Viggo Kann (1998). On the approximability of minimizing nonzero variables or unsatisfied relations in linear systems. Theoretical Computer Science , 209 (1-2) , 237-260. https://doi.org/10.1016/s0304-3975(97)00115-1

Identifiers

DOI
10.1016/s0304-3975(97)00115-1