A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems
- First Online:
Finding bounding sets to solutions to systems of algebraic equations with uncertainties in the coefficients, as well as rapidly but rigorously locating all solutions to nonlinear systems or global optimization problems, involves bounding the solution sets to systems of equations with wide interval coefficients. In many cases, singular systems are admitted within the intervals of uncertainty of the coefficients, leading to unbounded solution sets with more than one disconnected component. This, combined with the fact that computing exact bounds on the solution set is NP-hard, limits the range of techniques available for bounding the solution sets for such systems. However, the componentwise nature and other properties make the interval Gauss–Seidel method suited to computing meaningful bounds in a predictable amount of computing time. For this reason, we focus on the interval Gauss–Seidel method. In particular, we study and compare various preconditioning techniques we have developed over the years but not fully investigated, comparing the results. Based on a study of the preconditioners in detail on some simple, specially–designed small systems, we propose two heuristic algorithms, then study the behavior of the preconditioners on some larger, randomly generated systems, as well as a small selection of systems from the Matrix Market collection.
AMS Subject Classifications65F10 65G20 65K99
Keywordsnumerical linear algebra global optimization validated computing interval analysis
Unable to display preview. Download preview PDF.
- 1.Alefeld, G., Kreinovich, V., Mayer, G.: The shape of the symmetric solution set. In: Kearfott, R. B. and Kreinovich, V. (eds.) Applications of interval computations: Papers presented at an international workshop in El Paso, TX, February 23–25, 1995. Applied Optimization, vol. 3, Norwell, MA, pp. 61–80. Kluwer, Dordrecht (1996)Google Scholar
- 3.Boisvert R.F., Pozo R., Remington K., Barrett R. and Dongarra J.J. (1997). The Matrix Market: a web resource for test matrix collections. In: Boisvert, R.F. (eds) Quality of numerical software, assessment and enhancement, pp 125–137. Chapman and Hall, London Google Scholar
- 4.Gau, C.-Y., Stadtherr, M. A.: Reliable high-performance computing strategies for chemical process modelling. (1999) http://www.nd.edu/~markst/dallas99/slides213c.pdf
- 5.Hu, C.-Y.: Splitting preconditioners for the interval Newton method. Ph.D thesis, University of Southwestern Louisiana (1990)Google Scholar
- 6.Hu, C.-Y., Kearfott, R.B.: A pivoting scheme for the interval Gauss–Seidel method: Numerical experiments. In: Approximation, optimization and computing: Theory and applications, pp. 97–100. Elsevier, Amsterdam (1990)Google Scholar
- 9.Kearfott, R. B., Hongthong, S.: On preconditioners and splitting in the interval Gauss–Seidel method. Tech. report, University of Louisiana at Lafayette (2005) http://interval.louisiana.edu/preprints/2005_new_S_preconditioner.as_submitted.pdf
- 15.Novoa, M.: Theory of preconditioners for the interval Gauss-Seidel method and existence/uniqueness theory with interval newton methods. Tech. report, Deptartment of Mathematics, University of Southwestern Louisiana (1993)Google Scholar
- 19.Rohn J.: Solving systems of linear interval equations. In: Reliability in computing, perspectives in computing, pp. 171–182 Academic Press, New York (1988)Google Scholar
- 20.Rump, S. M.: INTLAB – INTerval LABoratory (INTLAB home page) (2005) http://www.ti3.tu-harburg.de/~rump/intlab/