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.

A368598 Number of non-isomorphic n-element sets of singletons or pairs of elements of {1..n}, or unlabeled loop-graphs with n edges and up to n vertices.

Original entry on oeis.org

1, 1, 2, 6, 17, 52, 173, 585, 2064, 7520, 28265, 109501, 437394, 1799843, 7629463, 33302834, 149633151, 691702799, 3287804961, 16058229900, 80533510224, 414384339438, 2185878202630, 11811050484851, 65318772618624, 369428031895444, 2135166786135671, 12601624505404858
Offset: 0

Views

Author

Gus Wiseman, Jan 05 2024

Keywords

Comments

It doesn't matter for this sequence whether we use loops such as {x,x} or half-loops such as {x}.

Examples

			Non-isomorphic representatives of the a(0) = 1 through a(4) = 17 set-systems:
  {}  {{1}}  {{1},{2}}    {{1},{2},{3}}        {{1},{2},{3},{4}}
             {{1},{1,2}}  {{1},{2},{1,2}}      {{1},{2},{3},{1,2}}
                          {{1},{2},{1,3}}      {{1},{2},{3},{1,4}}
                          {{1},{1,2},{1,3}}    {{1},{2},{1,2},{1,3}}
                          {{1},{1,2},{2,3}}    {{1},{2},{1,2},{3,4}}
                          {{1,2},{1,3},{2,3}}  {{1},{2},{1,3},{1,4}}
                                               {{1},{2},{1,3},{2,3}}
                                               {{1},{2},{1,3},{2,4}}
                                               {{1},{3},{1,2},{2,4}}
                                               {{1},{1,2},{1,3},{1,4}}
                                               {{1},{1,2},{1,3},{2,3}}
                                               {{1},{1,2},{1,3},{2,4}}
                                               {{1},{1,2},{2,3},{3,4}}
                                               {{2},{1,2},{1,3},{1,4}}
                                               {{4},{1,2},{1,3},{2,3}}
                                               {{1,2},{1,3},{1,4},{2,3}}
                                               {{1,2},{1,3},{2,4},{3,4}}

Links

Crossrefs

For any number of edges of any size we have A000612, covering A055621.
For any number of edges we have A000666, A054921, A322700.
The labeled version is A014068.
Counting by weight gives A320663, or A339888 with loops {x,x}.
The covering case is A368599.
For edges of any size we have A368731, covering A368186.
Row sums of A368836.
A000085 counts set partitions into singletons or pairs.
A001515 counts length-n set partitions into singletons or pairs.
A100861 counts set partitions into singletons or pairs by number of pairs.
A111924 counts set partitions into singletons or pairs by length.
Cf. A001434, A007716, A007717, A058891, A070166, A122848, A124059, A283877, A302545, A322661, A339741, A339887, A370168.

Programs

  • Mathematica
    brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{(Union@@m)[[i]],p[[i]]}, {i,Length[p]}])], {p,Permutations[Range[Length[Union@@m]]]}]]];
Table[Length[Union[brute /@ Subsets[Subsets[Range[n],{1,2}],{n}]]],{n,0,5}]
  • PARI
    a(n) = polcoef(G(n, O(x*x^n)), n) \\ G defined in A070166. - Andrew Howroyd, Jan 09 2024

Formula

a(n) = A070166(n, n). - Andrew Howroyd, Jan 09 2024

Extensions

Terms a(7) and beyond from Andrew Howroyd, Jan 09 2024

A368599 Number of non-isomorphic n-element sets of singletons or pairs of elements of {1..n} with union {1..n}, or unlabeled loop-graphs with n edges covering n vertices.

Original entry on oeis.org

1, 1, 2, 5, 13, 34, 97, 277, 825, 2486, 7643, 23772, 74989, 238933, 769488, 2500758, 8199828, 27106647, 90316944, 303182461, 1025139840, 3490606305, 11967066094, 41302863014, 143493606215, 501772078429, 1765928732426, 6254738346969, 22294413256484, 79968425399831
Offset: 0

Views

Author

Gus Wiseman, Jan 06 2024

