Relaxed method to certify the solution of a linear system - Archive ouverte HAL Access content directly
Conference Papers Year :

Relaxed method to certify the solution of a linear system

Hong Diep Nguyen
  • Function : Author
  • PersonId : 925903
Nathalie Revol
Connectez-vous pour contacter l'auteur

Abstract

We propose a relaxed method to certify the solution of a linear system Ax=b. To certify this system, we compute an enclosure of the error while simultaneously refining the floating-point solution. We proceed by adapting floating-point iterative refinement methods. To this end, the residual system is first calculated using interval arithmetic instead of floating-point arithmetic. This residual system is preconditioned by an approximate inverse of A. Then we apply an iterative method to this system, namely the interval Gauss-Seidel method, in order to improve the error bound. A problem of this method is that the use of interval arithmetic increases significantly the execution time. To tackle this problem, we introduce a relaxation technique that yields an execution time for one iteration similar to the execution time of a floating-point matrix-vector product. Although it does not avoid the precondition step, this relaxed method helps to make the interval iterative part negligible in terms of excution time, meanwhile still producing very accurate solutions, which are exact to almost the last bit when the matrix of the system is not too ill-conditioned.
Not file

Dates and versions

hal-00748631 , version 1 (05-11-2012)

Identifiers

  • HAL Id : hal-00748631 , version 1

Cite

Hong Diep Nguyen, Nathalie Revol. Relaxed method to certify the solution of a linear system. SWIM (Small Workshop on Interval Methods), Jun 2009, Lausanne, France. ⟨hal-00748631⟩
141 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More