A326972 -id:A326972 - cp's OEIS frontend

A326971 Number of unlabeled set-systems on n vertices whose dual is a weak antichain.

1, 2, 5, 24, 1267

Offset: 0

Gus Wiseman, Aug 10 2019

A set-system is a finite set of finite nonempty sets. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. A weak antichain is a multiset of sets, none of which is a proper subset of any other.

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

Unlabeled set-systems are A000612.
Unlabeled set-systems whose dual is strict are A326946.
The labeled version is A326968.
The version with empty edges allowed is A326969.
The T_0 case (with strict dual) is A326972.
The covering case is A326973 (first differences).
Cf. A319559, A326951, A326965, A326966, A326970, A326974, A326975, A326978.

A326967 Number of sets of subsets of {1..n} where every covered vertex is the unique common element of some subset of the edges.

Original entry on oeis.org

2, 4, 10, 92, 38362, 4020654364, 18438434849260080818, 340282363593610212050791236025945013956, 115792089237316195072053288318104625957065868613454666314675263144628100544274

Offset: 0

Gus Wiseman, Aug 10 2019

nonn

Alternatively, these are sets of subsets of {1..n} whose dual is a (strict) antichain, also called T_1 sets of subsets. The dual of a set of subsets has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. An antichain is a set of sets, none of which is a subset of any other.

			The a(0) = 2 through a(2) = 10 sets of subsets:
  {}    {}        {}
  {{}}  {{}}      {{}}
        {{1}}     {{1}}
        {{},{1}}  {{2}}
                  {{},{1}}
                  {{},{2}}
                  {{1},{2}}
                  {{},{1},{2}}
                  {{1},{2},{1,2}}
                  {{},{1},{2},{1,2}}

Sets of subsets are A001146.
The unlabeled version is A326951.
The covering version is A326960.
The case without empty edges is A326965.
Sets of subsets whose dual is a weak antichain are A326969.
Cf. A059052, A059523, A326941, A326966, A326972, A326976, A326977, A326979.

