
In
graph theory
In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, a
total coloring
In graph theory, total coloring is a type of graph coloring on the vertices and edges of a graph. When used without any qualification, a total coloring is always assumed to be ''proper'' in the sense that no adjacent edges, no adjacent vertices a ...
is a coloring on the vertices and edges of a graph such that:
(1). no adjacent vertices have the same color;
(2). no adjacent edges have the same color; and
(3). no edge and its endvertices are assigned the same color.
In 2005, Zhang et al. added a restriction to the definition of total coloring and proposed a new type of coloring defined as follows.
Let ''G'' = (''V'',''E'') be a simple graph endowed with a total coloring φ, and let ''u'' be a vertex of ''G''. The set of colors that occurs in the vertex ''u'' is defined as ''C''(''u'') = ∪ . Two vertices ''u'',''v'' ∈ ''V''(''G'') are distinguishable if their color-sets are distinct, i.e., ''C''(''u'') ≠ ''C''(''v'').
In
graph theory
In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, a total coloring is an adjacent-vertex-distinguishing-total-coloring (AVD-total-coloring) if it has the following additional property:
(4). for every two adjacent vertices ''u'',''v'' of a graph ''G'', their colors-sets are distinct from each other, i.e., ''C''(''u'') ≠ ''C''(''v'').
The adjacent-vertex-distinguishing-total-chromatic number ''χ''
at(''G'') of a graph ''G'' is the fewest colors needed in an AVD-total-coloring of ''G''.
The following lower bound for the AVD-total chromatic number can be obtained from the definition of AVD-total-coloring: If a simple graph ''G'' has two adjacent vertices of maximum degree, then ''χ''
''at''(''G'') ≥ Δ(''G'') + 2. Otherwise, if a simple graph ''G'' does not have two adjacent vertices of maximum degree, then ''χ''
''at''(''G'') ≥ Δ(''G'') + 1.
In 2005, Zhang et al. determined the AVD-total-chromatic number for some classes of graphs, and based in their results they conjectured the following.
AVD-Total-Coloring Conjecture. (Zhang et al.)
:''χ''
''at''(''G'') ≤ Δ(''G'') + 3.
The AVD-Total-Coloring Conjecture is known to hold for some classes of graphs, such as
complete graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices ...
s, graphs with Δ=3, and all
bipartite graph
In the mathematical field of graph theory, a bipartite graph (or bigraph) is a graph whose vertices can be divided into two disjoint and independent sets U and V, that is every edge connects a vertex in U to one in V. Vertex sets U and V ar ...
s.
In 2012, Huang et al. showed that ''χ''
''at''(''G'') ≤ 2Δ(''G'')
for any simple graph ''G'' with maximum degree Δ(''G'') > 2.
In 2014, Papaioannou and Raftopoulou
[Papaioannou2014] described an algorithmic procedure that gives a
7-AVD-total-colouring for any 4-regular graph.
Notes
References
*
*
*
*
*
*
*
*
*
*
*
* {{cite journal , last1 = Luiz , first1 = Atílio G. , last2 = Campos , first2 = C.N. , last3 = de Mello , first3 = C.P. , year = 2015 , title = AVD-total-colouring of complete equipartite graphs , journal = Discrete Applied Mathematics , volume = 184, pages = 189, doi = 10.1016/j.dam.2014.11.006, doi-access = free
Graph coloring