|
| |
|
|
A351993
|
|
Lexicographically earliest infinite sequence of distinct positive numbers such that, when they are written in binary and concatenated, every pair of digits starting from a(1) contain the digits 0 and 1.
|
|
2
|
|
|
|
0, 1, 2, 4, 5, 9, 10, 18, 6, 20, 12, 21, 37, 38, 41, 42, 74, 22, 76, 25, 82, 26, 84, 44, 50, 52, 85, 149, 150, 153, 154, 165, 166, 169, 170, 298, 86, 300, 89, 306, 90, 308, 101, 330, 102, 332, 105, 338, 106, 340, 172, 178, 180, 202, 204, 210, 212, 341, 597, 598, 601, 602, 613, 614, 617, 618
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
1,3
|
|
|
COMMENTS
|
Numerous numbers can be immediately eliminated as possible terms in this sequence. Clearly any number whose binary string contains three or more consecutive 1's or 0's cannot be a term. Likewise any number ending with '11' binary cannot be a term as either the 1's appear in one pair, which is not allowed, else the final 1 is the first digit in the next pair, but that would force the next number to have 0 as its first digit, which is also not allowed. Also any number which matches the string XXAXX in binary cannot occur, where 'X' is either 0 or 1 and 'A' is an arbitrarily long string containing an odd number of 0's or 1's. Any such number would either have the first XX in a single pair, and if not, then the second XX would be.
This sequence is the binary equivalent of A345227. As it immediately reaches the regime where almost all pairs of digits must contain 0 and 1 it possibly offers insight into the behavior of A345227 when n>>10^10 in that sequence.
|
|
|
LINKS
|
|
|
|
EXAMPLE
|
a(1) = 0 = 0_2, a(2) = 1 = 1_2. The only way to use two numbers in one pair.
a(3) = 2 = 10_2. The next smallest unused number to contain 1 then 0 and fill the next pair.
a(4) = 4 = 100_2. The next smallest unused number to contain 1 then 0, which fills the next pair, and then a 0 in the second-next pair. Note 3 = 11_2 can never be a term.
a(5) = 5 = 101_2. The next smallest unused number to contain a 1 to fill the pair started by a(4) and then 0 and 1 to fill the next pair.
a(6) = 9 = 1001_2. The next smallest unused number to contain two pairs both of which contain 0 and 1 and fill the next two pairs. Note 6 = 110_2 and 7 = 111_2 would fill the next pair with two 1's while 8 = 1000_2 would fill the second-next pair with two 0's. Neither 7 or 8 can ever be terms.
|
|
|
PROG
|
(PARI) See Links section.
|
|
|
CROSSREFS
|
|
|
|
KEYWORD
|
|
|
|
AUTHOR
|
|
|
|
STATUS
|
approved
|
| |
|
|
