Charles Explorer logo
🇬🇧

COMPLEXITY OF COMPUTING INTERVAL MATRIX POWERS FOR SPECIAL CLASSES OF MATRICES

Publication at Faculty of Mathematics and Physics |
2020

Abstract

Computing powers of interval matrices is a computationally hard problem. Indeed, it is NP-hard even when the exponent is 3 and the matrices only have interval components in one row and one column.

Motivated by this result, we consider special types of interval matrices where the interval components occupy specific positions. We show that computing the third power of matrices with only one column occupied by interval components can be solved in cubic time; so the asymptotic time complexity is the same as for the real case (considering the textbook matrix product method).

We further show that for a fixed exponentkand for each interval matrix (of an arbitrary size) whosekth power has components that can be expressed as polynomials in a fixed number of interval variables, the computation of thekth power is polynomial up to a given accuracy. Polynomiality is shown by using the Tarski method of quantifier elimination.

This result is used to show the polynomiality of computing the cube of interval band matrices, among others. Additionally, we study parametric matrices and prove NP-hardness already for their squares.

We also describe one specific class of interval parametric matrices that can be squared by a polynomial algorithm.