2. (Strong) Proper Connection and Clique Number
In this section, we investigate graphs with a small (strong) proper connection number and a large clique number. We first introduce some definitions that will be used later.
A Hamiltonian path in a graph G is a path containing every vertex of G. A graph with a Hamiltonian path is called a traceable graph. Recall that a clique of a graph is a set of mutually adjacent vertices, and that the maximum size of a clique of graph G, i.e., the clique number of G, is denoted . For a connected graph G, we say Q is a subgraph of G which induces a maximum clique and . We say is the set of neighbors of u in Q and . Additionally, we say is the set of edges of G between vertices of and vertices of . Next, we present the following three useful propositions.
Proposition 1 ([12]). Let G be a non-complete graph. If G is traceable, then .
Proposition 2 ([12]). For a non-trivial connected graph G that contains a bridge, if b is the maximum number of bridges incident with a vertex in G, then .
Proposition 3 ([18]). Let G be a connected graph of order n and size m. If , then .
As an immediate consequence of Proposition 3, we have the following Lemma.
Lemma 1. Let G be a connected graph of order n and size m. If , then .
Theorem 1. Let G be a connected graph of order n. If for , then .
Proof. If , then , which implies that G is a complete graph. Thus, . If , then . Since G is connected, we obtain , and so . Hence, by Lemma 1. □
Theorem 2. Let G be a connected graph of order and . Let Q be a maximum clique of G and . Then, either or one of the following holds:
- (i)
, and .
- (ii)
, and .
Moreover, we have for (i), , and for (ii).
Proof. Let and let be an edge-coloring of G. We prove this theorem by analyzing the structure of F.
Case 1. . Since G is connected, it follows that . Note that G is traceable, and we have by Proposition 1. The following edge-coloring with two colors makes G strongly properly connected: color and all edges of with 1, and color all edges of with 2. Thus, .
Case 2. . Since G is connected, it follows that . Assume that . Observe that G is traceable, and we have by Proposition 1. Assign an edge-coloring with two colors to G as follows: color all edges of with 1 and all edges of with 2. It is clear that G is strongly properly connected with the above edge-coloring. Hence, .
Assume that and . Without a loss of generality, let . If , then . Hence, . If , then , where is obtained by adding two pendant edges to a vertex of . Thus, . Now we consider . Let . Define an edge-coloring of G with two colors as follows: ; ; color the sequence alternately with 1 and 2 starting with ; and color the remaining edges arbitrarily with 1 and 2. We can check that G is properly connected with the above edge-coloring, and so . If is a strong proper coloring of G, then , and thus . On the other hand, we define a strong proper coloring of G with three colors as follows: , , and color all edges of with 3. Thus, .
Assume that and . Without a loss of generality, let and . Observe that G is traceable, and we obtain by Proposition 1. Assign an edge-coloring with two colors to G as follows: ; for any ; and color the remaining edges with 1. It is clear that is a strong proper coloring of G. Hence, . □
Theorem 3. Let G be a connected graph of order , , and . Let Q be a maximum clique of G and . Then, either or one of the following holds:
- (i)
, where , , , and .
- (ii)
, , where , and .
- (iii)
, , where , and .
- (iv)
, where , , and .
- (v)
, where , , , , and .
- (vi)
, and .
- (vii)
, and .
- (viii)
,
, and .
- (ix)
,
, and .
Moreover, we have and for (i), (iii), (iv), (v), (viii), and (ix); for (ii); for (vi); and and for (vii).
Proof. Let and let be an edge-coloring of G. We prove this theorem by analyzing the structure of F.
Case 1. . Observe that G is traceable, and so by Proposition 1. The following edge-coloring with two colors induces a strong proper coloring of G: color all edges of and with 1, and color all edges of with 2. Thus, .
Case 2. , where . Assume that . Note that G is traceable, and we have by Proposition 1. Assign a strong proper coloring with two colors to G as follows: ; ; and color all edges of with 1 and all edges of with 2. Hence, .
Assume that . Since , it follows that , , , and . Observe that G is traceable, and we obtain by Proposition 1. Next, we only consider the strong proper connection number of graph G under this assumption.
Suppose and . Without a loss of generality, let and . If there exists a strong proper coloring of G with two colors, then . Without a loss of generality, let and . Since is the unique geodesic and is the unique geodesic for any , it follows that and . Note that is the unique geodesic for any , and so . There is no proper geodesic between and v, which is a contradiction. Thus, . Assign an edge-coloring with three colors to G as follows: for any , , and color all edges of with 3. Obviously, is a strong proper coloring of G, and so .
Suppose and . Let and , where . Assign an edge-coloring with two colors to G such that G is strongly properly connected: for , for , and color the remaining edges arbitrarily with 1 and 2. Hence, .
Suppose , and say . This implies that . Color , , and all edges of with 1, and color the remaining edges with 2. Clearly, G is strongly properly connected with the above edge-coloring, and so .
Case 3. , where . Since G is connected, we obtain . We distinguish the following three subcases.
Subcase 3.1. . Let
. Since
, we have
,
and
. Assume that
. This implies
. If
, then
, where
is displayed in
Figure 1. Thus,
. Now we consider
. Let
. Assign an edge-coloring
with two colors to
G as follows:
for
and
,
, and color the remaining edges arbitrarily with 1 and 2. It is easy to verify that
is a proper-path coloring of
G. Thus,
. If
G is strongly properly connected with an edge-coloring
, then
, and so
. Assign an edge-coloring
with three colors to
G as follows:
,
, and color all edges of
with 3. We can check that
G is strongly properly connected with the above edge-coloring. Hence,
.
Assume that and . Without a loss of generality, let and . Observe that G is traceable, and we have by Proposition 1. If G is strongly properly connected with an edge-coloring , then , where . Hence, . Define an edge-coloring of G with three colors such that G is strongly properly connected: , and color all edges of with 3 and the remaining edges with 2. Thus, .
Assume that . Note that G is traceable, and so by Proposition 1. Assign a strong proper coloring with two colors to G as follows: , and color all edges of with 1 and the remaining edges with 2. Hence, .
Subcase 3.2. . Let . Since , we obtain and . Observe that G is traceable, and we have by Proposition 1.
Assume that and . Let . There exists a strong proper coloring of G with two colors as follows: , , and color all edges of with 2. Thus, .
Assume that and . Let , and . If there exists a strong proper coloring of G with two colors, then . Without a loss of generality, let and . Since is the unique geodesic, it follows that . Note that is the unique geodesic, and so . We first consider and . Since is the unique geodesic, we have . There is no proper geodesic between and , which is a contradiction. Next, we consider and . Note that is the unique geodesic, so we obtain . There is no proper geodesic between and , which is a contradiction. Hence, . Allocate a strong proper coloring with three colors to G as follows: , , and color all edges of with 3. Thus, .
Assume that and . Without a loss of generality, let and . Consider or . Without a loss of generality, let . The following edge-coloring with two colors makes G strongly properly connected: , , and color all edges of with 2 and the remaining edges with 1. Hence, . Consider and . Then, . Without a loss of generality, let and . Assign an edge-coloring with two colors to G as follows: , , and color all edges of with 2 and the remaining edges with 1. It is not difficult to verify that is a strong proper coloring of G, and so .
Assume that and . Without a loss of generality, let , , and . There exists an edge-coloring with two colors such that G is strongly properly connected, as follows: , , and color all edges of with 2 and the remaining edges with 1. Hence, .
Subcase 3.3. . Note that G is traceable, and we obtain by Proposition 1. Assume that and . Let and . Assign a strong proper coloring with two colors to G as follows: , , and color all edges of with 2 and the remaining edges with 1. Thus, .
Assume that either and , or . An analogous edge-coloring to that presented in Subcase 3.2 induces a strong proper coloring of G with .
Case 4. . Since , it follows that , and . This case is demonstrated by the following three subcases.
Subcase 4.1. . This implies that . Let . Assume that . Then, by Proposition 2. If , then . Hence, . Now we consider . Let . Assign an edge-coloring with three colors to G as follows: ; ; ; if n is even, if n is odd; color the sequence alternately with 1 and 2 starting with ; and color the remaining edges arbitrarily with 1 and 2. It is not difficult to check that is a proper-path coloring of G. Thus, . Suppose G has a strong proper coloring , we have , and so . On the other hand, there exists a strong proper coloring of G with four colors, as follows: , , , and color all edges of with 4. Therefore, we have .
Assume that . Without a loss of generality, let , and say . Let with . The following edge-coloring with two colors makes G properly connected: , , color the sequence alternately with 2 and 1 starting with , and color the remaining edges arbitrarily with 1 and 2. Thus, . Suppose G has a strong proper coloring , we have , and so . On the other hand, there exists a strong proper coloring of G with three colors, as follows: , , , and color all edges of with 3 and the remaining edges with 1. Hence, .
Subcase 4.2. . Since , we obtain , and say . Without a loss of generality, we consider , and say . Assign an analogous edge-coloring to that presented in Subcase 4.1 to G that satisfies . Obviously, G is properly connected, and so .
Assume that . Suppose that there exists a strong proper coloring of G with two colors. Note that is the unique geodesic, and is the unique geodesic. Without a loss of generality, let and . Since is the unique geodesic, where , it follows that . In order to have a proper geodesic connecting and w, we have . Similarly, for the sake of having a proper geodesic between and , we obtain . Then, , and so there is no proper geodesic connecting and w, which is a contradiction. Thus, . Now we assign a strong proper coloring with three colors to G as follows: , , and color all edges of with 3. Hence, .
Assume that . Suppose . This implies that . Without a loss of generality, we consider , and say . The following edge-coloring with two colors makes G strongly properly connected: , , and color all edges of with 1 and the remaining edges with 2. Thus, . Suppose . Let , where is possible. Assign an edge-coloring with two colors to G as follows: , , and color all edges of with 2 and the remaining edges with 1. Obviously, is a strong proper coloring of G, and so .
Subcase 4.3. , and let . Up to isomorphism, we only need to consider the following two cases.
Let . Assign an edge-coloring with two colors to G such that G is strongly properly connected: , , and color all edges of with 2 and the remaining edges with 1. Hence, .
Let . The following edge-coloring with two colors makes G strongly properly connected: , , and color all edges of with 2 and the remaining edges with 1. Thus, . □
Theorem 4. Let G be a connected graph of order , , and . Let Q be a maximum clique of G and . Then, either or one of the following holds:
- (i)
, where , , and .
- (ii)
, where , , and .
- (iii)
, where , , , , and .
- (iv)
, , where , , and .
- (v)
, , where , , and .
- (vi)
, where , , , , and .
- (vii)
, , , , and .
- (viii)
, , , , , and .
- (ix)
, , , , , and .
- (x)
, , , , , and .
Moreover, we have and for (ii), (iii), (v), (vi), (viii), (ix), and (x) and for (i), (iv), and (vii).
Proof. Let , and let be an edge-coloring of G. We prove this theorem by the following two cases.
Case 1. . We distinguish the following four subcases by analyzing the structure of F.
Subcase 1.1. . Note that G is traceable, and we have by Proposition 1. Assign an edge-coloring with two colors to G as follows: color all edges of and with 1, and color all edges of with 2. It is obvious that is a strong proper coloring of G, and so .
Subcase 1.2. , where . Assume that . Suppose , and let . Then, by Proposition 2. Now we define a strong proper coloring of G with three colors as follows: , , , and color all edges of with 1. Thus, . Suppose , and let . Assign an edge-coloring with two colors to G as follows: for any , for any , and color the remaining edges arbitrarily with 1 and 2. We can check that G is properly connected with the above edge-coloring, and so . If G is strongly properly connected with an edge-coloring , then . Thus, . Assign a strong proper coloring with three colors to G as follows: , , and color all edges of with 3 and all edges of with 1. Thus, .
Assume that and . Without a loss of generality, let and . Since , it follows that . Note that G is traceable, and we have by Proposition 1. The following edge-coloring with two colors makes G strongly properly connected: , , and color all edges of with 2 and all edges of with 1. Hence, .
Assume that and . Since , it follows that and . Observe that G is traceable, and we have by Proposition 1. Now, we only consider the strong proper connection number of graph G under this assumption.
Suppose and . Without a loss of generality, we consider , and say . If there exists a strong proper coloring of G with two colors, then . Without a loss of generality, let and . Note that is the unique geodesic, and is the unique geodesic for any ; then, and . Since is the unique geodesic for any , we have . There is no proper geodesic between and u, which is a contradiction. Thus, . On the other hand, we assign a strong proper coloring with three colors to G as follows: for any , , and color all edges of with 3. Hence, .
Suppose and . Let and , where . Assign an edge-coloring with two colors to G as follows: for , for , and for any , and color the remaining edges arbitrarily with 1 and 2. It is clear that is a strong proper coloring of G, and so .
Suppose , and let . Consider . Color and all edges of with 1, and color , and with 2. Obviously, the above edge-coloring makes G strongly properly connected. Thus, . Consider and . Without a loss of generality, let and . Assign a strong proper coloring with two colors to G as follows: , for any , and color all edges of with 1. Hence, . Consider . Allocate a strong proper coloring with two colors to G as follows: , and color all edges of with 1 and the remaining edges with 2. Thus, .
Subcase 1.3. , where . Since G is connected, we have and . Without a loss of generality, let . Assume that . Since , it follows that , and let .
Suppose
. If
, then
, where
is displayed in
Figure 2. Hence,
. If
, then
, where
is shown in
Figure 2. Thus,
. Now, we consider
. Let
. Assign an edge-coloring
with two colors to
G as follows:
,
, color the sequence
alternately with 1 and 2 starting with
, and color the remaining edges arbitrarily with 1 and 2. We can verify that
is a proper-path coloring of
G. Thus,
. If
G has a strong proper coloring
, then
, and so
. On the other hand, there exists a strong proper coloring
of
G with three colors: assign 1 to
and
, assign 2 to
, and assign 3 to all edges of
. Therefore,
.
Suppose and . Note that G is traceable, and we have by Proposition 1. Allocate an edge-coloring with two colors to G as follows: for any , , and color all edges of with 2. Obviously, is a strong proper coloring of G, and so .
Suppose and . Observe that G is traceable, and we obtain by Proposition 1. The following edge-coloring with two colors makes G strongly properly connected: for any , , and color all edges incident with v in with 1 and the remaining edges with 2. Hence, .
Suppose and . Note that G is traceable, and we have by Proposition 1. Define a strong proper coloring of G with two colors as follows: , , and color all edges of with 2 and the remaining edges with 1. Thus, .
Assume that . Since , it follows that ,
. Suppose . Without a loss of generality, we consider and , and say . Observe that G is traceable, and we have by Proposition 1. Now, we only consider the strong proper connection number of graph G under this supposition.
We first consider . The following edge-coloring with two colors makes G strongly properly connected: color , and all edges of with 2, and color the remaining edges with 1. Hence, .
Next, we consider . Let . Assign a strong proper coloring with two colors to G: color and all edges of with 1, and color the remaining edges with 2. Hence, . Let . Define a strong proper coloring of G with two colors as follows: color , and all edges of with 2, and color the remaining edges with 1. Thus, . Let and . Allocate an edge-coloring with two colors to G: color , and all edges of with 1, and color the remaining edges with 2. We can check that G is strongly properly connected with the above edge-coloring, and so . Let and . If is a strong proper coloring of G, then , where . Thus, . On the other hand, there exists an edge-coloring with three colors such that G is strongly properly connected: color with 1 and all edges of with 3, and color the remaining edges with 2. Hence, .
Suppose . Observe that G is traceable, and we have by Proposition 1. Assign an edge-coloring with two colors to G as follows: color and all edges of with 2, and color all edges of with 1. It is clear that is a strong proper coloring of G, and so .
Subcase 1.4. . Since , it follows that
. Assume that . The following edge-coloring with two colors makes G strongly properly connected: color all edges of with 2, and color all edges of with 1. Thus, . Assume that
. Without a loss of generality, we consider , and say .
Suppose
. If
is a strong proper coloring of
G, then
, where
. Hence,
. On the other hand, there exists a strong proper coloring
of
G with three colors, as follows:
,
, and color all edges of
with 3 and the remaining edges with 1. Thus,
. Next, we discuss the proper connection number of
G. If
, then
, where
is displayed in
Figure 2. Hence,
. We consider
. If
, then
. Thus,
. If
, then
. Hence,
. The graphs
and
are shown in
Figure 3. Now, we consider
. Let
and
. Assign an edge-coloring
with two colors to
G as follows:
;
; color
with 1 for
and
with 2 for
; color the sequence
alternately with 2 and 1 starting with
; and color the remaining edges arbitrarily with 1 and 2. We can check that
G is properly connected with the above edge-coloring, and so
.
Suppose . Without a loss of generality, let , and say . We first consider . The following edge-coloring with two colors makes G strongly properly connected: , , color all edges of with 1 and all edges incident with in with 2, and color the remaining edges with 1. Thus, .
Next, we consider and say . Let and . The following edge-coloring with two colors makes G properly connected: color all edges of with 1 and the remaining edges with 2. Hence, . If there exists a strong proper coloring of G with two colors, then . Without a loss of generality, let and . Since is the unique geodesic, it follows that and . Note that is the unique geodesic, and thus . Since is the unique geodesic and is the unique geodesic, we obtain , where . There is no proper geodesic connecting and v, which is a contradiction. Hence, . On the other hand, we assign a strong proper coloring with three colors to G as follows: , , and color all edges of with 3. Therefore, . Let . The following edge-coloring of G with two colors makes G strongly properly connected: , , where , and color the remaining edges with 1. Thus, . Let . Without a loss of generality, we consider . Define an edge-coloring of G with two colors as follows: , where , , and color all edges of with 2 and the remaining edges with 1. Obviously, is a strong proper coloring of G, and so .
Case 2. . Since , it follows that or . Assume that , where . Since , we have , , and . Without a loss of generality, let and . Note that G is traceable, and we have by Proposition 1. The following edge-coloring with two colors makes G strongly properly connected: color and all edges of with 2, and color the remaining edges with 1. Thus, .
Assume that , where . Since , we have , , and . Without a loss of generality, let , and . Observe that G is traceable, and we obtain by Proposition 1. Assign a strong proper coloring with two colors to G as follows: color and all edges of with 2, and color the remaining edges with 1. Hence, . □
3. Rainbow Connection and Clique Number
Kemnitz and Schiermeyer [
18] considered the rainbow connection number of graph
G of order
n,
, and
for
. In this section, we investigate the rainbow connection number of graph
G of order
n,
, and
for
.
Theorem 5. Let G be a connected graph of order n, , and . Let Q be a maximum clique of G and . Then, .
Proof. Let and let be an edge-coloring of G. Since , we have . Assume that . Since , we obtain and . The following edge-coloring with three colors makes G rainbow-connected: color with 1 and all edges of with 2, and color all edges of with 3. Thus, .
Assume that . Since G is a connected graph with , it follows that , and . Assign an edge-coloring with three colors to G as follows: assign 1 to all edges that are incident with , assign 2 to all edges that are incident with , and assign 3 to all edges of . It is not difficult to check that G is rainbow-connected with the above edge-coloring, and so . □
Theorem 6. Let G be a connected graph of order n, , and . Let Q be a maximum clique of G and . Then, either , or if and only if one of the following holds.
- (i)
, where , , and .
- (ii)
, where , , , and .
- (iii)
, , , and .
- (iv)
, where , , and .
- (v)
, where , , , , and .
Proof. Let , and let be an edge-coloring of G. We prove this theorem by the following two cases.
Case 1. . We have . We distinguish the following four subcases by analyzing the structure of F.
Subcase 1.1. . The following edge-coloring with three colors makes G rainbow-connected: , and color all edges of with 3 and all edges of with 2. Thus, .
Subcase 1.2. , where . Assume that . Suppose , and say . If an edge-coloring is a rainbow coloring of G, then , where . Hence, . Allocate a rainbow coloring with four colors to G as follows: , , , and color all edges of with 4. Thus, . Suppose , and say . The following edge-coloring with three colors makes G rainbow-connected: , , and color the remaining edges with 3. Hence, .
Assume that and . Without a loss of generality, let and . Since , we have . Define an edge-coloring of G with three colors as follows: , , and color all edges of with 1 and all edges of with 3. We can check that G is rainbow-connected with the above edge-coloring, and so .
Assume that and . Since , it follows that and . The following edge-coloring with three colors makes G rainbow-connected: , , assign 3 to all edges of , assign 2 to the edges of which are incident with , and assign 1 to the edges of which are incident with . Thus, .
Subcase 1.3. , where . Since G is connected, we obtain and . Without a loss of generality, let .
Assume that . Since , we have , and say . Suppose . If there exists a rainbow coloring of G with three colors, then . Without a loss of generality, let , and . In order to have a rainbow path connecting and v for any , let . There is no rainbow path between and v, which is a contradiction. Thus, . On the other hand, the following edge-coloring with four colors makes G rainbow-connected: , , , and color all edges of with 4. Hence, . Suppose . We first consider , and say . Assign an edge-coloring with three colors to G as follows: , , , and color the remaining edges with 2. It is obvious that G is rainbow-connected with the above edge-coloring, and so . Next, we consider , and say . Define a rainbow coloring of G with three colors as follows: , , , and color all edges of with 3 and the remaining edges with 2. Thus, .
Assume that . Since , we obtain
. Suppose . Without a loss of generality, let and . Let and . The following edge-coloring with three colors makes G rainbow-connected: , , and color the remaining edges with 3. Hence, . Suppose . Let and , where is possible. Allocate an edge-coloring with three colors to G: , , and color the remaining edges with 3. We can verify that G is rainbow-connected with the above edge-coloring, and so .
Subcase 1.4. . Since , it follows that
. Assume that . Let and . The following edge-coloring with three colors makes G rainbow-connected: ; ; for any ; and color the remaining edges with 1. Thus, .
Assume that . Without a loss of generality, let , and say . Suppose . If an edge-coloring is a rainbow coloring of G, then , where . Thus, . On the other hand, we define a rainbow coloring of G with four colors as follows: , and color all edges of with 4. Hence, . Suppose . Without a loss of generality, let , and say . Assign an edge-coloring with three colors to G: ; , where and is possible; and color the remaining edges with 3. Obviously, the edge-coloring is a rainbow coloring of G, and so . Suppose , and say . The following edge-coloring with three colors makes G rainbow-connected: , , and color the remaining edges with 3. Thus, .
Case 2. . We obtain . Since , it follows that or . Assume that , where . Since , we have , , and . Without a loss of generality, let and . Allocate a rainbow coloring with four colors to G as follows: color with 2 and with 1, and color all edges of with 3 and all edges of with 4. Therefore, .
Assume that , where . Since , it follows that , , and . Without a loss of generality, let , , and . The following edge-coloring with four colors makes G rainbow-connected: , , and , where and , and color the remaining edges with 4. Hence, . □