A326519 -id:A326519 - cp's OEIS frontend

A326573 Number of connected antichains of subsets of {1..n}, all having different sums.

1, 1, 1, 5, 59, 2689, 787382

Offset: 0

Gus Wiseman, Jul 18 2019

An antichain is a finite set of finite sets, none of which is a subset of any other. It is covering if its union is {1..n}. The edge-sums are the sums of vertices in each edge, so for example the edge sums of {{1,3},{2,5},{3,4,5}} are {4,7,12}.

			The a(3) = 5 antichains:
  {{1,2,3}}
  {{1,3},{2,3}}
  {{1,2},{2,3}}
  {{1,2},{1,3}}
  {{1,2},{1,3},{2,3}}
The a(4) = 59 antichains:
  {1234}  {12}{134}   {12}{13}{14}   {12}{13}{14}{24}   {12}{13}{14}{24}{34}
          {12}{234}   {12}{13}{24}   {12}{13}{14}{34}   {12}{13}{23}{24}{34}
          {13}{124}   {12}{13}{34}   {12}{13}{23}{24}
          {13}{234}   {12}{14}{34}   {12}{13}{23}{34}
          {14}{123}   {12}{23}{24}   {12}{13}{24}{34}
          {14}{234}   {12}{23}{34}   {12}{14}{24}{34}
          {23}{124}   {12}{24}{34}   {12}{23}{24}{34}
          {23}{134}   {13}{14}{24}   {13}{14}{24}{34}
          {24}{134}   {13}{23}{24}   {13}{23}{24}{34}
          {34}{123}   {13}{23}{34}   {12}{13}{14}{234}
          {123}{124}  {13}{24}{34}   {12}{23}{24}{134}
          {123}{134}  {14}{24}{34}   {123}{124}{134}{234}
          {123}{234}  {12}{13}{234}
          {124}{134}  {12}{14}{234}
          {124}{234}  {12}{23}{134}
          {134}{234}  {12}{24}{134}
                      {13}{14}{234}
                      {13}{23}{124}
                      {14}{34}{123}
                      {23}{24}{134}
                      {12}{134}{234}
                      {13}{124}{234}
                      {14}{123}{234}
                      {23}{124}{134}
                      {123}{124}{134}
                      {123}{124}{234}
                      {123}{134}{234}
                      {124}{134}{234}

Antichain covers are A006126.
Connected antichains are A048143.
Set partitions with different block-sums are A275780.
MM-numbers of multiset partitions with different part-sums are A326535.
Antichain covers with equal edge-sums are A326566.
The non-connected case is A326572.
Cf. A000372, A293510, A307249, A321469, A323818, A326519, A326565, A326569, A326570, A326571.

A382458 Number of normal multisets of size n that can be partitioned into a set of sets in exactly one way.

Original entry on oeis.org

1, 1, 0, 2, 1, 3, 0, 7, 3, 11, 18, 9

Offset: 0

Gus Wiseman, Mar 30 2025

We call a multiset or multiset partition normal iff it covers an initial interval of positive integers. The size of a multiset is the number of elements, counting multiplicity.

			The normal multiset {1,2,2,2,2,3,3,4} has three multiset partitions into a set of sets:
  {{2},{1,2},{2,3},{2,3,4}}
  {{2},{2,3},{2,4},{1,2,3}}
  {{2},{3},{1,2},{2,3},{2,4}}
so is not counted under a(8).
The a(1) = 1 through a(7) = 7 normal multisets:
  {1}  .  {1,1,2}  {1,1,2,2}  {1,1,1,2,3}  .  {1,1,1,1,2,3,4}
          {1,2,2}             {1,2,2,2,3}     {1,1,1,2,2,2,3}
                              {1,2,3,3,3}     {1,1,1,2,3,3,3}
                                              {1,2,2,2,2,3,4}
                                              {1,2,2,2,3,3,3}
                                              {1,2,3,3,3,3,4}
                                              {1,2,3,4,4,4,4}

