Defective Coloring
   HOME

TheInfoList



OR:

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 conne ...
, a mathematical discipline, coloring refers to an assignment of colours or labels to vertices, edges and faces of a graph. Defective coloring is a variant of proper vertex coloring. In a proper vertex coloring, the vertices are coloured such that no adjacent vertices have the same colour. In defective coloring, on the other hand, vertices are allowed to have neighbours of the same colour to a certain extent. (See here for
Glossary of graph theory This is a glossary of graph theory. Graph theory is the study of graphs, systems of nodes or vertices connected in pairs by lines or edges. Symbols A B ...
)


History

Defective coloring was introduced nearly simultaneously by Burr and Jacobson, Harary and Jones and Cowen, Cowen and Woodall. Surveys of this and related colorings are given by Marietjie Frick. Cowen, Cowen and Woodall focused on graphs embedded on surfaces and gave a complete characterization of all ''k'' and ''d'' such that every planar is (''k'', ''d'')-colorable. Namely, there does not exist a ''d'' such that every planar graph is (1, ''d'')- or (2, ''d'')-colorable; there exist planar graphs which are not (3, 1)-colorable, but every planar graph is (3, 2)-colorable. Together with the (4, 0)-coloring implied by the
four color theorem In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map so that no two adjacent regions have the same color. ''Adjacent'' means that two regions sh ...
, this solves defective chromatic number for the plane. Poh and Goddard showed that any planar graph has a special (3,2)-coloring in which each color class is a linear forest, and this can be obtained from a more general result of Woodall. For general surfaces, it was shown that for each genus g \geq 0, there exists a k=k(g) such that every graph on the surface of genus g is (4, ''k'')-colorable. This was improved to (3, ''k'')-colorable by Dan Archdeacon. For general graphs, a result of
László Lovász László Lovász (; born March 9, 1948) is a Hungarian mathematician and professor emeritus at Eötvös Loránd University, best known for his work in combinatorics, for which he was awarded the 2021 Abel Prize jointly with Avi Wigderson. He ...
from the 1960s, which has been rediscovered many times provides a ''O(∆E)''-time algorithm for defective coloring graphs of maximum degree ∆.


Definitions and terminology


Defective coloring

A (''k'', ''d'')-coloring of a graph ''G'' is a coloring of its vertices with ''k'' colours such that each vertex ''v'' has at most ''d'' neighbours having the same colour as the vertex ''v''. We consider ''k'' to be a positive integer (it is inconsequential to consider the case when ''k'' = 0) and ''d'' to be a non-negative integer. Hence, (''k'', 0)-coloring is equivalent to proper vertex coloring.


''d''-defective chromatic number

The minimum number of colours ''k'' required for which ''G'' is (''k'', ''d'')-colourable is called the ''d''-defective chromatic number, \chi_d (G). For a graph class ''G'', the ''defective chromatic number'' of ''G'' is minimum integer ''k'' such that for some integer ''d'', every graph in ''G'' is (''k'',''d'')-colourable. For example, the defective chromatic number of the class of planar graphs equals 3, since every planar graph is (3,2)-colourable and for every integer ''d'' there is a planar graph that is not (2,''d'')-colourable.


Impropriety of a vertex

Let ''c'' be a vertex-coloring of a graph ''G''. The impropriety of a vertex ''v'' of ''G'' with respect to the coloring ''c'' is the number of neighbours of ''v'' that have the same color as ''v''. If the impropriety of ''v'' is 0, then ''v'' is said to be properly colored.


Impropriety of a vertex-coloring

Let ''c'' be a vertex-coloring of a graph ''G''. The impropriety of ''c'' is the maximum of the improprieties of all vertices of ''G''. Hence, the impropriety of a proper vertex coloring is 0.


Example

An example of defective colouring of a cycle on five vertices, C_5, is as shown in the figure. The first subfigure is an example of proper vertex colouring or a (''k'', 0)-coloring. The second subfigure is an example of a (''k'', 1)-coloring and the third subfigure is an example of a (''k'', 2)-coloring. Note that, \chi_0 (C_5) = \chi (C_5) = 3 \chi_1 (C_5) = 3 \chi_2 (C_n) = 1; \forall n \in \mathbb


Properties

* It is enough to consider connected graphs, as a graph ''G'' is (''k'', ''d'')-colourable if and only if every connected component of ''G'' is (''k'', ''d'')-colourable. *In graph theoretic terms, each colour class in a proper vertex coloring forms an independent set, while each colour class in a defective coloring forms a subgraph of degree at most ''d''. Cowen, L. J., Goddard, W., and Jesurum, C. E. 1997. Coloring with defect. In Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (New Orleans, Louisiana, United States, January 05–07, 1997). Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, 548–557. *If a graph is (''k'', ''d'')-colourable, then it is (''k′'', ''d′'')-colourable for each pair (''k′'', ''d′'') such that ''k′'' ≥ ''k'' and ''d′''≥ ''d''.


Some results


Every

outerplanar graph In graph theory, an outerplanar graph is a graph that has a planar drawing for which all vertices belong to the outer face of the drawing. Outerplanar graphs may be characterized (analogously to Wagner's theorem for planar graphs) by the two fo ...
is (2,2)-colorable

Proof: Let G be a connected outerplanar graph. Let v_0 be an arbitrary vertex of G. Let V_i be the set of vertices of G that are at a distance i from v_0. Let G_i be \langle V_i \rangle, the subgraph induced by V_i. Suppose G_i contains a vertex of degree 3 or more, then it contains K_ as a subgraph. Then we contract all edges of V_0 \cup V_1 \cup ... \cup V_ to obtain a new graph G'. It is to be noted that \langle V_0 \cup V_1 \cup ... \cup V_ \rangle of G' is connected as every vertex in V_i is adjacent to a vertex in V_. Hence, by
contracting A contract is a legally enforceable agreement between two or more parties that creates, defines, and governs mutual rights and obligations between them. A contract typically involves the transfer of goods, services, money, or a promise to tran ...
all the edges mentioned above, we obtain G' such that the subgraph \langle V_0 \cup V_1 \cup ... \cup V_ \rangle of G' is replaced by a single vertex that is adjacent to every vertex in V_i. Thus G' contains K_ as a subgraph. But every subgraph of an outerplanar graph is outerplanar and every graph obtained by contracting edges of an outerplanar graph is outerplanar. This implies that K_ is outerplanar, a contradiction. Hence no graph G_i contains a vertex of degree 3 or more, implying that G is (k, 2)-colorable. No vertex of V_i is adjacent to any vertex of V_ or V_, i \geqslant 1, hence the vertices of V_i can be colored blue if i is odd and red if even. Hence, we have produced a (2,2)-coloring of G. Corollary: Every planar graph is (4,2)-colorable. This follows as if G is planar then every G_i (same as above) is outerplanar. Hence every G_i is (2,2)-colourable. Therefore, each vertex of V_i can be colored blue or red if i is even and green or yellow if i is odd, hence producing a (4,2)-coloring of G.


Graphs excluding a complete minor

For every integer t there is an integer N such that every graph G with no K_t minor is (t-1,N)-colourable.


Computational complexity

Defective coloring is computationally hard. It is NP-complete to decide if a given graph G admits a (3,1)-coloring, even in the case where G is of maximum vertex-degree 6 or planar of maximum vertex-degree 7.


Applications

An example of an application of defective colouring is the scheduling problem where vertices represent jobs (say users on a computer system), and edges represent conflicts (needing to access one or more of the same files). Allowing a defect means tolerating some threshold of conflict: each user may find the maximum slowdown incurred for retrieval of data with two conflicting other users on the system acceptable, and with more than two unacceptable.


Notes


References

* * * * * * * * * * * {{DEFAULTSORT:Defective Coloring Graph coloring