%I #29 Aug 23 2021 13:41:03
%S 1,1,1,1,1,2,1,1,1,2,1,2,1,2,2,1,1,2,1,2,2,2,1,2,1,2,1,2,1,3,1,1,2,2,
%T 2,3,1,2,2,2,1,3,1,2,2,2,1,2,1,2,2,2,1,2,2,2,2,2,1,4,1,2,2,1,2,3,1,2,
%U 2,3,1,3,1,2,2,2,2,3,1,2,1,2,1,4,2,2,2,2,1,4,2,2,2,2,2,2,1,2,2,3
%N Maximal size of an antichain in divisor lattice D(n).
%C The divisor lattice D(n) is the lattice of the divisors of the natural number n.
%C Also the number of divisors of n with half (rounded either way) as many prime factors (counting multiplicity) as n. - _Gus Wiseman_, Aug 24 2018
%H Eric M. Schmidt, <a href="/A096825/b096825.txt">Table of n, a(n) for n = 1..10000</a>
%H S.-H. Cha, E. G. DuCasse and L. V. Quintas, <a href="http://arxiv.org/abs/1405.5283">Graph invariants based on the divides relation and ordered by prime signatures</a>, arXiv:1405.5283 [math.NT] (2014), (2.19).
%F a(n) is the coefficient at x^k in (1+x+...+x^k_1)*...*(1+x+...+x^k_q) where n=p_1^k_1*...*p_q^k_q is the prime factorization of n and k=floor((k_1+...+k_q)/2). - Alec Mihailovs (alec(AT)mihailovs.com), Aug 22 2004
%e There are two maximal size antichains of divisors of 180, namely {12, 18, 20, 30, 45} and {4, 6, 9, 10, 15}. Both have length 5 so a(180) = 5. - _Gus Wiseman_, Aug 24 2018
%p a:=proc(n) local klist,x; klist:=ifactors(n)[2,1..-1,2]; coeff(normal(mul((1-x^(k+1))/(1-x),k=klist)),x,floor(add(k,k=klist)/2)) end: seq(a(n), n=1..100);
%t a[n_] := Module[{pp, kk, x}, {pp, kk} = Transpose[FactorInteger[n]]; Coefficient[ Product[ Total[x^Range[0, k]], {k, kk}], x, Quotient[ Total[ kk], 2] ] ]; Array[a, 100] (* _Jean-François Alcover_, Nov 20 2017 *)
%t Table[Length[Select[Divisors[n],PrimeOmega[#]==Round[PrimeOmega[n]/2]&]],{n,50}] (* _Gus Wiseman_, Aug 24 2018 *)
%o (Sage)
%o def A096825(n) :
%o if n==1 : return 1
%o R.<t> = QQ[]; mults = [x[1] for x in factor(n)]
%o return prod((t^(m+1)-1)//(t-1) for m in mults)[sum(mults)//2]
%o # _Eric M. Schmidt_, May 11 2013
%o (PARI) a(n)=if(n<6||isprimepower(n), return(1)); my(d=divisors(n),r=1,u); d=d[2..#d-1];for(k=0,2^#d-1,if(hammingweight(k)<=r,next); u=vecextract(d,k); for(i=1,#u, for(j=i+1,#u, if(u[j]%u[i]==0, next(3))));r=#u);r \\ _Charles R Greathouse IV_, May 14 2013
%o (Python)
%o from sympy import factorint
%o from sympy.utilities.iterables import multiset_combinations
%o def A096825(n):
%o fs = factorint(n)
%o return len(list(multiset_combinations(fs,sum(fs.values())//2))) # _Chai Wah Wu_, Aug 23 2021
%Y Cf. A001055, A008480, A096826, A096827, A253249, A285573.
%K nonn
%O 1,6
%A Yuval Dekel (dekelyuval(AT)hotmail.com) and _Vladeta Jovovic_, Aug 17 2004
%E More terms from Alec Mihailovs (alec(AT)mihailovs.com), Aug 22 2004
|