On island sequences of labelings with a condition at distance two

Abstract

An L ( 2 , 1 ) - labeling of a graph G is a function f from the vertex set of G to the set of nonnegative integers such that | f ( x ) − f ( y ) | ≥ 2 if d ( x , y ) = 1 , and | f ( x ) − f ( y ) | ≥ 1 if d ( x , y ) = 2 , where d ( x , y ) denotes the distance between the pair of vertices x , y . The lambda number of G , denoted λ ( G ) , is the minimum range of labels used over all L (2,1)-labelings of G . An L (2,1)-labeling of G which achieves the range λ ( G ) is referred to as a λ -labeling. A hole of an L (2,1)-labeling is an unused integer within the range of integers used. The hole index of G , denoted ρ ( G ) , is the minimum number of holes taken over all its λ -labelings. An island of a given λ -labeling of G with ρ ( G ) holes is a maximal set of consecutive integers used by the labeling. Georges and Mauro [J.P. Georges, D.W. Mauro, On the structure of graphs with non-surjective L (2,1)-labelings, SIAM J. Discrete Math. 19 (2005) 208–223] inquired about the existence of a connected graph G with ρ ( G ) ≥ 1 possessing two λ -labelings with different ordered sequences of island cardinalities. This paper provides an infinite family of such graphs together with their lambda numbers and hole indices. Key to our discussion is the determination of the path covering number of certain 2- sparse graphs, that is, graphs containing no pair of adjacent vertices of degree greater than 2.