Communication: Positivity of second order linear recurrent sequences

  • Authors:

  • Vesa Halava;Tero Harju;Mika Hirvensalo

  • Affiliations:

  • Department of Mathematics and TUCS - Turku Centre for Computer Science, University of Turku FIN-20014 Turku, Finland;Department of Mathematics and TUCS - Turku Centre for Computer Science, University of Turku FIN-20014 Turku, Finland;Department of Mathematics and TUCS - Turku Centre for Computer Science, University of Turku FIN-20014 Turku, Finland

  • Venue:
  • Discrete Applied Mathematics
  • Year:
  • 2006

Quantified Score

Hi-index 0.05

Visualization

Abstract

We give a decision method for the Positivity Problem for second order recurrent sequences: it is decidable whether or not a recurrent sequence defined by u"n=au"n"-"1+bu"n"-"2 has only nonnegative terms.