In this work the antitriangular decomposition for symmetric matrices, also known as the Batman decomposition, is examined and it's existence is proved. An algorithm which uses the multiplication by orthogonal matrices to transform the input matrix to a block antitriangular matrix is presented. This algorithm allows us to determine the inertia and estimate the eigenvalues more efficiently. This claim is supported by examples. Also included in the work is the analysis of time complexity of the
algorithm, which can variate strongly depending on the input data.
|