arxiv:1610.00360v [math.co] 10 Ot 016 Improving the bound for maximum degree on Murty-Simon Conjeture A. Bahjati 1, A. Jabalameli 1, M. Ferdosi 1, M. M. Shokri 1, M. Saghafian and S. Bahariyan 1 Department of Computer Engineering, Sharif University of Tehnology, Tehran, Iran Department of Mathematial Sienes, Sharif University of Tehnology, Tehran, Iran Otober 11, 016 Abstrat Agraphis said tobediameter-k-ritial ifitsdiameter is k andremoval of any of its edges inreases its diameter. A beautiful onjeture by Murty and Simon, says that every diameter--ritial graph of order n has at most n / edges and equality holds only for K n/, n/. Haynes et al. proved that the onjeture is true for 0.7n. They also proved that for n > 000, if 0.6789n then the onjeture is true. We will improve this bound by showing that the onjeture is true for every n if 0.6755n. 1 Introdution Throughout this paper we assume that G is a simple graph. Our notation is the same as [3], let G = (V,E) be a graph with vertex set V of order n and edge set E of size m. For a vertex v G we denote the set of its neighbors in G by N G (u). Also we denote N G (u) u by N G (u). The maximum and minimum degrees of G will be denoted by and δ, respetively. The distane d G (u,v) between two verties u and v of G, is the length of the shortest path between amin.bahati@gmail.om ajabalameli@e.sharif.edu mohsenferdosi@gmail.om M.MahdiShokri@gmail.om ms.saghafian@gmail.om sorush.bahariyan@gmail.om 1
them. The diameter of G, (diam(g)), is the maximum distane among all pairs of verties in G. We say graph G is diameter-k-ritial if its diameter is k and removal of any of its edges inreases its diameter. Based on a onjeture proposed by Murty and Simon [5], there is an upper bound on the number of edges in a diameter--ritial graph. Conjeture 1.1. Let G be a diameter--ritial graph. Then m [n /] and equality holds only if K n/, n/. Several authors have onduted some studies on the onjeture proving aeptable results nearly lose to the original one, however, no omplete proof has been provided yet. Plesnk [6] showed that m < 3n(n 1) 8. Moreover, Caetta and Haggkvist [5] proved m < 0.7n. Fan [7] also proved the fat that for n and for n = 6 we have m [ n ]. For n = 5, he ahieved m < n + (n 16.n+56) 30 < 0.53n. Another proof was presented by Xu [8] in 198, whih was found out to have a small error. Afterwards, Furedi [9] provided a onsiderable result showing that the original onjeture is true for large n, that is, for n > n 0 where n 0 is a tower of s of height about 10 1. This result is highly signifiant though not appliable to those graphs we are urrently working with. Total Domination Domination number and Total domination number are parameters of graphs whih are studied, respetively, in [, 1] and [15]. Assume G = (V,E) is a simple graph. Let X and Y be subsets of V; We say that X dominates Y, written X Y, if and only if every element of Y X has a neighbor in X. Similarly, we say that X totally dominates Y, written X t Y if and only if every element of Y has a neighbor in X. If X dominates or totally dominates V, we might write, X G or X t G instead of X V and X t V, respetively. Domination number and total domination number of G = (V,E) are the size of smallest subset of V that, dominates and totally dominates V, respetively. A graph G with total domination number of k is alled k t -ritial, if every graph onstruted by adding an edge between any nonadjaent verties of G has total domination number less than k. It is obvious that adding any edge to k t -ritial graph G would result a graph whih has total domination number of k 1 or k. Assume G is k t -ritial graph. If for every pair of non adjaent verties {u,v} of G, the total domination number of G + uv is k, then G is alled k t -superritial. As shown in [] there is a great onnetion between diameter--ritial graphs and total domination ritial graphs: Theorem.1. ([]) A graph is diameter--ritial if and only if its omplement is 3 t -ritial or t -superritial. By this theorem in order to prove Murty-Simon onjeture, it suffies to prove that every graph whih is 3 t -ritial, or t -ritial, has at least n(n
)/ edges where n is order of graph. This problem is solved in some ases in [10, 11, 1] : Theorem.. ([10]) A graph G is t -superritial if and only if G is disjoint union of two nontrivial omplete graphs. Theorem.3. ([11]) If G is a 3 t -ritial graph, then diam(g) 3. Theorem.. ([1]) Every 3 t -ritial graph of diameter 3 and order n has size m n(n )/. By this theorems a proof for following onjeture will show that Murty-Simon onjeture is true. Conjeture.5. A 3 t -ritial graph of order n and of diameter has size m n(n )/. More reently Haynes et al. proved the following: Theorem.6. ([13]) Let G be a 3 t -ritial graph of order n and size m. Let δ = δ(g). Then the following holds: a)if δ 0.3n, then m > n(n )/. b)if n 000 and δ 0.31n, then m > n(n )/. Also G. Fan et al. proved that: Theorem.7. ([7]) The Murty-Simon onjeture is true for every graph with less than 5 veries. In next setion, in order to improve this bound, we will prove that, every simple diameter--ritial graph of order n and size m satisfies m < n / if 0.6756n. 3 Main Result In this setion we will prove Murty-Simon onjeture for graphs whih their omplement are 3 t -ritial and have less restrition on their minimum degree and improve the result proposed by Haynes et al in [13]. First we reall the following lemma, whih was proposed in that paper. Lemma 3.1. Let u and v are nonadjaent verties in 3 t -ritial graph G, learly {u,v} G. Then there exists a vertex w, suh that w is adjaent to exatly one of u,v, say u, and {u,w} G v. We will all uw quasi-edge assoiated with uv. Further v is the unique vertex not dominated by {u,w} in G; In this ase we all v supplement of {u,w}. Definition 3.1. Let G = (V,E) be a 3 t -ritial graph. If S V then we say that S is a quasi-lique if for eah nonadjaent pair of verties of S there exists a quasi-edge assoiated with that pair, and eah quasi-edge assoiated with that pair at ontains at least on vertex outside S. Edges assoiated with quasi-lique S are the union of the edges with both ends in S and the quasi-edges assoiated with some pair of nonadjaent verties of S. 3
Definition 3.. Let G = (V,E) be a 3 t -ritial graph. Let A and B be two disjoint subsets of V. We define E(G;A,B) as set of all edges {a,b} where a A and b B, and {a,b} is assoiated with a non adjaent pair {a,}, where is in A. By lemma 3.1, we know that every two members of E(G;A,B) are assoiated with different non adjaent pairs. Lemma 3.. Let G be a 3 t -ritial graph. Let S V(G), if S = s S N(s),then the following holds: E(G[S ]) + E(G;S,V(G) (S S)) S S Where is the greatest root of x x = 0, whih is equal to +.83. Proof. We apply indution on size of S to prove the theorem. Note that for every pair of non-adjaent verties in S suh as {u,v}, If {u,w} is the quasiedge assoiated to it, then, sine v is adjaent u, we an onlude that w S. Note that when S, sine S S 0, then the inequality is obviously true. Let v be the vertex having minimum degree in G[S ]. We denote the set of neighbors of v in S by A. Sine every vertex in S (A {v}) is not adjaent to v, so S (A {v}) is a quasi-lique. Also A is s S {v} N(s), so E(G[A]) + E(G;A,V(G) (A S {v})) A A. For every pair of non-adjaent verties {x, y}, one of them is the supplement of quasi-edge assoiated to this pair, so quasi-edges assoiated to non-adjaent pairs in A and S (A {v}) are disjoint. With statements mentioned above we an onlude that: ( E(G[S ]) + E(G;S,V(G) (S S)) A A S ) A 1 + + A. The right side of the inequality is a funtion of A, that we all it f( A ). One an find out that: f ( A ) = (+) A +( 5 ) S So f ( A ) has negative value whenever 0 A S and S 3. So it suffies to prove that f( S ) S S, whih is done by Lemma A.. On the other hand when A S by definition of A, we an easily onlude that: E(G[S ]) A S S S. Lemma 3.3. Let G = (V,E) be a 3 t -ritial graph. If v V, then V N G [v] is a quasi-lique.
Proof. This lemma is generalized from a lemma in ([13]), in whih v was assumed as a vertex with minimum degree in G. Sine the proof was independent of suh assumption, the same proof is orret. Now, we present the main result of this paper: Theorem 3.. Suppose that = +, and a is the smallest root of the equation ( + )x x + = 0, whih is equal to 0.3. Let G(V,E) be a 3 t -ritial graph of order n, size m and minimum degree δ. If n 3 and δ an 1 then, m > n(n ) Proof. First, note that for every positive integer n: if n is even n(n ) is divisible by. if n is odd n(n )+1 is divisible by. So it suffies to prove that: m > n(n )+1 Let v V(G) be a vertex with δ neighbors and A = N G (v). Also let B = V N G [v], then by Lemma 3.3, B is a quasi-lique. Also by Lemma 3., E(G[A]) + E(G;A,B) δ δ. A and B are disjoint, so the quasi-edges assoiated to non-adjaent pairs in A are disjoint from the quasi-edges assoiated to non-adjaent pairs in B, beause every quasi-edge has unique supplement. Therefore, we have: So by Lemma A.1 we have: m δ + δ δ ( ) n 1 δ + m > n(n )+1 Theorem 3.5. For every diameter--ritial graph G of order n and size m, if (G) 0.6756n, then m < n Proof. Sine diam(g) =, so n 3. Let Ḡ be omplement of G. Assume that size of Ḡ is m. Sine m+m = ( n ), so it suffies to prove that: m > n(n ). 5
We have: δ(ḡ) = n 1 (G) 0.3n 1 Note that by Theorem.1, Ḡ is either 3 t -ritial or t -superritial. If Ḡ is t- superritial, then by Theorem., Ḡ is disjoint union of two non-trivial graph and size of the smaller one is less than 0.3n 1, whih means ( ) ( ) 0.3n 1 0.6756n+1 m + > n(n ). So we may onsider that Ḡ is 3 t-ritial, whih is shown in Theorem 3.. Referenes [1] J. A. Bondy and U. S. R. Murty. Graph Theory. [] Haynes TW, Hedetniemi ST, Slater PJ Fundamentals of domination in graphs, Marel Dekker, In., New York, 1998 [3] Haynes, Teresa W. Henning, Mihael A. van der Merwe, Luas C. Yeo, Anders Progress on the Murty-Simon Conjeture on diameter- ritial graphs: a survey, Journal of Combinatorial Optimization 30 (015), 579-595 [] D. Hanson and P. Wang, A note on extremal total domination edge ritial graphs. Util. Math. 63 (003), 89-96. [5] L. Caetta and R. H aggkvist, On diameter ritial graphs. Disrete Math. 8 (1979), no. 3, 3-9. [6] J. Plesnk, Critial graphs of given diameter. Ata F.R.N Univ Comen Math. 30 (1975), 7193. [7] G. Fan, On diameter -ritial graphs. Disrete Math. 67 (1987), 350. [8] J. Xu, A proof of a onjeture of Simon and Murty (in Chinese). J. Math. Res. Expo- sition (198), 8586. [9] Z. F uredi, The maximum number of edges in a minimal graph of diameter. J. Graph Theory 16 (199), 8198. [10] T. W. Haynes, C. M. Mynhardt, and L. C. van der Merwe, Critiality index of total domination. Congr. Numer. 131 (1998), 6773. [11] T. W. Haynes, C. M. Mynhardtand L. C.van dermerwe, Totaldomination edge ritial graphs. Utilitas Math. 5 (1998), 90. [1] T. W. Haynes, M. A. Henning, L. C. van der Merwe, and A. Yeo, On a onjeture of Murty and Simon on diameter--ritial graphs. Disrete Math. 311 (011), 1918-19. 6
[13] T. W. Haynes, M. A. Henning, L. C. van der Merwe, and A. Yeo, A maximum degree theorem for diameter--ritial graphs. Central European Journal of Mathematis 1 (01), 188-1889 [1] T. W. Haynes, S. T. Hedetniemi, and P. J. Slater, Editors, Domination in Graphs: Advaned Topis, Marel Dekker, In., New York (1998). [15] M. A. Henning, and A. Yeo, Total Domination in Graphs, Springer, (013) A Proof of Inequalities Lemma A.1. Suppose that = +, and a is smaller root of the equation (+)x x+ = 0, whih is eqaul to 0.3. If an 1 y 0 and n 3 then: ( ) y + y y n 1 y + > n(n )+1 Proof. Let f(y) = y + y y + ( ) n 1 y. We have: f (y) = 1+ y n+y + 3 = n+ 5 + y < n+ 5 + (an 1) < 0 Whih means f(y) f(an 1). Let g(n) = f(an 1) n(n )+1. Now it suffies to prove g(n) has positive value for every n 3. g(n) = 1 (( 8+7 + 7 )n+6 11) So the oeffiient of n is positive and g(3) 0.05 > 0, so we an onlude that g(n) is positive when n 3. Lemma A.. Let n 3 be a positive integer and = +, then ( n ) ( n ( ) n ( n ) + ) 1 +( n ) n n. Proof. We prove that f(n) = (n has positive value. ) ( n ) + ( n ( n f(n) = 1 ((3 )n+(8 6 ) ) 1 ) +( n ) n n 7
So f(n) is positive for n 3. = (3 ) (n ) > 0 8