A306020 -id:A306020 - cp's OEIS frontend

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

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

Gus Wiseman, Jun 17 2018

nonn

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)

			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}}

Andrew Howroyd, Table of n, a(n) for n = 0..50

Cf. A000005, A001315, A007716, A038041, A049311, A283877, A298422, A306018, A306019, A306020, A306021, A318951.

Cf. A064573, A279787, A305551, A319616, A319056, A331485.

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 *)

\\ See A318951 for RowSumMats.
a(n)={sumdiv(n,d,RowSumMats(n/d,n,d))} \\ Andrew Howroyd, Sep 05 2018

For p prime, a(p) = 2*A000041(p).

a(n) = Sum_{d|n} A331485(n/d, d). - Andrew Howroyd, Feb 09 2020

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

Gus Wiseman, Jun 17 2018

nonn

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

			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}}

Andrew Howroyd, Table of n, a(n) for n = 0..14

Row sums of A299471.
The unlabeled version is A301481.
The connected version is A299353.
Cf. A000005, A001315, A007716, A038041, A049311, A283877, A298422, A306017, A306018, A306019, A306020.

Table[Sum[(-1)^(n-k)*Binomial[n,k]*(1+Sum[2^Binomial[k,d]-1,{d,k}]),{k,0,n}],{n,12}]

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

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

Gus Wiseman, Aug 01 2018

nonn

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

			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}}

Andrew Howroyd, Table of n, a(n) for n = 1..200
Gus Wiseman, Sequences counting and ranking multiset partitions whose part lengths, sums, or averages are constant or strict.

Cf. A038041, A255906, A298422, A306017, A306019, A306020, A306021, A320324, A322794, A326517, A326518, A326519, A326520, A326521, A331315.

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}]

\\ 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

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

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

Gus Wiseman, Jun 18 2018

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

Andrew Howroyd, Table of n, a(n) for n = 1..91 (rows 1..13)
Wikipedia, Hypergraph

Columns 1..4 are A000012, A006129, A302374, A302396.
Row sums are A306021.
The unlabeled version is A301922.
The connected version is A299354.
Cf. A000005, A001315, A006126, A038041, A298422, A298426, A306017, A306018, A306019, A306020.

Table[Sum[(-1)^(n-d)*Binomial[n,d]*2^Binomial[d,k],{d,0,n}],{n,10},{k,n}]

T(n, k) = sum(d = 0, n, (-1)^(n-d)*binomial(n,d)*2^binomial(d,k)) \\ Andrew Howroyd, Jan 16 2024

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

A299353 Number of labeled connected uniform hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 1, 5, 50, 1713, 1101990, 68715891672, 1180735735356264714926, 170141183460507906731293351306487161569, 7237005577335553223087828975127304177495735363998991435497132228228565768846

Offset: 0

Gus Wiseman, Jun 18 2018

nonn

A hypergraph is uniform if all edges have the same size.

Let T be the regular triangle A299354, where column k is the logarithmic transform of the inverse binomial transform of c(d) = 2^binomial(d,k). Then a(n) is the sum of row n.

			The a(3) = 5 hypergraphs:
{{1,2,3}}
{{1,2},{1,3}}
{{1,2},{2,3}}
{{1,3},{2,3}}
{{1,2},{1,3},{2,3}}

Wikipedia, Hypergraph

Cf. A000005, A001315, A006126, A006129, A038041, A048143, A298422, A299354, A299471, A306020, A306021.

nn=10;Table[Sum[SeriesCoefficient[Log[Sum[x^m/m!*(-1)^(m-d)*Binomial[m,d]*2^Binomial[d,k],{m,0,n},{d,0,m}]],{x,0,n}]*n!,{k,n}],{n,nn}]

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

Original entry on oeis.org

1, 1, 2, 2, 4, 2, 10, 2, 17, 14, 33, 2, 167, 2, 186, 491, 785, 2, 5839, 2, 11123, 53454, 15229, 2, 1102924, 53537, 193382, 16334183, 12411062, 2, 382413555, 2, 993814248, 9763321547, 53394774, 1778595972, 402119882757, 2, 1111261718, 9674133468473, 16955983996383

Offset: 0

Gus Wiseman, Jun 17 2018

nonn

A set-system of weight n is a finite set of finite nonempty sets whose sizes sum to n.

			Non-isomorphic representatives of the a(6) = 10 set-systems:
{{1,2,3,4,5,6}}
{{1,2,3},{4,5,6}}
{{1,2,5},{3,4,5}}
{{1,3,4},{2,3,4}}
{{1,2},{1,3},{2,3}}
{{1,2},{3,4},{5,6}}
{{1,2},{3,5},{4,5}}
{{1,3},{2,4},{3,4}}
{{1,4},{2,4},{3,4}}
{{1},{2},{3},{4},{5},{6}}

