Parallel addition in non-standard numeration systems

  • Authors:
  • Christiane Frougny;Edita Pelantová;Milena Svobodová

  • Affiliations:
  • LIAFA, UMR 7089 CNRS & Universitéé Paris 7, and Université Paris 8, Case 7014, 75205 Paris Cedex 13, France;Doppler Institute for Mathematical Physics and Applied Mathematics, Czech Technical University in Prague, Trojanova 13, 120 00 Praha 2, Czech Republic and Department of Mathematics, FNSPE, Czech T ...;Doppler Institute for Mathematical Physics and Applied Mathematics, Czech Technical University in Prague, Trojanova 13, 120 00 Praha 2, Czech Republic and Department of Mathematics, FNSPE, Czech T ...

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2011

Quantified Score

Hi-index 5.23

Visualization

Abstract

We consider numeration systems where digits are integers and the base is an algebraic number @b such that |@b|1 and @b satisfies a polynomial where one coefficient is dominant in a certain sense. For this class of bases @b, we can find an alphabet of signed-digits on which addition is realizable by a parallel algorithm in constant time. This algorithm is a kind of generalization of the one of Avizienis. We also discuss the question of cardinality of the used alphabet, and we are able to modify our algorithm in order to work with a smaller alphabet. We then prove that @b satisfies this dominance condition if and only if it has no conjugate of modulus 1. When the base @b is the Golden Mean, we further refine the construction to obtain a parallel algorithm on the alphabet {-1,0,1}. This alphabet cannot be reduced any more.