arxiv: v2 [cs.ds] 23 Mar 2016

Transcription

1 Vertex-Coloring with Star-Defects Patrizio Angelini 1, Michael A. Bekos 1, Michael Kaufmann 1, and Vincenzo Roselli 2 1 Wilhelm-Schickhard-Institut für Informatik, Universität Tübingen, Germany, {angelini,bekos,mk}@informatik.uni-tuebingen.de 2 Dipartimento di Ingegneria, Università Roma Tre, Italy, roselli@dia.uniroma3.it arxiv: v2 [cs.ds] 23 Mar 2016 Abstract Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the size, degree, and acyclicity of the monochromatic components. In this paper we focus on defective colorings in which the monochromatic components are acyclic and have small diameter, namely, they form stars. For outerplanar graphs, we give a linear-time algorithm to decide if such a defective coloring exists with two colors and, in the positive case, to construct one. Also, we prove that an outerpath (i.e., an outerplanar graph whose weak-dual is a path) always admits such a two-coloring. Finally, we present NP-completeness results for non-planar and planar graphs of bounded degree for the cases of two and three colors. 1 Introduction Graph coloring is a fundamental problem in graph theory, which has been extensively studied over the years (see, e.g., [3] for an overview). Most of the research in this area has been devoted to the vertex-coloring problem (or coloring problem, for short), which dates back to 1852 [18]. In its general form, the problem asks to label the vertices of a graph with a given number of colors, so that no two adjacent vertices share the same color. In other words, a coloring of a graph partitions its vertices into a particular number of independent sets (each of these sets is usually referred to as a color class, as all its vertices have the same color). A central result in this area is the so-called four color theorem, according to which every planar graph admits a coloring with at most four colors; see e.g. [11]. Note that the problem of deciding whether a planar graph is 3-colorable is NP-complete [10], even for graphs of maximum degree 4 [6]. Several variants of the coloring problem have been proposed over the years. One of the most studied is the so-called defective coloring, which was independently introduced by Andrews and Jacobson [1], Harary and Jones [13], and Cowen et al. [5]. In the defective coloring problem edges between vertices of the same color class are allowed, as long as the monochromatic components induced by vertices of the same color maintain some special structure. In this respect, one can regard the classical vertex-coloring as a defective one in which every monochromatic component is an isolated vertex, given that every color class defines an independent set. In this work we focus on defective colorings in which each component is acyclic and has small diameters. In particular, we call a graph G 1

