%I #15 Jun 08 2022 03:22:05
%S 25,39,55,57,69,87,95,111,115,119,121,123,125,141,145,159,169,177,183,
%T 185,187,201,203,205,213,215,219,221,235,237,249,253,265,289,291,299,
%U 301,303,305,319,321,323,329,335,339,355,361,365,371,377,391,393,411,413
%N Composite numbers whose divisors have distinct binary weights (A000120).
%C Without the restriction of composite numbers, 1 and all the odd primes would have been terms of this sequence.
%C Since 1 and 2 have the same binary weight, all the terms are odd.
%H Amiram Eldar, <a href="/A354722/b354722.txt">Table of n, a(n) for n = 1..10000</a>
%e 25 is a term since its divisors, 1, 5 and 25, have binary weights 1, 2 and 3, respectively.
%e 55 is a term since its divisors, 1, 5, 11 and 55, have binary weights 1, 2, 3 and 5, respectively.
%t bw[n_] := DigitCount[n, 2, 1]; q[n_] := CompositeQ[n] && UnsameQ @@ (bw /@ Divisors[n]); Select[Range[1, 400, 2], q]
%o (Python)
%o from sympy import divisors
%o def binwt(n): return bin(n).count("1")
%o def ok(n):
%o binwts, divs = set(), 0
%o for d in divisors(n, generator=True):
%o b = binwt(d)
%o if b in binwts: return False
%o binwts.add(b)
%o divs += 1
%o return divs > 2
%o print([k for k in range(415) if ok(k)]) # _Michael S. Branicky_, Jun 04 2022
%o (PARI) isok(c) = {if ((c>1) && !isprime(c), my(d=divisors(c)); #Set(apply(hammingweight, d)) == #d;);} \\ _Michel Marcus_, Jun 04 2022
%Y Cf. A000120, A027750.
%Y Subsequences: A255401 and A354724.
%K nonn,base
%O 1,1
%A _Amiram Eldar_, Jun 04 2022
|