arxiv: v1 [math.co] 25 Sep 2016

Transcription

1 arxi: [math.co] 25 Sep 2016 Total domination polynomial of graphs from primary sbgraphs Saeid Alikhani and Nasrin Jafari September 27, 2016 Department of Mathematics, Yazd Uniersity, , Yazd, Iran Abstract Let G = (V,E) be a simple graph of order n. The total dominating set is a sbset D of V that eery ertex of V is adjacent to some ertices of D. The total domination nmber of G is eqal to minimm cardinality of total dominating set in G and denoted by γ t (G). The total domination polynomial of G is the polynomial D t (G,x) = d t (G,i), here d t (G,i) is the nmber of total dominating sets of G of size i. Let G be a connected graph constrcted from pairise disjoint connected graphs G 1,...,G k by selecting a ertex of G 1, a ertex of G 2, and identify these to ertices. Then contine in this manner indctiely. We say that G is obtained by point-attaching from G 1,...,G k and that G i s are the primary sbgraphs of G. In this paper, e consider some particlar cases of these graphs that most of them are of importance in chemistry and stdy their total domination polynomials. Keyords: Total domination nmber, total domination polynomial, total dominating set. AMS Sbj. Class.: 05A18; 11B 73, 05C12. 1 Introdction Let G = (V,E) be a simple graph of order n. For any ertex V, the open neighborhood of is the set N() = { V E} and the closed neighborhood is the set N[] = N() {}. For a set S V, the open neighborhood of S is the set N(S) = N() and the closed neighborhood of S is the set N[S] = N(S) S. A set S D V is a total dominating set if eery ertex of V is adjacent to some ertices of D, or eqialently, N(D) = V. The total dominating nmber γ t (G) is the minimm cardinality of a total dominating set in G. A total dominating set ith cardinality γ t (G) is called a γ t -set. An i-sbset of V is a sbset of V of cardinality i. Let D t (G,i) be the Corresponding athor 1

2 family of total dominating sets of G hich are i-sbsets and let d t (G,i) = D t (G,i). The polynomial D t (G;x) = n d t (G,i)x i is defined as total domination polynomial of G. i=1 Figre 1: Graph G obtained by point-attaching from G 1,...,G k. Let G be a connected graph constrcted from pairise disjoint connected graphs G 1,...,G k as follos. Select a ertex of G 1, a ertex of G 2, and identify these to ertices. Then contine in this manner indctiely. Note that the graph G constrcted in this ay has a tree-like strctre, the G i s being its bilding stones (see Figre 1). Usally say that G is obtained by point-attaching from G 1,...,G k and that G i s are the primary sbgraphs of G. A particlar case of this constrction is the decomposition of a connected graph into blocks (see [9]). As an example, the n-barbell graph Bar n ith 2n ertices, is formed by joining to copies of a complete graph K n by a single edge (Figre 2). Actally, this graph is a specific kind of point-attaching of to complete graphs K n and the graph P 2. Obsere that the total domination polynomial of n-barbell graph is D t (Bar n,x) = n i=2 ( ) 2n 2 x i + i 2 2n i=n+1 ( ) 2n x i. i This formla obtain easily from conting the total dominating sets of Bar n.... K n K n Figre 2: Barbell graphs Bar 3,Bar 4 and Bar n, respectiely. 2

3 Calclating the total domination polynomial of a graph G is difficlt in general, as the smallest poer of anon-zero term is thedomination nmberγ t (G) of thegraph, and determining hether γ t (G) k is knon to be NP-complete. So presenting a closed formla for the total domination polynomial of any kind of point-attaching graphs is difficlt, bt for certain classes of graphs, e can find a closed form expression for the total domination polynomial. In this paper, e consider some particlar cases of these graphs and stdy their total domination polynomials. In Section 2, e consider graphs hich obtain by a special point-attaching of a graph H and V(H) copies of graphs P 3. We proe that all graphs hose total domination polynomial hae jst to roots { 2, 0} are in this form. Also e stdy the total domination polynomial of some kind of generalized friendship graphs in this section. In Section 3, e inestigate the total domination polynomial of cacts chains. 2 Total domination polynomial of graphs from primary sbgraphs In this section, e consider graphs constrcted from primary sbgraphs and stdy their total domination polynomial. Some kind of these graphs hae interesting properties. In the Sbsection 2.1, e proe that a special kind of graphs from primary sbgraphs hae exactly to total domination roots. In Sbsection 2.2 e stdy the total domination polynomial of the generalized friendship graph. 2.1 Graphs ith exactly to total domination roots { 2, 0} Graphs hose certain polynomials hae fe roots can sometimes gie interesting information abot the strctre of the graph. The characterization of graphs ith fe distinct roots of characteristic polynomials (i.e., graphs ith fe distinct eigenales) hae been the sbject of many researchers [4, 5, 6, 7]. Also the first athors has stdied graphs ith fe domination roots in [1]. Let H be an arbitrary graph of order n and consider n copies of graph P 3. By definition, the graph H(3) is obtained by identifying each ertex of H ith an end ertex of a P 3. See Figre 3. To obtain the total domination polynomial of H(3), e need the folloing reslt. Theorem 2.1 [4] Let G be a connected graph of order n 3. Then γ t (G) = 2n 3 only if G is C 3, C 6 or H(3) for some connected graph H. if and Theorem 2.2 For any graph H of order n, e hae D t (H(3),x) = x 2n (x+2) n. Proof. Let D be a total dominating set of H(3) of size k n in Figre 3. Obiosly { 1, 2,..., n } D. To choose n + i (0 i n) other ertices of V(H(3)) \ { 1, 2,..., n }, e hae ( n i) 2 n i possibilities. So e hae the reslt. No, e state and proe the folloing reslt. 3

4 1 2 n n 1 n 2 H 3 4 Figre 3: The graph H(3). Theorem 2.3 Let G be a graph. Then D t (G,x) = x 2n (x+2) n if and only if G = H(3) for some graph H of order n. Proof. ( ) It follos from Theorem 2.2. ( ) Let G be a graph ith D t (G,x) = x 2n (x + 2) n. Ths V(G) = 3n and G has no isolated ertex. Since γ t (G) = 2n, by Theorem 2.1, eery component of G is a cycle C 3, C 6 or a H(3) for some connected graph H. Since D t (C 3,x) = x 2 (x+3) and D t (C 6,x) = x 4 (x + 3) 2 does not diide x 2n (x + 1) n, e conclde that there exists a graph H sch that G = H(3) and the proof is complete. Remark 2.4 The characterization of graphs hose graph polynomials hae fe roots hae been an interesting problem and stdied ell in the literatre ([1, 11]). Also there is a conjectre in [2] hich states that eery integer total domination roots is in the set { 3, 2, 1, 0}. So finding the graphs hose total domination polynomial hae these fe roots can be a good start for soling this conjectre. Theorem 2.3 characterize all graphs hose total domination polynomial hae jst to distinct roots 2 and Total domination polynomial of the generalized friendship graph No e consider another kind of point-attaching graphs and stdy their total domination polynomials. The generalized friendship graph F n,q is a collection of n cycles (all of order q), meeting at a common ertex (see Figre 4). The generalized friendship graph may also be referred to as a floer [12]. For q = 3 the graph F n,q is denoted simply by F n and is friendship graph. The total domination polynomial of F n and its roots stdied in [2]. Here, first e compte the total domination nmber of F n,4. Theorem 2.5 For any n 1, e hae γ t (F n,4 ) = n+1. Proof. Let { 1,..., 2n } be ertex set of F n,4 that adjacent by 0 (common ertex in F n,4 ). Then { 0, 1, 3,..., 2n 1 } is a total dominating set for F n,4 (see Figre 4) and the set D V(F n,4 ) of size less than or eqal n is not total dominating set for F n,4, therefore γ t (F n,4 ) = n+1. 4

