A303838 -id:A303838 - cp's OEIS frontend

A304937 Number of unlabeled nonempty hypertrees with up to n vertices and no singleton edges.

1, 0, 1, 3, 7, 16, 38, 97, 262, 758, 2298, 7258, 23648, 79056, 269628, 935327, 3290259, 11714284, 42139052, 152963036, 559697096, 2062573999, 7649550571, 28534096987, 106994891145, 403119433265, 1525466082178, 5795853930651, 22102635416715, 84579153865569

Offset: 0

Gus Wiseman, May 21 2018

nonn

			Non-isomorphic representatives of the a(5) = 16 hypertrees are the following:
{{1,2}}
{{1,2,3}}
{{1,2,3,4}}
{{1,2,3,4,5}}
{{1,3},{2,3}}
{{1,4},{2,3,4}}
{{1,5},{2,3,4,5}}
{{1,2,5},{3,4,5}}
{{1,2},{2,5},{3,4,5}}
{{1,3},{2,4},{3,4}}
{{1,4},{2,4},{3,4}}
{{1,4},{2,5},{3,4,5}}
{{1,5},{2,5},{3,4,5}}
{{1,3},{2,4},{3,5},{4,5}}
{{1,4},{2,5},{3,5},{4,5}}
{{1,5},{2,5},{3,5},{4,5}}

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

Cf. A030019, A035053, A048143, A134954, A134955, A134956, A134957, A134959, A144959, A303838, A304867, A304911, A304912, A304918.

\\ here b(n) is A007563 as vector
EulerT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, 1/n))))-1, -#v)}
b(n)={my(v=[1]); for(i=2, n, v=concat([1], EulerT(EulerT(v)))); v}
seq(n)={my(u=b(n)); Vec(1 + (x*Ser(EulerT(u))*(1-x*Ser(u)) - x)/(1-x))} \\ Andrew Howroyd, Aug 27 2018

a(n) = a(n-1) + A035053(n) for n > 1, a(n) = 1 - n for n < 2.

A304939 Number of labeled nonempty hypertrees (connected antichains with no cycles) spanning some subset of {1,...,n} without singleton edges.

Original entry on oeis.org

1, 0, 1, 7, 51, 506, 6843, 118581, 2504855, 62370529, 1788082153, 57997339632, 2099638691439, 83922479506503, 3670657248913385, 174387350448735877, 8942472292255441103, 492294103555090048458, 28958704109012732921523

Offset: 0

Gus Wiseman, May 21 2018

nonn

			The a(3) = 7 hypertrees are the following:
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1,2,3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,3},{2,3}}

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

Cf. A030019, A035053, A048143, A134954, A134955, A134956, A134957, A134959, A144959, A303838, A304867, A304911, A304912, A304918, A305004.

\\ here b(n) is A030019 with b(1)=0.
b(n)=if(n<2, n==0, sum(i=0, n, stirling(n-1, i, 2)*n^(i-1)));
a(n)=if(n<1, n==0, sum(k=1, n, binomial(n, k)*b(k))); \\ Andrew Howroyd, Aug 27 2018

a(n) = A305004(n) - 1 for n > 0. - Andrew Howroyd, Aug 27 2018

A305194 Number of z-forests summing to n. Number of strict integer partitions of n with pairwise indivisible parts and all connected components having clutter density -1.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 3, 2, 3, 4, 5, 4, 6, 7, 7, 9, 11, 12, 13, 15, 17, 20, 23, 25, 27, 32, 35, 40, 45, 49, 54, 58, 67, 78, 82, 95, 99, 111, 123, 135, 150, 164, 177, 194, 214, 236, 260, 282, 309, 330

Offset: 1

Gus Wiseman, May 27 2018

Given a finite set S of positive integers greater than 1, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that have a common divisor greater than 1. 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 clutter density of S is defined to be Sum_{s in S} (omega(s) - 1) - omega(lcm(S)), where omega = A001221 and lcm is least common multiple. Then a z-forest is a strict integer partition with pairwise indivisible parts greater than 1 such that all connected components have clutter density -1.

			The a(17) = 11 z-forests together with the corresponding multiset systems:
       (17): {{7}}
     (15,2): {{2,3},{1}}
     (14,3): {{1,4},{2}}
     (13,4): {{6},{1,1}}
     (12,5): {{1,1,2},{3}}
     (11,6): {{5},{1,2}}
     (10,7): {{1,3},{4}}
      (9,8): {{2,2},{1,1,1}}
   (10,4,3): {{1,3},{1,1},{2}}
    (7,6,4): {{4},{1,2},{1,1}}
  (7,5,3,2): {{4},{3},{2},{1}}

Roland Bacher, On the enumeration of labelled hypertrees and of labelled bipartite trees, arXiv:1102.2708 [math.CO], 2011.

