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-10 of 11 results. Next

A306017 Number of non-isomorphic multiset partitions of weight n in which all parts have the same size.

Original entry on oeis.org

1, 1, 4, 6, 17, 14, 66, 30, 189, 222, 550, 112, 4696, 202, 5612, 30914, 63219, 594, 453125, 980, 3602695, 5914580, 1169348, 2510, 299083307, 232988061, 23248212, 2669116433, 14829762423, 9130, 170677509317, 13684, 1724710753084, 2199418340875, 14184712185, 38316098104262
Offset: 0

Views

Author

Gus Wiseman, Jun 17 2018

Keywords

Comments

A multiset partition of weight n is a finite multiset of finite nonempty multisets whose sizes sum to n.
Number of distinct nonnegative integer matrices with all row sums equal and total sum n up to row and column permutations. - Andrew Howroyd, Sep 05 2018
From Gus Wiseman, Oct 11 2018: (Start)
Also the number of non-isomorphic multiset partitions of weight n in which each vertex appears the same number of times. For n = 4, non-isomorphic representatives of these 17 multiset partitions are:
{{1,1,1,1}}
{{1,1,2,2}}
{{1,2,3,4}}
{{1},{1,1,1}}
{{1},{1,2,2}}
{{1},{2,3,4}}
{{1,1},{1,1}}
{{1,1},{2,2}}
{{1,2},{1,2}}
{{1,2},{3,4}}
{{1},{1},{1,1}}
{{1},{1},{2,2}}
{{1},{2},{1,2}}
{{1},{2},{3,4}}
{{1},{1},{1},{1}}
{{1},{1},{2},{2}}
{{1},{2},{3},{4}}
(End)

Examples

			Non-isomorphic representatives of the a(4) = 17 multiset partitions:
  {{1,1,1,1}}
  {{1,1,2,2}}
  {{1,2,2,2}}
  {{1,2,3,3}}
  {{1,2,3,4}}
  {{1,1},{1,1}}
  {{1,1},{2,2}}
  {{1,2},{1,2}}
  {{1,2},{2,2}}
  {{1,2},{3,3}}
  {{1,2},{3,4}}
  {{1,3},{2,3}}
  {{1},{1},{1},{1}}
  {{1},{1},{2},{2}}
  {{1},{2},{2},{2}}
  {{1},{2},{3},{3}}
  {{1},{2},{3},{4}}
		

Crossrefs

Programs

  • Mathematica
    permcount[v_List] := Module[{m = 1, s = 0, k = 0, t}, For[i = 1, i <= Length[v], i++, t = v[[i]]; k = If[i > 1 && t == v[[i - 1]], k + 1, 1]; m *= t*k; s += t]; s!/m];
    K[q_List, t_, k_] := SeriesCoefficient[1/Product[g = GCD[t, q[[j]]]; (1 - x^(q[[j]]/g))^g, {j, 1, Length[q]}], {x, 0, k}];
    RowSumMats[n_, m_, k_] := Module[{s = 0}, Do[s += permcount[q]* SeriesCoefficient[Exp[Sum[K[q, t, k]/t*x^t, {t, 1, n}]], {x, 0, n}], {q, IntegerPartitions[m]}]; s/m!];
    a[n_] := a[n] = If[n==0, 1, If[PrimeQ[n], 2 PartitionsP[n], Sum[ RowSumMats[ n/d, n, d], {d, Divisors[n]}]]];
    Table[Print[n, " ", a[n]]; a[n], {n, 0, 35}] (* Jean-François Alcover, Nov 07 2019, after Andrew Howroyd *)
  • PARI
    \\ See A318951 for RowSumMats.
    a(n)={sumdiv(n,d,RowSumMats(n/d,n,d))} \\ Andrew Howroyd, Sep 05 2018

Formula

For p prime, a(p) = 2*A000041(p).
a(n) = Sum_{d|n} A331485(n/d, d). - Andrew Howroyd, Feb 09 2020

Extensions

Terms a(11) and beyond from Andrew Howroyd, Sep 05 2018

A306021 Number of set-systems spanning {1,...,n} in which all sets have the same size.

Original entry on oeis.org

1, 1, 2, 6, 54, 1754, 1102746, 68715913086, 1180735735356265746734, 170141183460507906731293351306656207090, 7237005577335553223087828975127304177495735363998991435497132232365910414322
Offset: 0

Views

Author

Gus Wiseman, Jun 17 2018

