cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A007837 Number of partitions of n-set with distinct block sizes.

Original entry on oeis.org

1, 1, 1, 4, 5, 16, 82, 169, 541, 2272, 17966, 44419, 201830, 802751, 4897453, 52275409, 166257661, 840363296, 4321172134, 24358246735, 183351656650, 2762567051857, 10112898715063, 62269802986835, 343651382271526, 2352104168848091, 15649414071734847
Offset: 0

Views

Author

Arnold Knopfmacher

Keywords

Comments

Conjecture: the Gauss congruences a(n*p^k) == a(n*p^(k-1)) (mod p^k) hold for all primes p and positive integers n and k. Cf. A185895. - Peter Bala, Mar 17 2022

Examples

			From _Gus Wiseman_, Jul 13 2019: (Start)
The a(1) = 1 through a(5) = 16 set partitions with distinct block sizes:
  {{1}}  {{1,2}}  {{1,2,3}}    {{1,2,3,4}}    {{1,2,3,4,5}}
                  {{1},{2,3}}  {{1},{2,3,4}}  {{1},{2,3,4,5}}
                  {{1,2},{3}}  {{1,2,3},{4}}  {{1,2},{3,4,5}}
                  {{1,3},{2}}  {{1,2,4},{3}}  {{1,2,3},{4,5}}
                               {{1,3,4},{2}}  {{1,2,3,4},{5}}
                                              {{1,2,3,5},{4}}
                                              {{1,2,4},{3,5}}
                                              {{1,2,4,5},{3}}
                                              {{1,2,5},{3,4}}
                                              {{1,3},{2,4,5}}
                                              {{1,3,4},{2,5}}
                                              {{1,3,4,5},{2}}
                                              {{1,3,5},{2,4}}
                                              {{1,4},{2,3,5}}
                                              {{1,4,5},{2,3}}
                                              {{1,5},{2,3,4}}
(End)

Links

Crossrefs

Row sums of A131632 or A262072 or A262078 or A309992.
Cf. A000110, A005651, A007838, A032011, A035470, A038041, A178682, A265950, A271423, A275780, A326026, A326514, A326517, A326533.
Column k=0 of A327869.

Programs

  • Maple
    a:= proc(n) option remember; `if`(n=0, 1, add(add((-d)*(-d!)^(-k/d),
       d=numtheory[divisors](k))*(n-1)!/(n-k)!*a(n-k), k=1..n))
    end:
seq(a(n), n=0..30);  # Alois P. Heinz, Sep 06 2008
# second Maple program:
A007837 := proc(n) option remember; local k; `if`(n = 0, 1,
add(binomial(n-1, k-1) * A182927(k) * A007837(n-k), k = 1..n)) end:
seq(A007837(i),i=0..24); # Peter Luschny, Apr 25 2011
  • Mathematica
    nn=20;p=Product[1+x^i/i!,{i,1,nn}];Drop[Range[0,nn]!CoefficientList[ Series[p,{x,0,nn}],x],1]  (* Geoffrey Critzer, Sep 22 2012 *)