Keywords

Comments

It doesn't matter for this sequence whether we use loops such as {x,x} or half-loops such as {x}.

Examples

			The a(0) = 1 through a(4) = 13 set-systems:
  {}  {{1}}  {{1},{2}}    {{1},{2},{3}}        {{1},{2},{3},{4}}
             {{1},{1,2}}  {{1},{2},{1,3}}      {{1},{2},{3},{1,4}}
                          {{1},{1,2},{1,3}}    {{1},{2},{1,2},{3,4}}
                          {{1},{1,2},{2,3}}    {{1},{2},{1,3},{1,4}}
                          {{1,2},{1,3},{2,3}}  {{1},{2},{1,3},{2,4}}
                                               {{1},{2},{1,3},{3,4}}
                                               {{1},{1,2},{1,3},{1,4}}
                                               {{1},{1,2},{1,3},{2,4}}
                                               {{1},{1,2},{2,3},{2,4}}
                                               {{1},{1,2},{2,3},{3,4}}
                                               {{1},{2,3},{2,4},{3,4}}
                                               {{1,2},{1,3},{1,4},{2,3}}
                                               {{1,2},{1,3},{2,4},{3,4}}

Links

Crossrefs

For any number of edges we have A000666, A054921, A322700.
For any number of edges of any size we have A055621, non-covering A000612.
For edges of any size we have A368186, covering case of A368731.
The labeled version is A368597, covering case of A014068.
This is the covering case of A368598.
A000085 counts set partitions into singletons or pairs.
A001515 counts length-n set partitions into singletons or pairs.
A100861 counts set partitions into singletons or pairs by number of pairs.
A111924 counts set partitions into singletons or pairs by length.
Cf. A007716, A007717, A058891, A070166, A122848, A283877, A302545, A320663, A322661, A339741, A339887, A339888.

Programs

  • Mathematica
    brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{(Union@@m)[[i]],p[[i]]}, {i,Length[p]}])], {p,Permutations[Range[Length[Union@@m]]]}]]];
