OFFSET
1,3
COMMENTS
Ordinal transform of A300250.
Equivalently, a(n) counts the positive integers k <= n such that, listing the divisors of k and of n in size order, the i-th divisor of k has the same prime signature as the i-th divisor of n for all i.
Refines A335286: A335286 is the ordinal transform of A101296 (which classifies n by its prime signature alone), while this sequence is the ordinal transform of A300250 (which classifies n by the entire sequence of prime signatures of its divisors in size order). The two sequences first differ at n = 20: 12 and 20 share prime signature [2,1], but the divisors of 12 begin 1, 2, 3, 4, ... while those of 20 begin 1, 2, 4, 5, ... -- so the third divisor of 12 is a prime while the third divisor of 20 is a prime square, placing them in different A300250-classes.
EXAMPLE
a(20) = 1 because the divisors of 20 in increasing order are 1, 2, 4, 5, 10, 20 with prime signatures (), [1], [2], [1], [1,1], [2,1], and no smaller positive integer has divisors with this sequence of prime signatures.
PROG
(Python)
from sympy import factorint, divisors
from collections import Counter
seen = Counter()
def p_sig(n): return tuple(sorted(factorint(n).values(), reverse=True))
def p_prof(n): return tuple(p_sig(d) for d in sorted(divisors(n)))
def a(n):
p = p_prof(n)
seen[p] += 1
return seen[p]
print([a(n) for n in range(1, 80)]) # Peter Luschny, May 11 2026
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Marc LeBrun, May 02 2026
STATUS
approved