5 n 2n 1 Figre 4: Friendship graphs F 1,4,F 2,4,F 3,4 and F n,4, respectiely. The folloing theorem is sefl for finding the recrrence relations of the domination polynomials of graphs. The ertex contraction G/ of a graph G by a ertex is the operation nderhich all ertices in N() are joined to each other and then is deleted (see [13]). Theorem 2.6 [8] (i) For any ertex in the graph G e hae D t (G,x) = D t (G\,x)+xD t (G/,x) +x 2 D t (G\N[{,}],x) (1+x)p (G), N() here p (G,x) is the polynomial conting the total dominating sets of G\ hich do not contain any ertex of N() in G. (ii) Let, V(G) be to non-adjacent ertices of G ith N() N(). Then D t (G,x) = D t (G\,x)+xD t (G/,x) +x 2 N() N() (iii) If, V(G) be to ertices of G ith N[] N[]. Then D t (G,x) = D t (G\,x)+xD t (G/,x) +x 2 (i) Let e = {,} E(G) and N[] = N[]. Then N() D t (G,x) = D t (G\e,x)+x 2 D t (G\N[],x). D t (G\N[{,}],x). D t (G\N[{,}],x). No e state and proe a recrrence relation for the total domination polynomial of F n,4. Theorem 2.7 For any n 1, e hae D t (F n,4,x) = x(x+2)[(x+1)d t (F n 1,4,x) (x 3 +2x) n 1 ], 5

