STATUS
proposed
approved
The OEIS is supported by the many generous donors to the OEIS Foundation.
proposed
approved
editing
proposed
editing
proposed
nonn,changed,base
Lexicographically earliest infinite sequence of positive numbers such that, for n>1, a(n) AND a(n-1) is distinct from all previous AND operations between adjacent pairs, terms, where AND is the binary AND operator.
a(3) = 3 as a(2) = 3 and 3 AND 3 = 3, which has not occurred earlier for any AND's between adjacent terms. Note that a(3) cannot equal 2 = 10_2 as the result of any subsequent AND operation with 2 would result in an AND value be 0 or 2, both of which have already seenoccurred.
Each term must be chosen so that a subsequent term can always been found. This implies, for example, no power of 2 can ever be a term as the result of 2 an AND operation between such a number and any following number will be either 0 or the power of 2, both of which have already appeared as the result of AND operations.
Every a(n) where n is odd is a fixed point.
wip
Lexicographically earliest infinite sequence of positive numbers such that, for n>1, a(n) AND a(n-1) is distinct from all previous AND operations between adjacent pairs, where AND is the binary AND operator.
Each term must be chosen so that a subsequent term can always been found. This implies, for example, no power of 2 can ever be a term as the result of 2 AND any following number will be either 0 or 2, both of which have already appeared.
a(3) = 3 as a(2) = 3 and 3 AND 3 = 3, which has not occurred earlier for any AND's between adjacent terms. Note that a(3) cannot equal 2 = 10_2 as the result of any subsequent AND operation with 2 would result in an AND value already seen.