A048143 -id:A048143 - cp's OEIS frontend

A326749 BII-numbers of connected set-systems.

0, 1, 2, 4, 5, 6, 7, 8, 16, 17, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 32, 34, 36, 37, 38, 39, 40, 42, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82

Offset: 1

Gus Wiseman, Jul 23 2019

A binary index of n is any position of a 1 in its reversed binary expansion. 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 sequence of all connected set-systems together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
  16: {{1,3}}
  17: {{1},{1,3}}
  20: {{1,2},{1,3}}
  21: {{1},{1,2},{1,3}}
  22: {{2},{1,2},{1,3}}
  23: {{1},{2},{1,2},{1,3}}
  24: {{3},{1,3}}
  25: {{1},{3},{1,3}}
  28: {{1,2},{3},{1,3}}
  29: {{1},{1,2},{3},{1,3}}
  30: {{2},{1,2},{3},{1,3}}
  31: {{1},{2},{1,2},{3},{1,3}}

John Tyler Rascoe, Table of n, a(n) for n = 1..10000

Positions of 0's and 1's in A326753.
Cf. A000120, A001187, A029931, A048143, A048793, A070939, A072639, A323818, A326031, A326702.
Other BII-numbers: A309314 (hyperforests), A326701 (set partitions), A326703 (chains), A326704 (antichains), A326750 (clutters), A326751 (blobs), A326752 (hypertrees), A326754 (covers).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
Select[Range[0,100],Length[csm[bpe/@bpe[#]]]<=1&]

from itertools import count, islice
from sympy.utilities.iterables import connected_components
def bin_i(n): #binary indices
    return([(i+1) for i, x in enumerate(bin(n)[2:][::-1]) if x =='1'])
def a_gen():
    yield 0
    for n in count(1):
        a, E = [bin_i(k) for k in bin_i(n)], []
        m = len(a)
        for i in range(m):
            for j in a[i]:
                for k in range(m):
                    if j in a[k]:
                        E.append((i, k))
        for v in connected_components((list(range(m)), E)):
            if len(v) == m:
                yield n
A326749_list = list(islice(a_gen(), 100)) # John Tyler Rascoe, Jul 25 2024

A304714 Number of connected strict integer partitions of n.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 2, 2, 3, 2, 5, 2, 5, 5, 6, 5, 10, 6, 12, 12, 13, 14, 21, 17, 23, 26, 30, 31, 46, 38, 51, 55, 61, 70, 87, 85, 102, 116, 128, 138, 171, 169, 204, 225, 245, 272, 319, 334, 383, 429, 464, 515, 593, 629, 715, 790, 861, 950, 1082

Offset: 1

Gus Wiseman, May 17 2018

nonn

Given a finite set S of positive integers greater than one, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices with a common divisor. For example, G({6,14,15,35}) is a 4-cycle. A multiset S is said to be connected if G(S) is a connected graph.

			The a(19) = 6 strict integer partitions are (19), (9,6,4), (10,5,4), (10,6,3), (12,4,3), (8,6,3,2). Taking the normalized prime factors of each part (see A112798, A302242), we have the following connected multiset multisystems.
       (19): {{8}}
    (9,6,4): {{2,2},{1,2},{1,1}}
   (10,5,4): {{1,3},{3},{1,1}}
   (10,6,3): {{1,3},{1,2},{2}}
   (12,4,3): {{1,1,2},{1,1},{2}}
  (8,6,3,2): {{1,1,1},{1,2},{2},{1}}

The Heinz numbers of these partitions are given by A328513.

Cf. A000009, A003963, A048143, A054921, A076078, A259936, A281116, A285572, A285573, A286518, A286520, A302242.

zsm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[Less@@#,GCD@@s[[#]]]>1&]},If[c==={},s,zsm[Union[Append[Delete[s,List/@c[[1]]],LCM@@s[[c[[1]]]]]]]]];
Table[Length[Select[IntegerPartitions[n],UnsameQ@@#&&Length[zsm[#]]===1&]],{n,60}]

A293606 Number of unlabeled antichains of weight n.

Original entry on oeis.org

1, 1, 2, 3, 6, 9, 20, 33, 72, 139

Offset: 0

Gus Wiseman, Oct 13 2017

An antichain is a finite set of finite nonempty sets, none of which is a subset of any other. The weight of an antichain is the sum of cardinalities of its elements.
From Gus Wiseman, Aug 15 2019: (Start)
Also the number of non-isomorphic set multipartitions (multisets of sets) of weight n where every vertex is the unique common element of some subset of the edges. For example, the a(1) = 1 through a(6) = 20 set multipartitions are:
  {1}  {1}{1}  {1}{1}{1}  {1}{2}{12}    {1}{2}{2}{12}    {12}{13}{23}
       {1}{2}  {1}{2}{2}  {1}{1}{1}{1}  {1}{2}{3}{23}    {1}{2}{12}{12}
               {1}{2}{3}  {1}{1}{2}{2}  {1}{1}{1}{1}{1}  {1}{2}{13}{23}
                          {1}{2}{2}{2}  {1}{1}{2}{2}{2}  {1}{2}{3}{123}
                          {1}{2}{3}{3}  {1}{2}{2}{2}{2}  {1}{1}{2}{2}{12}
                          {1}{2}{3}{4}  {1}{2}{2}{3}{3}  {1}{1}{2}{3}{23}
                                        {1}{2}{3}{3}{3}  {1}{2}{2}{2}{12}
                                        {1}{2}{3}{4}{4}  {1}{2}{3}{3}{23}
                                        {1}{2}{3}{4}{5}  {1}{2}{3}{4}{34}
                                                         {1}{1}{1}{1}{1}{1}
                                                         {1}{1}{1}{2}{2}{2}
                                                         {1}{1}{2}{2}{2}{2}
                                                         {1}{1}{2}{2}{3}{3}
                                                         {1}{2}{2}{2}{2}{2}
                                                         {1}{2}{2}{3}{3}{3}
                                                         {1}{2}{3}{3}{3}{3}
                                                         {1}{2}{3}{3}{4}{4}
                                                         {1}{2}{3}{4}{4}{4}
                                                         {1}{2}{3}{4}{5}{5}
                                                         {1}{2}{3}{4}{5}{6}
(End)

			Non-isomorphic representatives of the a(5) = 9 antichains are:
((12345)),
((1)(2345)), ((12)(134)), ((12)(345)),
((1)(2)(345)), ((1)(23)(45)), ((2)(13)(14)),
((1)(2)(3)(45)),
((1)(2)(3)(4)(5)).

Cf. A006126, A006602, A007411, A007716, A048143, A049311, A283877, A293607.

Cf. A000372, A000612, A003182, A014466, A055621, A293993, A326704, A326972.

Euler transform of A293607.

A286520 Number of finite connected sets of pairwise indivisible positive integers greater than one with least common multiple n.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 1, 1, 1, 2, 1, 5, 1, 1, 1, 1, 1, 5, 1, 1, 1, 3, 1, 5, 1, 2, 2, 1, 1, 4, 1, 2, 1, 2, 1, 3, 1, 3, 1, 1, 1, 17, 1, 1, 2, 1, 1, 5, 1, 2, 1, 5, 1, 9, 1, 1, 2, 2, 1, 5, 1, 4, 1, 1, 1, 17, 1, 1, 1

Offset: 2

Gus Wiseman, Jul 24 2017

nonn

Given a finite set S of positive integers greater than one, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that are not relatively prime. For example, G({6,14,15,35}) is a 4-cycle. A set S is said to be connected if G(S) is a connected graph.

			The a(30)=5 sets are: {30}, {6,10}, {6,15}, {10,15}, {6,10,15}.

Cf. A048143, A054921, A076078, A259936, A281116, A285572, A285573, A286518.

zsm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[Less@@#,GCD@@s[[#]]]>1&]},If[c==={},s,zsm[Union[Append[Delete[s,List/@c[[1]]],LCM@@s[[c[[1]]]]]]]]];
Table[Length[Select[Subsets[Rest[Divisors[n]]],And[!MemberQ[Tuples[#,2],{x_,y_}/;And[x

A003182 Dedekind numbers: inequivalent monotone Boolean functions of n or fewer variables, or antichains of subsets of an n-set.

Original entry on oeis.org

2, 3, 5, 10, 30, 210, 16353, 490013148, 1392195548889993358, 789204635842035040527740846300252680

Offset: 0

N. J. A. Sloane

NP-equivalence classes of unate Boolean functions of n or fewer variables.
Also the number of simple games with n players in minimal winning form up to isomorphism. - Fabián Riquelme, Mar 13 2018
The labeled case is A000372. - Gus Wiseman, Feb 23 2019
First differs from A348260(n + 1) at a(5) = 210, A348260(6) = 233. - Gus Wiseman, Nov 28 2021
Pawelski & Szepietowski show that a(n) = A001206(n) (mod 2) and that a(9) = 6 (mod 210). - Charles R Greathouse IV, Feb 16 2023

			From _Gus Wiseman_, Feb 20 2019: (Start)
Non-isomorphic representatives of the a(0) = 2 through a(3) = 10 antichains:
  {}    {}     {}         {}
  {{}}  {{}}   {{}}       {{}}
        {{1}}  {{1}}      {{1}}
               {{1,2}}    {{1,2}}
               {{1},{2}}  {{1},{2}}
                          {{1,2,3}}
                          {{1},{2,3}}
                          {{1},{2},{3}}
                          {{1,3},{2,3}}
                          {{1,2},{1,3},{2,3}}
(End)

I. Anderson, Combinatorics of Finite Sets. Oxford Univ. Press, 1987, p. 38.
Arocha, Jorge Luis (1987) "Antichains in ordered sets" [ In Spanish ]. Anales del Instituto de Matematicas de la Universidad Nacional Autonoma de Mexico 27: 1-21.
J. Berman, Free spectra of 3-element algebras, in R. S. Freese and O. C. Garcia, editors, Universal Algebra and Lattice Theory (Puebla, 1982), Lect. Notes Math. Vol. 1004, 1983.
G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967, p. 63.
L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 273.
M. A. Harrison, Introduction to Switching and Automata Theory. McGraw Hill, NY, 1965, p. 188.
D. E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.1, p. 79.
W. F. Lunnon, The IU function: the size of a free distributive lattice, pp. 173-181 of D. J. A. Welsh, editor, Combinatorial Mathematics and Its Applications. Academic Press, NY, 1971.
Saburo Muroga, Threshold Logic and Its Applications. Wiley, NY, 1971, p. 38, Table 2.3.2. - Row 13.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
D. H. Wiedemann, personal communication.

K. S. Brown, Dedekind's problem
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 pp. 2, 14.
Patrick De Causmaecker and Stefan De Wannemacker, On the number of antichains of sets in a finite universe, arXiv:1407.4288 [math.CO], 2014.
Patrick De Causmaecker and Lennart Van Hirtum, Solving systems of equations on antichains for the computation of the ninth Dedekind Number, arXiv:2405.20904 [math.CO], 2024. See p. 4.
Liviu Ilinca and Jeff Kahn, Counting maximal antichains and independent sets, arXiv:1202.4427 [math.CO], 2012; Order 30.2 (2013): 427-435.
J. L. King, Brick tiling and monotone Boolean functions
D. J. Kleitman, On Dedekind's problem: The number of monotone Boolean functions, Proc. Amer. Math. Soc. 21 1969 677-682.
D. J. Kleitman and G. Markowsky, On Dedekind's problem: the number of isotone Boolean functions. II, Trans. Amer. Math. Soc. 213 (1975), 373-390.
Sascha Kurz, Competitive learning of monotone Boolean functions, arXiv:1401.8135 [cs.DS], 2014.
C. L. Mallows, Emails to N. J. A. Sloane, Jun-Jul 1991
Mikaël Monet and Dan Olteanu, Towards Deterministic Decomposable Circuits for Safe Queries, 2018.
S. Muroga, Threshold Logic and Its Applications, Wiley, NY, 1971 [Annotated scans of a few pages]
Bartlomiej Pawelski, On the number of inequivalent monotone Boolean functions of 8 variables, arXiv:2108.13997 [math.CO], 2021. See Table 2 p. 2.
Bartlomiej Pawelski, On the number of inequivalent monotone Boolean functions of 9 variables, arXiv:2305.06346 [math.CO], 2023.
Bartłomiej Pawelski, Counting and generating monotone Boolean functions, Doctoral Diss., Univ. Gdańsk, (Poland, 2024). See pp. 12, 24, 34-35, 40, 49-50.
Bartlomiej Pawelski and Andrzej Szepietowski, Divisibility properties of Dedekind numbers, arXiv:2302.04615 [math.CO], 2023.
Tamon Stephen and Timothy Yusun, Counting inequivalent monotone Boolean functions, Discrete Applied Mathematics, 167 (2014), 15-24.
Tamon Stephen and Timothy Yusun, Counting inequivalent monotone Boolean functions, arXiv preprint arXiv:1209.4623 [cs.DS], 2012.
Andrzej Szepietowski, Fixes of permutations acting on monotone Boolean functions, arXiv:2205.03868 [math.CO], 2022. See p. 17.
Eric Weisstein's World of Mathematics, Boolean Function.
Gus Wiseman, Sequences enumerating clutters, antichains, hypertrees, and hyperforests, organized by labeling, spanning, and allowance of singletons.
Index entries for sequences related to Boolean functions

Cf. A000372, A007153, A006602, A007411.
Cf. A006126, A014466, A261005, A293606, A293993, A304996, A305000, A305857, A306505, A319721, A320449, A321679.
Cf. A007363, A046165, A306007, A307249, A326358, A326363.

a(n) = A306505(n) + 1. - Gus Wiseman, Jul 02 2019

a(7) added by Timothy Yusun, Sep 27 2012
a(8) from Pawelski added by Michel Marcus, Sep 01 2021
a(9) from Pawelski added by Michel Marcus, May 11 2023

A305843 Number of labeled spanning intersecting set-systems on n vertices.

Original entry on oeis.org

1, 1, 3, 27, 1245, 1308285, 912811093455, 291201248260060977862887, 14704022144627161780742038728709819246535634969, 12553242487940503914363982718112298267975272588471811456164576678961759219689708372356843289

Offset: 0

Gus Wiseman, Jun 11 2018

nonn

An intersecting set-system S is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection. S is spanning if every vertex is contained in some edge.

			The a(3) = 27 spanning intersecting set-systems:
{{1,2,3}}
{{1},{1,2,3}}
{{2},{1,2,3}}
{{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},{1,2},{1,3}}
{{1},{1,2},{1,2,3}}
{{1},{1,3},{1,2,3}}
{{2},{1,2},{2,3}}
{{2},{1,2},{1,2,3}}
{{2},{2,3},{1,2,3}}
{{3},{1,3},{2,3}}
{{3},{1,3},{1,2,3}}
{{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}}
{{1},{1,2},{1,3},{1,2,3}}
{{2},{1,2},{2,3},{1,2,3}}
{{3},{1,3},{2,3},{1,2,3}}
{{1,2},{1,3},{2,3},{1,2,3}}

Cf. A001206, A006126, A048143, A051185, A134958, A030019, A304985, A305844.

Length/@Table[Select[Subsets[Rest[Subsets[Range[n]]]],And[Union@@#==Range[n],FreeQ[Intersection@@@Tuples[#,2],{}]]&],{n,1,4}]

Inverse binomial transform of A051185.

A134954 Number of "hyperforests" on n labeled nodes, i.e., hypergraphs that have no cycles, assuming that each edge contains at least two vertices.

Original entry on oeis.org

1, 1, 2, 8, 55, 562, 7739, 134808, 2846764, 70720278, 2021462055, 65365925308, 2359387012261, 94042995460130, 4102781803365418, 194459091322828280, 9950303194613104995, 546698973373090998382, 32101070021048906407183, 2006125858248695722280564

Offset: 0

Don Knuth, Jan 26 2008

nonn

The part of the name "assuming that each edge contains at least two vertices" is ambiguous. It may mean that not all n vertices have to be covered by some edge of the hypergraph, i.e., it is not necessarily a spanning hyperforest. However it is common to represent uncovered vertices as singleton edges, as in my example. - Gus Wiseman, May 20 2018

			From _Gus Wiseman_, May 20 2018: (Start)
The a(3) = 8 labeled spanning hyperforests are the following:
{{1,2,3}}
{{1,3},{2,3}}
{{1,2},{2,3}}
{{1,2},{1,3}}
{{3},{1,2}}
{{2},{1,3}}
{{1},{2,3}}
{{1},{2},{3}}
(End)

D. E. Knuth: The Art of Computer Programming, Volume 4, Generating All Combinations and Partitions Fascicle 3, Section 7.2.1.4. Generating all partitions. Page 38, Algorithm H. - Washington Bomfim, Sep 25 2008

Alois P. Heinz, Table of n, a(n) for n = 0..370
N. J. A. Sloane, Transforms

Cf. A030019, A035053, A048143, A054921, A134955, A134956, A134957, A144959, A242817, A304716, A304717, A304867, A304911, A304912.

b:= proc(n) option remember; add(Stirling2(n-1,i) *n^(i-1), i=0..n-1) end: B:= proc(n) x-> add(b(k) *x^k/k!, k=0..n) end: a:= n-> coeff(series(exp(B(n)(x)), x, n+1), x,n) *n!: seq(a(n), n=0..30);  # Alois P. Heinz, Sep 09 2008

b[n_] := b[n] = Sum[StirlingS2[n-1, i]*n^(i-1), {i, 0, n-1}]; B[n_][x_] := Sum[b[k] *x^k/k!, {k, 0, n}]; a[0]=1; a[n_] := SeriesCoefficient[ Exp[B[n][x]], {x, 0, n}] *n!; Table[a[n], {n, 0, 30}] (* Jean-François Alcover, Feb 13 2015, after Alois P. Heinz *)

Exponential transform of A030019. - N. J. A. Sloane, Jan 30 2008
Binomial transform of A304911. - Gus Wiseman, May 20 2018
a(n) = Sum of n!*Product_{k=1..n} (A030019(k)/k!)^c_k / (c_k)! over all the partitions of n, c_1 + 2c_2 + ... + nc_n; c_1, c_2, ..., c_n >= 0. - Washington Bomfim, Sep 25 2008
a(n) ~ exp((n+1)/LambertW(1)) * n^(n-2) / (sqrt(1+LambertW(1)) * exp(2*n+2) * (LambertW(1))^n). - Vaclav Kotesovec, Jul 26 2014

A286518 Number of finite connected sets of positive integers greater than one with least common multiple n.

Original entry on oeis.org

1, 1, 1, 2, 1, 4, 1, 4, 2, 4, 1, 20, 1, 4, 4, 8, 1, 20, 1, 20, 4, 4, 1, 88, 2, 4, 4, 20, 1, 96, 1, 16, 4, 4, 4, 196, 1, 4, 4, 88, 1, 96, 1, 20, 20, 4, 1, 368, 2, 20, 4, 20, 1, 88, 4, 88, 4, 4, 1, 1824, 1, 4, 20, 32, 4, 96, 1, 20, 4, 96, 1, 1688, 1, 4, 20, 20, 4, 96, 1, 368, 8, 4, 1, 1824, 4, 4, 4, 88, 1, 1824, 4, 20

Offset: 1

Gus Wiseman, Jul 24 2017

nonn

Given a finite set S of positive integers greater than one, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that are not relatively prime. For example, G({6,14,15,35}) is a 4-cycle. A set S is said to be connected if G(S) is a connected graph.

a(n) depends only on prime signature of n (cf. A025487). - Antti Karttunen, Feb 17 2024

			The a(6)=4 sets are: {6}, {2,6}, {3,6}, {2,3,6}.

Antti Karttunen, Table of n, a(n) for n = 1..719
Index entries for sequences computed from exponents in factorization of n

Cf. A048143, A054921, A069626, A076078, A259936, A281116, A285572, A285573, A286520, A305193, A318670.

zsm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[Less@@#,GCD@@s[[#]]]>1&]},If[c==={},s,zsm[Union[Append[Delete[s,List/@c[[1]]],LCM@@s[[c[[1]]]]]]]]];
Table[Length[Select[Subsets[Rest[Divisors[n]]],zsm[#]==={n}&]],{n,2,20}]

isconnected(facs) = { my(siz=length(facs)); if(1==siz,1,my(m=matrix(siz,siz,i,j,(gcd(facs[i],facs[j])!=1))^siz); for(n=1,siz,if(0==vecmin(m[n,]),return(0))); (1)); };
A286518aux(n, parts, from=1, ss=List([])) = { my(k = #parts, s=0, newss); if(lcm(Vec(ss))==n && isconnected(ss), s++); for(i=from, k, newss = List(ss); listput(newss, parts[i]); s += A286518aux(n, parts, i+1, newss)); (s) };
A286518(n) = if(1==n, n, A286518aux(n, divisors(n))); \\ Antti Karttunen, Feb 17 2024

From Antti Karttunen, Feb 17 2024: (Start)
a(n) <= A069626(n).
It seems that a(n) >= A318670(n), for all n > 1.
(End)

Term a(1)=1 prepended and more terms added by Antti Karttunen, Feb 17 2024

A305844 Number of labeled spanning intersecting antichains on n vertices.

Original entry on oeis.org

1, 1, 1, 5, 50, 2330, 1407712, 229800077244, 423295097236295093695

Offset: 0

Gus Wiseman, Jun 11 2018

nonn

An intersecting antichain S is a finite set of finite nonempty sets (edges), any two of which have a nonempty intersection, and none of which is a subset of any other. S is spanning if every vertex is contained in some edge.

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

Gus Wiseman, Sequences enumerating clutters, antichains, hypertrees, and hyperforests, organized by labeling, spanning, and allowance of singletons.

Cf. A001206, A006126, A048143, A051185, A134958, A030019, A304985, A305843.

Length/@Table[Select[Subsets[Rest[Subsets[Range[n]]]],And[Union@@#==Range[n],FreeQ[Intersection@@@Tuples[#,2],{},{1}],Select[Tuples[#,2],UnsameQ@@#&&Complement@@#=={}&]=={}]&],{n,1,4}]

Inverse binomial transform of A001206(n + 1).

A275307 Number of labeled spanning blobs on n vertices.

Original entry on oeis.org

1, 1, 2, 44, 4983, 7565342, 2414249587694, 56130437054842366160898

Offset: 1

Gus Wiseman, Jul 22 2016

A clutter is a set of sets comprising a connected antichain in the Boolean algebra B_n. A blob is defined as a clutter that cannot be capped by a tree.

			The a(3)=2 blobs are: {{1,2,3}}, {{1,2},{1,3},{2,3}}.

Louis J. Billera, On the Composition and Decomposition of Clutters, J. Combinatorial Theory 11, 234-245 (1971).
Gus Wiseman, Every Clutter is a Tree of Blobs (preprint)

Cf. A048143 (clutters), A030019 (hypertrees), A052888 (tail trees).

Every clutter is a tree of blobs, so we have A048143(n) = Sum_p n^(k-1) Prod_i a(|p_i|+1), where the sum is over all set partitions U(p_1,...,p_k) = {1,...,n-1}.

cp's OEIS Frontend

A326749 BII-numbers of connected set-systems.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

A304714 Number of connected strict integer partitions of n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A293606 Number of unlabeled antichains of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Formula

A286520 Number of finite connected sets of pairwise indivisible positive integers greater than one with least common multiple n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A003182 Dedekind numbers: inequivalent monotone Boolean functions of n or fewer variables, or antichains of subsets of an n-set.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula

Extensions

A305843 Number of labeled spanning intersecting set-systems on n vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A134954 Number of "hyperforests" on n labeled nodes, i.e., hypergraphs that have no cycles, assuming that each edge contains at least two vertices.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A286518 Number of finite connected sets of positive integers greater than one with least common multiple n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs