A014466 -id:A014466 - cp's OEIS frontend

A326358 Number of maximal antichains of subsets of {1..n}.

1, 2, 3, 7, 29, 376, 31746, 123805914

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(0) = 1 through a(3) = 7 maximal antichains:
  {}  {}   {}      {}
      {1}  {12}    {123}
           {1}{2}  {1}{23}
                   {2}{13}
                   {3}{12}
                   {1}{2}{3}
                   {12}{13}{23}

Denis Bouyssou, Thierry Marchant, and Marc Pirlot, ELECTRE TRI-nB, pseudo-disjunctive: axiomatic and combinatorial results, arXiv:2410.18443 [cs.DM], 2024. See p. 14.
Dmitry I. Ignatov, A Note on the Number of (Maximal) Antichains in the Lattice of Set Partitions. In: Ojeda-Aciego, M., Sauerwald, K., Jäschke, R. (eds) Graph-Based Representation and Reasoning. ICCS 2023. Lecture Notes in Computer Science(). Springer, Cham.
Dmitry I. Ignatov, On the Number of Maximal Antichains in Boolean Lattices for n up to 7. Lobachevskii J. Math., 44 (2023), 137-146.

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

LoadPackage("grape");
      maxachP:=function(n) local g,G;
       g:=Graph(Group(()), Combinations([1..n]), function(x, g) return x; end,
          function(x, y) return not IsSubset(x, y) and not IsSubset(y, x); end, true);
       G:=AutGroupGraph(g);
       return Sum(CompleteSubgraphs(NewGroupGraph(G, g), -1, 2),
              function(c) return Length(Orbit(G, c, OnSets)); end);
     end;
       List([0..7],maxachP); # Mamuka Jibladze, Jan 26 2021

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]],SubsetQ]]],{n,0,5}]
(* alternatively *)
maxachP[n_]:=FindIndependentVertexSet[
  Flatten[Map[Function[s, Map[# \[DirectedEdge] s &, Most[Subsets[s]]]],
    Subsets[Range[n]]]], Infinity, All];
Table[Length[maxachP[n]],{n,0,6}] (* Mamuka Jibladze, Jan 25 2021 *)

For n > 0, a(n) = A326359(n) + 1.

a(6)-a(7) from Mamuka Jibladze, Jan 26 2021

A367770 Number of sets of nonempty non-singleton subsets of {1..n} satisfying a strict version of the axiom of choice.

Original entry on oeis.org

1, 1, 2, 15, 558, 81282, 39400122, 61313343278, 309674769204452

Offset: 0

Gus Wiseman, Dec 05 2023

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

Excludes all set-systems with more edges than covered vertices, but this condition is not sufficient.

			The a(3) = 15 set-systems:
  {}
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1,2,3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,2},{1,2,3}}
  {{1,3},{2,3}}
  {{1,3},{1,2,3}}
  {{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3}}
  {{1,2},{1,3},{1,2,3}}
  {{1,2},{2,3},{1,2,3}}
  {{1,3},{2,3},{1,2,3}}

Wikipedia, Axiom of choice.

Set-systems without singletons are counted by A016031, covering A323816.
The version for simple graphs is A133686, covering A367869.
The complement is counted by A367769.
The complement allowing singletons and empty sets is A367901.
Allowing singletons gives A367902, ranks A367906.
The complement allowing singletons is A367903, ranks A367907.
These set-systems have ranks A367906 /\ A326781.
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts covering set-systems, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
A323818 counts covering connected set-systems, unlabeled A323819.
Cf. A059201, A083323, A092918, A102896, A283877, A305000, A306445, A355739, A355740, A367904, A367905.

