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 18 results. Next

A016031 De Bruijn's sequence: 2^(2^(n-1) - n): number of ways of arranging 2^n bits in circle so all 2^n consecutive strings of length n are distinct.

Original entry on oeis.org

1, 1, 2, 16, 2048, 67108864, 144115188075855872, 1329227995784915872903807060280344576, 226156424291633194186662080095093570025917938800079226639565593765455331328
Offset: 1

Views

Author

Keywords

Comments

Sequence corresponds also to the largest number that may be determined by asking no more than 2^(n-1) - 1 questions("Yes"-or-"No" answerable) with lying allowed at most once. - Lekraj Beedassy, Jul 15 2002
Number of Ouroborean rings for binary n-tuplets. - Lekraj Beedassy, May 06 2004
Also the number of games of Nim that are wins for the second player when the starting position is either the empty heap or heaps of sizes 1 <= t_1 < t_2 < ... < t_k < 2^(n-1) (if n is 1, the only starting position is the empty heap). E.g.: a(4) = 16: the winning positions for the second player when all the heap sizes are different and less than 2^3: (4,5,6,7), (3,5,6), (3,4,7), (2,5,7), (2,4,6), (2,3,6,7), (2,3,4,5), (1,6,7), (1,4,5), (1,3,5,7), (1,3,4,6), (1,2,5,6), (1,2,4,7), (1,2,3), (1,2,3,4,5,6,7) and the empty heap. - Kennan Shelton (kennan.shelton(AT)gmail.com), Apr 14 2006
a(n + 1) = 2^(2^n-n-1) = 2^A000295(n) is also the number of set-systems on n vertices with no singletons. The case with singletons is A058891. The unlabeled case is A317794. The spanning/covering case is A323816. The antichain case is A006126. The connected case is A323817. The uniform case is A306021(n) - 1. The graphical case is A006125. The chain case is A005840. - Gus Wiseman, Feb 01 2019
Named after the Dutch mathematician Nicolaas Govert de Bruijn (1918-2012). - Amiram Eldar, Jun 20 2021

References

  • Jonathan L. Gross and Jay Yellen, eds., Handbook of Graph Theory, CRC Press, 2004, p. 255.
  • Frank Harary and Edgar M. Palmer, Graphical Enumeration, 1973, p. 31.
  • D. J. Newman, "A variation of the Game of Twenty Question", in: Murray S. Klamkin (ed.), Problems in Applied Mathematics, Philadelphia, PA: SIAM, 1990, Problem 66-20, pp. 121-122.
  • Richard P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 2, 1999; see Cor. 5.6.15.
  • Ian Stewart, Game, Set and Math, pp. 50, Penguin 1991.

Crossrefs

Cf. A000295, A003465, A006125, A058891 (set systems), A317794 (unlabeled case), A323816 (spanning case), A323817 (connected case), A331691 (alternating signs).

Programs

Formula

a(n) = 2^A000295(n-1). - Lekraj Beedassy, Jan 17 2007
Shifting once to the left gives the binomial transform of A323816. - Gus Wiseman, Feb 01 2019

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

A320665 Number of non-isomorphic multiset partitions of weight n with no singletons or vertices that appear only once.

Original entry on oeis.org

1, 0, 1, 1, 5, 6, 27, 47, 169, 406, 1327, 3790, 12560, 39919, 136821, 470589, 1687981, 6162696, 23173374, 88981796, 349969596, 1405386733, 5764142220, 24111709328, 102825231702, 446665313598, 1975339030948, 8888051121242, 40667889052853, 189126710033882, 893526261542899
Offset: 0

Views

Author

Gus Wiseman, Oct 18 2018

Keywords

Comments

The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}. This sequence counts non-isomorphic multiset partitions with no singletons whose dual also has no singletons.

Examples

			Non-isomorphic representatives of the a(2) = 1 through a(6) = 27 multiset partitions:
  {{1,1}}  {{1,1,1}}  {{1,1,1,1}}    {{1,1,1,1,1}}    {{1,1,1,1,1,1}}
                      {{1,1,2,2}}    {{1,1,2,2,2}}    {{1,1,1,2,2,2}}
                      {{1,1},{1,1}}  {{1,1},{1,1,1}}  {{1,1,2,2,2,2}}
                      {{1,1},{2,2}}  {{1,1},{1,2,2}}  {{1,1,2,2,3,3}}
                      {{1,2},{1,2}}  {{1,1},{2,2,2}}  {{1,1},{1,1,1,1}}
                                     {{1,2},{1,2,2}}  {{1,1,1},{1,1,1}}
                                                      {{1,1},{1,2,2,2}}
                                                      {{1,1,1},{2,2,2}}
                                                      {{1,1,2},{1,2,2}}
                                                      {{1,1},{2,2,2,2}}
                                                      {{1,1,2},{2,2,2}}
                                                      {{1,1},{2,2,3,3}}
                                                      {{1,1,2},{2,3,3}}
                                                      {{1,2},{1,1,2,2}}
                                                      {{1,2},{1,2,2,2}}
                                                      {{1,2},{1,2,3,3}}
                                                      {{1,2,2},{1,2,2}}
                                                      {{1,2,3},{1,2,3}}
                                                      {{2,2},{1,1,2,2}}
                                                      {{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,1},{2,3},{2,3}}
                                                      {{1,2},{1,2},{1,2}}
                                                      {{1,2},{1,2},{2,2}}
                                                      {{1,2},{1,3},{2,3}}
		

