A306021 -id:A306021 - cp's OEIS frontend

A299353 Number of labeled connected uniform hypergraphs spanning n vertices.

1, 1, 1, 5, 50, 1713, 1101990, 68715891672, 1180735735356264714926, 170141183460507906731293351306487161569, 7237005577335553223087828975127304177495735363998991435497132228228565768846

Offset: 0

Gus Wiseman, Jun 18 2018

nonn

A hypergraph is uniform if all edges have the same size.

Let T be the regular triangle A299354, where column k is the logarithmic transform of the inverse binomial transform of c(d) = 2^binomial(d,k). Then a(n) is the sum of row n.

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

Wikipedia, Hypergraph

Cf. A000005, A001315, A006126, A006129, A038041, A048143, A298422, A299354, A299471, A306020, A306021.

nn=10;Table[Sum[SeriesCoefficient[Log[Sum[x^m/m!*(-1)^(m-d)*Binomial[m,d]*2^Binomial[d,k],{m,0,n},{d,0,m}]],{x,0,n}]*n!,{k,n}],{n,nn}]

A301922 Regular triangle where T(n,k) is the number of unlabeled k-uniform hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 7, 3, 1, 1, 23, 29, 4, 1, 1, 122, 2102, 150, 5, 1, 1, 888, 7011184, 7013164, 1037, 6, 1, 1, 11302, 1788775603336, 29281354507753848, 1788782615612, 12338, 7, 1, 1, 262322, 53304526022885280592, 234431745534048893449761040648512, 234431745534048922729326772799024, 53304527811667884902, 274659, 8, 1

Offset: 1

Gus Wiseman, Jun 19 2018

			Triangle begins:
   1
   1   1
   1   2   1
   1   7   3   1
   1  23  29   4   1
The T(4,2) = 7 hypergraphs:
  {{1,2},{3,4}}
  {{1,3},{2,4},{3,4}}
  {{1,4},{2,4},{3,4}}
  {{1,2},{1,3},{2,4},{3,4}}
  {{1,4},{2,3},{2,4},{3,4}}
  {{1,3},{1,4},{2,3},{2,4},{3,4}}
  {{1,2},{1,3},{1,4},{2,3},{2,4},{3,4}}

Andrew Howroyd, Table of n, a(n) for n = 1..91

Row sums are A301481. Second column is A002494.

Cf. A003465, A055621, A298422, A298426, A299471, A301481, A301920, A306017-A306021, A309858.

g:= (l, i, n)-> `if`(i=0, `if`(n=0, [[]], []), [seq(map(x->
     [x[], j], g(l, i-1, n-j))[], j=0..min(l[i], n))]):
h:= (p, v)-> (q-> add((s-> add(`if`(andmap(i-> irem(k[i], p[i]
     /igcd(t, p[i]))=0, [$1..q]), mul((m-> binomial(m, k[i]*m
     /p[i]))(igcd(t, p[i])), i=1..q), 0), t=1..s)/s)(ilcm(seq(
    `if`(k[i]=0, 1, p[i]), i=1..q))), k=g(p, q, v)))(nops(p)):
b:= (n, i, l, v)-> `if`(n=0 or i=1, 2^((p-> h(p, v))([l[], 1$n]))
     /n!, add(b(n-i*j, i-1, [l[], i$j], v)/j!/i^j, j=0..n/i)):
A:= proc(n, k) A(n, k):= `if`(k>n-k, A(n, n-k), b(n$2, [], k)) end:
T:= (n, k)-> A(n, k)-A(n-1, k):
seq(seq(T(n, k), k=1..n), n=1..9);  # Alois P. Heinz, Aug 21 2019

