Lower bounds for solving linear diophantine equations on random access machines

  • Authors:
  • Friedhelm Meyer auf der Heide

  • Affiliations:
  • Johann Wolfgang Goethe Univ., Frankfurt, W. Germany

  • Venue:
  • Journal of the ACM (JACM)
  • Year:
  • 1985

Quantified Score

Hi-index 0.01

Visualization

Abstract

The problem of recognizing the language Ln(Ln, k) of solvable Diophantine linear equations with n variables (and solutions from {O, … , k}n) is considered. The languages ∪n&egr;N Ln, ∪n&egr;N Ln, l, the knapsack problem, are NP-complete. The &OHgr;(n2 lower bound for Ln,1 on linear search algorithms due to Dobkin and Lipton is generalized to an &OHgr;(n2log(k + 1)) lower bound for Ln, k. The method of Klein and Meyer auf der Heide is further improved to carry over the &OHgr;(n2) lower bound for Ln, 1 to random access machines (RAMS) in such a way that it holds for a large class of problems and for very small input sets. By this method, lower bounds that depend on the input size, as is necessary for Ln, are proved. Thereby, an &OHgr;(n2log(k + 1)) lower bound is obtained for RAMS recognizing Ln or Ln, k, for inputs from {0, … , (nk)0(n2)}n.