OFFSET
1,2
COMMENTS
This sequence is similar to A093714 with the additional restriction that no term can have a 1-bit in common with the previous term in their binary expansions. This leads to the terms showing similar behavior to A109812. See the linked image.
In the first 100000 terms the fixed points are 1, 3, 5, 12, 21, 26, 44, 49, 227, 3488, 5890, 9067, 9310, 37625, 74702, although it is likely more exist. In the same range the lowest unseen number is 30686; the sequence is conjectured to be a permutation of the positive integers.
LINKS
Scott R. Shannon, Image of the first 100000 terms. The green line is y = n.
EXAMPLE
a(4) = 8 as a(3) = 3, and 8 has not yet appeared, is coprime to 3, is not 1 more than 3, while 8 = 1000_2 and 3 = 11_2 which have no 1-bits in common.
PROG
(Python)
from math import gcd
from itertools import count, islice
def A353990_gen(): # generator of terms
yield 1
a, s, b = 1, 2, set()
while True:
for i in count(s):
if not (i == a+1 or i & a or gcd(i, a) > 1 or i in b):
yield i
a = i
b.add(i)
while s in b:
s += 1
break
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Scott R. Shannon, May 13 2022
STATUS
approved