tmQ[eds_]:=Union@@Select[Intersection@@@Rest[Subsets[eds]],Length[#]==1&]==Union@@eds;
Table[Length[Select[Subsets[Subsets[Range[n]]],tmQ[#]&]],{n,0,3}]

a(n) = 2 * A326965(n).

Binomial transform of A326960.

A327018 Number of non-isomorphic set-systems of weight n whose dual is a weak antichain.

Original entry on oeis.org

1, 1, 2, 3, 6, 8, 17, 24, 51, 80, 180

Offset: 0

Gus Wiseman, Aug 15 2019

A set-system is a finite set of finite nonempty sets. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. A weak antichain is a multiset of sets, none of which is a proper subset of any other.

			Non-isomorphic representatives of the a(1) = 1 through a(6) = 17 multiset partitions:
  {1}  {12}    {123}      {1234}        {12345}          {123456}
       {1}{2}  {1}{23}    {1}{234}      {1}{2345}        {1}{23456}
               {1}{2}{3}  {12}{34}      {12}{345}        {12}{3456}
                          {1}{2}{12}    {1}{2}{345}      {123}{456}
                          {1}{2}{34}    {1}{23}{45}      {12}{13}{23}
                          {1}{2}{3}{4}  {1}{2}{3}{23}    {1}{23}{123}
                                        {1}{2}{3}{45}    {1}{2}{3456}
                                        {1}{2}{3}{4}{5}  {1}{23}{456}
                                                         {12}{34}{56}
                                                         {1}{2}{13}{23}
                                                         {1}{2}{3}{123}
                                                         {1}{2}{3}{456}
                                                         {1}{2}{34}{56}
                                                         {3}{4}{12}{34}
                                                         {1}{2}{3}{4}{34}
                                                         {1}{2}{3}{4}{56}
                                                         {1}{2}{3}{4}{5}{6}

Cf. A007716, A283877, A293993, A319643, A319721, A326966, A326968, A326970, A326972, A326973, A326974, A326975, A326978, A327017, A327019.

A327011 Number of unlabeled sets of subsets covering n vertices where every vertex is the unique common element of some subset of the edges, also called unlabeled covering T_1 sets of subsets.

Original entry on oeis.org

2, 2, 4, 32, 2424

Offset: 0

Gus Wiseman, Aug 13 2019

Alternatively, these are unlabeled sets of subsets covering n vertices whose dual is a (strict) antichain. The dual of a set of subsets has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. An antichain is a set of subsets where no edge is a subset of any other.

			Non-isomorphic representatives of the a(0) = 1 through a(2) = 4 sets of subsets:
  {}    {{1}}     {{1},{2}}
  {{}}  {{},{1}}  {{},{1},{2}}
                  {{1},{2},{1,2}}
                  {{},{1},{2},{1,2}}

Unlabeled covering sets of subsets are A003181.
The same with T_0 instead of T_1 is A326942.
The non-covering version is A326951 (partial sums).
The labeled version is A326960.
The case without empty edges is A326974.
Cf. A001146, A055621, A059523, A319637, A326961, A326972, A326973, A326976, A326977, A326979.

a(n) = A326974(n) / 2.

a(n > 0) = A326951(n) - A326951(n - 1).

A327017 Number of non-isomorphic multiset partitions of weight n where every vertex, as a multiset of weight 1, is the multiset-meet of some subset of the edges.

Original entry on oeis.org

1, 1, 2, 4, 9, 19, 49, 115, 310, 830, 2383

Offset: 0

Gus Wiseman, Aug 15 2019

The multiset-meet of a collection of multisets has as underlying set the intersection of their underlying sets and as multiplicities the minima of their multiplicities.

			Non-isomorphic representatives of the a(1) = 1 through a(5) = 19 multiset partitions:
    {1}  {1}{1}  {1}{11}    {1}{111}      {1}{1111}
         {1}{2}  {1}{1}{1}  {1}{1}{11}    {1}{1}{111}
                 {1}{2}{2}  {1}{2}{12}    {1}{11}{11}
                 {1}{2}{3}  {1}{2}{22}    {1}{12}{22}
                            {1}{1}{1}{1}  {1}{2}{122}
                            {1}{1}{2}{2}  {1}{2}{222}
                            {1}{2}{2}{2}  {1}{1}{1}{11}
                            {1}{2}{3}{3}  {1}{1}{2}{22}
                            {1}{2}{3}{4}  {1}{2}{2}{12}
                                          {1}{2}{2}{22}
                                          {1}{2}{3}{23}
                                          {1}{2}{3}{33}
                                          {1}{1}{1}{1}{1}
                                          {1}{1}{2}{2}{2}
                                          {1}{2}{2}{2}{2}
                                          {1}{2}{2}{3}{3}
                                          {1}{2}{3}{3}{3}
                                          {1}{2}{3}{4}{4}
                                          {1}{2}{3}{4}{5}

Cf. A007716, A059523, A326961, A326965, A326967, A326972, A326974, A326976, A326977, A326979, A327012.

cp's OEIS Frontend

A326971 Number of unlabeled set-systems on n vertices whose dual is a weak antichain.

Views

Author

Keywords

Comments

Examples

Crossrefs

A326967 Number of sets of subsets of {1..n} where every covered vertex is the unique common element of some subset of the edges.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A327018 Number of non-isomorphic set-systems of weight n whose dual is a weak antichain.

Views

Author

Keywords

Comments

Examples

Crossrefs

A327011 Number of unlabeled sets of subsets covering n vertices where every vertex is the unique common element of some subset of the edges, also called unlabeled covering T_1 sets of subsets.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A327017 Number of non-isomorphic multiset partitions of weight n where every vertex, as a multiset of weight 1, is the multiset-meet of some subset of the edges.

Views

Author

Keywords

Comments

Examples

Crossrefs