

A212630


Irregular triangle read by rows: T(n,k) is the number of dominating subsets with k vertices of the rooted tree with MatulaGoebel number n (n>=1, k>=1).


14



1, 2, 1, 1, 3, 1, 1, 3, 1, 0, 4, 4, 1, 0, 4, 4, 1, 1, 3, 4, 1, 1, 3, 4, 1, 0, 3, 8, 5, 1, 0, 3, 8, 5, 1, 0, 3, 8, 5, 1, 0, 2, 7, 5, 1, 0, 2, 7, 5, 1, 0, 2, 7, 5, 1, 0, 1, 10, 13, 6, 1, 1, 4, 6, 5, 1, 0, 2, 7, 5, 1, 0, 0, 8, 12, 6, 1, 1, 4, 6, 5, 1, 0, 2, 8, 12, 6
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,2


COMMENTS

The MatulaGoebel number of a rooted tree can be defined in the following recursive manner: to the onevertex tree there corresponds the number 1; to a tree T with root degree 1 there corresponds the tth prime number, where t is the MatulaGoebel number of the tree obtained from T by deleting the edge emanating from the root; to a tree T with root degree m>=2 there corresponds the product of the MatulaGoebel numbers of the m branches of T.
The entries in row n are the coefficients of the domination polynomial of the rooted tree with MatulaGoebel number n (see the Alikhani and Peng reference).
Sum of entries in row n = A212631(n) (number of dominating subsets).
The order of the first nonzero entry in row n = A212632(n) (the domination number).


REFERENCES

F. Goebel, On a 11 correspondence between rooted trees and natural numbers, J. Combin. Theory, B 29 (1980), 141143.
I. Gutman and A. Ivic, On Matula numbers, Discrete Math., 150, 1996, 131142.
I. Gutman and YN. Yeh, Deducing properties of trees from their Matula numbers, Publ. Inst. Math., 53 (67), 1993, 1722.
D. W. Matula, A natural rooted tree enumeration by prime factorization, SIAM Review, 10, 1968, 273.
É. Czabarka, L. Székely, and S. Wagner, The inverse problem for certain tree parameters, Discrete Appl. Math., 157, 2009, 33143319.


LINKS

Table of n, a(n) for n=1..87.
S. Alikhani and Y. H. Peng, Introduction to domination polynomial of a graph, arXiv:0905.2251.
E. Deutsch, Rooted tree statistics from Matula numbers, arXiv:1111.4288.
Index entries for sequences related to MatulaGoebel numbers


FORMULA

Let A(n)=A(n,x), B(n)=B(n,x), and C(n)=C(n,x) be the generating polynomial with respect to size of the dominating subsets which contain the root, of the dominating subsets which do not contain the root, and of the subsets which dominate all vertices except the root, respectively, of the rooted tree with MatulaGoebel number n. We have A(1)=x, B(1)=0, C(1)=1, A(tth prime) = x [A(t)+B(t)+C(t)], B(tth prime) = A(t), C(tth prime) = B(t); A(rs) = A(r)A(s)/x, B(rs) = B(r)B(s) + B(r)C(s) + B(s)C(r) (r,s>=2). The generating polynomial of the dominating subsets with respect to size (i.e. the domination polynomial) is P(n)=P(n,x)=A(n)+B(n). The Maple program is based on these recurrence relations.


EXAMPLE

Row 3 is [1,3,1] because the rooted tree with MatulaGoebel number 3 is the path tree R  A  B; it has 1, 3, and 1 dominating subsets with 1, 2, and 3 vertices, respectively: [A], [RA, RB, AB], and [RAB].
1;
2,1;
1,3,1;
1,3,1;
0,4,4,1;
0,4,4,1;
1,3,4,1;


MAPLE

with(numtheory): P := proc (n) local r, s, A, B, C: r := n> op(1, factorset(n)): s := n> n/r(n): A := proc (n) if n = 1 then x elif bigomega(n) = 1 then x*(A(pi(n))+B(pi(n))+C(pi(n))) else A(r(n))*A(s(n))/x end if end proc: B := proc (n) if n = 1 then 0 elif bigomega(n) = 1 then A(pi(n)) else sort(expand(B(r(n))*B(s(n))+B(r(n))*C(s(n))+B(s(n))*C(r(n)))) end if end proc: C := proc (n) if n = 1 then 1 elif bigomega(n) = 1 then B(pi(n)) else expand(C(r(n))*C(s(n))) end if end proc: sort(expand(A(n)+B(n))) end proc: for n to 20 do seq(coeff(P(n), x, j), j = 1 .. degree(P(n))) end do; # yields sequence in triangular form


CROSSREFS

Cf. A212618  A212632.
Sequence in context: A083312 A032435 A117502 * A030360 A232529 A095374
Adjacent sequences: A212627 A212628 A212629 * A212631 A212632 A212633


KEYWORD

nonn,tabf


AUTHOR

Emeric Deutsch, Jun 11 2012


STATUS

approved



