A238967 Maximal size of an antichain in canonical order.

1, 1, 1, 2, 1, 2, 3, 1, 2, 3, 4, 6, 1, 2, 3, 4, 5, 7, 10, 1, 2, 3, 4, 4, 6, 8, 7, 10, 14, 20, 1, 2, 3, 4, 4, 6, 8, 7, 8, 11, 15, 13, 18, 25, 35, 1, 2, 3, 4, 4, 6, 8, 5, 8, 9, 12, 16, 10, 14, 16, 22, 30, 19, 26, 36, 50, 70, 1, 2, 3, 4, 4, 6, 8, 5, 8, 9, 12, 16, 9, 11, 15, 17, 23, 31, 12, 19, 26, 22, 30, 41, 56, 35, 48, 66, 91, 126

Offset

0,4

Links

Andrew Howroyd, Table of n, a(n) for n = 0..2713 (rows 0..20)

S.-H. Cha, E. G. DuCasse, and L. V. Quintas, Graph Invariants Based on the Divides Relation and Ordered by Prime Signatures, arxiv:1405.5283 [math.NT], 2014.

Formula

T(n,k) = A096825(A063008(n,k)). - Andrew Howroyd, Mar 25 2020

Example

Triangle T(n,k) begins:
  1;
  1;
  1, 2;
  1, 2, 3;
  1, 2, 3, 4, 6;
  1, 2, 3, 4, 5, 7, 10;
  1, 2, 3, 4, 4, 6,  8, 7, 10, 14, 20;
  ...

Maple

with(numtheory):
f:= n-> (m-> add(`if`(bigomega(d)=m, 1, 0),
     d=divisors(n)))(iquo(bigomega(n), 2)):
b:= (n, i)-> `if`(n=0 or i=1, [[1$n]], [map(x->
    [i, x[]], b(n-i, min(n-i, i)))[], b(n, i-1)[]]):
T:= n-> map(x-> f(mul(ithprime(i)^x[i], i=1..nops(x))), b(n$2))[]:
seq(T(n), n=0..9);  # Alois P. Heinz, Mar 26 2020

Prog

(PARI) \\ here b(n) is A096825.
b(n)={my(h=bigomega(n)\2); sumdiv(n, d, bigomega(d)==h)}
N(sig)={prod(k=1, #sig, prime(k)^sig[k])}
Row(n)={apply(s->b(N(s)), vecsort([Vecrev(p) | p<-partitions(n)], , 4))}
{ for(n=0, 8, print(Row(n))) } \\ Andrew Howroyd, Mar 25 2020

Crossrefs

Cf. A238954 in canonical order.

Cf. A063008, A096825.

Sequence in context: A329795 A329794 A238954 * A066657 A119444 A060040

Adjacent sequences: A238964 A238965 A238966 * A238968 A238969 A238970

Keyword

nonn,tabf

Author

Sung-Hyuk Cha, Mar 07 2014

Extensions

Offset changed and terms a(50) and beyond from Andrew Howroyd, Mar 25 2020

Status

approved