A002992 Number of n-node trees with a forbidden limb of length 6. (Formerly M0778)

1, 1, 1, 1, 2, 3, 6, 10, 22, 45, 102, 226, 531, 1253, 3044, 7456, 18604, 46798, 119133, 305567, 790375, 2057523, 5390759, 14200122, 37598572, 100005401, 267131927, 716318650, 1927758155, 5205240762, 14098580633, 38296720823, 104308468102, 284822276099

Offset

0,5

Comments

A tree with a forbidden limb of length k is a tree where the path from any leaf inward hits a branching node or another leaf within k steps.

References

A. J. Schwenk, Almost all trees are cospectral, pp. 275-307 of F. Harary, editor, New Directions in the Theory of Graphs. Academic Press, NY, 1973.

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Links

Alois P. Heinz, Table of n, a(n) for n = 0..1000

A. J. Schwenk, Letter to N. J. A. Sloane, Aug 1972

Index entries for sequences related to trees

Formula

G.f.: 1 + B(x) + (B(x^2) - B(x)^2)/2 where B(x) is g.f. of A052329.

a(n) ~ c * d^n / n^(5/2), where d = 2.95209316333202396584501452688304..., c = 0.52950413787119576841378912289... . - Vaclav Kotesovec, Aug 25 2014

Maple

with(numtheory):
g:= proc(n) g(n):= `if`(n=0, 1, add(add(d*(g(d-1)-
      `if`(d=6, 1, 0)), d=divisors(j))*g(n-j), j=1..n)/n)
    end:
a:= n-> `if`(n=0, 1, g(n-1)+(`if`(irem(n, 2, 'r')=0,
         g(r-1), 0)-add(g(i-1)*g(n-i-1), i=1..n-1))/2):
seq(a(n), n=0..40);  # Alois P. Heinz, Jul 06 2014

Mathematica

g[n_] := g[n] = If[n == 0, 1, Sum[Sum[d*(g[d-1]-If[d == 6, 1, 0]), {d, Divisors[j] }]*g[n-j], {j, 1, n}]/n]; a[n_] := If[n == 0, 1, g[n-1] + (If[Mod[n, 2 ] == 0, g[Quotient[n, 2]-1], 0] - Sum[g[i-1]*g[n-i-1], {i, 1, n-1}])/2]; Table[a[n], {n, 0, 40}] (* Jean-François Alcover, Feb 26 2015, after Alois P. Heinz *)

Crossrefs

Cf. A002955, A002988-A002991, A052318-A052329.

Sequence in context: A125702 A052817 A156803 * A130867 A218210 A122381

Adjacent sequences: A002989 A002990 A002991 * A002993 A002994 A002995

Keyword

nonn

Author

N. J. A. Sloane

Extensions

More terms, formula and comments from Christian G. Bower, Dec 15 1999

Status

approved