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 10 results.

A302545 Number of non-isomorphic multiset partitions of weight n with no singletons.

Original entry on oeis.org

1, 0, 2, 3, 12, 23, 84, 204, 682, 1977, 6546, 21003, 72038, 248055, 888771, 3240578, 12152775, 46527471, 182339441, 729405164, 2979121279, 12407308136, 52670355242, 227725915268, 1002285274515, 4487915293698, 20434064295155, 94559526596293, 444527730210294, 2122005930659752
Offset: 0

Views

Author

Gus Wiseman, Jun 20 2018

Keywords

Comments

A multiset partition is a finite multiset of finite nonempty multisets of positive integers. A singleton is a multiset of size 1. The weight of a multiset partition is the sum of sizes of its elements. Weight is generally not the same as number of vertices.
Also non-isomorphic multiset partitions of weight n with no endpoints, where an endpoint is a vertex appearing only once (degree 1). For example, non-isomorphic representations of the a(4) = 12 multiset partitions are:
{{1,1,1,1}}
{{1,1,2,2}}
{{1},{1,1,1}}
{{1},{1,2,2}}
{{1,1},{1,1}}
{{1,1},{2,2}}
{{1,2},{1,2}}
{{1},{1},{1,1}}
{{1},{1},{2,2}}
{{1},{2},{1,2}}
{{1},{1},{1},{1}}
{{1},{1},{2},{2}}

Examples

			The a(4) = 12 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}}
		

Crossrefs

The set-system version is A330054 (no endpoints) or A306005 (no singletons).
Non-isomorphic multiset partitions are A007716.
Set-systems with no singletons are A016031.