a[0]=1; a[n_] := a[n] = Sum[(n-1)!/(n-k)!*DivisorSum[k, -#*(-#!)^(-k/#)&]* a[n-k], {k, 1, n}]; Table[a[n], {n, 0, 30}] (* Jean-François Alcover, Nov 23 2015, after Vladeta Jovovic *)
  • PARI
    {my(n=20); Vec(serlaplace(prod(k=1, n, (1+x^k/k!) + O(x*x^n))))} \\ Andrew Howroyd, Dec 21 2017

Formula

E.g.f.: Product_{m >= 1} (1+x^m/m!).
a(n) = Sum_{k=1..n} (n-1)!/(n-k)!*b(k)*a(n-k), where b(k) = Sum_{d divides k} (-d)*(-d!)^(-k/d) and a(0) = 1. - Vladeta Jovovic, Oct 13 2002
E.g.f.: exp(Sum_{k>=1} Sum_{j>=1} (-1)^(k+1)*x^(j*k)/(k*(j!)^k)). - Ilya Gutkovskiy, Jun 18 2018

Extensions

More terms from Christian G. Bower
a(0)=1 prepended by Alois P. Heinz, Aug 29 2015

A262071 Number T(n,k) of ordered partitions of an n-set with nondecreasing block sizes and maximal block size equal to k; triangle T(n,k), n>=0, 0<=k<=n, read by rows.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 0, 6, 3, 1, 0, 24, 18, 4, 1, 0, 120, 90, 30, 5, 1, 0, 720, 630, 200, 45, 6, 1, 0, 5040, 4410, 1610, 350, 63, 7, 1, 0, 40320, 37800, 13440, 3290, 560, 84, 8, 1, 0, 362880, 340200, 130200, 30870, 5922, 840, 108, 9, 1, 0, 3628800, 3515400, 1327200, 334950, 61992, 9870, 1200, 135, 10, 1
Offset: 0

Views

Author

Alois P. Heinz, Sep 10 2015

Keywords

Examples

			T(3,1) = 6: 1|2|3, 1|3|2, 2|1|3, 2|3|1, 3|1|2, 3|2|1.
T(3,2) = 3: 1|23, 2|13, 3|12.
T(3,3) = 1: 123.
Triangle T(n,k) begins:
  1;
  0,     1;
  0,     2,     1;
  0,     6,     3,     1;
  0,    24,    18,     4,    1;
  0,   120,    90,    30,    5,   1;
  0,   720,   630,   200,   45,   6,  1;
  0,  5040,  4410,  1610,  350,  63,  7, 1;
  0, 40320, 37800, 13440, 3290, 560, 84, 8, 1;

Links

Crossrefs

Columns k=0-10 give: A000007, A000142 (for n>0), A272492, A272493, A272494, A272495, A272496, A272497, A272498, A272499, A272500.
Main diagonal gives A000012.
Row sums give A005651.
T(2n,n) gives A266518.
Cf. A262072.

Programs

  • Maple
    b:= proc(n, i) option remember; `if`(n=0, 1, `if`(i<1, 0,
       b(n, i-1)+`if`(i>n, 0, binomial(n, i)*b(n-i, i))))
    end:
T:= (n, k)-> b(n, k) -`if`(k=0, 0, b(n, k-1)):
seq(seq(T(n, k), k=0..n), n=0..12);
  • Mathematica
    b[n_, i_] := b[n, i] = If[n == 0, 1, If[i < 1, 0, b[n, i - 1] + If[i > n, 0, Binomial[n, i]*b[n - i, i]]]]; T[n_, k_] :=  b[n, k] - If[k == 0, 0, b[n, k - 1]]; Table[T[n, k], {n, 0, 12}, {k, 0, n}] // Flatten (* Jean-François Alcover, Dec 12 2016, Alois P. Heinz *)

Formula

E.g.f. of column k: x^k * Product_{i=1..k} (i-1)!/(i!-x^i).

A262078 Number T(n,k) of partitions of an n-set with distinct block sizes and maximal block size equal to k; triangle T(n,k), k>=0, k<=n<=k*(k+1)/2, read by columns.

Original entry on oeis.org

1, 1, 1, 3, 1, 4, 10, 60, 1, 5, 15, 140, 280, 1260, 12600, 1, 6, 21, 224, 630, 3780, 34650, 110880, 360360, 2522520, 37837800, 1, 7, 28, 336, 1050, 7392, 74844, 276276, 1513512, 9459450, 131171040, 428828400, 2058376320, 9777287520, 97772875200, 2053230379200
Offset: 0

Views

Author

Alois P. Heinz, Sep 10 2015

Keywords

Examples

			Triangle T(n,k) begins:
: 1;
:    1;
:       1;
:       3,  1;
:           4,     1;
:          10,     5,    1;
:          60,    15,    6,    1;
:                140,   21,    7,   1;
:                280,  224,   28,   8,  1;
:               1260,  630,  336,  36,  9,  1;
:              12600, 3780, 1050, 480, 45, 10, 1;

Links

Crossrefs

Row sums give A007837.
Column sums give A262073.
Cf. A000217, A002024, A262071, A262072 (same read by rows).

Programs

  • Maple
    b:= proc(n, i) option remember; `if`(i*(i+1)/2n, 0, binomial(n, i)*b(n-i, i-1))))
    end:
T:= (n, k)-> b(n, k) -`if`(k=0, 0, b(n, k-1)):
seq(seq(T(n, k), n=k..k*(k+1)/2), k=0..7);
  • Mathematica
    b[n_, i_] := b[n, i] = If[i*(i+1)/2n, 0, Binomial[n, i]*b[n-i, i-1]]]]; T[n_, k_] :=  b[n, k] - If[k==0, 0, b[n, k-1]]; Table[T[n, k], {k, 0, 7}, {n, k, k*(k+1)/2}] // Flatten (* Jean-François Alcover, Dec 18 2016, after Alois P. Heinz *)

A262073 Number of partitions of k-sets with distinct block sizes and maximal block size equal to n (n <= k <= n*(n+1)/2).

Original entry on oeis.org

1, 1, 4, 75, 14301, 40870872, 2163410250576, 2525542278491543715, 75742007488274337351844747, 66712890687959224726994385259183993, 1942822997098466460791474215498474580001684381, 2080073366817374333366496031890682227244159986035768679984
Offset: 0

Views

Author

Alois P. Heinz, Sep 10 2015

Keywords

Comments

a(n)^(1/n^2) / sqrt(n) tends to exp(1/4)/sqrt(2) = 0.907943... . - Vaclav Kotesovec, May 14 2016

Links

Crossrefs

Column sums of A262072 or A262078.
Cf. A000217.

Programs

  • Maple
    b:= proc(n, i) option remember; `if`(i*(i+1)/2n, 0, binomial(n, i)*b(n-i, i-1))))
    end:
T:= (n, k)-> b(n, k) -`if`(k=0, 0, b(n, k-1)):
a:= n-> add(T(k, n), k=n..n*(n+1)/2):
seq(a(n), n=0..14);
  • Mathematica
    b[n_, i_] := b[n, i] = If[i*(i + 1)/2 < n, 0, If[n == 0, 1, b[n, i - 1] + If[i > n, 0, Binomial[n, i]*b[n - i, i - 1]]]];
T[n_, k_] := b[n, k] - If[k == 0, 0, b[n, k - 1]];
a[n_] := Sum[T[k, n], { k, n, n*(n + 1)/2}];
Table[a[n], {n, 0, 14}] (* Jean-François Alcover, May 24 2018, translated from Maple *)

Formula

a(n) = Sum_{k=n..n*(n+1)/2} A262072(k,n).
Showing 1-4 of 4 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.