A014466 -id:A014466 - cp's OEIS frontend

A304996 Number of unlabeled antichains of finite sets spanning up to n vertices with singleton edges allowed.

1, 2, 6, 24, 166, 3266, 826308

Offset: 0

Gus Wiseman, May 23 2018

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

Partial sums of A304997.
Cf. A006126, A261005, A304997, A304998, A304999, A305000, A305001.
Cf. A000372, A014466, A293993, A319639, A319721, A326704, A326972.

a(5)-a(6) from Andrew Howroyd, Aug 14 2019

A344086 Flattened tetrangle of strict integer partitions sorted first by sum, then lexicographically.

Original entry on oeis.org

1, 2, 2, 1, 3, 3, 1, 4, 3, 2, 4, 1, 5, 3, 2, 1, 4, 2, 5, 1, 6, 4, 2, 1, 4, 3, 5, 2, 6, 1, 7, 4, 3, 1, 5, 2, 1, 5, 3, 6, 2, 7, 1, 8, 4, 3, 2, 5, 3, 1, 5, 4, 6, 2, 1, 6, 3, 7, 2, 8, 1, 9, 4, 3, 2, 1, 5, 3, 2, 5, 4, 1, 6, 3, 1, 6, 4, 7, 2, 1, 7, 3, 8, 2, 9, 1, 10

Offset: 0

Gus Wiseman, May 11 2021

The zeroth row contains only the empty partition.

A tetrangle is a sequence of finite triangles.

			Tetrangle begins:
  0: ()
  1: (1)
  2: (2)
  3: (21)(3)
  4: (31)(4)
  5: (32)(41)(5)
  6: (321)(42)(51)(6)
  7: (421)(43)(52)(61)(7)
  8: (431)(521)(53)(62)(71)(8)
  9: (432)(531)(54)(621)(63)(72)(81)(9)

Wikiversity, Lexicographic and colexicographic order

Positions of first appearances are A015724.
Triangle sums are A066189.
Taking revlex instead of lex gives A118457.
The not necessarily strict version is A193073.
The version for reversed partitions is A246688.
The Heinz numbers of these partitions grouped by sum are A246867.
The ordered generalization is A339351.
Taking colex instead of lex gives A344087.
A026793 gives reversed strict partitions in A-S order (sum/length/lex).
A319247 sorts reversed strict partitions by Heinz number.
A329631 sorts strict partitions by Heinz number.
A344090 gives strict partitions in A-S order (sum/length/lex).
Cf. A005117, A014466, A209862.
Partition/composition orderings: A026791, A026792, A036036, A036037, A048793, A066099, A080577, A112798, A124734, A162247, A211992, A228100, A228351, A228531, A272020, A299755, A296774, A304038, A334301, A334302, A334439, A334442, A335122, A344085, A344086, A344088, A344089.
Partition/composition applications: A001793, A005183, A036043, A049085, A070939, A115623, A124736, A129129, A185974, A238966, A294648, A333483, A333484, A333485, A333486, A334433, A334434, A334435, A334436, A334437, A334438, A334440, A334441, A335123, A335124, A339195.

