The Scientific World Journal

Volume 2014 (2014), Article ID 369798, 7 pages

http://dx.doi.org/10.1155/2014/369798

Research Article

Toughness Condition for a Graph to Be a Fractional -Critical Deleted Graph

Wei Gao¹ and Yun Gao²

¹School of Information Science and Technology, Yunnan Normal University, Kunming 650500, China

²Editorial Department of Yunnan Normal University, Kunming 650092, China

Received 16 January 2014; Revised 21 June 2014; Accepted 21 June 2014; Published 9 July 2014

Academic Editor: Abdelalim A. Elsadany

Copyright © 2014 Wei Gao and Yun Gao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

A graph is called a fractional -deleted graph if admits a fractional -factor for any . A graph is called a fractional -critical deleted graph if, after deleting any vertices from , the resulting graph is still a fractional -deleted graph. The toughness, as the parameter for measuring the vulnerability of communication networks, has received significant attention in computer science. In this paper, we present the relationship between toughness and fractional -critical deleted graphs. It is determined that is fractional -critical deleted if .

1. Introduction

All graphs considered in this paper are finite, are loopless, and are without multiple edges. The notation and terminology used but undefined in this paper can be found in [1]. Let be a graph with the vertex set and the edge set . For a vertex , we use and to denote the degree and the neighborhood of in , respectively. Let denote the minimum degree of . For any , the subgraph of induced by is denoted by .

The problem of fractional factor can be considered as a relaxation of the well-known cardinality matching problem. It has wide-ranging applications in areas such as scheduling, network design, and the combinatorial polyhedron. For instance, several large data packets are to be sent to various destinations through several channels in a communication network. The efficiency of this work can be improved if large data packets are to be partitioned into small parcels. The feasible assignment of data packets can be seen as a fractional flow problem and it becomes a fractional factor problem when the destinations and sources of a network are disjoint.

Suppose that and are two integer-valued functions on such that for all . A fractional -factor is a function that assigns to each edge of a graph a number in [] so that for each vertex we have . If and for all , then a fractional -factor is a fractional -factor. Moreover, if for all , then a fractional -factor is just a fractional -factor. Throughout this paper, is an integer, and we will not reiterate it again.

A graph is called a fractional -critical graph if, after deleting any vertices from , the resulting graph still has a fractional -factor. A graph is called a fractional -deleted graph if, after deleting any edges, the resulting graph still has a -factor. Fractional deleted graph and fractional critical graph, as extensions of the concept of fractional factor, describe the existence of fractional factor in communication networks when certain channels or certain sites are damaged.

Gao [2] proposed a new concept to deal with the combination situation when some channels and some sites are unavailable in networks. A graph is called a fractional -critical deleted graph if, after deleting any vertices from , the resulting graph is still a fractional -deleted graph. In particular, the fractional -critical deleted graph is just fractional -critical deleted graph if .

Let

We heavily depend on the following lemma to prove our main result, which determined a necessary and sufficient condition for a graph to be a fractional -critical deleted graph.

Lemma 1 (Gao [2]). Let be a graph and let be two nonnegative integer-valued functions defined on satisfying for all . Let be a nonnegative integer. Then is a fractional -critical deleted graph if and only if

for any disjoint subsets and of with .

The notion of toughness was first introduced by Chvátal in [3] to measure the vulnerable of networks: if is complete graph, ; if is not complete,

where is the number of connected components of .

Liu and Zhang [4] determined a necessary and sufficient condition for a graph to have a fractional -factor. For several characters on fractional -factor one can refer to Liu and Zhang [4, 5] for more details. Liu [6] investigated the necessary and sufficient condition for a graph to be a fractional -critical graph. For more recent results for fractional deleted graph and fractional critical graph one can refer to [7–12].

Some toughness conditions for a graph to have a fraction factor were given in [13, 14]. Liu et al. [6] studied the relationship between toughness and fractional -critical graphs and proved that is a fractional -critical graph if for with and . Zhou et al. [15] studied the toughness condition for fractional ()-deleted graph. It is determined that is a fractional ()-deleted graph if . Recently, in [16], Gao et al. derived a new bound for graphs to be fractional -critical. It is verified that is a fractional -critical graph if . This inspires us to think about the for fractional -critical deleted graphs. In this paper, we determine that such bound of toughness as above is sufficient for a graph to be a fractional -critical deleted graph. Our main result to be proved in next section can be stated as follows.