Cf. A030019, A048143, A134954, A275307, A285572, A293510, A293993, A293994, A303362, A303837, A303838, A304118, A304382, A305078, A305195.

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]]]]]]]]];
zensity[s_]:=Total[(PrimeNu[#]-1&)/@s]-PrimeNu[LCM@@s];
zreeQ[s_]:=And[Length[s]>=2,zensity[s]==-1];
Table[Length[Select[IntegerPartitions[n],Function[s,UnsameQ@@s&&And@@(Length[#]==1||zreeQ[#]&)/@Table[Select[s,Divisible[m,#]&],{m,zsm[s]}]&&Select[Tuples[s,2],UnsameQ@@#&&Divisible@@#&]=={}]]],{n,50}]

A305195 Number of z-blobs summing to n. Number of connected strict integer partitions of n, with pairwise indivisible parts, that cannot be capped by a z-tree.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 3, 3, 2, 1, 1, 1, 3, 2, 2, 2, 1, 1, 3, 3, 3, 1, 1, 1, 4, 5, 6, 2, 1, 1, 4, 6, 7, 2, 2, 6

Offset: 1

Gus Wiseman, May 27 2018

nonn

Caps of a clutter are defined in the link, and the generalization to "multiclutters," where edges can be multisets, is straightforward.

			The a(30) = 2 z-blobs together with the corresponding multiset systems:
     (30): {{1,2,3}}
  (18,12): {{1,2,2},{1,1,2}}
The a(47) = 3 z-blobs together with the corresponding multiset systems:
        (47): {{15}}
  (21,14,12): {{2,4},{1,4},{1,1,2}}
  (20,15,12): {{1,1,3},{2,3},{1,1,2}}
The a(60) = 5 z-blobs together with the corresponding multiset systems:
           (60): {{1,1,2,3}}
        (42,18): {{1,2,4},{1,2,2}}
        (36,24): {{1,1,2,2},{1,1,1,2}}
     (30,18,12): {{1,2,3},{1,2,2},{1,1,2}}
  (21,15,14,10): {{2,4},{2,3},{1,4},{1,3}}
The a(67) = 7 z-blobs together with the corresponding multiset systems:
           (67): {{19}}
     (45,12,10): {{2,2,3},{1,1,2},{1,3}}
     (42,15,10): {{1,2,4},{2,3},{1,3}}
     (40,15,12): {{1,1,1,3},{2,3},{1,1,2}}
     (33,22,12): {{2,5},{1,5},{1,1,2}}
     (28,21,18): {{1,1,4},{2,4},{1,2,2}}
  (24,18,15,10): {{1,1,1,2},{1,2,2},{2,3},{1,3}}

Gus Wiseman, Every Clutter Is a Tree of Blobs, The Mathematica Journal, Vol. 19, 2017.

Cf. A030019, A048143, A275307, A285572, A293510, A303362, A303837, A303838, A304118, A304382, A304887, A305028, A305078, A305194.

A303674 Number of connected integer partitions of n > 1 whose distinct parts are pairwise indivisible and whose z-density is -1.

Original entry on oeis.org

1, 1, 1, 2, 1, 3, 1, 3, 2, 4, 1, 4, 1, 6, 4, 5, 1, 8, 2, 7, 5, 11, 3, 11, 5, 13, 6, 14, 7, 19, 6, 19, 15, 24, 13, 28, 15, 33, 20, 34, 22, 46, 30, 48, 32, 57, 39, 67, 48, 76, 63, 88, 62, 104, 88, 110, 94, 130, 115, 164, 121, 172, 152, 198, 176, 229, 203, 270, 235, 293, 272, 341, 311, 375, 349, 453, 420, 506, 452, 570, 547

Offset: 1

Gus Wiseman, Jun 04 2018

nonn

The z-density of a multiset S is defined to be Sum_{s in S} (omega(s) - 1) - omega(lcm(S)), where omega = A001221 and lcm is least common multiple.

Given a finite multiset S of positive integers greater than 1, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that have a common divisor greater than 1. 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(18) = 8 integer partitions are (18), (14,4), (10,8), (9,9), (10,4,4), (6,4,4,4), (3,3,3,3,3,3), (2,2,2,2,2,2,2,2,2).
The a(20) = 7 integer partitions are (20), (14,6), (12,8), (10,6,4), (5,5,5,5), (4,4,4,4,4), (2,2,2,2,2,2,2,2,2,2).

Cf. A030019, A035053, A048143, A134954, A286520, A293510, A293994, A303837, A303838, A304382.

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]]]]]]]]];
zensity[s_]:=Total[(PrimeNu[#]-1&)/@s]-PrimeNu[LCM@@s];
Table[Length[Select[IntegerPartitions[n],And[zensity[#]==-1,Length[zsm[#]]==1,Select[Tuples[#,2],UnsameQ@@#&&Divisible@@#&]=={}]&]],{n,30}]

a(51)-a(81) from Robert Price, Sep 15 2018

A304919 Number of labeled hyperforests spanning {1,...,n} and allowing singleton edges.

Original entry on oeis.org

1, 1, 5, 45, 665, 14153, 399421, 14137301, 603647601, 30231588689, 1738713049013, 112976375651901, 8186616300733321, 654642360222892057, 57267075701210437229, 5440407421313402397541, 557802495215406348358113, 61393838258161429159571873, 7220049654850517272144419941, 903546142463635579042416518989

Offset: 0

Gus Wiseman, May 21 2018

nonn

			The a(2) = 5 hyperforests are the following:
{{1,2}}
{{1},{2}}
{{1},{1,2}}
{{2},{1,2}}
{{1},{2},{1,2}}

Cf. A030019, A035053, A048143, A134954, A134955, A134956, A134957, A134959, A144959, A303838, A304717, A304867, A304911, A304912, A304918.

Inverse binomial transform of A134956.

cp's OEIS Frontend

A304937 Number of unlabeled nonempty hypertrees with up to n vertices and no singleton edges.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

A304939 Number of labeled nonempty hypertrees (connected antichains with no cycles) spanning some subset of {1,...,n} without singleton edges.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

A305194 Number of z-forests summing to n. Number of strict integer partitions of n with pairwise indivisible parts and all connected components having clutter density -1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A305195 Number of z-blobs summing to n. Number of connected strict integer partitions of n, with pairwise indivisible parts, that cannot be capped by a z-tree.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

A303674 Number of connected integer partitions of n > 1 whose distinct parts are pairwise indivisible and whose z-density is -1.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

A304919 Number of labeled hyperforests spanning {1,...,n} and allowing singleton edges.

Views

Author

Keywords

Examples

Crossrefs

Formula