Table[Length[Select[Subsets[Select[Subsets[Range[n]], Length[#]>1&]], Select[Tuples[#], UnsameQ@@#&]!={}&]],{n,0,3}]

a(6)-a(8) from Christian Sievers, Jul 28 2024

A324167 Number of non-crossing antichain covers of {1,...,n}.

Original entry on oeis.org

1, 1, 2, 9, 67, 633, 6763, 77766, 938957, 11739033, 150649945, 1973059212, 26265513030, 354344889798, 4833929879517, 66568517557803, 924166526830701, 12920482325488761, 181750521972603049, 2570566932237176232, 36532394627404815308, 521439507533582646156

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(3) = 9 antichains:
  {{1,2,3}}
  {{1},{2,3}}
  {{2},{1,3}}
  {{3},{1,2}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,3},{2,3}}
  {{1},{2},{3}}
  {{1,2},{1,3},{2,3}}

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

Cf. A000108, A000124, A000372 (antichains), A001006, A006126 (antichain covers), A014466, A048143, A054726 (non-crossing graphs), A099947, A261005, A283877, A306438.

Cf. A324166, A324168, A324169, A324170, A324171, A324173, A359984 (no singletons).

nn=6;
croXQ[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-x))/x) } \\ Andrew Howroyd, Jan 20 2023

Inverse binomial transform of A324168.

Binomial transform of A359984. - Andrew Howroyd, Jan 20 2023

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

A368600 Number of ways to choose a set of n nonempty subsets of {1..n} such that it is not possible to choose a different element from each.

Original entry on oeis.org

0, 0, 0, 3, 164, 18625, 5491851, 4649088885, 12219849683346

Offset: 0

Gus Wiseman, Jan 01 2024

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			The a(3) = 3 set-systems:
  {{1},{2},{1,2}}
  {{1},{3},{1,3}}
  {{2},{3},{2,3}}

Wikipedia, Axiom of choice.

For a unique choice we have A003024, any length A367904 (ranks A367908).
Sets of n nonempty subsets of {1..n} are counted by A136556.
For any length we have A367903, ranks A367907, no singletons A367769.
The complement is A368601, any length A367902 (see also A367770, A367906).
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts covering set-systems, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
A059201 counts covering T_0 set-systems.
A323818 counts covering connected set-systems, unlabeled A323819.
Cf. A003025, A088957, A133686, A334282, A355529, A355740, A367862, A367867, A367868, A367901, A368094, A368097.

Table[Length[Select[Subsets[Rest[Subsets[Range[n]]], {n}],Length[Select[Tuples[#], UnsameQ@@#&]]==0&]],{n,0,3}]

from itertools import combinations, product, chain
from scipy.special import comb
def v(c):
    for elements in product(*c):
        if len(set(elements)) == len(elements):
            return True
    return False
def a(n):
    if n == 0:
        return 1
    subsets = list(chain.from_iterable(combinations(range(1, n + 1), r) for r in range(1, n + 1)))
    cs = combinations(subsets, n)
    c = sum(1 for c in cs if v(c))
    return c
[print(int(comb(2**n-1,n) - a(n))) for n in range(7)] # Robert P. P. McKone, Jan 02 2024

a(n) = A136556(n) - A368601(n).

a(6) from Robert P. P. McKone, Jan 02 2024

a(7)-a(8) from Christian Sievers, Jul 25 2024

A368601 Number of ways to choose a set of n nonempty subsets of {1..n} such that it is possible to choose a different element from each.

Original entry on oeis.org

1, 1, 3, 32, 1201, 151286, 62453670, 84707326890, 384641855115279

Offset: 0

Gus Wiseman, Jan 01 2024

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			The a(2) = 3 set-systems:
  {{1},{2}}
  {{1},{1,2}}
  {{2},{1,2}}
Non-isomorphic representatives of the a(3) = 32 set-systems:
  {{1},{2},{3}}
  {{1},{2},{1,3}}
  {{1},{2},{1,2,3}}
  {{1},{1,2},{1,3}}
  {{1},{1,2},{2,3}}
  {{1},{1,2},{1,2,3}}
  {{1},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3}}
  {{1,2},{1,3},{1,2,3}}

Wikipedia, Axiom of choice.

For a unique choice we have A003024, any length A367904 (ranks A367908).
Sets of n nonempty subsets of {1..n} are counted by A136556.
For any length we have A367902, ranks A367906, no singletons A367770.
The complement is A368600, any length A367903 (see also A367907, A367769).
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts covering set-systems, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
A059201 counts covering T_0 set-systems.
A323818 counts covering connected set-systems, unlabeled A323819.
Cf. A003025, A088957, A133686, A334282, A355529, A355740, A367862, A367867, A367901, A367905, A368094, A368097.

Table[Length[Select[Subsets[Rest[Subsets[Range[n]]], {n}],Length[Select[Tuples[#], UnsameQ@@#&]]>0&]],{n,0,3}]

from itertools import combinations, product, chain
def v(c):
    for elements in product(*c):
        if len(set(elements)) == len(elements):
            return True
    return False
def a(n):
    if n == 0:
        return 1
    subsets = list(chain.from_iterable(combinations(range(1, n + 1), r) for r in
range(1, n + 1)))
    cs = combinations(subsets, n)
    c = sum(1 for c in cs if v(c))
    return c
[print(a(n)) for n in range(7)] # Robert P. P. McKone, Jan 02 2024

a(n) + A368600(n) = A136556(n).

a(6) from Robert P. P. McKone, Jan 02 2024

a(7)-a(8) from Christian Sievers, Jul 25 2024

A326363 Number of maximal intersecting antichains of subsets of {1..n}.

Original entry on oeis.org

1, 2, 4, 6, 21, 169, 11749, 12160648

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, and is intersecting if no two element are disjoint.

			The a(1) = 1 through a(4) = 21 maximal intersecting antichains:
  {}   {}    {}            {}
  {1}  {1}   {1}           {1}
       {2}   {2}           {2}
       {12}  {3}           {3}
             {123}         {4}
             {12}{13}{23}  {1234}
                           {12}{13}{23}
                           {12}{14}{24}
                           {13}{14}{34}
                           {23}{24}{34}
                           {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}

The case with nonempty, non-singleton edges is A326362.
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, A051185, A058891, A261005, A305000, A305844, A326358, A326360, A326361.

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],{0,n}],Or[Intersection[#1,#2]=={},SubsetQ[#1,#2]]&]]],{n,0,5}]
(* 2nd program *)
n = 2^6; g = CompleteGraph[n]; i = 0;
While[i < n, i++; j = i; While[j < n, j++; If[BitAnd[i, j] == 0 || BitAnd[i, j] == i || BitAnd[i, j] == j, g = EdgeDelete[g, i <-> j]]]];
sets = FindClique[g, Infinity, All];
Length[sets] (* Elijah Beregovsky, May 06 2020 *)

For n > 1, a(n) = A007363(n + 1) + 1 = A326362(n) + n + 1.

a(7) from Elijah Beregovsky, May 06 2020

A367916 Number of sets of nonempty subsets of {1..n} with the same number of edges as covered vertices.

Original entry on oeis.org

1, 2, 6, 45, 1376, 161587, 64552473, 85987037645, 386933032425826, 6005080379837219319, 328011924848834642962619, 64153024576968812343635391868, 45547297603829979923254392040011994, 118654043008142499115765307533395739785599

Offset: 0

Gus Wiseman, Dec 08 2023

nonn

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

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

The covering case is A054780.
For graphs we have A367862, covering A367863, unlabeled A006649.
These set-systems have ranks A367917.
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts set-systems covering {1..n}, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
A059201 counts covering T_0 set-systems.
A136556 counts set-systems on {1..n} with n edges.
Cf. A092918, A102896, A133686, A306445, A323818, A355740, A367770, A367869, A367901, A367902, A367905.

Table[Length[Select[Subsets[Rest[Subsets[Range[n]]]], Length[Union@@#]==Length[#]&]],{n,0,3}]

\\ Here b(n) is A054780(n).
b(n) = sum(k=0, n, (-1)^(n-k) * binomial(n,k) * binomial(2^k-1, n))
a(n) = sum(k=0, n, binomial(n,k) * b(k)) \\ Andrew Howroyd, Dec 29 2023

Binomial transform of A054780.

A326882 Irregular triangle read by rows where T(n,k) is the number of finite topologies with n points and k nonempty open sets, 0 <= k <= 2^n - 1.

Original entry on oeis.org

1, 0, 1, 0, 1, 2, 1, 0, 1, 6, 9, 6, 6, 0, 1, 0, 1, 14, 43, 60, 72, 54, 54, 20, 24, 0, 12, 0, 0, 0, 1, 0, 1, 30, 165, 390, 630, 780, 955, 800, 900, 500, 660, 240, 390, 120, 190, 10, 100, 0, 60, 0, 0, 0, 20, 0, 0, 0, 0, 0, 0, 0, 1

Offset: 0

Gus Wiseman, Aug 01 2019

			Triangle begins:
  1
  0  1
  0  1  2  1
  0  1  6  9  6  6  0  1
  0  1 14 43 60 72 54 54 20 24  0 12  0  0  0  1
Row n = 3 counts the following topologies:
{}{123} {}{1}{123}  {}{1}{12}{123} {}{1}{2}{12}{123}  {}{1}{2}{12}{13}{123}
        {}{2}{123}  {}{1}{13}{123} {}{1}{3}{13}{123}  {}{1}{2}{12}{23}{123}
        {}{3}{123}  {}{1}{23}{123} {}{2}{3}{23}{123}  {}{1}{3}{12}{13}{123}
        {}{12}{123} {}{2}{12}{123} {}{1}{12}{13}{123} {}{1}{3}{13}{23}{123}
        {}{13}{123} {}{2}{13}{123} {}{2}{12}{23}{123} {}{2}{3}{12}{23}{123}
        {}{23}{123} {}{2}{23}{123} {}{3}{13}{23}{123} {}{2}{3}{13}{23}{123}
                    {}{3}{12}{123}
                    {}{3}{13}{123}      {}{1}{2}{3}{12}{13}{23}{123}
                    {}{3}{23}{123}

Andrew Howroyd, Table of n, a(n) for n = 0..254
Wikipedia, Topological space

Row lengths are A000079.
Row sums are A000798.
Cf. A001930, A014466, A102894, A102895, A102896, A102897, A306445, A326876, A326878, A326881.
Columns: A281774 and refs therein.

Table[Length[Select[Subsets[Subsets[Range[n]],{k}],MemberQ[#,{}]&&MemberQ[#,Range[n]]&&SubsetQ[#,Union[Union@@@Tuples[#,2],Intersection@@@Tuples[#,2]]]&]],{n,0,4},{k,2^n}]

Terms a(31) and beyond from Andrew Howroyd, Aug 10 2019

A339195 Triangle of squarefree numbers grouped by greatest prime factor, read by rows.

Original entry on oeis.org

1, 2, 3, 6, 5, 10, 15, 30, 7, 14, 21, 35, 42, 70, 105, 210, 11, 22, 33, 55, 66, 77, 110, 154, 165, 231, 330, 385, 462, 770, 1155, 2310, 13, 26, 39, 65, 78, 91, 130, 143, 182, 195, 273, 286, 390, 429, 455, 546, 715, 858, 910, 1001, 1365, 1430, 2002, 2145, 2730, 3003, 4290, 5005, 6006, 10010, 15015, 30030

Offset: 0

Gus Wiseman, Dec 02 2020

Also Heinz numbers of subsets of {1..n} that contain n if n>0, where the Heinz number of an integer partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k).
A019565 in its triangle form, with each row's terms in increasing order. - Peter Munn, Feb 26 2021
From David James Sycamore, Jan 09 2025: (Start)
Alternative definition, with offset = 1: a(1) = 1. For n>1 if a(n-1) = A002110(k), a(n) = prime(k+1). Otherwise a(n) is the smallest novel squarefree number whose prime factors have already occurred as previous terms.
Permutation of A005117, Squarefree version A379746. (End)

			Triangle begins:
   1
   2
   3   6
   5  10  15  30
   7  14  21  35  42  70  105  210

Alois P. Heinz, Rows n = 0..14, flattened
Michael De Vlieger, Plot p | a(n) at (x,y) = (n,pi(p)), n = 0..2047, 12X vertical exaggeration.
Michael De Vlieger, Fan style binary tree showing a(n), n = 0..2047, with a color function related to the order of a(n) in A019565.
Michael De Vlieger, Fan style binary tree showing a(n), n = 0..2047, with a color function showing 1 in gray, primes in red, primorials in bright green, even squarefree semiprimes in yellow, odd squarefree semiprimes in light green, thereafter, progressively deeper green related to omega(a(n)) = m until m >= 6.

A011782 gives row lengths.
A339360 gives row sums.
A008578 (shifted) is column k = 1.
A100484 is column k = 2.
A001748 is column k = 3.
A002110 is column k = 2^(n-1).
A070826 is column k = 2^(n-1) - 1.
A209862 takes prime indices to binary indices in these terms.
A246867 groups squarefree numbers by Heinz weight, with row sums A147655.
A261144 divides the n-th row by prime(n), with row sums A054640.
A339116 is the restriction to semiprimes, with row sums A339194.
A005117 lists squarefree numbers, ordered lexicographically by prime factors: A019565.
A006881 lists squarefree semiprimes.
A072047 counts prime factors of squarefree numbers.
A319246 is the sum of prime indices of the n-th squarefree number.
A329631 lists prime indices of squarefree numbers, reversed: A319247.
A338899/A270650/A270652 give the prime indices of squarefree semiprimes.
Cf. A001221, A014342, A014466, A019565, A098350, A112798, A320656, A326882, A338901, A379770.
Cf. A379746.

T:= proc(n) option remember; `if`(n=0, 1, (p-> map(
      x-> x*p, {seq(T(i), i=0..n-1)})[])(ithprime(n)))
    end:
seq(T(n), n=0..6);  # Alois P. Heinz, Jan 08 2025

Table[Prime[n]*Sort[Times@@Prime/@#&/@Subsets[Range[n-1]]],{n,5}]

For n > 1, T(n,k) = prime(n) * A261144(n-1,k).

a(n) = A019565(A379770(n)). - Michael De Vlieger, Jan 08 2025

Row n=0 (term 1) prepended by Alois P. Heinz, Jan 08 2025

A326359 Number of maximal antichains of nonempty subsets of {1..n}.

Original entry on oeis.org

1, 1, 2, 6, 28, 375, 31745, 123805913

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(0) = 1 through a(4) = 28 antichains:
  {}   {1}    {12}      {123}           {1234}
              {1}{2}    {1}{23}         {1}{234}
                        {2}{13}         {2}{134}
                        {3}{12}         {3}{124}
                        {1}{2}{3}       {4}{123}
                        {12}{13}{23}    {1}{2}{34}
                                        {1}{3}{24}
                                        {1}{4}{23}
                                        {2}{3}{14}
                                        {2}{4}{13}
                                        {3}{4}{12}
                                        {1}{2}{3}{4}
                                        {12}{134}{234}
                                        {13}{124}{234}
                                        {14}{123}{234}
                                        {23}{124}{134}
                                        {24}{123}{134}
                                        {34}{123}{124}
                                        {1}{23}{24}{34}
                                        {2}{13}{14}{34}
                                        {3}{12}{14}{24}
                                        {4}{12}{13}{23}
                                        {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.

Antichains of nonempty sets are A014466.
Minimal covering antichains are A046165.
Maximal intersecting antichains are A007363.
Maximal antichains of sets are A326358.
Cf. A000372, A003182, A006126, A006602, A014466, A058891, A261005, A305000, A305844, A307249, A326360, 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],{1,n}],SubsetQ]]],{n,0,5}]

For n > 0, a(n) = A326358(n) - 1.

a(6) from Andrew Howroyd, Aug 14 2019

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

cp's OEIS Frontend

A326358 Number of maximal antichains of subsets of {1..n}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Mathematica

Formula

Extensions

A367770 Number of sets of nonempty non-singleton subsets of {1..n} satisfying a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A324167 Number of non-crossing antichain covers of {1,...,n}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A368600 Number of ways to choose a set of n nonempty subsets of {1..n} such that it is not possible to choose a different element from each.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

Formula

Extensions

A368601 Number of ways to choose a set of n nonempty subsets of {1..n} such that it is possible to choose a different element from each.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

Formula

Extensions

A326363 Number of maximal intersecting antichains of subsets of {1..n}.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A367916 Number of sets of nonempty subsets of {1..n} with the same number of edges as covered vertices.

Views

Author

Keywords

Examples