Table[Length[Union[brute /@ Select[Subsets[Subsets[Range[n],{1,2}],{n}], Union@@#==Range[n]&]]],{n,0,5}]
  • PARI
    a(n) = polcoef(G(n, O(x*x^n)) - if(n, G(n-1, O(x*x^n))), n) \\ G defined in A070166. - Andrew Howroyd, Jan 09 2024

Formula

a(n) = A070166(n,n) - A070166(n-1,n) for n > 0. - Andrew Howroyd, Jan 09 2024

Extensions

Terms a(7) and beyond from Andrew Howroyd, Jan 09 2024

A368726 Number of non-isomorphic connected multiset partitions of weight n into singletons or pairs.

Original entry on oeis.org

1, 1, 3, 3, 8, 10, 26, 38, 93, 161, 381, 732, 1721, 3566, 8369, 18316, 43280, 98401, 234959, 549628, 1327726, 3175670, 7763500, 18905703, 46762513, 115613599, 289185492, 724438500, 1831398264, 4641907993, 11853385002, 30365353560
Offset: 0

Views

Author

Gus Wiseman, Jan 06 2024

Keywords

Examples

			Non-isomorphic representatives of the a(1) = 1 through a(5) = 10 multiset partitions:
  {{1}}  {{1,1}}    {{1},{1,1}}    {{1,1},{1,1}}      {{1},{1,1},{1,1}}
         {{1,2}}    {{2},{1,2}}    {{1,2},{1,2}}      {{1},{1,2},{2,2}}
         {{1},{1}}  {{1},{1},{1}}  {{1,2},{2,2}}      {{2},{1,2},{1,2}}
                                   {{1,3},{2,3}}      {{2},{1,2},{2,2}}
                                   {{1},{1},{1,1}}    {{2},{1,3},{2,3}}
                                   {{1},{2},{1,2}}    {{3},{1,3},{2,3}}
                                   {{2},{2},{1,2}}    {{1},{1},{1},{1,1}}
                                   {{1},{1},{1},{1}}  {{1},{2},{2},{1,2}}
                                                      {{2},{2},{2},{1,2}}
                                                      {{1},{1},{1},{1},{1}}

Links

Crossrefs

For edges of any size we have A007718.
This is the connected case of A320663.
The case of singletons and strict pairs is A368727, Euler transform A339888.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A007716 counts non-isomorphic multiset partitions, into pairs A007717.
A062740 counts connected loop-graphs, unlabeled A054921.
A320732 counts factorizations into primes or semiprimes, strict A339839.
A322661 counts covering loop-graphs, unlabeled A322700.
Cf. A001515, A000666, A122848, A283877, A302545, A320462, A321405, A368186, A368598, A368599, A368731.

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort/@(#/.x_Integer:>s[[x]])]& /@ sps[Range[n]]],{s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
csm[s_]:=With[{c=Select[Subsets[Range[Length[s]], {2}],Length[Intersection@@s[[#]]]>0&]}, If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]], Union@@s[[c[[1]]]]]]]]];
brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
Table[Length[Union[brute /@ Select[mpm[n], Max@@Length/@#<=2&&Length[csm[#]]<=1&]]],{n,0,8}]

Formula

Inverse Euler transform of A320663.

A368727 Number of non-isomorphic connected multiset partitions of weight n into singletons or strict pairs.

Original entry on oeis.org

1, 1, 2, 2, 5, 6, 15, 21, 49, 82, 184, 341, 766, 1530, 3428, 7249, 16394, 36009, 82492, 186485, 433096, 1001495, 2358182, 5554644, 13255532, 31718030, 76656602, 185982207, 454889643, 1117496012, 2764222322, 6868902152, 17172601190
Offset: 0

Views

Author

Gus Wiseman, Jan 06 2024

Keywords

Examples

			Non-isomorphic representatives of the a(1) = 1 through a(6) = 15 multiset partitions:
  {1}  {12}    {2}{12}    {12}{12}      {2}{12}{12}      {12}{12}{12}
       {1}{1}  {1}{1}{1}  {13}{23}      {2}{13}{23}      {12}{13}{23}
                          {1}{2}{12}    {3}{13}{23}      {13}{23}{23}
                          {2}{2}{12}    {1}{2}{2}{12}    {13}{24}{34}
                          {1}{1}{1}{1}  {2}{2}{2}{12}    {14}{24}{34}
                                        {1}{1}{1}{1}{1}  {1}{2}{12}{12}
                                                         {1}{2}{13}{23}
                                                         {2}{2}{12}{12}
                                                         {2}{2}{13}{23}
                                                         {2}{3}{13}{23}
                                                         {3}{3}{13}{23}
                                                         {1}{1}{2}{2}{12}
                                                         {1}{2}{2}{2}{12}
                                                         {2}{2}{2}{2}{12}
                                                         {1}{1}{1}{1}{1}{1}

Links

Crossrefs

For edges of any size we have A056156, with loops A007718.
This is the connected case of A339888.
Allowing loops {x,x} gives A368726, Euler transform A320663.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A007716 counts non-isomorphic multiset partitions, into pairs A007717.
A062740 counts connected loop-graphs, unlabeled A054921.
A320732 counts factorizations into primes or semiprimes, strict A339839.
A322661 counts covering loop-graphs, unlabeled A322700.
Cf. A001515, A000666, A122848, A283877, A302545, A320462, A321405, A368598, A368599, A368731.

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]] /@ Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort /@ (#/.x_Integer:>s[[x]])]&/@sps[Range[n]]], {s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
csm[s_]:=With[{c=Select[Subsets[Range[Length[s]],{2}], Length[Intersection@@s[[#]]]>0&]}, If[c=={},s,csm[Sort[Append[Delete[s,List /@ c[[1]]],Union@@s[[c[[1]]]]]]]]];
brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
Table[Length[Union[brute /@ Select[mpm[n],And@@UnsameQ@@@#&&Max@@Length/@#<=2&&Length[csm[#]]<=1&]]],{n,0,8}]

Formula

Inverse Euler transform of A339888.
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.