0
$\begingroup$

If a matrix $A$ consists of rational elements, and we have access to only row operations of the form

  • Row addition/subtraction from row $i$ to row $j$
  • Row exchanging row $i$ with row $j$

What is the time complexity of reducing the matrix to a triangular form.

If we write the matrix as a set of fractions of the form $a_{i,j}=u_{i,j}/v_{i,j}$ where $u,v$ are integers. Then we could factor out all the denominators to be left with a matrix $A'$ of integers such that

$$A=\frac{1}{c}A'$$

where

$$c=\left(\prod_{i,j}v_{i,j}\right)$$

and each element is multiplied by $c$, i.e. $a_{i,j}'=a_{i,j}c$.

We could then perform integer Gaussian elimination which in itself can be performed in polynomial time.

However, $c$ is exponential in the size of the matrix. Is there any algorithm that exists which can perform Gaussian elimination of this form in polynomial time?

$\endgroup$
4
  • 5
    $\begingroup$ The value of $c$ is exponential, but its bit-length is only polynomial. Thus this gives a polynomial-time algorithm as is. $\endgroup$ Commented Nov 15, 2021 at 15:31
  • $\begingroup$ @EmilJeřábek Ah of course! $\endgroup$
    – Cameron
    Commented Nov 15, 2021 at 20:54
  • 1
    $\begingroup$ The raw operation you describe is insufficient. One also needs row exchange operation to bring a matrix to triangular form. $\endgroup$ Commented Nov 16, 2021 at 13:25
  • $\begingroup$ @AlexandreEremenko Sorry, yes, row exchanging is also allowed $\endgroup$
    – Cameron
    Commented Nov 16, 2021 at 14:02

0

You must log in to answer this question.

Browse other questions tagged .