Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Complexity Theory III

The computational complexity of some problems of linear algebra
Extended abstract

Jonathan F. BussContact Information, Gudmund S. FrandsenContact Information and Jeffrey O. ShallitContact Information

(1)  Department of Computer Science, University of Waterloo, N2L 3G1 Waterloo, Ontario, Canada
(2)  BRICS, Department of Computer Science, University of Aarhus, Ny Munkegade, DK-8000 Aarhus C, Denmark
Abstract
In this paper we consider the computational complexity of some problems dealing with matrix rank. Let E, S be subsets of a commutative ring R. Let x 1, x 2, ..., x t be variables. Given a matrix M= M(x 1, x 2, ..., x t ) with entries chosen from E cup {x 1, x 2, ..., x t }, we want to determine

$$\max rank_S (M) = \mathop {max}\limits_{(a_1 ,a_2 ,...a_t ) \in S^t } rank M(a_1 ,a_2 ,...a_t )$$
and

$$\min rank_S (M) = \mathop {min}\limits_{(a_1 ,a_2 ,...a_t ) \in S^t } rank M(a_1 ,a_2 ,...a_t ).$$
There are also variants of these problems that specify more about the structure of M, or instead of asking for the minimum or maximum rank, ask if there is some substitution of the variables that makes the matrix invertible or noninvertible.
Depending on E, S, and on which variant is studied, the complexity of these problems can range from polynomial-time solvable to random polynomial-time solvable to NP-complete to PSPACE-solvable to unsolvable.
Supported in part by grants from NSERC Canada.
Supported in part by the ESPRIT Long Term Research Programme of the EU under project number 20244 (ALCOM-IT) and by BRICS, Basic Research in Computer Science, Centre of the Danish National Research Foundation.

Contact Information Jonathan F. Buss (Corresponding author)
Email: jfbuss@plg.uwaterloo.ca

Contact Information Gudmund S. Frandsen (Corresponding author)
Email: gsfrandsen@daimi.aau.dk

Contact Information Jeffrey O. Shallit (Corresponding author)
Email: shallit@uwaterloo.ca
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.112 • Server: mpweb15
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)