A014466 -id:A014466 - cp's OEIS frontend

A327806 Triangle read by rows where T(n,k) is the number of antichains of sets with n vertices and vertex-connectivity >= k.

1, 2, 0, 5, 1, 0, 19, 5, 2, 0, 167, 84, 44, 17, 0

Offset: 0

Gus Wiseman, Sep 26 2019

An antichain is a set of nonempty sets, none of which is a subset of any other.

The vertex-connectivity of a set-system is the minimum number of vertices that must be removed (along with any resulting empty edges) to obtain a non-connected set-system or singleton. Note that this means a single node has vertex-connectivity 0.

			Triangle begins:
    1
    2   0
    5   1   0
   19   5   2   0
  167  84  44  17   0

Except for the first column, same as the covering case A327350.
Column k = 0 is A014466 (antichains).
Column k = 1 is A048143 (clutters), if we assume A048143(0) = A048143(1) = 0.
Column k = 2 is A275307 (blobs), if we assume A275307(1) = A275307(2) = 0.
The unlabeled version is A327807.
The case for vertex connectivity exactly k is A327351.
Cf. A014466, A293606, A326704, A327057, A327062, A327125, A327358.

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]]]]]]]]];
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]]]];
vertConnSys[vts_,eds_]:=Min@@Length/@Select[Subsets[vts],Function[del,Length[del]==Length[vts]-1||csm[DeleteCases[DeleteCases[eds,Alternatives@@del,{2}],{}]]!={Complement[vts,del]}]];
Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],SubsetQ],vertConnSys[Range[n],#]>=k&]],{n,0,4},{k,0,n}]

A326874 BII-numbers of abstract simplicial complexes.

Original entry on oeis.org

0, 1, 2, 3, 7, 8, 9, 10, 11, 15, 25, 27, 31, 42, 43, 47, 59, 63, 127, 128, 129, 130, 131, 135, 136, 137, 138, 139, 143, 153, 155, 159, 170, 171, 175, 187, 191, 255, 385, 387, 391, 393, 395, 399, 409, 411, 415, 427, 431, 443, 447, 511, 642, 643, 647, 650, 651, 655

Offset: 1

Gus Wiseman, Jul 29 2019

nonn

An abstract simplicial complex is a set of finite nonempty sets (edges) that is closed under taking a nonempty subset of any edge.
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. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.
The enumeration of abstract simplicial complexes by number of covered vertices is given by A307249.

			The sequence of all abstract simplicial complexes together with their BII-numbers begins:
    0: {}
    1: {{1}}
    2: {{2}}
    3: {{1},{2}}
    7: {{1},{2},{1,2}}
    8: {{3}}
    9: {{1},{3}}
   10: {{2},{3}}
   11: {{1},{2},{3}}
   15: {{1},{2},{1,2},{3}}
   25: {{1},{3},{1,3}}
   27: {{1},{2},{3},{1,3}}
   31: {{1},{2},{3},{1,2},{1,3}}
   42: {{2},{3},{2,3}}
   43: {{1},{2},{3},{2,3}}
   47: {{1},{2},{3},{1,2},{2,3}}
   59: {{1},{2},{3},{1,3},{2,3}}
   63: {{1},{2},{3},{1,2},{1,3},{2,3}}
  127: {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
  128: {{4}}
  129: {{1},{4}}

Wikipedia, Abstract simplicial complex

Cf. A006126, A014466, A029931, A048793, A102896, A261005, A307249, A326031, A326872, A326876.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[0,100],SubsetQ[bpe/@bpe[#],DeleteCases[Union@@Subsets/@bpe/@bpe[#],{}]]&]

A327424 Number of unlabeled, non-connected or empty antichains of nonempty subsets of {1..n}.

Original entry on oeis.org

1, 1, 2, 4, 10, 33, 234, 16579

Offset: 0

Gus Wiseman, Sep 26 2019

An antichain is a set of nonempty sets, none of which is a subset of any other. A singleton is considered to be connected.

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

Partial sums of the positive-index terms of A327426.
The covering case is A327426.
The labeled version is A327354.
The labeled covering case is A120338.
Unlabeled antichains that are either not connected or not covering are A327437.
The case without empty antichains is A327808.
Cf. A014466, A293606, A326704, A327062, A327355.

A327425 Number of unlabeled antichains of nonempty sets covering n vertices where every two vertices appear together in some edge (cointersecting).

Original entry on oeis.org

1, 1, 1, 2, 6, 54

Offset: 0

Gus Wiseman, Sep 11 2019

An antichain is a set of sets, none of which is a subset of any other. It is covering if there are no isolated vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 6 antichains:
    {1}  {12}  {123}         {1234}
               {12}{13}{23}  {12}{134}{234}
                             {124}{134}{234}
                             {12}{13}{14}{234}
                             {123}{124}{134}{234}
                             {12}{13}{14}{23}{24}{34}

The labeled version is A327020.
Unlabeled covering antichains are A261005.
The weighted version is A327060.
Cf. A006126, A014466, A055621, A293606, A293993, A305844, A307249, A319639, A326704, A327057, A327058, A327358, A327359.

A327436 Number of connected, unlabeled antichains of nonempty subsets of {1..n} covering n vertices with at least one cut-vertex (vertex-connectivity 1).

Original entry on oeis.org

0, 0, 1, 1, 4, 29

Offset: 0

Gus Wiseman, Sep 11 2019

nonn

			Non-isomorphic representatives of the a(2) = 1 through a(5) = 29 antichains:
  {12}  {12}{13}  {12}{134}         {12}{1345}
                  {12}{13}{14}      {123}{145}
                  {12}{13}{24}      {12}{13}{145}
                  {12}{13}{14}{23}  {12}{13}{245}
                                    {13}{24}{125}
                                    {13}{124}{125}
                                    {14}{123}{235}
                                    {12}{13}{14}{15}
                                    {12}{13}{14}{25}
                                    {12}{13}{24}{35}
                                    {12}{13}{14}{235}
                                    {12}{13}{23}{145}
                                    {12}{13}{45}{234}
                                    {12}{14}{23}{135}
                                    {12}{15}{134}{234}
                                    {15}{23}{124}{134}
                                    {15}{123}{124}{134}
                                    {15}{123}{124}{234}
                                    {12}{13}{14}{15}{23}
                                    {12}{13}{14}{23}{25}
                                    {12}{13}{14}{23}{45}
                                    {12}{13}{15}{24}{34}
                                    {12}{13}{14}{15}{234}
                                    {12}{13}{14}{25}{234}
                                    {12}{13}{14}{15}{23}{24}
                                    {12}{13}{14}{15}{23}{45}
                                    {12}{13}{14}{23}{24}{35}
                                    {15}{123}{124}{134}{234}
                                    {12}{13}{14}{15}{23}{24}{34}

Column k = 1 of A327359.
The labeled version is A327356.
Cf. A006602, A014466, A048143, A261005, A326704, A326786, A327112, A327114, A327426, A327334, A327336, A327350, A327351, A327358.

a(n > 2) = A261006(n) - A305028(n).

A327438 Irregular triangle read by rows with trailing zeros removed where T(n,k) is the number of unlabeled antichains of nonempty subsets of {1..n} with spanning edge-connectivity k.

Original entry on oeis.org

1, 1, 1, 3, 1, 6, 2, 1, 15, 7, 5, 2, 52, 53, 62, 31, 9, 1, 1

Offset: 0

Gus Wiseman, Sep 11 2019

An antichain is a set of sets, none of which is a subset of any other.

The spanning edge-connectivity of a set-system is the minimum number of edges that must be removed (without removing incident vertices) to obtain a set-system that is disconnected or covers fewer vertices.

			Triangle begins:
   1
   1  1
   3  1
   6  2  1
  15  7  5  2
  52 53 62 31  9  1  1
The antichains counted in row n = 4 are the following:
  0             {1234}         {12}{134}{234}     {123}{124}{134}{234}
  {1}           {12}{134}      {123}{124}{134}    {12}{13}{14}{23}{24}{34}
  {12}          {123}{124}     {12}{13}{24}{34}
  {123}         {12}{13}{14}   {12}{13}{14}{234}
  {1}{2}        {12}{13}{24}   {12}{13}{14}{23}{24}
  {1}{23}       {12}{13}{234}
  {12}{13}      {12}{13}{14}{23}
  {1}{234}
  {12}{34}
  {1}{2}{3}
  {1}{2}{34}
  {2}{13}{14}
  {12}{13}{23}
  {1}{2}{3}{4}
  {4}{12}{13}{23}

Row sums are A306505.
Column k = 0 is A327437.
The labeled version is A327352.
Cf. A014466, A052446, A327062, A327071, A327103, A327111, A327144, A327352, A327353.

A327808 Number of unlabeled, disconnected, nonempty antichains of subsets of {1..n}.

Original entry on oeis.org

0, 0, 1, 3, 9, 32, 233, 16578

Offset: 0

Gus Wiseman, Sep 26 2019

An antichain is a set of nonempty sets, none of which is a subset of any other. A singleton is considered to be connected.

			Non-isomorphic representatives of the a(2) = 1 through a(4) = 9 antichains:
   {{1},{2}}  {{1},{2}}      {{1},{2}}
              {{1},{2,3}}    {{1},{2,3}}
              {{1},{2},{3}}  {{1},{2},{3}}
                             {{1},{2,3,4}}
                             {{1,2},{3,4}}
                             {{1},{2},{3,4}}
                             {{1},{2},{3},{4}}
                             {{2},{1,3},{1,4}}
                             {{4},{1,2},{1,3},{2,3}}

The labeled version is A327354 - 1.
The covering case is A327426.
Unlabeled antichains that are either not connected or not covering are A327437.
The version with empty antichains allowed is A327424.
Cf. A000372, A014466, A120338, A293606, A326704, A327062, A327355.

a(n) = A327424(n) - 1.

A344084 Concatenated list of all finite nonempty sets of positive integers sorted first by maximum, then by length, and finally lexicographically.

Original entry on oeis.org

1, 2, 1, 2, 3, 1, 3, 2, 3, 1, 2, 3, 4, 1, 4, 2, 4, 3, 4, 1, 2, 4, 1, 3, 4, 2, 3, 4, 1, 2, 3, 4, 5, 1, 5, 2, 5, 3, 5, 4, 5, 1, 2, 5, 1, 3, 5, 1, 4, 5, 2, 3, 5, 2, 4, 5, 3, 4, 5, 1, 2, 3, 5, 1, 2, 4, 5, 1, 3, 4, 5, 2, 3, 4, 5, 1, 2, 3, 4, 5

Offset: 1

Gus Wiseman, May 11 2021

			The sets are the columns below:
  1 2 1 3 1 2 1 4 1 2 3 1 1 2 1 5 1 2 3 4 1 1 1 2 2 3 1
      2   3 3 2   4 4 4 2 3 3 2   5 5 5 5 2 3 4 3 4 4 2
              3         4 4 4 3           5 5 5 5 5 5 3
                              4                       5
As a tetrangle, the first four triangles are:
  {1}
  {2},{1,2}
  {3},{1,3},{2,3},{1,2,3}
  {4},{1,4},{2,4},{3,4},{1,2,4},{1,3,4},{2,3,4},{1,2,3,4}

Wikiversity, Lexicographic and colexicographic order

Triangle lengths are A000079.
Triangle sums are A001793.
Positions of first appearances are A005183.
Set maxima are A070939.
Set lengths are A124736.
Cf. A005117, A014466, A209862.
Partition/composition orderings: A026791, A026792, A026793, A036036, A036037, A048793, A066099, A080577, A112798, A118457, A124734, A162247, A193073, A211992, A228100, A228531, A246688, A272020, A296774, A299755, A304038, A319247, A329631, A334301, A334302, A334439, A334442, A335122, A344085, A344086, A344087, A344088, A344089.
Partition/composition applications: A036043, A049085, A115623, A129129, A185974, A238966, A294648, A333483, A333484, A333485, A333486, A334433, A334434, A334435, A334436, A334437, A334438, A334440, A334441, A335123, A335124, A339195.

Mathematica
```
SortBy[Rest[Subsets[Range[5]]],Last]
```

A379707 Number of nonempty labeled antichains of subsets of [n] such that all subsets except possibly those of the largest size are disjoint.

Original entry on oeis.org

1, 2, 5, 19, 133, 2605, 1128365, 68731541392, 1180735736455875189405, 170141183460507927984536600089529165335, 7237005577335553223087828975127304180898559033209149835788539833222132944557

Offset: 0

John Tyler Rascoe, Dec 30 2024

			For n < 4 all nonempty labeled antichains are counted. When n=6 antichains such as {{1,2,6},{1,4},{1,5}} are not counted, while {{1,2,4},{1,2,6},{3},{5}} is counted.

Cf. A000372, A014466, A229223, A245567, A305844, A379706.

from math import comb
def rS2(n,k,m):
    if n < 1 and k < 1: return 1
    elif n < 1 or k < 1: return 0
    else: return k*rS2(n-1,k,m) + rS2(n-1,k-1,m)- comb(n-1,m)*rS2(n-1-m,k-1,m)
def A229223(n,k):
    return sum(rS2(n,x,k) for x in range(n+1))
def A379707(n):
    return 1+sum(sum(comb(n,i)*(2**comb(n-i,s)-1)*A229223(i,s-1) for i in range(n-s+1)) for s in range(1,n+1))

a(n) = 1 + Sum_{s=1..n} (Sum_{i=0..n-s} binomial(n,i) * (2^binomial(n-i,s) - 1) * A229223(i,s-1)).

A379712 Triangle read by rows: T(n,k) is the number of nonempty labeled antichains of subsets of [n] such that the largest subset is of size k.

Original entry on oeis.org

1, 1, 1, 1, 3, 1, 1, 7, 10, 1, 1, 15, 97, 53, 1, 1, 31, 1418, 5443, 686, 1, 1, 63, 40005, 3701128, 4043864, 43291, 1

Offset: 0

John Tyler Rascoe, Dec 30 2024

			Triangle begins:
   k=0   1     2     3    4  5
 n=0 1;
 n=1 1,  1;
 n=2 1,  3,    1;
 n=3 1,  7,   10,    1;
 n=4 1, 15,   97,   53,   1;
 n=5 1, 31, 1418, 5443, 686, 1;
 ...
T(3,0) =  1: {{}}.
T(3,1) =  7: {{1}}, {{2}}, {{3}}, {{1},{2}}, {{1},{3}}, {{2},{3}}, {{1},{2},{3}}.
T(3,2) = 10: {{1,2}}, {{1,3}}, {{2,3}}, {{1},{23}}, {{2},{13}}, {{3},{12}}, {{12},{13}}, {{12},{23}}, {{13},{23}}, {{12},{13},{23}}.
T(3,3) =  1: {{1,2,3}}.

John Tyler Rascoe, Python program.

Cf. (column k=1) A000225, A000372, (row sums) A014466, A327806, (column k=2) A379706.

Python
```
# see links
```

cp's OEIS Frontend

A327806 Triangle read by rows where T(n,k) is the number of antichains of sets with n vertices and vertex-connectivity >= k.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A326874 BII-numbers of abstract simplicial complexes.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A327424 Number of unlabeled, non-connected or empty antichains of nonempty subsets of {1..n}.

Views

Author

Keywords

Comments

Examples

Crossrefs

A327425 Number of unlabeled antichains of nonempty sets covering n vertices where every two vertices appear together in some edge (cointersecting).

Views

Author

Keywords

Comments

Examples

Crossrefs

A327436 Number of connected, unlabeled antichains of nonempty subsets of {1..n} covering n vertices with at least one cut-vertex (vertex-connectivity 1).

Views

Author

Keywords

Examples

Crossrefs

Formula

A327438 Irregular triangle read by rows with trailing zeros removed where T(n,k) is the number of unlabeled antichains of nonempty subsets of {1..n} with spanning edge-connectivity k.

Views

Author

Keywords

Comments

Examples

Crossrefs

A327808 Number of unlabeled, disconnected, nonempty antichains of subsets of {1..n}.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A344084 Concatenated list of all finite nonempty sets of positive integers sorted first by maximum, then by length, and finally lexicographically.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

A379707 Number of nonempty labeled antichains of subsets of [n] such that all subsets except possibly those of the largest size are disjoint.

Views

Author

Keywords

Examples

Crossrefs

Programs

Python

Formula

A379712 Triangle read by rows: T(n,k) is the number of nonempty labeled antichains of subsets of [n] such that the largest subset is of size k.

Views

Author

Keywords

Examples

Links