permcount(v)={my(m=1,s=0,k=0,t); for(i=1,#v,t=v[i]; k=if(i>1&&t==v[i-1],k+1,1); m*=t*k;s+=t); s!/m}
rep(typ)={my(L=List(), k=0); for(i=1, #typ, k+=typ[i]; listput(L,k); while(#L0, u=vecsort(apply(f, u)); d=lex(u,v)); !d}
Q(n,k,perm)={my(t=0); forsubset([n,k], v, t += can(Vec(v), t->perm[t])); t}
U(n,k)={my(s=0); forpart(p=n, s += permcount(p)*2^Q(n,k,rep(p))); s/n!}
for(n=1, 10, for(k=1, n, print1(U(n,k)-U(n-1,k), ", ")); print) \\ Andrew Howroyd, Aug 10 2019

T(n,k) = A309858(n,k) - A309858(n-1,k). - Alois P. Heinz, Aug 21 2019

Terms a(16) and beyond from Andrew Howroyd, Aug 09 2019

A322451 Number of unlabeled 3-uniform hypergraphs spanning n vertices.

Original entry on oeis.org

1, 0, 0, 1, 3, 29, 2102, 7011184, 1788775603336, 53304526022885280592, 366299663378889804782337225824, 1171638318502622784366970315264281830913536, 3517726593606524901243694560022510194223171115509135178240

Offset: 0

Gus Wiseman, Dec 09 2018

nonn

3-uniform means that every edge consists of 3 vertices. - Brendan McKay, Sep 03 2023

			Non-isomorphic representatives of the a(5) = 29 hypergraphs:
  {{125}{345}}
  {{123}{245}{345}}
  {{135}{245}{345}}
  {{145}{245}{345}}
  {{123}{145}{245}{345}}
  {{124}{135}{245}{345}}
  {{125}{135}{245}{345}}
  {{134}{235}{245}{345}}
  {{145}{235}{245}{345}}
  {{123}{124}{135}{245}{345}}
  {{123}{145}{235}{245}{345}}
  {{124}{134}{235}{245}{345}}
  {{134}{145}{235}{245}{345}}
  {{135}{145}{235}{245}{345}}
  {{145}{234}{235}{245}{345}}
  {{123}{124}{134}{235}{245}{345}}
  {{123}{134}{145}{235}{245}{345}}
  {{123}{145}{234}{235}{245}{345}}
  {{124}{135}{145}{235}{245}{345}}
  {{125}{135}{145}{235}{245}{345}}
  {{135}{145}{234}{235}{245}{345}}
  {{123}{124}{135}{145}{235}{245}{345}}
  {{124}{135}{145}{234}{235}{245}{345}}
  {{125}{135}{145}{234}{235}{245}{345}}
  {{134}{135}{145}{234}{235}{245}{345}}
  {{123}{124}{135}{145}{234}{235}{245}{345}}
  {{125}{134}{135}{145}{234}{235}{245}{345}}
  {{124}{125}{134}{135}{145}{234}{235}{245}{345}}
  {{123}{124}{125}{134}{135}{145}{234}{235}{245}{345}}

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

First differences of A000665.

Cf. A006126, A006129, A038041, A299471, A301922, A302374, A302394, A306017, A306021.

a(12) from Andrew Howroyd, Dec 15 2018

Name corrected by Brendan McKay, Sep 03 2023

A306019 Number of non-isomorphic set-systems of weight n in which all parts have the same size.

Original entry on oeis.org

1, 1, 2, 2, 4, 2, 10, 2, 17, 14, 33, 2, 167, 2, 186, 491, 785, 2, 5839, 2, 11123, 53454, 15229, 2, 1102924, 53537, 193382, 16334183, 12411062, 2, 382413555, 2, 993814248, 9763321547, 53394774, 1778595972, 402119882757, 2, 1111261718, 9674133468473, 16955983996383

Offset: 0

Gus Wiseman, Jun 17 2018

nonn

A set-system of weight n is a finite set of finite nonempty sets whose sizes sum to n.

			Non-isomorphic representatives of the a(6) = 10 set-systems:
{{1,2,3,4,5,6}}
{{1,2,3},{4,5,6}}
{{1,2,5},{3,4,5}}
{{1,3,4},{2,3,4}}
{{1,2},{1,3},{2,3}}
{{1,2},{3,4},{5,6}}
{{1,2},{3,5},{4,5}}
{{1,3},{2,4},{3,4}}
{{1,4},{2,4},{3,4}}
{{1},{2},{3},{4},{5},{6}}

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

Cf. A000005, A001315, A007716, A038041, A049311, A283877, A298422, A306017, A306018, A306020, A306021.

\\ See A331508 for T(n,k).
a(n) = {if(n==0, 1, sumdiv(n, d, if(d==1 || d==n, 1, T(n/d, d))))} \\ Andrew Howroyd, Jan 16 2024

a(p) = 2 for prime p. - Andrew Howroyd, Aug 29 2019

a(n) = Sum_{d|n} A331508(n/d, d) for n > 0. - Andrew Howroyd, Jan 16 2024

Terms a(12) and beyond from Andrew Howroyd, Sep 01 2019

A306018 Number of non-isomorphic set multipartitions of weight n in which all parts have the same size.

Original entry on oeis.org

1, 1, 3, 4, 9, 8, 24, 16, 51, 47, 115, 57, 420, 102, 830, 879, 2962, 298, 15527, 491, 41275, 80481, 133292, 1256, 2038182, 58671, 2386862, 24061887, 23570088, 4566, 600731285, 6843, 1303320380, 14138926716, 1182784693, 1820343112, 542834549721, 21638, 31525806080

Offset: 0

Gus Wiseman, Jun 17 2018

nonn

A set multipartition of weight n is a finite multiset of finite nonempty sets whose cardinalities sum to n.

Number of distinct binary matrices with all row sums equal and total sum n, up to row and column permutations. - Andrew Howroyd, Sep 05 2018

			Non-isomorphic representatives of the a(6) = 24 set multipartitions in which all parts have the same size:
{{1,2,3,4,5,6}}
{{1,2,3},{1,2,3}}
{{1,2,3},{4,5,6}}
{{1,2,5},{3,4,5}}
{{1,3,4},{2,3,4}}
{{1,2},{1,2},{1,2}}
{{1,2},{1,3},{2,3}}
{{1,2},{3,4},{3,4}}
{{1,2},{3,4},{5,6}}
{{1,2},{3,5},{4,5}}
{{1,3},{2,3},{2,3}}
{{1,3},{2,4},{3,4}}
{{1,4},{2,4},{3,4}}
{{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}}

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

Cf. A000005, A000041, A001315, A007716, A038041, A049311, A283877, A298422, A304942, A306017, A306019, A306020, A306021, A331461.

\\ See A304942 for Blocks
a(n)={sumdiv(n, d, Blocks(n/d, n, d))} \\ Andrew Howroyd, Sep 05 2018

a(p) = A000041(p) + 1 for prime p. - Andrew Howroyd, Sep 06 2018

a(n) = Sum_{d|n} A331461(n/d, d). - Andrew Howroyd, Feb 09 2020

Terms a(11) and beyond from Andrew Howroyd, Sep 05 2018

A306020 a(n) is the number of set-systems using nonempty subsets of {1,...,n} in which all sets have the same size.

Original entry on oeis.org

1, 2, 5, 16, 95, 2110, 1114237, 68723671292, 1180735735906024030715, 170141183460507917357914971986913657850, 7237005577335553223087828975127304179197147198604070555943173844710572689401

Offset: 0

Gus Wiseman, Jun 17 2018

nonn

A058673(n) <= a(n). - Lorenzo Sauras Altuzarra, Aug 10 2023

			a(3) = 16 set-systems in which all sets have the same size:
  {}
  {{1}}
  {{2}}
  {{3}}
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1,2,3}}
  {{1},{2}}
  {{1},{3}}
  {{2},{3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,3},{2,3}}
  {{1},{2},{3}}
  {{1,2},{1,3},{2,3}}

Index entries for sequences related to matroids

Cf. A000005, A001315, A007716, A038041, A049311, A058673 (labeled matroids), A283877, A298422, A306017, A306018, A306019, A306021.

Row sums of A059328.

a := n -> 1-n+add(2^binomial(n, d), d = 1 .. n):
seq(a(n), n = 0 .. 10); # Lorenzo Sauras Altuzarra, Aug 11 2023

Table[1+Sum[2^Binomial[n,d]-1,{d,n}],{n,10}]

a(n) = 1 - n + sum(d = 1, n, 2^binomial(n, d)); \\ Michel Marcus, Aug 10 2023

a(n) = 1 - n + Sum_{d = 1..n} 2^binomial(n, d).

A326783 BII-numbers of uniform set-systems.

Original entry on oeis.org

0, 1, 2, 3, 4, 8, 9, 10, 11, 16, 20, 32, 36, 48, 52, 64, 128, 129, 130, 131, 136, 137, 138, 139, 256, 260, 272, 276, 288, 292, 304, 308, 512, 516, 528, 532, 544, 548, 560, 564, 768, 772, 784, 788, 800, 804, 816, 820, 1024, 1088, 2048, 2052, 2064, 2068, 2080

Offset: 1

Gus Wiseman, Jul 25 2019

nonn

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. A set-system is uniform if all edges have the same size.

Alternatively, these are numbers whose binary indices all have the same binary weight, where the binary weight of a nonnegative integer is the numbers of 1's in its binary digits.

			The sequence of all uniform set-systems together with their BII-numbers begins:
    0: {}
    1: {{1}}
    2: {{2}}
    3: {{1},{2}}
    4: {{1,2}}
    8: {{3}}
    9: {{1},{3}}
   10: {{2},{3}}
   11: {{1},{2},{3}}
   16: {{1,3}}
   20: {{1,2},{1,3}}
   32: {{2,3}}
   36: {{1,2},{2,3}}
   48: {{1,3},{2,3}}
   52: {{1,2},{1,3},{2,3}}
   64: {{1,2,3}}
  128: {{4}}
  129: {{1},{4}}
  130: {{2},{4}}
  131: {{1},{2},{4}}

Cf. A000120, A029931, A048793, A070939, A047966, A306017, A306021, A319269, A320324, A326031, A326784 (regular), A326785 (uniform regular), A326788.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[0,100],SameQ@@Length/@bpe/@bpe[#]&]

A301481 Number of unlabeled uniform hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 2, 4, 12, 58, 2381, 14026281, 29284932065996445, 468863491068204425232922367150021, 1994324729204021501147398087008429476673379600542622915802043462326345

Offset: 0

Gus Wiseman, Jun 19 2018

nonn

A hypergraph is uniform if all edges have the same size.

			Non-isomorphic representatives of the a(4) = 12 hypergraphs:
  {{1,2,3,4}}
  {{1,2},{3,4}}
  {{1},{2},{3},{4}}
  {{1,3,4},{2,3,4}}
  {{1,3},{2,4},{3,4}}
  {{1,4},{2,4},{3,4}}
  {{1,2,4},{1,3,4},{2,3,4}}
  {{1,2},{1,3},{2,4},{3,4}}
  {{1,4},{2,3},{2,4},{3,4}}
  {{1,3},{1,4},{2,3},{2,4},{3,4}}
  {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
  {{1,2},{1,3},{1,4},{2,3},{2,4},{3,4}}

Alois P. Heinz, Table of n, a(n) for n = 0..14 (first 13 terms from Andrew Howroyd)

Row sums of A301922.

Cf. A003465, A038041, A055621, A298422, A301920, A306017-A306021.

\\ see A301922 for U(n,k).
a(n)={ if(n==0, 1, sum(k=1, n, U(n,k)-U(n-1,k))) } \\ Andrew Howroyd, Aug 10 2019

Terms a(6) and beyond from Andrew Howroyd, Aug 09 2019

A322527 Number of integer partitions of n whose product of parts is a power of a squarefree number (A072774).

Original entry on oeis.org

1, 1, 2, 3, 5, 7, 11, 13, 18, 21, 31, 34, 45, 51, 63, 72, 88, 97, 120, 128, 158, 174, 201, 222, 264, 287, 333, 359, 416, 441, 518, 557, 631, 684, 770, 833, 954, 1017, 1141, 1222, 1378, 1475, 1643, 1755, 1939, 2097, 2327, 2471, 2758, 2928, 3233, 3470, 3813, 4085

Offset: 0

Gus Wiseman, Dec 14 2018

nonn

			The a(1) = 1 through a(8) = 18 integer partitions:
  (1)  (2)   (3)    (4)     (5)      (6)       (7)        (8)
       (11)  (21)   (22)    (32)     (33)      (52)       (44)
             (111)  (31)    (41)     (42)      (61)       (53)
                    (211)   (221)    (51)      (331)      (71)
                    (1111)  (311)    (222)     (421)      (422)
                            (2111)   (321)     (511)      (521)
                            (11111)  (411)     (2221)     (611)
                                     (2211)    (3211)     (2222)
                                     (3111)    (4111)     (3311)
                                     (21111)   (22111)    (4211)
                                     (111111)  (31111)    (5111)
                                               (211111)   (22211)
                                               (1111111)  (32111)
                                                          (41111)
                                                          (221111)
                                                          (311111)
                                                          (2111111)
                                                          (11111111)
Missing from the list for n = 7 through 9:
  (43)   (62)    (54)
  (322)  (332)   (63)
         (431)   (432)
         (3221)  (522)
                 (621)
                 (3222)
                 (3321)
                 (4311)
                 (32211)

Cf. A003963, A005117, A038041, A062503, A064573, A072774, A295193, A302505, A306021, A319169, A320322, A322526, A322528, A322530.

Table[Length[Select[IntegerPartitions[n],SameQ@@Last/@FactorInteger[Times@@#]&]],{n,30}]

A322635 Number of regular graphs with loops on n labeled vertices.

Original entry on oeis.org

2, 4, 4, 24, 78, 1908, 23368, 1961200, 75942758, 25703384940, 4184912454930, 4462909435830552, 2245354417775573206, 10567193418810168583576, 24001585002447984453495392, 348615956932626441906675011568, 2412972383955442904868321667433106, 162906453913051798826796439651249753404

Offset: 1

Gus Wiseman, Dec 21 2018

nonn

A graph is regular if all vertices have the same degree. A loop adds 2 to the degree of its vertex.

Wikipedia, Regular graph
Gus Wiseman, The a(4) = 24 regular graphs with loops.
Gus Wiseman, The a(5) = 78 regular graphs with loops.

Row sums of A333158.

Cf. A000666, A054921, A059441, A295193, A299353, A306017, A306021, A319189, A319190, A319612, A322659, A322661.

Table[Sum[SeriesCoefficient[Product[1+Times@@x/@s,{s,Select[Tuples[Range[n],2],OrderedQ]}],Sequence@@Table[{x[i],0,k},{i,n}]],{k,0,2n}],{n,6}]

for(n=1, 10, print1(A322635(n), ", ")) \\ See A295193 for script, Andrew Howroyd, Aug 28 2019

a(11)-a(18) from Andrew Howroyd, Aug 28 2019

cp's OEIS Frontend

A299353 Number of labeled connected uniform hypergraphs spanning n vertices.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A301922 Regular triangle where T(n,k) is the number of unlabeled k-uniform hypergraphs spanning n vertices.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

PARI

Formula

Extensions

A322451 Number of unlabeled 3-uniform hypergraphs spanning n vertices.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Extensions

A306019 Number of non-isomorphic set-systems of weight n in which all parts have the same size.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A306018 Number of non-isomorphic set multipartitions of weight n in which all parts have the same size.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A306020 a(n) is the number of set-systems using nonempty subsets of {1,...,n} in which all sets have the same size.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A326783 BII-numbers of uniform set-systems.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A301481 Number of unlabeled uniform hypergraphs spanning n vertices.

Views