2 (a) (b) (c) (d) Figure 1: (a-c) Different colorings of the same graph: (a) a traditional 4-coloring, (b) an (edge, 3)-coloring (c) a (star, 2)-coloring; (d) a star with three leaves; its center has degree 3. tree-diameter-λ κ-colorable if the vertices of G can be colored with κ colors, so that all monochromatic components are acyclic and of diameter at most λ, where κ 1, λ 0. Clearly, a classical κ-coloring corresponds to a tree-diameter-0 κ-coloring. The diameter of a coloring is defined as the maximum diameter among the monochromatic components. We present algorithmic and complexity results for tree-diameter-λ κ-colorings for small values of κ and λ = 2. For simplicity, we refer to this problem as (star, κ)-coloring, as each monochromatic component is a star (i.e., a tree with diameter two; see Figure 1d). Similarly, we refer to the tree-diameter-λ κ-coloring problem when λ = 1 as (edge, κ)- coloring problem. By definition, a (edge, κ)-coloring is also a (star, κ)-coloring. Figs.1a-1c show a trade-off between number of colors and structure of the monochromatic components. Our work can be seen as a variant of the bipartisation of graphs, namely the problem of making a graph bipartite by removing a small number of elements (e.g, vertices or edges), which is a central graph problem with many applications [12, 14]. The bipartisation by removal (a not-necessarily minimal number of) non-adjacent edges corresponds to the (edge, 2)-coloring problem. In the (star, 2)-coloring problem, we also solve some kind of bipartisation by removing independent stars. Note that we do not ask for the minimum number of removed stars but for the existence of a solution. To the best of our knowledge, this is the first time that the defective coloring problem is studied under the requirement of having color classes of small diameter. Previous research was focused either on their size or their degree [1, 5, 13, 16, 17]. As byproducts of these works, one can obtain several results for the (edge, κ)-coloring problem. More precisely, from a result of Lovász [16], it follows that all graphs of maximum degree 4 or 5 are (edge, 3)-colorable. However, determining whether a graph of maximum degree 7 is (edge, 3)- colorable is NP-complete [5]. In the same work, Cowen et al. [5] prove that not all planar graphs are (edge, 3)-colorable and that the corresponding decision problem is NP-complete, even in the case of planar graphs of maximum degree 10. Results for graphs embedded on general surfaces are also known [2, 4, 5]. Closely related is also the so-called tree-partitionwidth problem, which is a variant of the defective coloring problem in which the graphs induced by each color class must be acyclic [7, 9, 21], i.e., there is no restriction on their diameter. Our contributions are: In Section 2, we present a linear-time algorithm to determine whether an outerplanar graph is (star, 2)-colorable. Note that outerplanar graphs are 3-colorable [20], and hence (star, 3)-colorable, but not necessarily (star, 2)-colorable. On the other hand, we can always construct (star, 2)-colorings for outerpaths (which form a special subclass of outerplanar graphs whose weak-dual 1 is a path). In Section 3, we prove that the (star, 2)-coloring problem is NP-complete, even for graphs of maximum degree 5 (note that the corresponding (edge, 2)-coloring prob- 1 Recall that the weak-dual of a plane graph is the subgraph of its dual induced by neglecting the facevertex corresponding to its unbounded face. 2

3 lem is NP-complete, even for graphs of maximum degree 4 [5]). Since all graphs of maximum degree 3 are (edge, 2)-colorable [16], this result leaves open only the case for graphs of maximum degree 4. We also prove that the (star, 3)-coloring problem is NP-complete, even for graphs of maximum degree 9 (recall that the corresponding (edge, 3)-coloring problem is NP-complete, even for graphs of maximum degree 7 [5]). Since all graphs of maximum degree 4 or 5 are (edge, 3)-colorable [16], our result implies that the computational complexity of the (star, 3)-coloring problem remains unknown only for graphs of maximum degree 6, 7, and 8. For planar graphs, we prove that the (star, 2)-coloring problem remains NP-complete even for triangle-free planar graphs (recall that triangle-free planar graphs are always 3-colorable [15], while the test of 2-colorability can be done in linear time). 2 Coloring Outerplanar Graphs and Subclasses In this section we consider (star, 2)-colorings of outerplanar graphs. To demonstrate the difficulty of the problem, we first give an example (see Figure 1) of a small outerplanar graph not admitting any (star, 2)-coloring. Therefore, in Theorem 1 we study the complexity of deciding whether a given outerplanar graph admits such a coloring and present a lineartime algorithm for this problem; note that outerplanar graphs always admit 3-colorings [20]. Finally, we show that a notable subclass of outerplanar graphs, namely outerpaths, always admit (star, 2)-colorings by providing a constructive linear-time algorithm (see Theorem 2). Lemma 1. There exist outerplanar graphs that are not (star, 2)-colorable. Proof. We prove that the outerplanar graph of Figure 2a is not (star, 2)-colorable. In particular, we show that in any 2-coloring of this graph there exists a monochromatic path of four vertices. Assume w.l.o.g. that vertex u has color gray. Then, at least two vertices out of u 1,..., u 8 are gray, as otherwise there would be a path of four white vertices. Hence, u is the center of a gray star. Next, we observe that either u 2 is white or the path u 21,..., u 24 must consist of only white vertices. Similarly, we observe that either u 3 is white or the path u 31,..., u 34 must consist of only white vertices. If both u 2 and u 3 are white, then either one of paths u 21,..., u 24 and u 31,..., u 34 consists only of gray vertices, or there exists a path from one of u 21,..., u 24 via u 2 and u 3 to one of u 31,..., u 34, that consists only of white vertices. Clearly, all aforementioned cases lead to a monochromatic path of four vertices. u u 1 u 21 u 22 u 23 u 24 u 8 u 7 u 6 u 5 u u 2 u 4 3 u 31 u 32 u 33 u 34 (a) v 1 f 1 f 2 f 3 v 3 v 5 v 6 v 2 v 4 (b) f 4 f 5 Figure 2: (a) An outerplanar graph that is not (star, 2)-colorable. (b) An outerpath, whose spine edges are drawn as dashed segments. Dotted arcs highlighted in gray correspond to edges belonging to the fan of each spine vertex. Note that f 6 = 0. Lemma 1 implies that not all outerplanar graphs are (star, 2)-colorable. In the following we give a linear-time algorithm to decide whether an outerplanar graph is (star, 2)-colorable and in case of an affirmative answer to compute the actual coloring. 3

