The equation A ⊗ x = B ⊗ y over (max, +)

  • Authors:
  • R. A. Cuninghame-Green;P. Butkovic

  • Affiliations:
  • School of Mathematics and Statistics, The University of Birmingham, Edgbaston, B15 2TT Birmingham, UK;School of Mathematics and Statistics, The University of Birmingham, Edgbaston, B15 2TT Birmingham, UK

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2003

Quantified Score

Hi-index 5.23

Visualization

Abstract

For the two-sided homogeneous linear equation system A ⊗ x = B ⊗ y over (max, +), with no infinite rows or columns in A or B, an algorithm is presented which converges to a finite solution from any finite starting point whenever a finite solution exists. If the finite elements of A, B are all integers, convergence is in a finite number of steps, for which a precise bound can be calculated if moreover one of A, B has only finite elements. The algorithm is thus pseudopolynomial in complexity.