Andrew Howroyd, Table of n, a(n) for n = 0..50

Cf. A000005, A001315, A007716, A038041, A049311, A283877, A298422, A306017, A306018, A306020, A306021.

\\ See A331508 for T(n,k).
a(n) = {if(n==0, 1, sumdiv(n, d, if(d==1 || d==n, 1, T(n/d, d))))} \\ Andrew Howroyd, Jan 16 2024

a(p) = 2 for prime p. - Andrew Howroyd, Aug 29 2019

a(n) = Sum_{d|n} A331508(n/d, d) for n > 0. - Andrew Howroyd, Jan 16 2024

Terms a(12) and beyond from Andrew Howroyd, Sep 01 2019

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

Gus Wiseman, Jun 17 2018

nonn

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

			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}}

Andrew Howroyd, Table of n, a(n) for n = 0..50

Cf. A000005, A000041, A001315, A007716, A038041, A049311, A283877, A298422, A304942, A306017, A306019, A306020, A306021, A331461.

\\ See A304942 for Blocks
a(n)={sumdiv(n, d, Blocks(n/d, n, d))} \\ Andrew Howroyd, Sep 05 2018

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

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

A058673 Number of matroids on n labeled points.

Original entry on oeis.org

1, 2, 5, 16, 68, 406, 3807, 75164, 10607540

Offset: 0

N. J. A. Sloane, Dec 30 2000

From Lorenzo Sauras Altuzarra, Aug 10 2023: (Start)
a(n) <= A014466(n).
a(n) <= A306020(n). (End)

			The 16 possible sets E such that ({1, 2, 3}, E) is a matroid:
  {{}}
  {{}, {1}}
  {{}, {2}}
  {{}, {3}}
  {{}, {1}, {2}}
  {{}, {1}, {3}}
  {{}, {2}, {3}}
  {{}, {1}, {2}, {3}}
  {{}, {1}, {2}, {1, 2}}
  {{}, {1}, {3}, {1, 3}}
  {{}, {2}, {3}, {2, 3}}
  {{}, {1}, {2}, {3}, {1, 2}, {1, 3}}
  {{}, {1}, {2}, {3}, {1, 2}, {2, 3}}
  {{}, {1}, {2}, {3}, {1, 3}, {2, 3}}
  {{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}}
  {{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}

W. M. B. Dukes, Tables of matroids.
W. M. B. Dukes, Counting and Probability in Matroid Theory, Ph.D. Thesis, Trinity College, Dublin, 2000.
W. M. B. Dukes, The number of matroids on a finite set, arXiv:math/0411557 [math.CO], 2004.
W. M. B. Dukes, On the number of matroids on a finite set, Séminaire Lotharingien de Combinatoire 51 (2004), Article B51g.
S. C. Locke, Matroids
Index entries for sequences related to matroids

Row sums of A058669. Closely related to A114491.

Cf. A014466 (abstract simplicial complexes), A055545 (unlabeled matroids), A306020.

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

Original entry on oeis.org

1, 0, 1, 0, 4, 1, 0, 38, 11, 1, 0, 728, 958, 26, 1, 0, 26704, 1042632, 32596, 57, 1, 0, 1866256, 34352418950, 34359509614, 2096731, 120, 1, 0, 251548592, 72057319189266922, 1180591620442534312262, 72057594021152435, 268434467, 247, 1, 0, 66296291072

Offset: 1

Gus Wiseman, Jun 18 2018

			Triangle begins:
1
0, 1
0, 4, 1
0, 38, 11, 1
0, 728, 958, 26, 1
0, 26704, 1042632, 32596, 57, 1

Wikipedia, Hypergraph

Second column is A001187. Row sums are A299353.

Cf. A000005, A001315, A006126, A006129, A038041, A048143, A298422, A299353, A299471, A306020, A306021.

nn=10;Table[SeriesCoefficient[Log[Sum[x^n/n!*Sum[(-1)^(n-d)*Binomial[n,d]*2^Binomial[d,k],{d,0,n}],{n,0,nn}]],{x,0,n}]*n!,{n,nn},{k,n}]

Column k is the logarithmic transform of the inverse binomial transform of c(d) = 2^binomial(d,k).

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

Gus Wiseman, Aug 01 2018

nonn

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

			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}}.

Cf. A000005, A000041, A007716, A038041, A255906, A298422, A306017, A306018, A306019, A306020, A306021, A317583.

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}]

\\ 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

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

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

cp's OEIS Frontend

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

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

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A299353 Number of labeled connected uniform hypergraphs spanning n vertices.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs