|
|
A062136
|
|
Twelfth column of Losanitsch's triangle A034851 (formatted as lower triangular matrix).
|
|
3
|
|
|
1, 6, 42, 182, 693, 2184, 6216, 15912, 37854, 83980, 176484, 352716, 676270, 1248072, 2229096, 3863080, 6519591, 10737090, 17299646, 27313650, 42337659, 64512240, 96770544, 143048880, 208616044
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
Also seventh column (m=6) of triangle A062135.
Number of homeomorphically irreducible (or series-reduced) trees (no vertices of degree 2) with n+9 leaves which become tree P(7) (path on 7 nodes (vertices) or 6 edges (links) when all leaves are omitted. A leave is an edge together with a node of degree 1 at one end. Proof by Polya enumeration. See illustration for A034851.
|
|
LINKS
|
|
|
FORMULA
|
G.f.: Pe(6, x^2)/((1-x)^(2*6)*(1+x)^6), with Pe(6, x^2) := sum(A034839(6, m)*x^(2*m), m=0..3)= 1+15*x^2+15*x^4+x^6.
a(n) = (1/(2*11!))*(n+1)*(n+2)*(n+3)*(n+4)*(n+5)*(n+6)*(n+7)*(n+8)*(n+9)*(n+10)*(n+11) + (1/15)*(1/2^9)*(n+2)*(n+4)*(n+6)*(n+8)*(n+10)*(1/2)*(1+(-1)^n). - Yosu Yurramendi, Jun 24 2013
|
|
MATHEMATICA
|
Table[(1/(2*11!))*(n + 1)*(n + 2)*(n + 3)*(n + 4)*(n + 5)*(n + 6)*(n + 7)*(n + 8)*(n + 9)*(n + 10)*(n + 11) + (1/15)*(1/2^9)*(n + 2)*(n + 4)*(n + 6)*(n + 8)*(n + 10)*(1/2)*(1 + (-1)^n), {n, 0, 50}] (* G. C. Greubel, Nov 24 2017 *)
|
|
PROG
|
(PARI) for(n=0, 50, print1((1/(2*11!))*(n + 1)*(n + 2)*(n + 3)*(n + 4)*(n + 5)*(n + 6)*(n + 7)*(n + 8)*(n + 9)*(n + 10)*(n + 11) + (1/15)*(1/2^9)*(n + 2)*(n + 4)*(n + 6)*(n + 8)*(n + 10)*(1/2)*(1 + (-1)^n), ", ")) \\ G. C. Greubel, Nov 24 2017
(Magma) [(1/(2*Factorial(11)))*(n + 1)*(n + 2)*(n + 3)*(n + 4)*(n + 5)*(n + 6)*(n + 7)*(n + 8)*(n + 9)*(n + 10)*(n + 11) + (1/15)*(1/2^9)*(n + 2)*(n + 4)*(n + 6)*(n + 8)*(n + 10)*(1/2)*(1 + (-1)^n): n in [0..30]]; // G. C. Greubel, Nov 24 2017
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,easy
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|