Programs

  • PARI
    \\ compare with similar program for A007716.
    EulerT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, 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)={EulerT(Vec(sum(j=1, #q, gcd(t, q[j])*x^lcm(t, q[j])) + O(x*x^k), -k)) - Vec(sum(j=1, #q, if(t%q[j]==0, q[j]*x^t)) + O(x*x^k), -k)}
    a(n)={my(s=0); forpart(q=n, s+=permcount(q)*polcoef(exp(x*Ser(sum(t=1, n, K(q, t, n)/t))), n)); s/n!} \\ Andrew Howroyd, Jan 15 2023

Extensions

Extended by Gus Wiseman, Dec 09 2019
Terms a(11) and beyond from Andrew Howroyd, Jan 15 2023

A330052 Number of non-isomorphic set-systems of weight n with at least one endpoint.

Original entry on oeis.org

0, 1, 2, 4, 8, 18, 40, 94, 228, 579, 1508, 4092, 11478, 33337, 100016, 309916, 990008, 3257196, 11021851, 38314009, 136657181, 499570867, 1869792499, 7158070137, 28003286261, 111857491266, 455852284867, 1893959499405, 8017007560487, 34552315237016, 151534813272661
Offset: 0

Views

Author

Gus Wiseman, Nov 30 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets of positive integers. An endpoint is a vertex appearing only once (degree 1). The weight of a set-system is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

Examples

			Non-isomorphic representatives of the a(1) = 1 through a(5) = 18 multiset partitions:
  {1}  {12}    {123}      {1234}        {12345}
       {1}{2}  {1}{12}    {1}{123}      {1}{1234}
               {1}{23}    {12}{13}      {12}{123}
               {1}{2}{3}  {1}{234}      {12}{134}
                          {12}{34}      {1}{2345}
                          {1}{2}{13}    {12}{345}
                          {1}{2}{34}    {1}{12}{13}
                          {1}{2}{3}{4}  {1}{12}{23}
                                        {1}{12}{34}
                                        {1}{2}{123}
                                        {1}{2}{134}
                                        {1}{2}{345}
                                        {1}{23}{45}
                                        {2}{13}{14}
                                        {1}{2}{3}{12}
                                        {1}{2}{3}{14}
                                        {1}{2}{3}{45}
                                        {1}{2}{3}{4}{5}
		

Crossrefs

The complement is counted by A330054.
The multiset partition version is A330058.
Non-isomorphic set-systems with at least one singleton are A330053.
Non-isomorphic set-systems counted by vertices are A000612.
Non-isomorphic set-systems counted by weight are A283877.

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];
    brute[{}]:={};brute[m_]:=If[Union@@m!={}&&Union@@m!=Range[Max@@Flatten[m]],brute[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[brute[m,1]]]];brute[m_,1]:=Table[Sort[Sort/@(m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])],{p,Permutations[Union@@m]}];
    Table[Length[Select[Union[brute/@Join@@mps/@strnorm[n]],UnsameQ@@#&&And@@UnsameQ@@@#&&Min@@Length/@Split[Sort[Join@@#]]==1&]],{n,0,5}]

Formula

a(n) = A283877(n) - A330054(n). - Andrew Howroyd, Jan 27 2024

Extensions

a(11) onwards from Andrew Howroyd, Jan 27 2024

A330054 Number of non-isomorphic set-systems of weight n with no endpoints.

Original entry on oeis.org

1, 0, 0, 0, 1, 0, 4, 4, 16, 26, 87, 181, 570, 1453, 4464, 13038, 41548, 132217, 442603, 1506803, 5305174, 19092816, 70548770, 266495254, 1029835424, 4063610148, 16366919221, 67217627966, 281326631801, 1199048810660, 5201341196693, 22950740113039, 102957953031700
Offset: 0

Views

Author

Gus Wiseman, Nov 30 2019

Keywords

Comments

A set-system is a finite set of finite nonempty set of positive integers. An endpoint is a vertex appearing only once (degree 1). The weight of a set-system is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

Examples

			Non-isomorphic representatives of the a(0) = 1 through a(8) = 16 multiset partitions (empty columns not shown):
  0  {1}{2}{12}  {12}{13}{23}    {13}{23}{123}      {12}{134}{234}
                 {1}{23}{123}    {1}{3}{23}{123}    {1}{234}{1234}
                 {1}{2}{13}{23}  {3}{12}{13}{23}    {12}{34}{1234}
                 {1}{2}{3}{123}  {1}{2}{3}{13}{23}  {1}{12}{34}{234}
                                                    {12}{13}{24}{34}
                                                    {1}{2}{134}{234}
                                                    {1}{2}{34}{1234}
                                                    {2}{13}{14}{234}
                                                    {2}{13}{23}{123}
                                                    {3}{13}{23}{123}
                                                    {1}{2}{13}{24}{34}
                                                    {1}{2}{3}{14}{234}
                                                    {1}{2}{3}{23}{123}
                                                    {1}{2}{3}{4}{1234}
                                                    {2}{3}{12}{13}{23}
                                                    {1}{2}{3}{4}{12}{34}
		

Crossrefs

The complement is counted by A330052.
The multiset partition version is A302545.
Non-isomorphic set-systems with no singletons are A306005.
Non-isomorphic set-systems counted by vertices are A000612.
Non-isomorphic set-systems counted by weight are A283877.

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)={my(g=1+x*Ser(WeighT(Vec(sum(j=1, #q, my(g=gcd(t, q[j])); g*x^(q[j]/g)) + O(x*x^k), -k)))); (1-x)*g - subst(g,x,x^2)}
    a(n)={if(n==0, 1, my(s=0); forpart(q=n, s+=permcount(q)*polcoef(exp(sum(t=1, n, subst(K(q,t,n\t)/t,x,x^t) )), n)); s/n!)} \\ Andrew Howroyd, Jan 27 2024

Extensions

a(11) onwards from Andrew Howroyd, Jan 27 2024

A330058 Number of non-isomorphic multiset partitions of weight n with at least one endpoint.

Original entry on oeis.org

0, 1, 2, 7, 21, 68, 214, 706, 2335, 7968, 27661, 98366, 357212, 1326169, 5027377, 19459252, 76850284, 309531069, 1270740646, 5314727630, 22633477157, 98096319485, 432490992805, 1938762984374, 8832924638252, 40882143931620, 192148753444380, 916747097916418
Offset: 0

Views

Author

Gus Wiseman, Nov 30 2019

Keywords

Comments

The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.
An endpoint is a vertex appearing only once (degree 1).
Also the number of non-isomorphic multiset partitions of weight n with at least one singleton.

Examples

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 21 multiset partitions:
  {1}  {12}    {122}      {1222}
       {1}{2}  {123}      {1233}
               {1}{22}    {1234}
               {1}{23}    {1}{222}
               {2}{12}    {12}{22}
               {1}{2}{2}  {1}{233}
               {1}{2}{3}  {12}{33}
                          {1}{234}
                          {12}{34}
                          {13}{23}
                          {2}{122}
                          {3}{123}
                          {1}{1}{23}
                          {1}{2}{22}
                          {1}{2}{33}
                          {1}{2}{34}
                          {1}{3}{23}
                          {2}{2}{12}
                          {1}{2}{2}{2}
                          {1}{2}{3}{3}
                          {1}{2}{3}{4}
		

Crossrefs

The case of set-systems is A330053 (singletons) or A330052 (endpoints).
The complement is counted by A302545.

Formula

a(n) = A007716(n) - A302545(n). - Andrew Howroyd, Jan 15 2023

Extensions

Terms a(11) and beyond from Andrew Howroyd, Jan 15 2023

A330056 Number of set-systems with n vertices and no singletons or endpoints.

Original entry on oeis.org

1, 1, 1, 6, 1724, 66963208, 144115175600855641, 1329227995784915809349010517957163445, 226156424291633194186662080095093568675422295082604716043360995547325655259
Offset: 0

Views

Author

Gus Wiseman, Nov 30 2019

Keywords

Comments

A set-system is a finite set of finite nonempty set of positive integers. A singleton is an edge of size 1. An endpoint is a vertex appearing only once (degree 1).

Examples

			The a(3) = 6 set-systems:
  {}
  {{1,2},{1,3},{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}}
		

Crossrefs

The version for non-isomorphic set-systems is A330055 (by weight).
The covering case is A330057.
Set-systems with no singletons are A016031.
Set-systems with no endpoints are A330059.
Non-isomorphic set-systems with no singletons are A306005 (by weight).
Non-isomorphic set-systems with no endpoints are A330054, (by weight).
Non-isomorphic set-systems counted by vertices are A000612.
Non-isomorphic set-systems counted by weight are A283877.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{2,n}]],Min@@Length/@Split[Sort[Join@@#]]>1&]],{n,0,4}]
  • PARI
    \\ Here AS2(n,k) is A008299 (associated Stirling of 2nd kind)
    AS2(n, k) = {sum(i=0, min(n, k), (-1)^i * binomial(n, i) * stirling(n-i, k-i, 2) )}
    a(n) = {sum(k=0, n, (-1)^k*binomial(n,k)*2^(2^(n-k)-(n-k)-1) * sum(j=0, k\2, sum(i=0, k-2*j, binomial(k,i) * AS2(k-i, j) * (2^(n-k)-1)^i * 2^(j*(n-k)) )))} \\ Andrew Howroyd, Jan 16 2023

Formula

Binomial transform of A330057.
a(n) = Sum_{k=0..n} Sum_{j=0..floor(k/2)} Sum_{i=0..k-2*j} (-1)^k * binomial(n,k) * 2^(2^(n-k)-(n-k)-1) * binomial(k,i) * AS2(k-i, j) * (2^(n-k)-1)^i * 2^(j*(n-k)) where AS2(n,k) are the associated Stirling numbers of the 2nd kind (A008299). - Andrew Howroyd, Jan 16 2023

Extensions

Terms a(5) and beyond from Andrew Howroyd, Jan 16 2023

A330053 Number of non-isomorphic set-systems of weight n with at least one singleton.

Original entry on oeis.org

0, 1, 1, 3, 6, 14, 32, 79, 193, 499, 1321, 3626, 10275, 30126, 91062, 284093, 912866, 3018825, 10261530, 35814255, 128197595, 470146011, 1764737593, 6773539331, 26561971320, 106330997834, 434195908353, 1807306022645, 7663255717310, 33079998762373
Offset: 0

Views

Author

Gus Wiseman, Nov 30 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets of positive integers. An singleton is an edge of size 1. The weight of a set-system is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

Examples

			Non-isomorphic representatives of the a(1) = 1 through a(5) = 14 multiset partitions:
  {1}  {1}{2}  {1}{12}    {1}{123}      {1}{1234}
               {1}{23}    {1}{234}      {1}{2345}
               {1}{2}{3}  {1}{2}{12}    {1}{12}{13}
                          {1}{2}{13}    {1}{12}{23}
                          {1}{2}{34}    {1}{12}{34}
                          {1}{2}{3}{4}  {1}{2}{123}
                                        {1}{2}{134}
                                        {1}{2}{345}
                                        {1}{23}{45}
                                        {2}{13}{14}
                                        {1}{2}{3}{12}
                                        {1}{2}{3}{14}
                                        {1}{2}{3}{45}
                                        {1}{2}{3}{4}{5}
		

Crossrefs

The complement is counted by A306005.
The multiset partition version is A330058.
Non-isomorphic set-systems with at least one endpoint are A330052.
Non-isomorphic set-systems counted by vertices are A000612.
Non-isomorphic set-systems counted by weight are A283877.

Programs

  • Mathematica
    A[s_Integer] := With[{s6 = StringPadLeft[ToString[s], 6, "0"]}, Cases[ Import["https://oeis.org/A" <> s6 <> "/b" <> s6 <> ".txt", "Table"], {, }][[All, 2]]];
    A283877 = A@283877;
    A306005 = A@306005;
    a[n_] := A283877[[n + 1]] - A306005[[n + 1]];
    a /@ Range[0, 50] (* Jean-François Alcover, Feb 09 2020 *)

Formula

a(n) = A283877(n) - A306005(n). - Jean-François Alcover, Feb 09 2020

A330057 Number of set-systems covering n vertices with no singletons or endpoints.

Original entry on oeis.org

1, 0, 0, 5, 1703, 66954642, 144115175199102143, 1329227995784915808340204290157341181, 226156424291633194186662080095093568664788471116325389572604136316742486364
Offset: 0

Views

Author

Gus Wiseman, Nov 30 2019

Keywords

Comments

A set-system is a finite set of finite nonempty set of positive integers. A singleton is an edge of size 1. An endpoint is a vertex appearing only once (degree 1).

Examples

			The a(3) = 5 set-systems:
  {{1,2},{1,3},{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}}
		

Crossrefs

The version for non-isomorphic set-systems is A330055 (by weight).
The non-covering version is A330056.
Set-systems with no singletons are A016031.
Set-systems with no endpoints are A330059.
Non-isomorphic set-systems with no singletons are A306005 (by weight).
Non-isomorphic set-systems with no endpoints are A330054 (by weight).
Non-isomorphic set-systems counted by vertices are A000612.
Non-isomorphic set-systems counted by weight are A283877.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{2,n}]],Union@@#==Range[n]&&Min@@Length/@Split[Sort[Join@@#]]>1&]],{n,0,4}]
  • PARI
    \\ here b(n) is A330056(n).
    AS2(n, k) = {sum(i=0, min(n, k), (-1)^i * binomial(n, i) * stirling(n-i, k-i, 2) )}
    b(n) = {sum(k=0, n, (-1)^k*binomial(n,k)*2^(2^(n-k)-(n-k)-1) * sum(j=0, k\2, sum(i=0, k-2*j, binomial(k,i) * AS2(k-i, j) * (2^(n-k)-1)^i * 2^(j*(n-k)) )))}
    a(n) = {sum(k=0, n, (-1)^k*binomial(n,k)*b(n-k))} \\ Andrew Howroyd, Jan 16 2023

Formula

Binomial transform is A330056.

Extensions

Terms a(5) and beyond from Andrew Howroyd, Jan 16 2023

A330124 Number of unlabeled set-systems with n vertices and no endpoints.

Original entry on oeis.org

1, 1, 2, 22, 1776
Offset: 0

Views

Author

Gus Wiseman, Dec 05 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets. An endpoint is a vertex appearing only once (degree 1).

Examples

			Non-isomorphic representatives of the a(3) = 22 set-systems:
  0
  {1}{2}{12}
  {12}{13}{23}
  {1}{23}{123}
  {12}{13}{123}
  {1}{2}{13}{23}
  {1}{2}{3}{123}
  {1}{12}{13}{23}
  {1}{2}{13}{123}
  {1}{12}{13}{123}
  {1}{12}{23}{123}
  {12}{13}{23}{123}
  {1}{2}{3}{12}{13}
  {1}{2}{12}{13}{23}
  {1}{2}{3}{12}{123}
  {1}{2}{12}{13}{123}
  {1}{2}{13}{23}{123}
  {1}{12}{13}{23}{123}
  {1}{2}{3}{12}{13}{23}
  {1}{2}{3}{12}{13}{123}
  {1}{2}{12}{13}{23}{123}
  {1}{2}{3}{12}{13}{23}{123}
		

Crossrefs

Partial sums of the covering case A330196.
The labeled version is A330059.
The "multi" version is A302545.
Unlabeled set-systems with no endpoints counted by weight are A330054.
Unlabeled set-systems with no singletons are A317794.
Unlabeled set-systems counted by vertices are A000612.
Unlabeled set-systems counted by weight are A283877.
The case with no singletons is A320665.

A369926 Number of non-isomorphic set multipartitions (multisets of sets) of weight n without endpoints or singletons.

Original entry on oeis.org

1, 0, 0, 0, 1, 0, 3, 1, 9, 8, 34, 45, 177, 324, 1048, 2566, 8050, 22840, 73562, 231978, 780221, 2653042, 9377141, 33820014, 125473936, 475719042, 1846424607, 7317819857, 29611827086, 122190972442, 513900819816, 2201109101784, 9595815668795, 42553843201446, 191861748624324, 879049648551947
Offset: 0

Views

Author

Andrew Howroyd, Feb 06 2024

Keywords

Comments

A singleton is a part of size 1. An endpoint is a vertex that appears in only one part.
a(n) is also the number of binary matrices with a total of n 1's and every row and column sum at least 2 up to permutation of rows and columns.

Examples

			The a(8) = 9 matrices are:
   [1 1 1 1]  [1 1 1]  [1 1 1 0]  [1 1 1 1]
   [1 1 1 1]  [1 1 1]  [1 1 0 1]  [1 1 0 0]
              [1 1 0]  [0 0 1 1]  [0 0 1 1]
.
   [1 1]  [1 1 0]  [1 1 0]  [1 1 0 0]  [1 1 0 0]
   [1 1]  [1 1 0]  [1 1 0]  [1 1 0 0]  [1 0 1 0]
   [1 1]  [1 0 1]  [1 0 1]  [0 0 1 1]  [0 1 0 1]
   [1 1]  [1 0 1]  [0 1 1]  [0 0 1 1]  [0 0 1 1]
		

Crossrefs

Row sums of A369927.
A321677 is the case without singletons but allowing endpoints (or by duality without endpoints but allowing singletons).
Cf. A330055 (set-systems).

Programs

  • PARI
    Vec(G(25,1)) \\ G defined in A369927.

A330196 Number of unlabeled set-systems covering n vertices with no endpoints.

Original entry on oeis.org

1, 0, 1, 20, 1754
Offset: 0

Views

Author

Gus Wiseman, Dec 05 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets. An endpoint is a vertex appearing only once (degree 1).

Examples

			Non-isomorphic representatives of the a(3) = 20 set-systems:
  {12}{13}{23}
  {1}{23}{123}
  {12}{13}{123}
  {1}{2}{13}{23}
  {1}{2}{3}{123}
  {1}{12}{13}{23}
  {1}{2}{13}{123}
  {1}{12}{13}{123}
  {1}{12}{23}{123}
  {12}{13}{23}{123}
  {1}{2}{3}{12}{13}
  {1}{2}{12}{13}{23}
  {1}{2}{3}{12}{123}
  {1}{2}{12}{13}{123}
  {1}{2}{13}{23}{123}
  {1}{12}{13}{23}{123}
  {1}{2}{3}{12}{13}{23}
  {1}{2}{3}{12}{13}{123}
  {1}{2}{12}{13}{23}{123}
  {1}{2}{3}{12}{13}{23}{123}
		

Crossrefs

First differences of the non-covering version A330124.
The "multi" version is A302545.
Unlabeled set-systems with no endpoints counted by vertices are A317794.
Unlabeled set-systems with no endpoints counted by weight are A330054.
Unlabeled set-systems counted by vertices are A000612.
Unlabeled set-systems counted by weight are A283877.
Showing 1-10 of 10 results.