Non-adjacent form

Numeral systems by culture
Hindu-Arabic numerals
Western Arabic (Hindu numerals) Eastern Arabic Indian family Tamil	Burmese Khmer Lao Mongolian Thai
East Asian numerals
Chinese Japanese Suzhou	Korean Vietnamese Counting rods
Alphabetic numerals
Abjad Armenian Āryabhaṭa Cyrillic	Ge'ez Greek Georgian Hebrew
other historical systems
Aegean Attic Babylonian Brahmi Egyptian Etruscan Inuit	Kharosthi Mayan Quipu Roman
Positional systems by base
Decimal (10)
2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 20, 24, 30, 36, 60, 64
Balanced ternary
Non-positional system
Unary numeral system (Base 1)
List of numeral systems

The non-adjacent form (NAF) of a number is a unique signed-digit representation. Like the name suggests, non-zero values cannot be adjacent. For example:

(0 1 1 1)₂ = 4 + 2 + 1 = 7

(1 0 −1 1)₂ = 8 − 2 + 1 = 7

(1 −1 1 1)₂ = 8 − 4 + 2 + 1 = 7

(1 0 0 −1)₂ = 8 − 1 = 7

All are valid signed-digit representations of 7, but only the final representation (1 0 0 −1) is in NAF.

Obtaining NAF

There are several algorithms for obtaining the NAF representation of a value given in binary. One such is the following method using repeated division; it works by choosing non-zero coefficients such that the resulting quotient is divisible by 2 and hence the next coefficient a zero.

Input: E = (e_{m − 1} e_{m − 2} ··· e₁ e₀)₂

Output: E = (z_m z_{m − 1} ··· z₁ z₀)_NAF

i ← 0

while E > 0 do

if E is odd then

z_i ← 2 − (E mod 4)

else

z_i ← 0

E ← (E − z_i)/2

i ← i + 1

return z

Properties

NAF assures a unique representation of an integer, but the main benefit of it is that the Hamming weight of the value will be minimal. For regular binary representations of values, half of all bits will be non-zero, on average, but with NAF this drops to only one-third of all digits.

Obviously, at most half of the digits are non-zero, which was the reason it was introduced by G.W. Reitweisner in 1960 for speeding up early multiplication algorithms, much like Booth encoding.

Because every non-zero value has to be adjacent to two 0's, the NAF representation can be implemented such that it only takes a maximum of m + 1 bits for a value that would normally be represented in binary with m bits.

The properties of NAF make it useful in various algorithms, especially some in cryptography, e.g., for reducing the number of multiplications needed for performing an exponentiation. In the algorithm exponentiation by squaring the number of multiplications depends on the number of non-zero bits. If the exponent here is given in NAF form a digit value 1 implies a multiplication by the base, and a digit value -1 by its reciprocal.