|
%I #20 Jun 12 2021 06:05:43
%S 1,1,1,1,1,2,1,1,1,2,1,1,1,1,1,1,1,2,1,1,2,1,1,2,1,2,1,3,1,1,1,1,1,2,
%T 1,4,1,1,2,3,1,1,1,1,1,1,1,1,1,2,1,1,1,1,2,1,2,2,1,3,1,1,1,1,1,3,1,3,
%U 1,1,1,1,1,2,2,1,1,4,1,1,1,2,1,1,1,1,1,2,1,1,1,2,2,1,1,2,1,2,1,3,1,1,1,1,2
%N Number of divisors d of n for which A011772(d) = A011772(n), where A011772(n) is the smallest number m such that m(m+1)/2 is divisible by n.
%H Antti Karttunen, <a href="/A344590/b344590.txt">Table of n, a(n) for n = 1..65537</a>
%F a(n) = Sum_{d|n} [A011772(d) = A011772(n)], where [ ] is the Iverson bracket.
%F a(n) = A000005(n) - A344589(n).
%F a(n) <= A344770(n).
%e 36 has 9 divisors: 1, 2, 3, 4, 6, 9, 12, 18, 36. When A011772 is applied to them, one obtains values [1, 3, 2, 7, 3, 8, 8, 8, 8], thus there are four divisors that obtain the maximal value 8 obtained at 36 itself, therefore a(36) = 4.
%t A011772[n_] := Module[{m = 1}, While[Not[IntegerQ[m(m+1)/(2n)]], m++]; m];
%t a[n_] := With[{m = A011772[n]}, Count[Divisors[n], d_ /; A011772[d] == m]];
%t Array[a, 100] (* _Jean-François Alcover_, Jun 12 2021 *)
%o (PARI)
%o A011772(n) = { if(n==1, return(1)); my(f=factor(if(n%2, n, 2*n)), step=vecmax(vector(#f~, i, f[i, 1]^f[i, 2]))); forstep(m=step, 2*n, step, if(m*(m-1)/2%n==0, return(m-1)); if(m*(m+1)/2%n==0, return(m))); }; \\ From A011772
%o A344590(n) = { my(x=A011772(n)); sumdiv(n,d,A011772(d)==x); };
%o (Python)
%o from itertools import combinations
%o from functools import reduce
%o from operator import mul
%o from sympy import factorint, divisors
%o from sympy.ntheory.modular import crt
%o def A011772(n):
%o plist = [p**q for p, q in factorint(2*n).items()]
%o if len(plist) == 1:
%o return n-1 if plist[0] % 2 else 2*n-1
%o return min(min(crt([m,2*n//m],[0,-1])[0],crt([2*n//m,m],[0,-1])[0]) for m in (reduce(mul, d) for l in range(1,len(plist)//2+1) for d in combinations(plist,l)))
%o def A344590(n):
%o m = A011772(n)
%o return sum(1 for d in divisors(n) if A011772(d) == m) # _Chai Wah Wu_, Jun 02 2021
%Y Cf. A000005, A011772, A344588 (positions of records), A344589, A344758, A344770, A344881 (positions of ones), A344882 (of terms > 1).
%K nonn
%O 1,6
%A _Antti Karttunen_, May 31 2021
|