For constant instead of strict blocks we have A000045.
Factorizations of this type are counted by A050326, with distinct sums A381633.
For the strong case see A292444, A382430, complement A381996, A382523.
MM-numbers of sets of sets are A302494, see A302478, A382201.
Twice-partitions into distinct sets are counted by A358914, with distinct sums A279785.
For integer partitions we have A382079 (A293511), with distinct sums A382460, (A381870).
With distinct sums we have A382459.
Set multipartitions: A050320, A089259, A116540, A270995, A296119, A318360.
Normal multiset partitions: A034691, A035310, A116539, A255906, A381718.
Set systems: A050342, A296120, A318361.
Partitions: A382077 (A382200), A381992 (A382075), A382078 (A293243), A381990 (A381806).
Cf. A000110, A000670, A007716, A255903, A275780, A292432, A317532, A326519, A382428.

allnorm[n_]:=If[n<=0,{{}},Function[s,Array[Count[s,y_/;y<=#]+1&,n]] /@ Subsets[Range[n-1]+1]];
sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]] /@ Cases[Subsets[set],{i,_}];
mps[mset_]:=Union[Sort[Sort/@(#/.x_Integer:>mset[[x]])]& /@ sps[Range[Length[mset]]]];
Table[Length[Select[allnorm[n], Length[Select[mps[#], UnsameQ@@#&&And@@UnsameQ@@@#&]]==1&]], {n,0,5}]

A382459 Number of normal multisets of size n that can be partitioned into a set of sets with distinct sums in exactly one way.

Original entry on oeis.org

1, 1, 0, 2, 1, 3, 2, 7, 4, 10, 19

Offset: 0

Gus Wiseman, Apr 01 2025

We call a multiset or multiset partition normal iff it covers an initial interval of positive integers. The size of a multiset is the number of elements, counting multiplicity.

			The normal multiset {1,2,2,2,2,3,3,4} has only one multiset partition into a set of sets with distinct sums: {{2},{1,2},{2,3},{2,3,4}}, so is counted under a(8).
The a(1) = 1 through a(7) = 7 multisets:
  {1}  .  {112}  {1122}  {11123}  {111233}  {1111234}
          {122}          {12223}  {122233}  {1112223}
                         {12333}            {1112333}
                                            {1222234}
                                            {1222333}
                                            {1233334}
                                            {1234444}

Twice-partitions of this type are counted by A279785, A270995, A358914.
Factorizations of this type are counted by A381633, A050320, A050326.
Normal multiset partitions of this type are A381718, A116540, A116539.
Multiset partitions of this type are ranked by A382201, A302478, A302494.
For at least one choice: A382216 (strict A382214), complement A382202 (strict A292432).
For the strong case see: A382430 (strict A292444), complement A382523 (strict A381996).
Without distinct sums we have A382458.
For integer partitions we have A382460, ranks A381870, strict A382079, ranks A293511.
Set multipartitions: A089259, A296119, A318360.
Normal multiset partitions: A034691, A035310, A255906.
Set systems: A050342, A296120, A318361.
Partitions: A382077 (A382200), A381992 (A382075), A382078 (A293243), A381990 (A381806).
Cf. A000110, A000670, A007716, A255903, A275780, A317532, A321469, A326519, A381078, A381441, A382428.

allnorm[n_]:=If[n<=0,{{}},Function[s,Array[Count[s,y_/;y<=#]+1&,n]]/@Subsets[Range[n-1]+1]];
sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mps[mset_]:=Union[Sort[Sort/@(#/.x_Integer:>mset[[x]])]&/@sps[Range[Length[mset]]]];
Table[Length[Select[allnorm[n],Length[Select[mps[#],UnsameQ@@Total/@#&&And@@UnsameQ@@@#&]]==1&]],{n,0,5}]

A326030 Number of antichains of subsets of {1..n} with different edge-sums.

Original entry on oeis.org

2, 3, 6, 19, 132, 3578, 826949

Offset: 0

Gus Wiseman, Jul 18 2019

An antichain is a finite set of finite sets, none of which is a subset of any other. The edge-sums are the sums of vertices in each edge, so for example the edge sums of {{1,3},{2,5},{3,4,5}} are {4,7,12}.

			The a(0) = 2 through a(3) = 19 antichains:
  {}    {}     {}         {}
  {{}}  {{}}   {{}}       {{}}
        {{1}}  {{1}}      {{1}}
               {{2}}      {{2}}
               {{1,2}}    {{3}}
               {{1},{2}}  {{1,2}}
                          {{1,3}}
                          {{2,3}}
                          {{1},{2}}
                          {{1,2,3}}
                          {{1},{3}}
                          {{2},{3}}
                          {{1},{2,3}}
                          {{2},{1,3}}
                          {{1,2},{1,3}}
                          {{1,2},{2,3}}
                          {{1},{2},{3}}
                          {{1,3},{2,3}}
                          {{1,2},{1,3},{2,3}}

Set partitions with different block-sums are A275780.
MM-numbers of multiset partitions with different part-sums are A326535.
The covering case is A326572.
Antichains with equal edge-sums are A326574.
Cf. A000372, A003182, A006126, A321469, A326519, A326571, A326573.

stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
cleqset[set_]:=stableSets[Subsets[set],SubsetQ[#1,#2]||Total[#1]==Total[#2]&];
Table[Length[cleqset[Range[n]]],{n,0,5}]

A327903 Number of set-systems covering n vertices where every edge has a different sum.

Original entry on oeis.org

1, 1, 5, 77, 7369, 10561753, 839653402893, 15924566366443524837, 315320784127456186118309342769, 29238175285109256786706269143580213236526609, 59347643832090275881798554403880633753161146711444051797893301

Offset: 0

Gus Wiseman, Sep 30 2019

nonn

A set-system is a set of nonempty sets. It is covering if there are no isolated (uncovered) vertices.

			The a(3) = 77 set-systems:
  123  1-23    1-2-3      1-2-3-13      1-2-3-13-23     1-2-3-13-23-123
       2-13    1-2-13     1-2-3-23      1-2-12-13-23    1-2-12-13-23-123
       1-123   1-2-23     1-2-12-13     1-2-3-13-123
       12-13   1-3-23     1-2-12-23     1-2-3-23-123
       12-23   2-3-13     1-2-13-23     1-2-12-13-123
       13-23   1-12-13    1-2-3-123     1-2-12-23-123
       2-123   1-12-23    1-3-13-23     1-2-13-23-123
       3-123   1-13-23    2-3-13-23     1-3-13-23-123
       12-123  1-2-123    1-12-13-23    2-3-13-23-123
       13-123  1-3-123    1-2-12-123    1-12-13-23-123
       23-123  2-12-13    1-2-13-123    2-12-13-23-123
               2-12-23    1-2-23-123
               2-13-23    1-3-13-123
               2-3-123    1-3-23-123
               3-13-23    2-12-13-23
               1-12-123   2-3-13-123
               1-13-123   2-3-23-123
               12-13-23   1-12-13-123
               1-23-123   1-12-23-123
               2-12-123   1-13-23-123
               2-13-123   2-12-13-123
               2-23-123   2-12-23-123
               3-13-123   2-13-23-123
               3-23-123   3-13-23-123
               12-13-123  12-13-23-123
               12-23-123
               13-23-123

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

The antichain case is A326572.
The graphical case is A327904.
Cf. A003465, A006126, A035470, A275780, A321469, A326030, A326519, A326535, A326565, A326571, A326573.

stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
qes[n_]:=Select[stableSets[Subsets[Range[n],{1,n}],Total[#1]==Total[#2]&],Union@@#==Range[n]&];
Table[Length[qes[n]],{n,0,4}]

\\ by inclusion/exclusion on covered vertices.
C(v)={my(u=Vecrev(-1 + prod(k=1, #v, 1 + x^v[k]))); prod(i=1, #u, 1 + u[i])}
a(n)={my(s=0); forsubset(n, v, s += (-1)^(n-#v)*C(v)); s} \\ Andrew Howroyd, Oct 02 2019

Terms a(4) and beyond from Andrew Howroyd, Oct 02 2019

A327904 Number of labeled simple graphs with vertices {1..n} such that every edge has a different sum.

Original entry on oeis.org

1, 1, 2, 8, 48, 432, 5184, 82944, 1658880, 41472000, 1244160000, 44789760000, 1881169920000, 92177326080000, 5161930260480000, 330363536670720000, 23786174640291840000, 1926680145863639040000, 173401213127727513600000, 17340121312772751360000000

Offset: 0

Gus Wiseman, Sep 30 2019

nonn

			The graph with edge-set {{1,2},{1,3},{1,4},{2,3}}, which looks like a triangle with a tail, has edges {1,4} and {2,3} with equal sum, so is not counted under a(4).

Andrew Howroyd, Table of n, a(n) for n = 0..100
Gus Wiseman, Sequences counting and ranking multiset partitions whose part lengths, sums, or averages are constant or strict.
Gus Wiseman, The a(4) = 48 graphs where every edge has a different sum.

The generalization to antichains is A326030.

Cf. A006125, A006129, A275780, A321469, A326519, A326535, A327903.

a:= proc(n) option remember; `if`(n=0, 1,
      a(n-1)*ceil(n/2)*ceil(n/2+1/4))
    end:
seq(a(n), n=0..20);  # Alois P. Heinz, Oct 03 2019

stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
qes[n_]:=stableSets[Subsets[Range[n],{2}],Total[#1]==Total[#2]&];
Table[Length[qes[n]],{n,0,5}]

a(n) = {prod(k=1, 2*n+1, ceil(k/4))} \\ Andrew Howroyd, Oct 02 2019

a(n) = Product_{k=1..2*n+1} ceiling(k/4). - Andrew Howroyd, Oct 02 2019

Terms a(8) and beyond from Andrew Howroyd, Oct 02 2019

A336138 Number of set partitions of the binary indices of n with distinct block-sums.

Original entry on oeis.org

1, 1, 1, 2, 1, 2, 2, 4, 1, 2, 2, 5, 2, 4, 5, 12, 1, 2, 2, 5, 2, 5, 4, 13, 2, 4, 5, 13, 5, 13, 13, 43, 1, 2, 2, 5, 2, 5, 5, 13, 2, 5, 4, 14, 5, 13, 14, 42, 2, 4, 5, 13, 5, 14, 13, 43, 5, 13, 14, 45, 14, 44, 44, 160, 1, 2, 2, 5, 2, 5, 5, 14, 2, 5, 5, 14, 4, 13

Offset: 0

Gus Wiseman, Jul 12 2020

nonn

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793.

			The a(n) set partitions for n = 3, 7, 11, 15, 23:
  {12}    {123}      {124}      {1234}        {1235}
  {1}{2}  {1}{23}    {1}{24}    {1}{234}      {1}{235}
          {13}{2}    {12}{4}    {12}{34}      {12}{35}
          {1}{2}{3}  {14}{2}    {123}{4}      {123}{5}
                     {1}{2}{4}  {124}{3}      {125}{3}
                                {13}{24}      {13}{25}
                                {134}{2}      {135}{2}
                                {1}{2}{34}    {15}{23}
                                {1}{23}{4}    {1}{2}{35}
                                {1}{24}{3}    {1}{25}{3}
                                {14}{2}{3}    {13}{2}{5}
                                {1}{2}{3}{4}  {15}{2}{3}
                                              {1}{2}{3}{5}

Gus Wiseman, Sequences counting and ranking multiset partitions whose part lengths, sums, or averages are constant or strict.

The version for twice-partitions is A271619.
The version for partitions of partitions is (also) A271619.
These set partitions are counted by A275780.
The version for factorizations is A321469.
The version for normal multiset partitions is A326519.
The version for equal block-sums is A336137.
Set partitions with distinct block-lengths are A007837.
Set partitions of binary indices are A050315.
Twice-partitions with equal sums are A279787.
Partitions of partitions with equal sums are A305551.
Normal multiset partitions with equal block-lengths are A317583.
Multiset partitions with distinct block-sums are ranked by A326535.
Cf. A000110, A032011, A035470, A131632, A321455, A326026, A326514, A326517, A326518, A326534, A326565.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
Table[Length[Select[sps[bpe[n]],UnsameQ@@Total/@#&]],{n,0,100}]

cp's OEIS Frontend

A326573 Number of connected antichains of subsets of {1..n}, all having different sums.

Views

Author

Keywords

Comments

Examples

Crossrefs

A382458 Number of normal multisets of size n that can be partitioned into a set of sets in exactly one way.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A382459 Number of normal multisets of size n that can be partitioned into a set of sets with distinct sums in exactly one way.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A326030 Number of antichains of subsets of {1..n} with different edge-sums.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A327903 Number of set-systems covering n vertices where every edge has a different sum.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A327904 Number of labeled simple graphs with vertices {1..n} such that every edge has a different sum.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A336138 Number of set partitions of the binary indices of n with distinct block-sums.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica