^{1}

^{2}

^{3}

^{*}

A total coloring of a graph
G
with colors 1, 2, ..., t is called a cyclically interval total
t
-coloring if all colors are used, and the edges incident to each vertex v∈V(G)
together with
v are colored by
(d_{G}(v)+1) consecutive colors modulo
t, where
d_{G}(v)
is the degree of the vertex
v in
G. The one point union
of
k-copies of cycle
C_{n} is the graph obtained by taking
v as a common vertex such that any two distinct cycles
C^{'}_{n}
and
C^{"}_{n}
are edge disjoint and do not have any vertex in common except
v. In this paper, we study the cyclically interval total colorings of
, where
n≥3
and
k≥2
.

We denote the sets of vertices and edges in a graph G by V ( G ) and E ( G ) , respectively. For a vertex x ∈ V ( G ) , we denote the degree of x in G by d G ( x ) , and we use Δ ( G ) to denote the maximum degree of vertices of G.

For an arbitrary finite set A, we denote the number of elements of A by | A | . We use ℕ to denote the set of positive integers. An arbitrary nonempty subset of consecutive integers is called an interval. An interval with the minimum element p and the maximum element q is denoted by [ p , q ] . An interval D is called a h-interval if | D | = h .

A total coloring of a graph G is a function mapping E ( G ) ∪ V ( G ) to ℕ such that no adjacent vertices, edges, and no incident vertices and edges obtain the same color. The concept of total coloring was introduced by V. Vizing [

An interval total t-coloring of a graph G is a total coloring of G with colors 1,2, ⋯ , t such that at least one vertex or edge of G is colored by i , i = 1 , 2 , ⋯ , t , and for any x ∈ V ( G ) , the set S [ α , x ] is a ( d G ( x ) + 1 ) -interval. A graph G is interval total colorable if it has an interval total t-coloring for some positive integer t. The concept of interval total coloring was first introduced by Petrosyan [

Recently, Zhao and Su [

For any t ∈ ℕ , we denote by F t the set of graphs for which there exists a cyclically interval total t-coloring. Let F = ∪ t ≥ 1 F t . For any graph G ∈ F , the minimum and the maximum values of t for which G has a cyclically interval total t-coloring are denoted by w τ c ( G ) and W τ c ( G ) , respectively.

It is clear that for any G ∈ F , the following inequality is true:

χ ″ ( G ) ≤ w τ c ( G ) ≤ W τ c ( G ) ≤ | V ( G ) | + | E ( G ) | .

The one point union C n ( k ) of k-copies of cycle C n is the graph obtained by taking v as a common vertex such that any two distinct cycles C ′ n and C ″ n are edge disjoint and do not have any vertex in common except v. In this paper, we

study the cyclically interval total colorability of C n ( k ) . Let V ( C n ( k ) ) = ∪ i = 1 k V ( C n i ) and V ( C n i ) = { v 1 i , v 2 i , ⋯ , v n i } , where C n i is the i-th copy of C n and i ∈ [ 1, k ] .

Without loss of generality, we may assume that the common vertex v of the k-copies of cycle C n is the first vertex in each cycle, i.e., v = v 1 1 = v 1 2 = ⋯ = v 1 k . For example, the graphs in

All graphs considered in this paper are finite undirected simple graphs.

Vaidya and Isaac [

Theorem 1 (Vaidya and Isaac) For any integers n ≥ 3 and k ≥ 2 , χ ″ ( C n ( k ) ) = 2 k + 1 .

Now we consider the cyclically interval total colorings of C n ( k ) , show that C n ( k ) ∈ F , get the exact values of w τ c ( C n ( k ) ) , and provide a lower bound of

W τ c ( C n ( k ) ) .

Theorem 2 For any integers n ≥ 3 and k ≥ 2 , w τ c ( C n ( k ) ) = 2 k + 1 .

Proof. Suppose that n ≥ 3 and k ≥ 2 . Let V ( C n ( k ) ) = ∪ i = 1 k C n i , where C n i is the i-th copy of C n . Let V ( C n i ) = { v 1 i , v 2 i , ⋯ , v n i } , where i ∈ [ 1, k ] . Without loss of generality, we may assume that the common vertex v of the k-copies of cycle C n is the first vertex in each cycle, i.e., v = v 1 1 = v 1 2 = ⋯ = v 1 k . Now we define a total ( 2 k + 1 ) -coloring α of the graph C n ( k ) as follows:

Case 1. n ≡ 0 ( mod 3 ) .

Let

α ( v ) = 1 ,

α ( v i j ) = { 2 j − 1, i ∈ [ 2, n ] , j ∈ [ 1, k ] and i ≡ 1 ( m o d 3 ) ; 2 j , i ∈ [ 2, n ] , j ∈ [ 1, k ] and i ≡ 0 ( m o d 3 ) ; 2 j + 1, i ∈ [ 2, n ] , j ∈ [ 1, k ] and i ≡ 2 ( m o d 3 ) ,

α ( v i j v i + 1 j ) = { 2 j − 1, i ∈ [ 1, n ] , j ∈ [ 1, k ] and i ≡ 2 ( m o d 3 ) ; 2 j , i ∈ [ 1, n ] , j ∈ [ 1, k ] and i ≡ 1 ( m o d 3 ) ; 2 j + 1, i ∈ [ 1, n ] , j ∈ [ 1, k ] and i ≡ 0 ( m o d 3 ) ,

where v n + 1 j = v 1 j = v for any j ∈ [ 1, k ] . See

By the definition of α, we have

S [ α , v ] = [ 1,2 k + 1 ] ;

S [ α , v i j ] = [ 2 j − 1 , 2 j + 1 ] , i ∈ [ 2 , n ] and j ∈ [ 1 , k ] .

This shows that α is a cyclically interval total ( 2 k + 1 ) -coloring of C n ( k ) .

Case 2. n ≡ 1 ( m o d 3 ) .

Let

α ( v ) = 1 ,

α ( v i j ) = { 2 j − 1 , i ∈ [ 2 , n − 3 ] , j ∈ [ 1 , k ] and i ≡ 1 ( mod 3 ) ; 2 j , i ∈ [ 2 , n − 3 ] , j ∈ [ 1 , k ] and i ≡ 0 ( mod 3 ) ; 2 j + 1 , i ∈ [ 2 , n − 3 ] , j ∈ [ 1 , k ] and i ≡ 2 ( mod 3 ) ; 2 j + 2 , i ∈ { n − 2 , n } and j ∈ [ 1 , k ] ; 2 j − 1 , i = n − 1 and j ∈ [ 1 , k ] ,

α ( v i j v i + 1 j ) = { 2 j − 1, i ∈ [ 1, n − 3 ] , j ∈ [ 1, k ] and i ≡ 2 ( m o d 3 ) ; 2 j , i ∈ [ 1, n − 3 ] , j ∈ [ 1, k ] and i ≡ 1 ( m o d 3 ) ; 2 j + 1, i ∈ [ 1, n − 3 ] , j ∈ [ 1, k ] and i ≡ 0 ( m o d 3 ) , 2 j + 1, i ∈ { n − 2, n } and j ∈ [ 1, k ] ; 2 j , i = n − 1 and j ∈ [ 1, k ] ,

where v n + 1 j = v 1 j = v for any j ∈ [ 1, k ] . Recolor v n − 2 k , v n − 1 k , v n k and v n − 2 k v n − 1 k as α ( v n − 2 k ) = 2 k − 2 , α ( v n − 1 k ) = 2 k + 1 , α ( v n k ) = 2 k − 1 and α ( v n − 2 k v n − 1 k ) = 2 k − 1 . See

By the definition of α, we have

S [ α , v ] = [ 1 , 2 k + 1 ] ;

S [ α , v i j ] = [ 2 j − 1 , 2 j + 1 ] , i ∈ [ 2 , n − 3 ] ∪ { n − 1 } and j ∈ [ 1 , k ] ;

S [ α , v i j ] = [ 2 j , 2 j + 2 ] , i ∈ { n − 2 , n } and j ∈ [ 1 , k − 1 ] ;

S [ α , v n − 2 k ] = [ 2 k − 2 , 2 k ] ;

S [ α , v n k ] = [ 2 k − 1,2 k + 1 ] .

This shows that α is a cyclically interval total ( 2 k + 1 ) -coloring of C n ( k ) .

Case 3. n ≡ 2 ( m o d 3 ) .

Let

α ( v ) = 1 ,

α ( v i j ) = { 2 j − 1 , i ∈ [ 2 , n − 1 ] , j ∈ [ 1 , k ] and i ≡ 1 ( mod 3 ) ; 2 j , i ∈ [ 2 , n − 1 ] , j ∈ [ 1 , k ] and i ≡ 0 ( mod 3 ) ; 2 j + 1 , i ∈ [ 2 , n − 1 ] , j ∈ [ 1 , k ] and i ≡ 2 ( mod 3 ) ; 2 j + 2 , i = n and j ∈ [ 1 , k ] ,

α ( v i j v i + 1 j ) = { 2 j − 1 , i ∈ [ 1 , n − 4 ] ∪ [ n − 2 , n − 1 ] , j ∈ [ 1 , k ] and i ≡ 2 ( mod 3 ) ; 2 j , i ∈ [ 1 , n − 4 ] ∪ [ n − 2 , n − 1 ] , j ∈ [ 1 , k ] and i ≡ 1 ( mod 3 ) ; 2 j + 1 , i ∈ [ 1 , n − 4 ] ∪ [ n − 2 , n − 1 ] , j ∈ [ 1 , k ] and i ≡ 0 ( mod 3 ) ; 2 j + 2 , i = n − 3 and j ∈ [ 1 , k ] ; 2 j + 1 , i = n and j ∈ [ 1 , k ] ,

where v n + 1 j = v 1 j = v for any j ∈ [ 1, k ] . Recolor v n − 2 k , v n − 1 k , v n k , v n − 3 k v n − 2 k , v n − 2 k v n − 1 k and v n − 1 k v n k as α ( v n − 2 k ) = 2 k − 2 , α ( v n − 1 k ) = 2 k + 1 , α ( v n k ) = 2 k ,

α ( v n − 3 k v n − 2 k ) = 2 k − 1 , α ( v n − 2 k v n − 1 k ) = 2 k and α ( v n − 1 k v n k ) = 2 k − 1 . See

an example.

By the definition of α, we have

S [ α , v ] = [ 1,2 k + 1 ] ;

S [ α , v i j ] = [ 2 j − 1,2 j + 1 ] , i ∈ [ 2, n − 4 ] ∪ { n − 1 } and j ∈ [ 1, k ] ;

S [ α , v i j ] = [ 2 j , 2 j + 2 ] , i ∈ { n − 3 , n − 2 , n } and j ∈ [ 1 , k − 1 ] ;

S [ α , v n − 3 k ] = [ 2 k − 1,2 k + 1 ] ;

S [ α , v n − 2 k ] = [ 2 k − 2,2 k ] ;

S [ α , v n k ] = [ 2 k − 1 , 2 k + 1 ] .

This shows that α is a cyclically interval total ( 2 k + 1 ) -coloring of C n ( k ) .

Combining Cases 1-3, we have w τ c ( C n ( k ) ) ≤ 2 k + 1 . On the other hand, by Theorem 1, w τ c ( C n ( k ) ) ≥ χ ″ ( C n ( k ) ) = 2 k + 1 . So we have w τ c ( C n ( k ) ) = 2 k + 1 .

Theorem 3 For any integers n ≥ 3 and k ≥ 2 ,

W τ c ( C n ( k ) ) ≥ { 2 n + k − 1 , k ≤ 2 n − 2 ; ( 2 n − 2 ) ⌊ k 2 n − 2 ⌋ + 2 n + k − 1 , k ≥ 2 n − 1.

Proof. Suppose that n ≥ 3 and k ≥ 2 . We consider the following two cases.

Case 1. k ≤ 2 n − 2 .

Now we define a total ( 2 n + k − 1 ) -coloring α of the graph C n ( k ) as follows:

Let

α ( v ) = 1 ,

α ( v i j ) = 2 i + j − 2 , i ∈ [ 2 , n ] and j ∈ [ 1 , k ] ;

α ( v i j v i + 1 j ) = 2 i + j − 1 , i ∈ [ 1 , n ] and j ∈ [ 1 , k ] ,

where v n + 1 j = v 1 j = v for any j ∈ [ 1, k ] . See

By the definition of α, we have

S [ α , v ] = [ 1 , k + 1 ] ∪ [ 2 n , 2 n + k − 1 ] ;

S [ α , v i j ] = [ 2 i + j − 3 , 2 i + j − 1 ] , i ∈ [ 2 , n ] and j ∈ [ 1 , k ] .

This shows that α is a cyclically interval total ( 2 n + k − 1 ) -coloring of C n ( k ) . So we have W τ c ( C n ( k ) ) ≥ 2 n + k − 1 if k ≤ 2 n − 2 .

Case 2. k ≥ 2 n − 1 .

Let s j = ⌊ j 2 n − 2 ⌋ and t j = j − ( 2 n − 2 ) s j . Now we define a total

( 2 n + k − 1 ) -coloring α of the graph C n ( k ) as follows:

Let

α ( v ) = 1 ,

α ( v i j ) = ( 4 n − 4 ) s j + 2 i + t j − 2 = ( 2 n − 2 ) ⌊ j 2 n − 2 ⌋ + 2 i + j − 2 , i ∈ [ 2 , n ] and j ∈ [ 1 , k ] ;

α ( v i j v i + 1 j ) = ( 4 n − 4 ) s j + 2 i + t j − 1 = ( 2 n − 2 ) ⌊ j 2 n − 2 ⌋ + 2 i + j − 1 , i ∈ [ 1 , n ] and j ∈ [ 1 , k ] ,

where v n + 1 j = v 1 j = v for any j ∈ [ 1, k ] . See

By the definition of α, we have

S [ α , v ] = [ 1 , ( 4 n − 4 ) s k + t k + 1 ] ∪ [ ( 4 n − 4 ) s k + 2 n , ( 4 n − 4 ) s k + 2 n + t − 1 ] = [ 1 , ( 2 n − 2 ) ⌊ k 2 n − 2 ⌋ + k + 1 ] ∪ [ ( 4 n − 4 ) ⌊ k 2 n − 2 ⌋ + 2 n , ( 2 n − 2 ) ⌊ k 2 n − 2 ⌋ + 2 n + k − 1 ] ;

S [ α , v i j ] = [ ( 4 n − 4 ) s j + 2 i + t j − 3 , ( 4 n − 4 ) s j + 2 i + t j − 1 ] = [ ( 2 n − 2 ) ⌊ j 2 n − 2 ⌋ + 2 i + j − 3 , ( 2 n − 2 ) ⌊ j 2 n − 2 ⌋ + 2 i + j − 1 ] , i ∈ [ 2 , n ] and j ∈ [ 1 , k ] .

This shows that α is a cyclically interval total ( ( 2 n − 2 ) ⌊ k 2 n − 2 ⌋ + 2 n + k − 1 )

-coloring of C n ( k ) . So we have W τ c ( C n ( k ) ) ≥ ( 2 n − 2 ) ⌊ k 2 n − 2 ⌋ + 2 n + k − 1 for any

k ≥ 2 n − 1 .

The one point of union C ( k ) of any k cycles C n 1 1 , C n 2 2 , ⋯ , C n k k is the graph obtained by taking v as a common vertex such that any two distinct cycles C n i i and C n j j are edge disjoint and do not have any vertex in common except v.

By the proof of Theorem 2, the following definitions are well defined.

Definition 4 A partial ( i , i + 1 ) -total coloring of C n ( n ≥ 3 ) is a coloring α : V ( C n ) ∪ E ( C n ) \ { v 1 } → [ i − 1, i + 2 ] such that α ( v 1 v 2 ) = i , α ( v n v 1 ) = i + 1 and S [ α , v j ] is an interval for each j ∈ [ 2, n ] . A partial ( i , i + 1 ) ′ -total coloring of C n ( n ≥ 3 ) is a coloring α ′ : V ( C n ) ∪ E ( C n ) \ { v 1 , v n } → [ i − 2, i + 1 ] such that α ′ ( v 1 v 2 ) = i , α ′ ( v n v 1 ) = i + 1 and S [ α ′ , v j ] is an interval for each j ∈ [ 2, n ] .

Now we consider the cyclically interval total colorings of C ( k ) .

Theorem 5 For any integer k ≥ 2 , w τ c ( C ( k ) ) = 2 k + 1 .

Proof. Suppose that graph C ( k ) is the one point of union of cycles C n 1 1 , C n 2 2 , ⋯ , C n k k . Let V ( C n i i ) = { v 1 i , v 2 i , ⋯ , v n i i } , where i ∈ [ 1, k ] . Without loss of generality, we may assume that the common vertex v of the k cycles C n i i is the first vertex in each cycle, i.e., v = v 1 1 = v 1 2 = ⋯ = v 1 k . Now we define a total

( 2 k + 1 ) -coloring α of the graph C ( k ) as follows: Let α ( v ) = 1 , α | C n i i be a partial ( 2 i ,2 i + 1 ) -total coloring of C n i i for each i ∈ [ 1, k − 1 ] , and α | C n k k be a partial ( 2 k ,2 k + 1 ) ′ -total coloring of C n k k , respectively. By the definition of α,

2 k + 1 is the largest color used in coloring α, and S [ α , v ] = [ 1 , 2 k + 1 ] . By Definition 4, S [ α , v n i i ] is an interval for each i ∈ [ 1, k ] . So we have w τ c ( C ( k ) ) ≤ 2 k + 1 . On the other hand, since Δ ( C ( k ) ) = 2 k and w τ c ( C ( k ) ) ≥ Δ ( C ( k ) ) + 1 = 2 k + 1 , then w τ c ( C ( k ) ) = 2 k + 1 .

In this section, we consider the one point of union C ( k ) of k cycles with different length, show that C ( k ) ∈ F , get the exact values of w τ c ( C ( k ) ) , and the further research maybe more interesting.

We thank the editor and the referee for their valuable comments. The work was supported in part by the Natural Science Foundation of Hebei Province of China under Grant A2015106045, and in part by the Institute of Applied Mathematics of Shijiazhuang University.

Su, S.J., Zhao, W.W. and Zhao, Y.Q. (2018) Cyclically Interval Total Coloring of the One Point Union of Cycles. Open Journal of Discrete Mathematics, 8, 65-72. https://doi.org/10.4236/ojdm.2018.83006