6 F n,4 F n,4 \ F n,4 / (F n,4 \)/,(F n,4 \)\ and (F n,4 /)/ Figre 5: Graphs hich considered in Theorem 2.7 ith initial ale D t (F 1,4,x) = x 4 +4x 3 +4x 2. Proof. Consider graph F n,4 and, as shon in Figre 5. By Theorem 2.6, e hae D t (F n,4,x) part(ii) = D t (F n,4 \,x)+xd t (F n,4 /,x)+x 2 D t (P 3,x) n 1 part(iii) = 0 {}}{ D t ((F n,4 \)\,x)+xd t ((F n,4 \)/,x)+x 2 D t (P 3,x) n 1 +x[d t ((F n,4 /)\,x)+xd t ((F n,4 /)/,x) +x 2 D t (P 3,x) n 1 ] +x 2 D t (P 3,x) n 1 = (x 2 +2x)D t ((F n,4 \)/,x)+(x 3 +2x 2 )D t (P 3,x) n 1 part(i) = (x 2 +2x)[D t (F n 1,4,x)+xD t (F n 1,4,x) (x+1)p ((F n,4 \)/,x)] +(x 3 +2x 2 )D t (P 3,x) n 1 = x(x+1)(x+2)d t (F n 1,4,x) x(x+1)(x+2)p ((F n,4 \)/,x) +(x 3 +2x 2 )D t (P 3,x) n 1. Since P ((F n,4 \)/,x) = D t (P 3,x) n 1, so e hae the reslt. 3 Total domination polynomial of cacts chains In this section, e consider another kind of point-attaching graphs and stdy their total domination polynomials. These kind of graphs are important in Chemistry. A cacts graph is a connected graph in hich no edge lies in more than one cycle. Conseqently, each block of a cacts graph is either an edge or a cycle. If all blocks of a cacts G are cycles of the same size i, the cacts is i -niform. A trianglar cacts is a graph hose blocks are triangles, i.e., a 3 -niform cacts. We call the nmber of triangles in G the length of the chain. Obiosly, all chain trianglar cacts of the same length are isomorphic. Hence, e denote the chain trianglar cacts of length n by T n (see Figre 6). By replacing triangles in this definitions by cycles of length 4 e obtain cacti hose 6

7 eery block is C 4. In this section e shall stdy the total domination polynomial of cacts chains. 3.1 Total domination polynomial of the chain trianglar cacts In this sbsection e shall stdy the total domination polynomial of chain trianglar cacts. To do this, e consider graph G n as shon in Figre 6, hich is also a kind of point attaching graphs. Note that G n is a point attaching of T n and P 2. First e state and proe the folloing theorem: Figre 6: The graphs T n and G n, respectiely. Theorem 3.1 For eery n 2, D t (G n,x) = (x+1)[d t (T n,x) D t (G n 1,x)]+x 2 D t (G n 2,x), here D t (G 0,x) = x 2, D t (G 1,x) = x 4 +3x 3 +3x 2 and D t (T 2,x) = x 5 +5x 4 ++6x 3 +4x 2. Proof. Consider the graph G n as shon in Figre 6. Since G n \ is isomorphic to G n /, by Theorem 2.6(i), e hae D t (G n,x) = (x+1)d t (G n /,x)+x 2 D t (G n \N[{,}],x) (x+1)p (G n ) = (x+1)d t (T n,x)+x 2 D t (G n 2,x) (x+1)d t (G n 1,x). Note that p (G n ) = D t (G n 1,x). Theorem 3.2 For eery n 3, D t (T n,x) = (x+1)d t (G n 1,x)+x 2 [D t (G n 2,x)+D t (G n 3,x)]. Proof. Consider the graph T n and its ertex as shon in the Figre 6. By Theorem 2.6(iii), e hae D t (T n,x) = (x+1)d t (T n /,x)+x 2 [D t (T n \N[{,}],x) +D t (T n \N[{,}],x)] = (x+1)d t (G n 1,x)+x 2 [D t (G n 2,x)+D t (G n 3,x)]. Note that T n \ is isomorphic to T n /. 7

8 Figre 7: Para-chain sqare cacts graph Q 1,Q 2,Q 3 and Q n, respectiely. e Figre 8: graphs Q n (2),Q n (1),Q n +e and Q n, respectiely. Figre 9: graph Q n. 3.2 Total domination polynomial of para-chain sqare cacts graphs In this sbsection e consider a para-chain of length n, Q n, as shon in Figre 7 and obtain a recrrence relation for the domination polynomial of Q n. Lemma 3.3 For graphs in Figres 8 and 9 hae: (i) D t (Q n (1),x) = xd t (Q n,x)+x 2 [D t (Q n 1,x)+3D t (Q n 1,x)], here D t(q 0 (1),x) = x 2. (ii) D t (Q n (2),x) = x 2 [D t (Q n,x)+(x+1)d t (Q n 1,x)+(3x+1)D t (Q n 1,x)], here D t (Q 0 (2),x) = x 3 +2x 2. (iii) D t (Q n,x) = x(x+1)d t (Q n,x)+x 2 (x+2)d t (Q n 1,x)+3x 2 (x+1)d t (Q n 1,x), here D t (Q 0,x) = x3 +2x 2. (i) D t (Q n,x) = x(x+1)d t (Q n,x)+x 2 (x+2)d t (Q n 2,x)+x 2 (3x+4)D t (Q n 1,x), here D t (Q 0,x) = x3 +3x 2. Proof. 8

9 (i) Consider graph Q n (1) and its ertex in Figre 8. By Theorem 2.6(iii), D t (Q n (1),x) = 0 {}}{ D t (Q n (1)\,x)+xD t (Q n (1)/,x) +x 2 [D t (Q n (1)\N[{,}],x) +2D t (Q n (1)\N[{,}],x)] = xd t (Q n +e,x)+x 2 [D t (Q n 1 x)+2d t (Q n 1,x)]. By applying Theorem 2.6(i) on Q n +e, e hae So e hae reslt. D t (Q n +e,x) = D t (Q n,x)+x 2 D t (Q n 1,x). (ii) Consider the ertex as shon in Figre 8. By Theorem 2.6(iii), e hae D t (Q n (2),x) = 0 {}}{ D t (Q n (2)\,x)+xD t (Q n (2)/,x) +x 2 [D t (Q n (2)\N[{,}],x) +D t (Q n (2)\N[{,}],x)] = xd t (Q n 1 (1),x)+x 2 [D t (Q n 1,x)+D t(q n 1,x)]. By sing Part (i) in the aboe eqation, e hae reslt. (iii) Consider graph Q n in Figre 9. By Theorem 2.6, D t (Q n,x) = D t (Q n \,x)+xd t (Q n/,x)+x 2 D t (Q n \N[{,}],x) = (x+1)d t (Q n (1),x)+x 2 D t (Q n 1,x). Using Part (i) in the aboe eqation, e hae reslt. (i) By Theorem 2.6(iii), e hae D t (Q n,x) = D t(q n \,x)+xd t(q n /,x) +x 2 [D t (Q n \N[{,}],x) +D t(q n \N[{,}],x)] = (x+1)d t (Q n (1),x)+x 2 [D t (Q n 1,x)+D t (Q n 1,x)]. So by sing Part (i) in the aboe eqation, e hae reslt. Theorem 3.4 The total domination polynomial of para-chain Q n is gien by D t (Q n,x) = x 2 (x+2)[d t (Q n 1,x)+D t (Q n 2,x)+xD t (Q n 3,x)] +x 2 (3x 2 +7x+2)D t (Q n 2,x), here D t (Q 1,x) = x 4 +4x 3 +4x 2 and D t (Q 2,x) = D t (F 2,4,x). 9

10 Proof. With regards to Figre 7 and Theorem 2.6, e hae D t (Q n,x) = D t (Q n \,x)+xd t (Q n /,x) +x 2 [D t (Q n \N[{,}],x) +D t (Q n \N[{,}],x) = D t (Q n 1 (2),x)+xD t (Q n 1,x)+x 2 [D t (Q n 2,x)+D t (Q n 2,x)] No by Lemma 3.3 reslts is obtained. 3.3 Total domination polynomial of ortho-chain sqare cacts graphs In this sbsection e consider an ortho-chain of length n, O n, as shon in Figre 10. We shall obtain a recrrence relation for the total domination polynomial of O n. Figre 10: ortho-chain sqare cacts graphs O 1,O 2,O 3 and O n, respectiely. Figre 11: graphs O n, O n, O n(1) and O n (2), respectiely. Lemma 3.5 For graphs in Figre 11, e hae (i) D t (O n (1),x) = (x+1)[d t (O n,x) D t (O n 1 (2),x)], here D t (O 0 (1),x) = x 2. (ii) D t (O n (2),x) = x[(x+1)d t (O n,x) D t (O n 1 (2),x)], here D t (O 0 (2),x) = x 3 + 2x 2. (iii) D t (O n,x) = (x + 1)2 D t (O n,x) (2x + 1)D t (O n 1 (2),x), here D t (O 0,x) = x 3 +3x 2. Proof. Similar to lemma 3.3 by sing theorem 2.6 e hae reslt. Note that in part (i), P (O n ) = D t (O n 1 (2),x). 10

11 Theorem 3.6 For graph O n in Figre 10, e hae D t (O n,x) = x(x+2)[(x+1)d t (O n 1,x) D t (O n 2 (2),x)], here D t (O 1,x) = x 4 +4x 3 +4x 2 and D t (O 2,x) = D t (F 2,4,x). Proof. Consider graph O n and ertex as shon in Figre 11. By Theorem 2.6 for ertex, e hae D t (O n,x) = D t (O n 1 (2),x)+xD t (O n 1,x)+x2 D t (O n 2 (2),x). No by sing Lemma 3.5(ii) and (iii), e hae reslt. References [1] S. Alikhani, Graphs hose certain polynomials hae fe distinct roots, ISRN Discrete Mathematics, Volme 2013, Article ID , 8 pages. [2] S. Alikhani and N. Jafari, On the roots of total domination polynomial of graphs, sbmitted. Aailable at [3] W.G. Bridges, R.A. Mena, Mltiplicatie cones- a family of three eigenale graph, Aeqationes Math. 22 (1981) [4] R.C. Brigham, J.R. Carrington, R.P. Vitray, Connected graphs ith maximm total domination nmber. J. Combin. Compt. Combin. Math. (2000) 34, [5] E.R. an Dam, Reglar graphs ith for eigenales, Linear Alg, Appl. 226/228 (1995) [6] E.R. an Dam, Graphs ith Fe Eigenales, An Interplay beteen Combinatorics and Algebra, Center Dissertation Series 20, Thesis, Tilbrg Uniersity, [7] E.R. an Dam, Nonreglar graphs ith three eigenales, J. Combin. Theory Ser. B 73 (1998) [8] M. Dod, The total domination polynomial and its generalization, In: Congr. Nmerantim, 219 (2014), pp [9] D. Emeric, and S. Klažar, Compting Hosoya polynomials of graphs from primary sbgraphs, MATCH Commn. Math. Compt. Chem. 70 (2013) [10] P. Erdös, A. Rényi, V.T. Sós, On a problem of graph theory, Stdia Sci. Math. Hngar. 1 (1966), [11] E. Ghorbani, Graphs ith fe matching roots, Graphs Combin., 29 (2013) no. 5,

12 [12] Z. Ryjáček, I. Schiermeyer, The floer conjectre in special classes of graphs, Discss. Math. Graph Theory 15 (1995) [13] M. Walsh, The hb nmber of a graph, Int. J. Math. Compt. Sci., 1 (2006)