Crossrefs

Programs

  • PARI
    \\ See links in A339645 for combinatorial species functions.
    seq(n)={my(A=symGroupSeries(n)); NumUnlabeledObjsSeq(sCartProd(sExp(A-x*sv(1)), sExp(A-x*sv(1))))} \\ Andrew Howroyd, Jan 17 2023
    
  • PARI
    Vec(G(20,1)) \\ G defined in A369287. - Andrew Howroyd, Jan 28 2024

Extensions

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

A317795 Number of non-isomorphic set-systems spanning n vertices with no singletons.

Original entry on oeis.org

1, 0, 1, 6, 172, 611852, 200253853704512, 263735716028826427334553305221120, 5609038300883759793482640992086670066496449147691597380832361377955840
Offset: 0

Views

Author

Gus Wiseman, Aug 07 2018

Keywords

Examples

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

Crossrefs

Programs

  • Mathematica
    sysnorm[{}]:={};sysnorm[m_]:=If[Union@@m!=Range[Max@@Flatten[m]],sysnorm[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[sysnorm[m,1]]]];sysnorm[m_,aft_]:=If[Length[Union@@m]<=aft,{m},With[{mx=Table[Count[m,i,{2}],{i,Select[Union@@m,#>=aft&]}]},Union@@(sysnorm[#,aft+1]&/@Union[Table[Map[Sort,m/.{par+aft-1->aft,aft->par+aft-1},{0,1}],{par,First/@Position[mx,Max[mx]]}]])]];
    Table[Length[Union[sysnorm/@Select[Subsets[Select[Subsets[Range[n]],Length[#]>1&]],Union@@#==Range[n]&]]],{n,4}]

Extensions

More terms from Gus Wiseman, Dec 13 2018

A330055 Number of non-isomorphic set-systems of weight n with no singletons or endpoints.

Original entry on oeis.org

1, 0, 0, 0, 0, 0, 1, 1, 3, 5, 16, 24, 90, 179, 567, 1475, 4623, 13650, 44475, 144110, 492017, 1706956, 6124330, 22442687, 84406276, 324298231, 1273955153, 5106977701, 20885538133, 87046940269, 369534837538, 1596793560371, 7019424870960, 31374394197536, 142514998263015
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). 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(7) = 1 through a(10) = 16 set-systems:
  {12}{13}{123}  {12}{134}{234}    {12}{134}{1234}    {12}{1345}{2345}
                 {12}{34}{1234}    {123}{124}{134}    {123}{124}{1234}
                 {12}{13}{24}{34}  {12}{13}{14}{234}  {123}{145}{2345}
                                   {12}{13}{23}{123}  {12}{345}{12345}
                                   {12}{13}{24}{134}  {12}{13}{124}{134}
                                                      {12}{13}{124}{234}
                                                      {12}{13}{14}{1234}
                                                      {12}{13}{24}{1234}
                                                      {12}{13}{245}{345}
                                                      {12}{13}{45}{2345}
                                                      {12}{34}{123}{124}
                                                      {12}{34}{125}{345}
                                                      {12}{34}{135}{245}
                                                      {13}{24}{123}{124}
                                                      {12}{13}{14}{23}{24}
                                                      {12}{13}{24}{35}{45}
		

Crossrefs

The labeled version is A330056.
The "multi" version is A320665.
Non-isomorphic set-systems with no singletons are A306005.
Non-isomorphic set-systems with no endpoints are A330054.
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=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)}
    S(q, t, k)={(x-x^2)*sum(j=1, #q, if(t%q[j]==0, q[j])) + O(x*x^k)}
    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)-S(q,t,n\t),x,x^t)/t )), n)); s/n!)} \\ Andrew Howroyd, Jan 27 2024

Extensions

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

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

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

A000610 Number of self-complementary Boolean functions of n variables: see Comments for precise definition.

Original entry on oeis.org

0, 1, 2, 6, 42, 4094, 98210640, 148947659711650464, 872404773126414633407736134582136832, 88627167739308536281147085615274891669779458770791192509009429292662497280
Offset: 0

Views

Author

Keywords

Comments

Number of self-complementary equivalence classes under the group G_n (a permutation group on the domain of Boolean functions, generated by the symmetric group S_n and the group (C_2)^n of all 2^n complementations of variables). - R. J. Mathar, Apr 14 2010

References

  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Programs

  • Python
    # Using function get_num_equiv_bool_func from A000370.
    [get_num_equiv_bool_func(n,True) for n in range(1,10)] # Gregory Morse, Dec 23 2024

Formula

a(n) = A000370(n) - A317794(n). - Tilman Piesk, Apr 14 2025

Extensions

More terms from Vladeta Jovovic, Feb 23 2000
a(0)=0 from Tilman Piesk, Apr 15 2025

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
Showing 1-10 of 18 results. Next