4 Theorem 1. Given an outerplanar graph G, there exists a linear-time algorithm to test whether G admits a (star, 2)-coloring and to construct a (star, 2)-coloring, if one exists. Proof. We assume that G is embedded according to its outerplanar embedding. We can also assume that G is biconnected. This is not a loss of generality, as we can always reduce the number of cut-vertices by connecting two neighbors a and b of a cut-vertex c belonging to two different biconnected components with a path having two internal vertices. Clearly, if the augmented graph is (star, 2)-colorable, then the original one is (star, 2)-colorable. For the other direction, given a (star, 2)-coloring of the original graph, we can obtain a corresponding coloring of the augmented graph by coloring the neighbors of a and b with different color than the ones of a and b, respectively. Denote by T the weak dual of G and root it at a leaf ρ of T. For a node µ of T, we denote by G(µ) the subgraph of G corresponding to the subtree of T rooted at µ. We also denote by f(µ) the face of G corresponding to µ in T. If µ ρ, consider the parent ν of µ in T and their corresponding faces f(ν) and f(µ) of G, and let (u, v) be the edge of G shared by f(ν) and f(µ). We say that (u, v) is the attachment edge of G(µ) to G(ν). The attachment edge of the root ρ is any edge of face f(ρ) that is incident to the outer face (since G is biconnected and ρ is a leaf, this edge always exists). Consider a (star, 2)-coloring of G(µ). In this coloring, each of the endpoints u and v of the attachment edge of G(µ) plays exactly one of the following roles: (i) center or (ii) leaf of a colored star; (iii) isolated vertex, that is, it has no neighbor with the same color; or (iv) undefined, that is, the only neighbor of u (resp. v) which has its same color is v (resp. u). Note that if the only neighbor of u (resp. v) which has its same color is different from v (resp. from u), we consider u (resp. v) as a center. Two (star, 2)-colorings of G(µ) are equivalent w.r.t. the attachment edge (u, v) of G(µ) if in the two (star, 2)-colorings each of u and v has the same color and plays the same role. This definition of equivalence determines a partition of the colorings of G(µ) into a set of equivalence classes. Since both the number of colors and the number of possible roles of each vertex u and v are constant, the number of different equivalence classes is also constant (note that, when the role is undefined, u and v must have the same color). In order to test whether G admits a (star, 2)-coloring, we perform a bottom-up traversal of T. When visiting a node µ of T we compute the maximal set C(µ) of equivalence classes such that, for each class C C(µ), graph G(µ) admits at least a coloring belonging to C. Note that C(µ) 38. In order to compute C(µ), we consider the possible equivalence classes one at a time, and check whether G(µ) admits a (star, 2)-coloring in this class, based on the sets C(µ 1 ),..., C ( µ h ) of the children µ 1,..., µ h of µ in T, which have been previously computed. In particular, for an equivalence class C we test the existence of a (star, 2)-coloring of G(µ) belonging to C by selecting an equivalence class C i C(µ i ) for each i = 1,..., h in such a way that: 1. the color and the role of u in C 1 are the same as the ones u has in C; 2. the color and the role of n C h are the same as the ones v has in C; 3. for any two consecutive children µ i and µ i+1, let x be the vertex shared by G(µ i ) and G(µ i+1 ). Then, x has the same color in C i and C i+1 and, if x is a leaf in C i, then x is isolated in C i+1 (or vice-versa); and 4. for any three consecutive children µ i 1, µ i, and µ i+1, let x (resp. y) be the vertex shared by G(µ i 1 ) and G(µ i ) (resp. by G(µ i ) and G(µ i+1 )). Then, x (resp. y) has the same color in C i and C i 1 (resp. C i+1 ); also, if x and y are both undefined in C i, then in C i 1 and C i+1 none of x and y is a leaf, and at least one of them is isolated. 4

5 Note that the first two conditions ensure that the coloring belongs to C, while the other two ensure that it is a (star, 2)-coloring. Since the cardinality of C(µ i ) is bounded by a constant, the test can be done in linear time. If the test succeeds, add C to C(µ). Once all 38 equivalence classes are tested, if C(µ) is empty, then we conclude that G is not (star, 2)-colorable. Otherwise we proceed with the traversal of T. At the end of the traversal, if C(ρ) is not empty, we conclude that G is (star, 2)-colorable. A (star, 2)- coloring of G can be easily constructed by traversing T top-down, by following the choices performed during the bottom-up visit. In the following, we consider a subclass of outerplanar graphs, namely outerpaths, and we prove that they always admit (star, 2)-colorings. Note that the example that we presented in Lemma 1 is almost an outerpath, meaning that the weak-dual of this graph contains only degree-1 and degree-2 vertices, except for one specific vertex that has degree 3 (see the face of Figure 2a highlighted in gray). Recall that the weak-dual of an outerpath is a path (hence, it consists of only degree-1 and degree-2 vertices). Let G be an outerpath (see Figure 2b). We assume that G is inner-triangulated. This is not a loss of generality, as any (star, 2)-coloring of a triangulated outerpath induces a (star, 2)-coloring of any of its subgraphs. We first give some definitions. We call spine vertices the vertices v 1, v 2,..., v m that have degree at least four in G. We consider an additional spine vertex v m+1, which is the (unique) neighbor of v m along the cycle delimiting the outer face that is not adjacent to v m 1. Note that the spine vertices of G induce a path, that we call spine of G 2. The fan f i of a spine vertex consists of the set of neighbors of in G, except for 1 and for those following and preceding along the cycle delimiting the outer face 3 ; note that f i 1 for each i = 1,..., m, while f m+1 = 0. For each i = 1,..., m + 1, we denote by G i the subgraph of G induced by the spine vertices v 1,..., and by the fans f 1,..., f i 1. Note that G m+1 = G. We denote by c i the color assigned to spine vertex, and by c(g i ) a coloring of graph G i. Finally, we say that an edge of G is colored if its two endpoints have the same color. Theorem 2. Every outerpath admits a (star, 2)-coloring, which can be computed in linear time. Proof. Let G be an outerpath with spine v 1,..., v k. We describe an algorithm to compute a (star, 2)-coloring of G. At each step i = 1,..., k of the algorithm we consider the spine edge ( 1, ), assuming that a (star, 2)-coloring of G i has already been computed satisfying one of the following conditions (see Figure 3): Q 0 : The only colored vertex is v 1 ; Q 1 : c i c i 1, vertex 1 is the center of a star with color c i 1, and no colored edge is incident to ; Q 2 : c i = c i 1, and no colored edge other than ( 1, ) is incident to 1 or ; Q 3 : c i c i 1, vertex 1 is a leaf of a star with color c i 1, and no colored edge is incident to ; Q 4 : c i c i 1, vertex 1 is the center of a star with color c i 1, and vertex is the center of a star with color c i ; further, i < k and f i > 1; 2 Note that the spine of G coincides with the spine of the caterpillar obtained from the outerpath G by removing all the edges incident to its outer face, neglecting the additional spine vertex v m+1. 3 Fan f i contains all the leaves of the caterpillar incident to, plus the following spine vertex +1. 5

6 0 e 0 e o oe oo Q 0 Q 1 Q 4 1 e o e o v ee eo 1 o Q o0 Q 2 1 o1 1 Q e1 0 e0 Figure 3: Schematization of the algorithm. Each node represents the (unique) condition satisfied by G i at some step 0 i k. An edge label 0, 1, e, o represents the fact that the cardinality of a fan f i is 0, 1, even 0, or odd 1. If the label contains two characters, the second one describes the cardinality of f i+1. An edge between Q j and Q h with label x {1, e, o} (with label xy, where y {0, 1, e, o}) represents the fact that, if G i satisfies condition Q j and f i = x (resp. f i = x and f i+1 = y), then f i is colored so that G i+1 satisfies Q h. Q 5 : c i = c i 1, vertex 1 is the center of a star with color c i 1, and no colored edge other than ( 1, ) is incident to ; further, i < k and f i = 1. Next, we color the vertices in f i in such a way that c(g i+1 ) is a (star, 2)-coloring satisfying one of the conditions; refer to Figure 3 for a schematization of the case analysis. In the first step of the algorithm, we assign an arbitrary color to v 1, and hence c(g 1 ) satisfies Q 0. For i = 1,..., k we color f i depending on the condition satisfied by c(g i ). Coloring c(g i ) satisfies Q 0 : Independently of the cardinality of f i, we color its vertices with alternating colors so that c i+1 c i. In this way, the only possible colored edges are incident to and not to +1. So, c(g i+1 ) satisfies condition Q 1. Coloring c(g i ) satisfies Q 1 : In this case we distinguish the following subcases, based on the cardinality of f i. If f i = 0, we have that i = k and hence G k = G. It follows that c(g k ) is a (star, 2)-coloring of G. If f i = 1 (that is, f i contains only +1 ; see Figure 4a), we set c i+1 = c i. Since the only neighbor of +1 in G i+1 different from is 1, whose color is c i 1 c i, and since has no neighbor with color c i other than +1, by condition Q 1, coloring c(g i+1 ) is a (star, 2)-coloring satisfying condition Q 2. If f i > 1 (see Figure 4b), we color the vertices in f i with alternating colors so that c i+1 c i. This implies that every colored edge of G i+1 not belonging to G i is incident either to, if its color is c i, or to 1, if its color is c i 1 ; the latter case only happens if f i is odd. Thus, (resp. 1 ) is the center of a star of color c i (resp. c i 1 ) in G i+1. Since has no neighbor with color c i in G i, while 1 is a center also in G i, coloring c(g i+1 ) is a (star, 2)-coloring. Finally, since +1 has no neighbors with color c i+1 c i, by construction, c(g i+1 ) satisfies condition Q 1. Coloring c(g i ) satisfies Q 2 : We again distinguish subcases based on f i. 6

7 (a) 1 (b) (c) (d) (e) (f) Figure 4: Graph G i+1 after coloring f i when c(g i ) satisfies: Q 1 and (a) f i = 1 or (b) f i > 1; Q 2 and (c) f i = o, or f i = e and (d) f i+1 = 0, (e) f i+1 = 1, or (f) f i+1 > 1. Shaded regions represent G i. Bold edges connect vertices with the same color, while spine edges are dashed (d) (a) (b) (c) Figure 5: Graph G i+1 after coloring f i when c(g i ) satisfies: Q 3 and (a) f i = 1, or (b) f i = e; Q 4 (c); or Q 5 (d). Shaded regions represent G i. Bold edges connect vertices with the same color, while spine edges are dashed. If f i = 0, we have that i = k and hence c(g k ) is a (star, 2)-coloring of G = G k. If f i is odd, including the case f i = 1 (see Figure 4c), we color the vertices of f i with alternating colors in such a way that c i+1 c i. By construction, c(g i+1 ) is a (star, 2)-coloring satisfying condition Q 1. If f i is even and different from 0, instead, we have to consider the cardinality of f i+1 in order to decide the coloring of f i. We distinguish three subcases: f i+1 = 0 : Note that in this case i = k holds (see Figure 4d). We color the vertices of f i with alternating colors so that c i+1 = c i. Note that the unique neighbor of 1 in f i has color different from c i 1, since f i is even. Hence, all the new colored edges are incident to, which implies that c(g i+1 ) is a (star, 2)-coloring satisfying condition Q 2. f i+1 = 1 : Note that i < k and f i+1 only contains +2 (see Figure 4e). We color the vertices of f i with alternating colors so that c i+1 = c i. Since (i) all the new colored edges are incident to, (ii) and 1 have no neighbor with their same color in G i (apart from each other), (iii) c i+1 = c i, and (iv) i < k, we have that c(g i+1 ) is a (star, 2)-coloring satisfying condition Q 5. f i+1 > 1 : Note that i < k (see Figure 4f). Independently of whether f i+1 is even or odd, we color the vertices of f i so that c i+1 c i, the unique neighbor of +1 different from has also color c i+1, and all the other vertices have alternating colors. Since each new colored edge is incident to either or +1, since c i+1 c i, and since i < k, coloring c(g i+1 ) is a (star, 2)-coloring satisfying condition Q 4. Coloring c(g i ) satisfies Q 3 : If f i = 0, we have that i = k and hence c(g k ) is a (star, 2)-coloring of G = G k. If f i = 1 (that is, f i contains only +1 ; see Figure 5a), we set c i+1 = c i. As in the analogous case in which c(g i ) satisfies condition Q 1, we can prove that c(g i+1 ) is a (star, 2)-coloring which satisfies condition Q 2. 7

8 If f i is even and different from 0 (see Figure 5b), we color the vertices of f i with alternating colors in such a way that c i+1 c i. By construction, c(g i+1 ) is a (star, 2)-coloring which satisfies condition Q 1. If f i is odd and different from 1, we again consider the cardinality of f i+1 in order to decide the coloring of f i. For the four possible classes of values of f i+1, the coloring strategy and the condition satisfied by the resulting coloring c(g i+1 ) are the same as for the analogous case in which c(g i ) satisfies Q 2 and f i is even. Coloring c(g i ) satisfies Q 4 : Note that f i > 0, given that i < k, and f i 1, by condition Q 4. Independently of whether f i is even or odd (see Figure 5c), we color the vertices in f i with alternating colors so that c i+1 c i. In this way, the only possible colored edges are incident to 1 and to, which are both centers of a star already in G i, and not to +1. Hence, c(g i+1 ) is a (star, 2)-coloring satisfying condition Q 1. Coloring c(g i ) satisfies Q 5 : Note that f i = 1, by condition Q 5 (that is, f i only contains +1 ; see Figure 5d). We set c i+1 c i ; clearly, c(g i+1 ) is a (star, 2)-coloring satisfying condition Q 3. Observe that the running time of the algorithm is linear in the number of vertices of G. In fact, at each step i = 1,..., k, the condition Q j satisfied by c(g i ) and the cardinalities of f i and f i+1 are known (the cardinality of all the fans can be precomputed in advance), and the coloring strategy to obtain c(g i+1 ) and the condition satisfied by this coloring are uniquely determined by these information in constant time. 3 NP-completeness for (Planar) Graphs of Bounded Degree In this section, we study the computational complexity of the (star, 2)-coloring and (star, 3)-coloring problems for (planar) graphs of bounded degree. Theorem 3. It is NP-complete to determine whether a graph admits a (star, 2)-coloring, even in the case where its maximum degree is no more than 5. Proof. The problem clearly belongs to NP; a non-deterministic algorithm only needs to guess a color for each vertex of the graph and then in linear time can trivially check whether the graphs induced by each color-set are forests of stars. To prove that the problem is NPhard, we employ a reduction from the well-known Not-All-Equal 3-SAT problem or naesat for short [19, p.187]. An instance of naesat consists of a 3-CNF formula φ with variables x 1,..., x n and clauses C 1,..., C m. The task is to find a truth assignment of φ so that no clause has all three literals equal in truth value (that is, not all are true). We show how to construct a graph G φ of maximum vertex-degree 5 admitting a (star, 2)-coloring if and only if φ is satisfiable. Intuitively, graph G φ reflecting formula φ consists of a set of subgraphs serving as variable gadgets that are connected to simple 3-cycles that serve as clause gadgets in an appropriate way; see Figure 6c for an example. Consider the graph of Figure 6a, which contains two adjacent vertices, denoted by u 1 and u 2, and four vertices, denoted by v 1, v 2, v 3 and v 4, that form a path, so that each of u 1 and u 2 is connected to each of v 1, v 2, v 3 and v 4. We claim that in any (star, 2)-coloring of this graph u 1 and u 2 have different colors. Assume to the contrary that u 1 and u 2 have the same color, say white. Since u 1 and u 2 are adjacent, none of v 1, v 2, v 3 and v 4 is white. So, v 1,..., v 4 form a monochromatic component in gray which is of diameter 3; a contradiction. Hence, u 1 and u 2 have different colors, say gray and white, respectively. In addition, the colors of v 1, v 2, v 3 and v 4 alternate along the path v 1 v 2 v 3 v 4, as otherwise there 8

9 x 2 = true v 1 v 2 v 3 v 4 u 1 u 2 (a) variable-gadget x 3 = true x 2 x 3 C 2 x 1 x 3 x 2 v 1 1 v 1 2 v 1 3 v 1 4 v 2 1 v 2 2 v 2 3 v 2 4 v 3 1 v 3 2 v 3 3 v 3 4 C 1 x 1 u 1 1 G u 1 2 u 2 1 u 2 2 u 3 1 u 3 1 G 2 G 3 2 (b) a chain of length 3 x 1 = false (c) reduction; clause-gadgets are gray Figure 6: Illustration of: (a) a graph with 6 vertices, (b) a chain of length 3, (c) the reduction from naesat to (star, 2)-coloring: φ = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ). The solution corresponds to the assignment x 1 = false and x 2 = x 3 = false. Sets O x1, E x2 and E x3 (E x1, O x2 and O x3, resp.) are colored gray (white, resp.). would exist two consecutive vertices and +1, with i = 1, 2, 3, of the same color, which would create a monochromatic triangle with either u 1 or u 2. For k 1, we form a chain of length k that contains k copies G 1, G 2,..., G k of the graph of Figure 6a, connected to each other as follows (see Figure 6b). For i = 1, 2,..., k, let u i 1, ui 2, vi 1, vi 2, vi 3 and vi 4 be the vertices of G i. Then, for i = 1, 2,..., k 1 we introduce between G i and G i+1 an edge connecting vertices v4 i and vi+1 1 (dotted in Figure 6b). This edge ensures that v4 i and vi+1 1 are not of the same color, since otherwise we would have a monochromatic path of length four. Hence, the colors of the vertices of the so-called spinepath v1 1 v1 2 v1 3 v vk 1 vk 2 vk 3 vk 4 alternate along this path. In other words, if the odd-positioned vertices of the spine-path are white, then the even-positioned ones will be gray, and vice versa. In addition, all vertices of the spine-path have degree 4 (except for v1 1 and vk 4, which have degree 3). For each variable x i of φ, graph G φ contains a so-called variable-chain C xi of length n i 2 2, where n i is the number of occurrences of x i in φ, 1 i n; see Figure 6c. Let O[C xi ] and E[C xi ] be the sets of odd- and even-positioned vertices along the spine-path of C xi, respectively. For each clause C i = (λ j λ k λ l ) of φ, 1 i m, where λ j {x j, x j }, λ k {x k, x k }, λ l {x l, x l } and j, k, l {1,..., n}, graph G φ contains a 3-cycle of corresponding clause-vertices which, of course, cannot have the same color (clause-gadget; highlighted in gray in Figure 6c). If λ j is positive (negative), then we connect the clausevertex corresponding to λ j in G φ to a vertex of degree less than 5 that belongs to set E[C xj ] (O[C xj ]) of chain C xj. Similarly, we create connections for literals λ k and λ l ; see the edges leaving the triplets for clauses C 1 and C 2 in Figure 6c. The length of C xi, 1 i n, guarantees that all connections are accomplished so that no vertex of C xi has degree larger than 5. Thus, G φ is of maximum degree 5. Since G φ is linear in the size of φ, the construction can be done in O(n + m) time. We show that G φ is (star, 2)-colorable if and only if φ is satisfiable. Assume first that φ is satisfiable. If x i is true (false), then we color E[C xi ] white (gray) and O[C xi ] gray (white). Hence, E[C xi ] and O[C xi ] admit different colors, as desired. Further, if x i is true (false), then we color gray (white) all the clause-vertices of G φ that correspond to positive literals of x i in φ and we color white (gray) those corresponding to negative literals. Thus, a clause-vertex of G φ cannot have the same color as its neighbor at the variable-gadget. Since in the truth assignment of φ no clause has all three literals true, no three clause-vertices 9

10 u u 11 u 12 u 13 u 21 u 22 u 23 (a) u 12 u 13 s u 11 u 24 u 25 u 21 u 22 u 23 u 1 u 33 u 34 t u 2 Schematization: u 3 s t (b) u 36 u 37 u 35 u 47 u 45 u 46 x x 1 x 2 x 3 y Schematization: x y (c) (d) (e) Figure 7: (a) clause-gadget, (b) transmitter-gadget, (c) variable-gadget, (d) a chain of length 11, (e) crossing-gadget. belonging to the same clause have the same color. Suppose that G φ is (star, 2)-colorable. By construction, each of E[C xi ] and O[C xi ] is either white or gray, i = 1,..., n. If P [C xi ] is white, then we set x i = true; otherwise, we set x i = false. Assume, to the contrary, that there is a clause of φ whose literals are all true or all false. By construction, the corresponding clause-vertices of G φ, which form a 3-cycle in G φ, have the same color, which is a contradiction. We now turn our attention to planar graphs. Our proof follows the same construction as the one of Theorem 3 but to ensure planarity we replace the crossings with appropriate crossing-gadgets. Also, recall that the construction in Theorem 3 highly depends on the presence of triangles (refer, e.g., to the clause gadgets). In the following theorem, we prove that the (star, 2)-coloring problem remains NP-complete, even in the case of triangle-free planar graphs. Note that in order to avoid triangular faces, we use slightly more complicated variable- and clause-gadgets, which have higher degree but still bounded by a constant. Theorem 4. It is NP-complete to determine whether a triangle-free planar graph admits a (star, 2)-coloring. Proof. Membership in NP can be shown as in the proof of Theorem 3. To prove that the problem in NP-hard, we again employ a reduction from naesat. To avoid crossings we will construct a triangle-free planar graph G φ (with different variable- and clause-gadgets) similar to the previous construction, so that G φ admits a (star, 2)-coloring if and only if φ is satisfiable. The clause-gadget is illustrated in Fig.7a. It consists of a 2 3 grid (highlighted in gray) and one vertex of degree 2 (denoted by u in Fig.7a) connected to the top-left and bottom-right vertices of the grid. We claim that the clause-vertices of this gadget (denoted by u, u 11 and u 23 in Fig.7a) cannot all have the same color. For a proof by contradiction assume that u, u 11 and u 23 are all black. Since u 12, u 13, u 21 and u 22 are adjacent either to u 11 or to u 23, none of them is black. Hence, u 21 u 22 u 12 u 13 is a monochromatic path of length three; a contradiction to the diameter of the coloring. Fig.7b illustrates the so-called transmitter-gadget, which consists of three copies of the 2 3 grid (highlighted in gray), each of which gives rise to a clause-gadget with the degree-2 vertices u 1, u 2 and u 3. It also has two additional vertices (denoted by s and t in Fig.7b), each of which forms a clause-gadget with each of the three copies of the rectangular grid. We claim that in any (star, 2)-coloring of the transmitter-gadget s and t are of the same colors. Otherwise, a simple observation shows that there is a monochromatic path of length three; a contradiction to the diameter of the coloring. A schematization of the transmitter-gadget is given in Fig.7b. 10

11 The variable-gadget is illustrated in Fig.7c. We claim that in any (star, 2)-coloring of these gadget vertices x and y must be of different colors. Assume to the contrary that x and y are both white. Then, vertices x 1, x 2 and x 3 must also be white, due to the transmittergadgets involved. Hence, x x 1 y x 3 x 1 is a white-colored cycle; a contradiction to the diameter of the coloring. A schematization of the variable-gadget is given in Fig.7c. The corresponding one for the chain is given in Fig.7d. Since we proved that the clause-vertices of the clause-gadgets cannot all have the same color and that the variable gadget has two specific vertices of different colors, the rest of the construction is identical to the one of the previous theorem. Note, however, that G φ is unlikely to be planar, as required by this theorem. However we can arrange the variablegadgets and the clause-gadgets so that the only edges that cross are the ones joining the variable-gadgets with the clause-gadgets. Then, we replace every crossing by the crossinggadget illustrated in Fig.7e. This particular gadget has the following two properties: (i) its topmost and bottommost vertices must be of the same color (due to the vertical arrangement of the variable-gadgets), which implies that (ii) the leftmost and rightmost vertices must be of the same color as well. Hence, we can replace all potential crossings with the crossinggadget. Since the number of crossings is quadratic to the number of edges, the size of the construction is still polynomial. Everything else in the construction and in the argument remains the same. Note that Theorems 3 and 4 have been independently proven by Dorbec et al. [8]. In the following theorem we prove that the (star, 2)-coloring problem remains NP-complete even if one allows one more color and the input graph is either of maximum degree 9 or planar of maximum degree 16. Recall that all planar graphs are 4-colorable. Theorem 5. It is NP-complete to determine whether a graph G admits a (star, 3)-coloring, even in the case where the maximum degree of G is no more than 9 or in the case where G is a planar graph of maximum degree 16. Proof. Membership in NP can be proved similarly to the corresponding one of Theorem 3. To prove that the problem is NP-hard, we employ a reduction from the well-known 3- coloring problem, which is NP-complete even for planar graphs of maximum vertexdegree 4 [6]. So, let G be an instance of the 3-coloring problem. To prove the first part of the theorem, we will construct a graph H of maximum vertex-degree 9 admitting a (star, 3)-coloring if and only if G is 3-colorable. Central in our construction is the complete graph on six vertices K 6, which is (star, 3)-colorable; see Figure 8a. We claim that in any (star, 3)-coloring of K 6 each vertex is adjacent to exactly one vertex of the same color. For a proof by contradiction, assume that there is a (star, 3)-coloring of K 6 in which three vertices, say u, v and w, have the same color. From the completeness of K 6, it follows that u, v and w form a monochromatic components of diameter 3, which is a contradiction. Graph H is obtained from G by attaching a copy of K 6 at each vertex u of G, and by identifying u with a vertex of K 6, which we call attachment-vertex. Hence, H has maximum degree 9. As H is linear in the size of G, it can be constructed in linear time. If G admits a 3-coloring, then H admits a (star, 3)-coloring in which each attachmentvertex in H has the same color as the corresponding vertex of G, and the colors of the other vertices are determined based on the color of the attachment-vertices. To prove that a (star, 3)-coloring of H determines a 3-coloring of G, it is enough to prove that any two adjacent attachment-vertices v and w in H have different colors, which clearly holds since both v and w are incident to a vertex of the same color in the corresponding copies of K 6 associated with them. 11

12 (a) (b) (c) Figure 8: (a) The complete graph on six vertices K 6. (b) The attachment-graph for the planar case. (c) A planar graph of max-degree 4 that is not (star, 2)-colorable. For the second part of the theorem, we attach at each vertex of G the planar graph of Figure 8b using as attachment its topmost vertex, which is of degree 12 (instead of K 6 which is not planar). Hence, the constructed graph H is planar and has degree 16 as desired. Furthermore, it is not difficult to be proved that in any (star, 3)-coloring of the graph of Figure 8b its attachment-vertex is always incident to (at least one) another vertex of the same color, that is, it has exactly the same property with any vertex of K 6. Hence, the rest of the proof is analogous to the one of the first part of the theorem. 4 Conclusions In this work, we presented algorithmic and complexity results for the (star, 2)-coloring and the (star, 3)-coloring problems. We proved that all outerpaths are (star, 2)-colorable and we gave a polynomial-time algorithm to determine whether an outerplanar graph is (star, 2)-colorable. For the classes of graphs of bounded degree and planar triangle-free graphs we presented several NP-completeness results. However, there exist several open questions raised by our work. In Theorem 3 we proved that it is NP-complete to determine whether a graph of maximum degree 5 is (star, 2)-colorable. So, a reasonable question to ask is whether one can determine in polynomial time whether a graph of maximum degree 4 is (star, 2)-colorable. The question is of relevance even for planar graphs of maximum degree 4. Note that not all planar graphs of maximum degree 4 are (star, 2)-colorable (Figure 8c shows such a counterexample found by extensive case analysis), while all graphs of maximum degree 3 are (edge, 2)-colorable [16]. Other classes of graphs, besides the outerpaths, that are always (star, 2)-colorable are of interest. In Theorem 5 we proved that it is NP-complete to determine whether a graph of maximum degree 9 is (star, 3)-colorable. The corresponding question on the complexity remains open for the classes of graphs of maximum degree 6, 7 and 8. Recall that graphs of maximum degree 4 or 5 are always (star, 3)-colorable. One possible way to expand the class of graphs that admit defective colorings, is to allow larger values on the diameter of the graphs induced by the same color class. Acknowledgement: We thank the participants of the special session GNV of IISA 15 inspiring this work. We also thank Pascal Ochem who brought [8] to our attention, where some of our NP-completeness results have been independently proven. 12

13 References [1] J. Andrews and M. S. Jacobson. On a generalization of chromatic number. Congressus Numerantium, 47:33 48, [2] D. Archdeacon. A note on defective coloring of graphs in surfaces. Journal of Graph Theory, 11(4): , [3] G. Chartrand and L. M. Lesniak. Graphs and digraphs. Wadsworth, [4] L. J. Cowen, R. H. Cowen, and D. R. Woodall. Defective colorings of graphs in surfaces: Partitions into subgraphs of bounded valency. Journal Graph Theory, 10(2): , [5] L. J. Cowen, W. Goddard, and C. E. Jesurum. Defective coloring revisited. Journal of Graph Theory, 24(3): , [6] D. P. Dailey. Uniqueness of colorability and colorability of planar 4-regular graphs are np-complete. Discrete Mathematics, 30(3): , [7] G. Ding and B. Oporowski. On tree-partitions of graphs. Discrete Mathematics, 149(13):45 58, [8] P. Dorbec, M. Montassier, and P. Ochem. Vertex partitions of graphs into cographs and stars. Journal of Graph Theory, 75(1):75 90, [9] A. Edelman, A. Hassidim, H. Nguyen, and K. Onak. An efficient partitioning oracle for bounded-treewidth graphs. In L. A. Goldberg, K. Jansen, R. Ravi, and J. D. P. Rolim, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, volume 6845 of LNCS, pages Springer, [10] M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, [11] G. Gonthier. Formal proof the four-color theorem. Notices of the American Mathematical Society, 55(11): , [12] F. Hadlock. Finding a maximum cut of a planar graph in polynomial time. SIAM Journal of Computing, 4(3): , [13] F. Harary and K. Jones. Conditional colorability II: Bipartite variations. Congressus Numerantium, 50: , [14] R. M. Karp. Reducibility among combinatorial problems. In R. Miller, J. Thatcher, and J. Bohlinger, editors, Complexity of Computer Computations, The IBM Research Symposia Series, pages Springer, [15] L. Kowalik. Fast 3-coloring triangle-free planar graphs. Algorithmica, 58(3): , [16] L. Lovász. On decomposition of graphs. Studia Scientiarum Mathematicarum Hungarica, 1: , [17] L. Lovász. Three short proofs in graph theory. Journal of Combinatorial Theory, Series B, 19(3): ,

14 [18] P. Maritz and S. Mouton. Francis Guthrie: A colourful life. The Mathematical Intelligencer, 34(3):67 75, [19] C. H. Papadimitriou. Computational complexity. Academic Internet Publ., [20] A. Proskurowski and M. M. Syso. Efficient vertex- and edge-coloring of outerplanar graphs. SIAM Journal on Algebraic Discrete Methods, 7(1): , [21] D. R. Wood. On tree-partition-width. European Journal of Combinatorics, 30(5): , Part Special Issue on Metric Graph Theory. 14