Keywords

Comments

a(n) is the number of labeled uniform hypergraphs spanning n vertices. - Andrew Howroyd, Jan 16 2024

Examples

			The a(3) = 6 set-systems in which all sets have the same size:
  {{1,2,3}}
  {{1}, {2}, {3}}
  {{1,2}, {1,3}}
  {{1,2}, {2,3}}
  {{1,3}, {2,3}}
  {{1,2}, {1,3}, {2,3}}
		

Crossrefs

Row sums of A299471.
The unlabeled version is A301481.
The connected version is A299353.

Programs

  • Mathematica
    Table[Sum[(-1)^(n-k)*Binomial[n,k]*(1+Sum[2^Binomial[k,d]-1,{d,k}]),{k,0,n}],{n,12}]
  • PARI
    a(n) = if(n==0, 1, sum(k=0, n, sum(d=0, n, (-1)^(n-d)*binomial(n,d)*2^binomial(d,k)))) \\ Andrew Howroyd, Jan 16 2024

Formula

a(n) = Sum_{k = 0..n} (-1)^(n-k)*binomial(n,k)*(1 - k + Sum_{d = 1..k} 2^binomial(k, d)).
Inverse binomial transform of A306020. - Andrew Howroyd, Jan 16 2024

A317583 Number of multiset partitions of normal multisets of size n such that all blocks have the same size.

Original entry on oeis.org

1, 4, 8, 30, 32, 342, 128, 3754, 11360, 56138, 2048, 3834670, 8192, 27528494, 577439424, 2681075210, 131072, 238060300946, 524288, 11045144602614, 115488471132032, 49840258213638, 8388608, 152185891301461434, 140102945910265344, 124260001149229146, 85092642310351607968
Offset: 1

Views

Author

Gus Wiseman, Aug 01 2018

Keywords

Comments

A multiset is normal if it spans an initial interval of positive integers.
a(n) is the number of nonnegative integer matrices with total sum n, nonzero rows and each column with the same sum with columns in nonincreasing lexicographic order. - Andrew Howroyd, Jan 15 2020

Examples

			The a(3) = 8 multiset partitions:
  {{1,1,1}}
  {{1,1,2}}
  {{1,2,2}}
  {{1,2,3}}
  {{1},{1},{1}}
  {{1},{1},{2}}
  {{1},{2},{2}}
  {{1},{2},{3}}
		

Crossrefs

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
    mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
    allnorm[n_]:=Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1];
    Table[Length[Select[Join@@mps/@allnorm[n],SameQ@@Length/@#&]],{n,8}]
  • PARI
    \\ here U(n,m) gives number for m blocks of size n.
    U(n,m)={sum(k=1, n*m, binomial(binomial(k+n-1, n)+m-1, m)*sum(r=k, n*m, binomial(r, k)*(-1)^(r-k)) )}
    a(n)={sumdiv(n, d, U(d, n/d))} \\ Andrew Howroyd, Sep 15 2018

Formula

a(p) = 2^p for prime p. - Andrew Howroyd, Sep 15 2018
a(n) = Sum_{d|n} A331315(n/d, d). - Andrew Howroyd, Jan 15 2020

Extensions

Terms a(9) and beyond from Andrew Howroyd, Sep 15 2018

A299471 Regular triangle where T(n,k) is the number of labeled k-uniform hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 1, 1, 4, 1, 1, 41, 11, 1, 1, 768, 958, 26, 1, 1, 27449, 1042642, 32596, 57, 1, 1, 1887284, 34352419335, 34359509614, 2096731, 120, 1, 1, 252522481, 72057319189324805, 1180591620442534312297, 72057594021152435, 268434467, 247, 1, 1, 66376424160
Offset: 1

Views

Author

Gus Wiseman, Jun 18 2018

Keywords

Examples

			Triangle begins:
  1;
  1,     1;
  1,     4,       1;
  1,    41,      11,     1;
  1,   768,     958,    26,  1;
  1, 27449, 1042642, 32596, 57, 1;
  ...
		

Crossrefs

Columns 1..4 are A000012, A006129, A302374, A302396.
Row sums are A306021.
The unlabeled version is A301922.
The connected version is A299354.

Programs

  • Mathematica
    Table[Sum[(-1)^(n-d)*Binomial[n,d]*2^Binomial[d,k],{d,0,n}],{n,10},{k,n}]
  • PARI
    T(n, k) = sum(d = 0, n, (-1)^(n-d)*binomial(n,d)*2^binomial(d,k)) \\ Andrew Howroyd, Jan 16 2024

Formula

T(n, k) = Sum_{d = 0..n} (-1)^(n-d)*binomial(n,d)*2^binomial(d,k).

A331508 Array read by antidiagonals: A(n,k) is the number of nonisomorphic T_0 n-regular set multipartitions (multisets of sets) on a k-set.

Original entry on oeis.org

1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 2, 1, 1, 0, 1, 5, 3, 1, 1, 0, 1, 11, 12, 4, 1, 1, 0, 1, 26, 66, 25, 5, 1, 1, 0, 1, 68, 445, 278, 44, 6, 1, 1, 0, 1, 177, 4279, 5532, 966, 73, 7, 1, 1, 0, 1, 497, 53340, 200589, 53535, 2957, 112, 8, 1, 1, 0, 1, 1476, 846254, 11662671, 7043925, 431805, 8149, 166, 9, 1, 1
Offset: 0

Views

Author

Andrew Howroyd, Jan 18 2020

Keywords

Comments

An n-regular set multipartition is a finite multiset of nonempty sets in which each element appears in n blocks.
A set multipartition is T_0 if for every two distinct elements there exists a block containing one but not the other element.
A(n,k) is the number of nonequivalent binary matrices with k distinct columns and any number of nonzero rows with n ones in every column up to permutation of rows and columns.
A(n,k) is the number of non-isomorphic set-systems with k parts each of size n.

Examples

			Array begins:
===============================================
n\k | 0 1 2  3    4      5       6        7
----+------------------------------------------
  0 | 1 1 0  0    0      0       0        0 ...
  1 | 1 1 1  1    1      1       1        1 ...
  2 | 1 1 2  5   11     26      68      177 ...
  3 | 1 1 3 12   66    445    4279    53340 ...
  4 | 1 1 4 25  278   5532  200589 11662671 ...
  5 | 1 1 5 44  966  53535 7043925 ...
  6 | 1 1 6 73 2957 431805 ...
  ...
The A(2,3) = 5 matrices are:
  [1 0 0]  [1 1 0]  [1 1 1]  [1 1 0]  [1 1 0]
  [1 0 0]  [1 0 0]  [1 0 0]  [1 0 1]  [1 0 1]
  [0 1 0]  [0 1 0]  [0 1 0]  [0 1 0]  [0 1 1]
  [0 1 0]  [0 0 1]  [0 0 1]  [0 0 1]
  [0 0 1]  [0 0 1]
  [0 0 1]
		

Crossrefs

Programs

  • PARI
    WeighT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, (-1)^(n-1)/n))))-1, -#v)}
    permcount(v) = {my(m=1, s=0, k=0, t); for(i=1, #v, t=v[i]; k=if(i>1&&t==v[i-1], k+1, 1); m*=t*k; s+=t); s!/m}
    K(q, t, k)={WeighT(Vec(sum(j=1, #q, my(g=gcd(t, q[j])); g*x^(q[j]/g)) + O(x*x^k), -k))[k]}
    T(n,k)={my(m=n*k, s=0); if(m==0, k<=1, forpart(q=m, my(g=sum(t=1, k, K(q, t, n)*x^t/t) + O(x*x^k)); s+=permcount(q)*polcoef(exp(g - subst(g,x,x^2)), k)); s/m!)}
    { for(n=0, 6, for(k=0, 5, print1(T(n, k), ", ")); print) } \\ Andrew Howroyd, Jan 16 2024

Formula

A306019(n) = Sum_{d|n} A(n/d, d).

A306018 Number of non-isomorphic set multipartitions of weight n in which all parts have the same size.

Original entry on oeis.org

1, 1, 3, 4, 9, 8, 24, 16, 51, 47, 115, 57, 420, 102, 830, 879, 2962, 298, 15527, 491, 41275, 80481, 133292, 1256, 2038182, 58671, 2386862, 24061887, 23570088, 4566, 600731285, 6843, 1303320380, 14138926716, 1182784693, 1820343112, 542834549721, 21638, 31525806080
Offset: 0

Views

Author

Gus Wiseman, Jun 17 2018

Keywords

Comments

A set multipartition of weight n is a finite multiset of finite nonempty sets whose cardinalities sum to n.
Number of distinct binary matrices with all row sums equal and total sum n, up to row and column permutations. - Andrew Howroyd, Sep 05 2018

Examples

			Non-isomorphic representatives of the a(6) = 24 set multipartitions in which all parts have the same size:
{{1,2,3,4,5,6}}
{{1,2,3},{1,2,3}}
{{1,2,3},{4,5,6}}
{{1,2,5},{3,4,5}}
{{1,3,4},{2,3,4}}
{{1,2},{1,2},{1,2}}
{{1,2},{1,3},{2,3}}
{{1,2},{3,4},{3,4}}
{{1,2},{3,4},{5,6}}
{{1,2},{3,5},{4,5}}
{{1,3},{2,3},{2,3}}
{{1,3},{2,4},{3,4}}
{{1,4},{2,4},{3,4}}
{{1},{1},{1},{1},{1},{1}}
{{1},{1},{1},{2},{2},{2}}
{{1},{1},{2},{2},{2},{2}}
{{1},{1},{2},{2},{3},{3}}
{{1},{2},{2},{2},{2},{2}}
{{1},{2},{2},{3},{3},{3}}
{{1},{2},{3},{3},{3},{3}}
{{1},{2},{3},{3},{4},{4}}
{{1},{2},{3},{4},{4},{4}}
{{1},{2},{3},{4},{5},{5}}
{{1},{2},{3},{4},{5},{6}}
		

Crossrefs

Programs

Formula

a(p) = A000041(p) + 1 for prime p. - Andrew Howroyd, Sep 06 2018
a(n) = Sum_{d|n} A331461(n/d, d). - Andrew Howroyd, Feb 09 2020

Extensions

Terms a(11) and beyond from Andrew Howroyd, Sep 05 2018

A306020 a(n) is the number of set-systems using nonempty subsets of {1,...,n} in which all sets have the same size.

Original entry on oeis.org

1, 2, 5, 16, 95, 2110, 1114237, 68723671292, 1180735735906024030715, 170141183460507917357914971986913657850, 7237005577335553223087828975127304179197147198604070555943173844710572689401
Offset: 0

Views

Author

Gus Wiseman, Jun 17 2018

Keywords

Comments

A058673(n) <= a(n). - Lorenzo Sauras Altuzarra, Aug 10 2023

Examples

			a(3) = 16 set-systems in which all sets have the same size:
  {}
  {{1}}
  {{2}}
  {{3}}
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1,2,3}}
  {{1},{2}}
  {{1},{3}}
  {{2},{3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,3},{2,3}}
  {{1},{2},{3}}
  {{1,2},{1,3},{2,3}}
		

Crossrefs

Programs

  • Maple
    a := n -> 1-n+add(2^binomial(n, d), d = 1 .. n):
    seq(a(n), n = 0 .. 10); # Lorenzo Sauras Altuzarra, Aug 11 2023
  • Mathematica
    Table[1+Sum[2^Binomial[n,d]-1,{d,n}],{n,10}]
  • PARI
    a(n) = 1 - n + sum(d = 1, n, 2^binomial(n, d)); \\ Michel Marcus, Aug 10 2023

Formula

a(n) = 1 - n + Sum_{d = 1..n} 2^binomial(n, d).

A319729 Regular triangle read by rows where T(n,k) is the number of labeled simple graphs on n vertices where all non-isolated vertices have degree k.

Original entry on oeis.org

1, 1, 1, 1, 3, 1, 1, 9, 7, 1, 1, 25, 37, 5, 1, 1, 75, 207, 85, 21, 1, 1, 231, 1347, 525, 591, 7, 1, 1, 763, 10125, 21385, 23551, 3535, 113, 1, 1, 2619, 86173, 180201, 1216701, 31647, 30997, 9, 1, 1, 9495, 819133, 12066705, 77636583, 66620631, 11485825, 286929, 955, 1
Offset: 1

Views

Author

Gus Wiseman, Dec 17 2018

Keywords

Examples

			Triangle begins:
  1
  1       1
  1       3       1
  1       9       7       1
  1      25      37       5       1
  1      75     207      85      21       1
  1     231    1347     525     591       7       1
  1     763   10125   21385   23551    3535     113       1
  1    2619   86173  180201 1216701   31647   30997       9       1
		

Crossrefs

Programs

  • Mathematica
    Table[If[k==0,1,Sum[Binomial[n,sup]*SeriesCoefficient[Product[1+Times@@x/@s,{s,Subsets[Range[sup],{2}]}],Sequence@@Table[{x[i],0,k},{i,sup}]],{sup,n}]],{n,8},{k,0,n-1}]

Formula

T(n,k) = Sum_{i=1..n} binomial(n,i)*A059441(i,k) for k > 0. - Andrew Howroyd, Dec 26 2020

A317584 Number of multiset partitions of strongly normal multisets of size n such that all blocks have the same size.

Original entry on oeis.org

1, 4, 6, 19, 14, 113, 30, 584, 1150, 4023, 112, 119866, 202, 432061, 5442765, 16646712, 594, 738090160, 980, 13160013662, 113864783987, 39049423043, 2510, 44452496723053, 19373518220009, 21970704599961, 8858890258339122, 43233899006497146, 9130, 4019875470540832643
Offset: 1

Views

Author

Gus Wiseman, Aug 01 2018

Keywords

Comments

A multiset is strongly normal if it spans an initial interval of positive integers with weakly decreasing multiplicities.

Examples

			The a(4) = 19 multiset partitions:
  {{1,1,1,1}}, {{1,1},{1,1}}, {{1},{1},{1},{1}},
  {{1,1,1,2}}, {{1,1},{1,2}}, {{1},{1},{1},{2}},
  {{1,1,2,2}}, {{1,1},{2,2}}, {{1,2},{1,2}}, {{1},{1},{2},{2}},
  {{1,1,2,3}}, {{1,1},{2,3}}, {{1,2},{1,3}}, {{1},{1},{2},{3}},
  {{1,2,3,4}}, {{1,2},{3,4}}, {{1,3},{2,4}}, {{1,4},{2,3}}, {{1},{2},{3},{4}}.
		

Crossrefs

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
    mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
    strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
    Table[Length[Select[Join@@mps/@strnorm[n],SameQ@@Length/@#&]],{n,6}]
  • PARI
    \\ See links in A339645 for combinatorial species functions.
    cycleIndex(n)={sum(n=1, n, x^n*sumdiv(n, d, sApplyCI(symGroupCycleIndex(d), d, symGroupCycleIndex(n/d), n/d))) + O(x*x^n)}
    StronglyNormalLabelingsSeq(cycleIndex(15)) \\ Andrew Howroyd, Jan 01 2021

Formula

a(p) = 2*A000041(p) for prime p. - Andrew Howroyd, Jan 01 2021

Extensions

Terms a(9) and beyond from Andrew Howroyd, Jan 01 2021

A302129 Number of unlabeled uniform connected hypergraphs of weight n.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 6, 1, 9, 10, 17, 1, 108, 1, 86, 401, 482, 1, 4469, 1, 8435, 47959, 8082, 1, 1007342, 52414, 112835, 15338453, 11899367, 1, 362657533, 1, 977129970, 9349593479, 35787684, 1771297657, 390347162497, 1, 779945988, 9360467497257, 16838238535445
Offset: 0

Views

Author

Gus Wiseman, Jun 20 2018

Keywords

Comments

A hypergraph is uniform if all edges have the same size. The weight of a hypergraph is the sum of cardinalities of the edges. Weight is generally not the same as number of vertices.

Examples

			Non-isomorphic representatives of the a(8) = 9 uniform connected hypergraphs:
  {{1,2,3,4,5,6,7,8}}
  {{1,2,3,7}, {4,5,6,7}}
  {{1,2,5,6}, {3,4,5,6}}
  {{1,3,4,5}, {2,3,4,5}}
  {{1,2}, {1,3}, {2,4}, {3,4}}
  {{1,3}, {2,4}, {3,5}, {4,5}}
  {{1,4}, {2,3}, {2,4}, {3,4}}
  {{1,4}, {2,5}, {3,5}, {4,5}}
  {{1,5}, {2,5}, {3,5}, {4,5}}
		

Crossrefs

Programs

  • PARI
    \\ See A331508 for T(n, k).
    InvEulerT(v)={my(p=log(1+x*Ser(v))); dirdiv(vector(#v,n,polcoef(p,n)), vector(#v,n,1/n))}
    a(n) = {if(n==0, 1, sumdiv(n, d, if(d==1 || d==n, d==1, InvEulerT(vector(d, i, T(n/d, i)))[d] )))} \\ Andrew Howroyd, Jan 16 2024

Formula

a(p) = 1 for prime p. - Andrew Howroyd, Jan 16 2024

Extensions

a(11) onwards from Andrew Howroyd, Jan 16 2024
Showing 1-10 of 11 results. Next