lexsort[f_,c_]:=OrderedQ[PadRight[{f,c}]];
Table[Sort[Select[IntegerPartitions[n],UnsameQ@@#&],lexsort],{n,0,8}]

A324168 Number of non-crossing antichains of nonempty subsets of {1,...,n}.

Original entry on oeis.org

1, 2, 5, 19, 120, 1084, 11783, 141110, 1791156, 23646352, 321220257, 4459886776, 63000867229, 902528825332, 13080523942476, 191445447535373, 2825542818304080, 42005234042942228, 628422035415996065, 9454076958795999908, 142933849346150225253, 2170556938059142024688

Offset: 0

Gus Wiseman, Feb 17 2019

nonn

An antichain is non-crossing if no pair of distinct parts is of the form {{...x...y...}, {...z...t...}} where x < z < y < t or z < x < t < y.

			The a(0) = 1 through a(3) = 19 non-crossing antichains:
  {}  {}     {}        {}
      {{1}}  {{1}}     {{1}}
             {{2}}     {{2}}
             {{12}}    {{3}}
             {{1}{2}}  {{12}}
                       {{13}}
                       {{23}}
                       {{123}}
                       {{1}{2}}
                       {{1}{3}}
                       {{2}{3}}
                       {{1}{23}}
                       {{2}{13}}
                       {{3}{12}}
                       {{12}{13}}
                       {{12}{23}}
                       {{13}{23}}
                       {{1}{2}{3}}
                       {{12}{13}{23}}

Andrew Howroyd, Table of n, a(n) for n = 0..500

Cf. A000108 (non-crossing set partitions), A000124, A000372 (antichains), A001006, A001263, A006126 (antichain covers), A014466 (nonempty antichains), A054726 (non-crossing graphs), A099947, A261005, A306438.

Cf. A324166, A324167, A324169, A324170, A324171, A324173, A359984.

nn=6;
nonXQ[stn_]:=!MatchQ[stn,{_,{_,x_,_,y_,_},_,{_,z_,_,t_,_},_}/;x

seq(n)={my(f=O(1)); for(n=2, n, f = 1 + (4*x + x^2)*f^2 - 3*x^2*(1 + x)*f^3); Vec(subst(x*(1 + x^2*f^2 - 3*x^3*f^3), x, x/(1-2*x))/x) } \\ Andrew Howroyd, Jan 20 2023

Binomial transform of A324167.

G.f.: A(x) = B(x/(1-2*x))/x where B(x)/x is the g.f. of A359984. - Andrew Howroyd, Jan 20 2023

Terms a(9) and beyond from Andrew Howroyd, Jan 20 2023

A325108 Number of maximal subsets of {1...n} with no binary containments.

Original entry on oeis.org

1, 1, 1, 2, 2, 4, 5, 6, 6, 11, 13, 16, 17, 22, 27, 28

Offset: 0

Gus Wiseman, Mar 28 2019

A pair of positive integers is a binary containment if the positions of 1's in the reversed binary expansion of the first are a subset of the positions of 1's in the reversed binary expansion of the second.

			The a(0) = 1 through a(7) = 6 maximal subsets:
  {}  {1}  {1,2}  {3}    {3,4}    {2,5}    {1,6}    {7}
                  {1,2}  {1,2,4}  {3,4}    {2,5}    {1,6}
                                  {3,5}    {3,4}    {2,5}
                                  {1,2,4}  {1,2,4}  {3,4}
                                           {3,5,6}  {1,2,4}
                                                    {3,5,6}

Cf. A006126, A014466, A019565, A267610.

Cf. A325095, A325096, A325101, A325106, A325107, A325109, A325110.

binpos[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
maxim[s_]:=Complement[s,Last/@Select[Tuples[s,2],UnsameQ@@#&&SubsetQ@@#&]];
Table[Length[maxim[Select[Subsets[Range[n]],stableQ[#,SubsetQ[binpos[#1],binpos[#2]]&]&]]],{n,0,10}]

A326360 Number of maximal antichains of nonempty, non-singleton subsets of {1..n}.

Original entry on oeis.org

1, 1, 1, 2, 13, 279, 29820, 123590767

Offset: 0

Gus Wiseman, Jul 01 2019

A set system (set of sets) is an antichain if no element is a subset of any other.

			The a(1) = 1 through a(4) = 13 maximal antichains:
  {}  {12}  {123}         {1234}
            {12}{13}{23}  {12}{134}{234}
                          {13}{124}{234}
                          {14}{123}{234}
                          {23}{124}{134}
                          {24}{123}{134}
                          {34}{123}{124}
                          {12}{13}{14}{234}
                          {12}{23}{24}{134}
                          {13}{23}{34}{124}
                          {14}{24}{34}{123}
                          {123}{124}{134}{234}
                          {12}{13}{14}{23}{24}{34}

Dmitry I. Ignatov, On the Number of Maximal Antichains in Boolean Lattices for n up to 7. Lobachevskii J. Math., 44 (2023), 137-146.
Dmitry I. Ignatov, Supporting iPython code and input files for a(7) based on inequivalent maximal antichains for n=7 and related sequences, Github repository, section 3
Dmitry I. Ignatov, PDF version of the supporting iPython notebook for a(7)
Dmitry I. Ignatov, Supporting iPython notebook for a(7): A326360.ipynb

Antichains of nonempty, non-singleton sets are A307249.
Minimal covering antichains are A046165.
Maximal intersecting antichains are A007363.
Maximal antichains of nonempty sets are A326359.
Cf. A000372, A003182, A006126, A006602, A014466, A058891, A261005, A305000, A305844, A326358, A326361, A326362, A326363.

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]]]];
fasmax[y_]:=Complement[y,Union@@(Most[Subsets[#]]&/@y)];
Table[Length[fasmax[stableSets[Subsets[Range[n],{2,n}],SubsetQ]]],{n,0,4}]

# see Ignatov links
# Dmitry I. Ignatov, Oct 14 2021

a(n) = Sum_{k=0..n} (-1)^(n-k)*binomial(n,k)*A326359(k) for n >= 2. - Andrew Howroyd, Nov 19 2021

a(6) from Andrew Howroyd, Aug 14 2019

a(7) from Dmitry I. Ignatov, Oct 14 2021

A339360 Sum of all squarefree numbers with greatest prime factor prime(n).

Original entry on oeis.org

1, 2, 9, 60, 504, 6336, 89856, 1645056, 33094656, 801239040, 24246190080, 777550233600, 29697402470400, 1250501433753600, 55083063155097600, 2649111037319577600, 143390180403000115200, 8619643674791667302400, 534710099148093259776000, 36412881178052121329664000

Offset: 0

Gus Wiseman, Dec 04 2020

nonn

			The initial terms are:
   1 = 1,
   2 = 2,
   9 = 3 + 6,
  60 = 5 + 10 + 15 + 30.

Robert Israel, Table of n, a(n) for n = 0..349

A010036 takes prime indices here to binary indices, row sums of A209862.
A048672 takes prime indices to binary indices in squarefree numbers.
A054640 divides the n-th term by prime(n), row sums of A261144.
A072047 counts prime factors of squarefree numbers.
A339194 is the restriction to semiprimes, row sums of A339116.
A339195 has this as row sums.
A002110 lists primorials.
A005117 lists squarefree numbers.
A006881 lists squarefree semiprimes.
A056239 is the sum of prime indices of n (Heinz weight).
A246867 groups squarefree numbers by weight, with row sums A147655.
A319246 is the sum of prime indices of the n-th squarefree number.
A319247 lists reversed prime indices of squarefree numbers.
A329631 lists prime indices of squarefree numbers.
A338899/A270650/A270652 give the prime indices of squarefree semiprimes.
Cf. A001221, A014466, A098350, A168472, A282935, A302590, A326878, A338901.

f:= proc(n) local i;
  `if`(n=0, 1, ithprime(n)) *mul(1+ithprime(i),i=1..n-1)
end proc:
map(f, [$0..20]); # Robert Israel, Dec 08 2020

Table[Sum[Times@@Prime/@stn,{stn,Select[Subsets[Range[n]],MemberQ[#,n]&]}],{n,10}]

For n >= 1, a(n) = A054640(n-1) * prime(n).

a(0)=1 prepended by Alois P. Heinz, Jan 08 2025

A304999 Number of labeled antichains of finite sets spanning n vertices with singleton edges allowed.

Original entry on oeis.org

1, 1, 5, 53, 1577, 212137, 496946349, 309068823607069, 14369391923126237496803793, 146629927766168786109802623629262590838145873

Offset: 0

Gus Wiseman, May 23 2018

Only the non-singleton edges are required to form an antichain.

			The a(2) = 5 antichains:
  {{1,2}}
  {{1},{2}}
  {{1},{1,2}}
  {{2},{1,2}}
  {{1},{2},{1,2}}

Aniruddha Biswas and Palash Sarkar, Counting unate and balanced monotone Boolean functions, arXiv:2304.14069 [math.CO], 2023.
Aniruddha Biswas and Palash Sarkar, Counting Unate and Monotone Boolean Functions Under Restrictions of Balancedness and Non-Degeneracy, J. Int. Seq. (2025) Vol. 28, Art. No. 25.3.4. See p. 4.
Gus Wiseman, Sequences enumerating clutters, antichains, hypertrees, and hyperforests, organized by labeling, spanning, and allowance of singletons.

Cf. A006126, A014466, A261005, A304996, A304997, A304998, A304999, A305000, A305001.

Cf. A000372, A003182, A304985, A305844, A306505, A319721, A321679, A324167.

Exponential transform of A304985.

Inverse binomial transform of A305000. - Aniruddha Biswas, May 12 2024

a(5)-a(8) from Gus Wiseman, May 31 2018

a(9) from Aniruddha Biswas, May 12 2024

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

Original entry on oeis.org

1, 1, 1, 4, 1, 14, 4, 1, 83, 59, 23, 2, 1232, 2551, 2792, 887, 107, 10, 1

Offset: 0

Gus Wiseman, Sep 10 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
     4    1
    14    4    1
    83   59   23    2
  1232 2551 2792  887  107   10    1
Row n = 3 counts the following antichains:
  {}             {{1,2,3}}      {{1,2},{1,3},{2,3}}
  {{1}}          {{1,2},{1,3}}
  {{2}}          {{1,2},{2,3}}
  {{3}}          {{1,3},{2,3}}
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1},{2}}
  {{1},{3}}
  {{2},{3}}
  {{1},{2,3}}
  {{2},{1,3}}
  {{3},{1,2}}
  {{1},{2},{3}}

Row sums are A014466.
Column k = 0 is A327355.
The unlabeled version is A327438.
Cf. A052446, A327062, A327071, A327103, A327111, A327144, A327351, A327353.

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]]]];
spanEdgeConn[vts_,eds_]:=Length[eds]-Max@@Length/@Select[Subsets[eds],Union@@#!=vts||Length[csm[#]]!=1&];
Table[Length[Select[stableSets[Subsets[Range[n],{1,n}],SubsetQ],spanEdgeConn[Range[n],#]==k&]],{n,0,4},{k,0,2^n}]//.{foe___,0}:>{foe}

A327355 Number of antichains of nonempty subsets of {1..n} that are either non-connected or non-covering (spanning edge-connectivity 0).

Original entry on oeis.org

1, 1, 4, 14, 83, 1232, 84625, 109147467, 38634257989625

Offset: 0

Gus Wiseman, Sep 10 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.

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.

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

Column k = 0 of A327352.
The covering case is A120338.
The unlabeled version is A327437.
The non-spanning edge-connectivity version is A327354.
Cf. A014466, A327071, A327148, A327353, A327426.

a(n) = A120338(n) + A014466(n) - A006126(n).

A327426 Number of non-connected, unlabeled, antichain covers of {1..n} (vertex-connectivity 0).

Original entry on oeis.org

1, 1, 1, 2, 6, 23, 201, 16345

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. A singleton is not considered connected.

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.

			Non-isomorphic representatives of the a(2) = 1 through a(5) = 23 antichains:
    {1}{2}  {1}{23}    {1}{234}         {1}{2345}
            {1}{2}{3}  {12}{34}         {12}{345}
                       {1}{2}{34}       {1}{2}{345}
                       {1}{24}{34}      {1}{23}{45}
                       {1}{2}{3}{4}     {12}{35}{45}
                       {1}{23}{24}{34}  {1}{25}{345}
                                        {1}{2}{3}{45}
                                        {1}{245}{345}
                                        {1}{2}{35}{45}
                                        {1}{2}{3}{4}{5}
                                        {1}{24}{35}{45}
                                        {1}{25}{35}{45}
                                        {12}{34}{35}{45}
                                        {1}{24}{25}{345}
                                        {1}{23}{245}{345}
                                        {1}{2}{34}{35}{45}
                                        {1}{235}{245}{345}
                                        {1}{23}{24}{35}{45}
                                        {1}{25}{34}{35}{45}
                                        {1}{23}{24}{25}{345}
                                        {1}{234}{235}{245}{345}
                                        {1}{24}{25}{34}{35}{45}
                                        {1}{23}{24}{25}{34}{35}{45}

Column k = 0 of A327359.
The labeled version is A120338.
The non-covering version is A327424 (partial sums).
Cf. A014466, A261005, A327354, A327355, A327437.

a(n > 1) = A261005(n) - A261006(n).

cp's OEIS Frontend

A304996 Number of unlabeled antichains of finite sets spanning up to n vertices with singleton edges allowed.

Views

Author

Keywords

Examples

Crossrefs

Extensions

A344086 Flattened tetrangle of strict integer partitions sorted first by sum, then lexicographically.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A324168 Number of non-crossing antichains of nonempty subsets of {1,...,n}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A325108 Number of maximal subsets of {1...n} with no binary containments.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A326360 Number of maximal antichains of nonempty, non-singleton subsets of {1..n}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

Formula

Extensions

A339360 Sum of all squarefree numbers with greatest prime factor prime(n).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A304999 Number of labeled antichains of finite sets spanning n vertices with singleton edges allowed.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

Extensions

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

Views

Author

Keywords

Comments