Theorem 2. Let be a graph and let be two integer-valued functions defined on satisfying with and for all , where , are positive integers. Let be a nonnegative integer. if is complete. If , then is a fractional -critical deleted graph.

Clearly, our result strengthened the previous conclusions, and it is sharp if and according to the sharpness example in Liu and Zhang [17]. The proof strategy is similar to the one in Liu and Zhang [17], but we need to cope with the more detailed case now and hence new methods are necessary. Before proving Theorem 2, we would like to show some useful lemmas.

Lemma 3 (Chvátal [3]). If a graph is not complete, then .

Lemma 4 (Liu and Zhang [17]). Let be a graph and let such that and for every , where and . Let be a partition of the vertices of satisfying for each , where one allows some to be empty. If each component of has a vertex of degree at most in , then has a maximal independent set and a covering set such that

where and for every .

The lemma below can be deduced from Lemma 2.2 in [17].

Lemma 5 (Liu and Zhang [17]). Let be a graph and let such that for every and no component of is isomorphic to , where and . Then there exist an independent set and the covering set of satisfying

where , , and .

2. Proof of Theorem 2

If is complete, then is a fractional -critical deleted graph due to . In what follows, we assume that is not complete.

Suppose that satisfies the conditions of Theorem 2 but is not a fractional -critical graph. By Lemma 1 and , there exist subsets and of such that

We choose subsets and such that is minimum. Obviously, we deduce and for any .

Let be the number of the components of which are isomorphic to and let . Let be the subgraph obtained from by deleting those components isomorphic to .

If , then by virtue of (6) we infer

or

If , then , which contradicts and . If , then . Since , we have , which contradicts .

Now we consider that . Let , where is the union of components of which satisfies that for every vertex and . In terms of Lemma 5, has a maximum independent set and the covering set such that

where , , and . Let for . Each component of has a vertex of degree at most in by the definitions of and . According to Lemma 4, has a maximal independent set and the covering set such that

where and for every . Set and . We infer

where . Let . Then when , we have

and it also holds when . In terms of (11) and (12), we get

In view of , we obtain

Combining with (13), we deduce

Therefore,

By virtue of (9), we have

Using (10), (16), and (17), we get

The following proof splits into two cases by the value of .

Case 1 (). By , we have . Hence, (18) becomes

And then, at least one of the following two cases must hold.

Subcase 1 (). There is at least one such that

which implies

If , then . By , we get and , which contradicts the definition of and the choice of (see Lemma 4 proof in [17] such that ).

If , then , which contradicts .

Subcase 2 ( ). If or , then by we have

Let

From and , if , we deduce

Furthermore, due to . Let

From , we infer

This is a contradiction.

If , we obtain

Hence,

a contradiction.

In conclusion, we have , , and (if , then and , a contradiction). Then the result follows from the main result in [18] which determined that is fractional 2-deleted graph if .

Case 2 (). In this case, (18) becomes

Subcase 1 (). In this subcase, (29) becomes

Let

(i) If , then

This implies , , , and . Thus,

If , then and . This contradicts . Hence, .

Let and . Thus, and if . We obtain

Letting , we infer

By and , we get . By , we derive the contradiction.

(ii) If , then and the second largest value of is . In terms of the analysis of Lemma 4 in [17]: for each connected component of , choose a vertex with the smallest degree and add it to . Hence, by the definition of , we confirm that is connected; each vertex in has degree in except that one vertex has degree in . This fact implies

If , then and , which contradicts . Hence, and

This reveals , which contradicts and .

Subcase 2 (). In this subcase, (29) becomes

This implies

Then, by , we get , , and . Now, we consider the following three subcases.

Subcase 2 .1 (). In this subcase, we have . By analyzing the proof of Lemma 2.2 in [17]: “for each vertex and , there exists a vertex such that ,” we obtain ,

Thus,

This implies , a contradiction.

Subcase 2.2 (). In this subcase, . We can get a contradiction via a similar discussion as in Subcase 2.1.

Subcase 2.3 ). In this subcase, we have and . If , then . Thus, we infer

