Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/967900.968106acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

Experiments with UNA for solving linear constraints in real variables

Published: 14 March 2004 Publication History

Abstract

Linear constraints arise in formulation of several computationally challenging problems such as weather modeling, underground water modeling, air pollution modeling etc. The constraints may correspond to multiple observations that place upper or lower bounds on linear combinations of variables. Computing a feasible solution or solving these inequalities in least squares sense is a fundamental problem in many applications.In this paper, we present a strikingly simple numerical algorithm called UNA (Unified Numerical Approach) that computes a feasible solution of linear inequalities or solves them in a least squares sense in case they are inconsistent. We compare the performance of UNA with Bramley-Winnicka algorithm, which is the best known algorithm to solve linear inequalities in a least squares sense. We also give experimental performance comparison of UNA with commercial linear programming based packages XA and CPLEX. Our experiments show that UNA algorithm is faster than Bramley-Winnicka algorithm for solving large constraint sets in least squares sense. Our experiments also show that for large constraint sets although CPLEX performs better than UNA, UNA performs far better than XA. In addition, the UNA algorithm is so simple that its implementation in C programming language is only 170 lines of code and its implementation using Matlab is 80 lines of matlab script. Our results show that in-spite of its simplicity, it is a powerful algorithm for solving linear inequalities in real variables.

References

[1]
O. Axelsson, Iterative Solution Methods, Cambridge University Press, 1996.
[2]
M. S. Bazaraa, Jarvis, J. J., and H. D. Sherali, Linear Programming and Network Flows, 2nd Ed. John Wiley & Sons, Inc., New York, N.Y., 1990.
[3]
R. Bramley and B. Winnicka, "Solving linear inequalities in a least squares sense," SIAM Journal of Scientific Computing, vol. 17 no. 1 pp. 287--303, 1996.
[4]
V. Chvatal, Linear Programming, W. H. Freeman and Company, New York, 1983.
[5]
ILOG CPLEX, http://www.ilog.com/products/cplex/.
[6]
J. Edvardsson and M. Kamkar, "Analysis of the Constraint Solver in UNA Based Test Data Generation", in Proceedings of 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), Austria, Sept., 2001
[7]
R. Fletcher, Practical Methods of Optimization, John Wiley & Sons, 2nd edition, May 2000.
[8]
G. Golub and V. Pereysa, "Differentiation of Pseudoinverse, Separable Nonlinear Least Squares Problems and other Tales," in Generalized Inverses and Applications, M. Nashed, ed., Academic Press, New York, 1976, pages 303--323.
[9]
N. Gupta, "Automated Test Data Generation Using Iterative Relaxation Methods," PhD. Thesis, Department of Computer Sciences, Purdue University, West Lafayette, Indiana, USA, December 1999.
[10]
N. Gupta, Y-J. Cho, M. Z. Hossain, "UNA: A Simple Numerical Algorithm to Solve Linear Constraints in Real Variables", Technical Report TR 03-08, Computer Science Department, The University of Arizona, 2003.
[11]
S.-P Han, "Least-squares Solution of Linear Inequalities," Tech. Report TR-2141, Mathematics Research Center, University of Wisconsin-Madison, 1980.
[12]
N. Karmarkar, "A New Polynomial-Time Algorithm for Linear Programming," Combinatorica, 4, pp. 373--395, 1984.
[13]
L. G. Khachian, "A Polynomial Algorithm in Linear Programming," Soviet Mathematics Doklady, 20, pp. 191--194, 1979.
[14]
A. Kaufmann Integer and Mixed Programming: theory and applications, Academic Press, 1977
[15]
C. L. Lawson and R. J. Hanson Solving Least Squares Problems, Prentice Hall, Englewood Cliffs, NJ, 1974.
[16]
J. R. Rice, Numerical Methods, Software, and Analysis, Second Edition, Academic Press, 1993.
[17]
G. W. Stewart, Introduction to Matrix Computations, Academic Press, New York, 1973.
[18]
"Timing Comparisons of Mathematica, MATLAB, R, S-Plus, C & Fortran" http://www.stats.uwo.ca/faculty/aim/epubs// /MatrixInverse Timing/default.htm
[19]
G. Strang, Linear Algebra and its Applications, Harcourt Brace Jovanovich Publishers San Diego, 1988.
[20]
L. A. Wolsey, Integer Programming, Wiley-Interscience, September 1998.
[21]
"XA," Sunset Software Technology, http://www.sunsetsoft.com.

Cited By

View all
  • (2006)A scheme on automated test data generation and its evaluationJournal of Central South University of Technology10.1007/s11771-006-0112-713:1(87-92)Online publication date: Mar-2006

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '04: Proceedings of the 2004 ACM symposium on Applied computing
March 2004
1733 pages
ISBN:1581138121
DOI:10.1145/967900
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 March 2004

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. least squares solution
  2. linear inequalities
  3. linear programming
  4. numerical algorithms

Qualifiers

  • Article

Conference

SAC04
Sponsor:
SAC04: The 2004 ACM Symposium on Applied Computing
March 14 - 17, 2004
Nicosia, Cyprus

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 24 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2006)A scheme on automated test data generation and its evaluationJournal of Central South University of Technology10.1007/s11771-006-0112-713:1(87-92)Online publication date: Mar-2006

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media