Complete sequence

From testwiki
Jump to navigation Jump to search

In mathematics, a sequence of natural numbers is called a complete sequence if every positive integer can be expressed as a sum of values in the sequence, using each value at most once.

For example, the sequence of powers of two (1, 2, 4, 8, ...), the basis of the binary numeral system, is a complete sequence; given any natural number, we can choose the values corresponding to the 1 bits in its binary representation and sum them to obtain that number (e.g. 37 = 1001012 = 1 + 4 + 32). This sequence is minimal, since no value can be removed from it without making some natural numbers impossible to represent. Simple examples of sequences that are not complete include the even numbers, since adding even numbers produces only even numbers—no odd number can be formed.

Conditions for completeness

Without loss of generality, assume the sequence an is in non-decreasing order, and define the partial sums of an as:

sn=m=0nam.

Then the conditions

a0=1
sk1ak1 for all k1

are both necessary and sufficient for an to be a complete sequence.[1][2]

A corollary to the above states that

a0=1
2akak+1 for all k0

are sufficient for an to be a complete sequence.[1]

However there are complete sequences that do not satisfy this corollary, Template:Anchor for example Template:OEIS, consisting of the number 1 and the first prime after each power of 2.

Other complete sequences

The complete sequences include:

Applications

Just as the powers of two form a complete sequence due to the binary numeral system, in fact any complete sequence can be used to encode integers as bit strings. The rightmost bit position is assigned to the first, smallest member of the sequence; the next rightmost to the next member; and so on. Bits set to 1 are included in the sum. These representations may not be unique.

Fibonacci coding

For example, in the Fibonacci arithmetic system, based on the Fibonacci sequence, the number 17 can be encoded in six different ways:

Template:Figure space110111 (F6 + F5 + F3 + F2 + F1 = 8 + 5 + 2 + 1 + 1 = 17, maximal form)
Template:Figure space111001 (F6 + F5 + F4 + F1 = 8 + 5 + 3 + 1 = 17)
Template:Figure space111010 (F6 + F5 + F4 + F2 = 8 + 5 + 3 + 1 = 17)
1000111 (F7 + F3 + F2 + F1 = 13 + 2 + 1 + 1 = 17)
1001001 (F7 + F4 + F1 = 13 + 3 + 1 = 17)
1001010 (F7 + F4 + F2 = 13 + 3 + 1 = 17, minimal form, as used in Fibonacci coding)

The maximal form above will always use F1 and will always have a trailing one. The full coding without the trailing one can be found at Template:OEIS. By dropping the trailing one, the coding for 17 above occurs as the 16th term of A104326. The minimal form will never use F1 and will always have a trailing zero. The full coding without the trailing zero can be found at Template:OEIS. This coding is known as the Zeckendorf representation.

In this numeral system, any substring "100" can be replaced by "011" and vice versa due to the definition of the Fibonacci numbers.[5] Continual application of these rules will translate form the maximal to the minimal, and vice versa. The fact that any number (greater than 1) can be represented with a terminal 0 means that it is always possible to add 1, and given that, for 1 and 2 can be represented in Fibonacci coding, completeness follows by induction.

See also

References

  1. 1.0 1.1 1.2 1.3 Honsberger, R. Mathematical Gems III. Washington, DC: Math. Assoc. Amer., 1985, pp.123-128.
  2. Template:Cite journal
  3. S. S. Pillai, "An arithmetical function concerning primes", Annamalai University Journal (1930), pp. 159–167.
  4. Template:Citation.
  5. Stakhov, Alexey. Template:Cite web, Museum of Harmony and Golden Section. Originally accessed: 27 July 2010.

Template:Series (mathematics)