a contradiction. Hence, . Let .

If there is a vertex such that only adjacent to one vertex in . Reset

Then, we have

By , we obtain

This implies , a contradiction.

If each vertex in is adjacent to at least two vertices in , we get

where . Due to , we deduce

That is to say, , which contradicts and .

Subcase 3 ( and ). From what we have discussed in Subcase 1, we get . Then, we deduce

This implies

Thus, we have , , , and , by what we have discussed in Subcase 2. It is enough to discuss the situation of ; other two cases for and can be considered in a similar way.

Under the condition of , we get , ,

Since , we get

Hence,

This implies , a contradiction.

We complete the proof of the theorem.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

First the authors thank the reviewers for their constructive comments that helped improve the quality of this paper. They also would like to thank the anonymous referees for providing them with constructive comments and suggestions. This work was supported in part by Key Laboratory of Educational Informatization for Nationalities, Ministry of Education, the National Natural Science Foundation of China (60903131), Key Science and Technology Research Project of Education Ministry (210210), and the PHD initial funding of the first author.

References

J. A. Bondy and U. S. R. Murty, Graph Theory, Springer, Berlin, Germany, 2008.

W. Gao, Some results on fractional deleted graphs [Ph.D. thesis], Soochow University, 2012.

V. Chvátal, “Tough graphs and Hamiltonian circuits,” Discrete Mathematics, vol. 5, pp. 215–228, 1973.

G. Liu and L. Zhang, “Fractional -factors of graphs,” Acta Mathematica Scientia, vol. 21, no. 4, pp. 541–545, 2001.

G. Liu and L. Zhang, “Characterizations of maximum fractional -factors of graphs,” Discrete Applied Mathematics, vol. 156, no. 12, pp. 2293–2299, 2008.

S. Liu, “On toughness and fractional -critical graphs,” Information Processing Letters, vol. 110, no. 10, pp. 378–382, 2010.

W. Gao and W. Wang, “A note on fractional (g,f,m)-deleted graphs,” Ars Combinatoria, vol. CXIIIA, pp. 129–137, 2014.

W. Gao and W. Wang, “A neighborhood union condition for fractional (k;m)-deleted graphs,” Ars Combinatoria, vol. CXIIIA, pp. 225–233, 2014.

S. Zhou, “Binding number and minimum degree for the existence of fractional -factors with prescribed properties,” Utilitas Mathematica, vol. 87, pp. 123–129, 2012.

S. Zhou, Q. Bian, and L. Xu, “Binding number and minimum degree for fractional (k,m)-deleted graphs,” Bulletin of the Australian Mathematical Society, vol. 85, no. 1, pp. 60–67, 2012.

S. Zhou, Z. Sun, and H. Liu, “A minimum degree condition for fractional ID-[a,b]-factor-critical graphs,” Bulletin of the Australian Mathematical Society, vol. 86, no. 2, pp. 177–183, 2012.

S. Zhou, L. Xu, and Z. Sun, “Independence number and minimum degree for fractional ID--factor-critical graphs,” Aequationes Mathematicae, vol. 84, no. 1-2, pp. 71–76, 2012.

Q. Bian, “On toughness and fractional -factors,” Ars Combinatoria, vol. 87, pp. 175–180, 2008.

S. Liu and J. Cai, “Toughness and existence of fractional (g, f)-factors in graphs,” Ars Combinatoria, vol. 93, no. 1, pp. 305–311, 2009.

S. Zhou, Z. Sun, and H. Ye, “A toughness condition for fractional (k, m)-deleted graphs,” Information Processing Letters, vol. 113, no. 8, pp. 255–259, 2013.

W. Gao, L. Liang, T. Xu, and J. Zhou, “Tight toughness condition for fractional (g, f, n)-critical graphs,” Journal of the Korean Mathematical Society, vol. 51, no. 1, pp. 55–65, 2014.

G. Liu and L. Zhang, “Toughness and the existence of fractional -factors of graphs,” Discrete Mathematics, vol. 308, no. 9, pp. 1741–1748, 2008.

J. Yu, N. Wang, Q. Bian, and G. Liu, “Some results on fractional deleted graphs,” OR Transactions, vol. 11, no. 2, pp. 65–72, 2007 (Chinese).