Startseite Coloring subgraphs with restricted amounts of hues
Artikel Open Access

Coloring subgraphs with restricted amounts of hues

  • Wayne Goddard EMAIL logo und Robert Melville
Veröffentlicht/Copyright: 22. September 2017

Abstract

We consider vertex colorings where the number of colors given to specified subgraphs is restricted. In particular, given some fixed graph F and some fixed set A of positive integers, we consider (not necessarily proper) colorings of the vertices of a graph G such that, for every copy of F in G, the number of colors it receives is in A. This generalizes proper colorings, defective coloring, and no-rainbow coloring, inter alia. In this paper we focus on the case that A is a singleton set. In particular, we investigate the colorings where the graph F is a star or is 1-regular.

MSC 2010: 05C15

1 Introduction

Consider a (not necessarily proper) coloring of the vertices of a graph G. For a set S of vertices, denote by c(S) the number of colors used on the set S. Let F be some fixed graph and let A be some fixed subset of the positive integers (the allowed numbers). We consider colorings of G where for every copy of F in G the number c(V(F)) is in the set A. (Note that F is not required to be an induced subgraph.) We call this a coloring with a Restricted Amount of Subgraph Hues, or RASH for short. Below we will simply refer to it as a valid coloring.

This idea has been studied in other contexts. Most obviously, proper colorings are the case that F = K2 and A = {2}. Thereafter, probably most studied is the case of coloring the vertices without creating some monochromatic subgraph, such as a star; these are often called defective colorings (see for example [14]). Defective colorings correspond to RASH colorings where A = {2,3,…,|F|} (where we use |F| to denote the order of F). More recently, at least in the setting of graphs, there is work on no-rainbow colorings [57], which correspond to RASH colorings where A = {1,2,…,|F|−1}, and on Worm colorings [8], which correspond to RASH colorings where A = {2,3,…,|F|−1}. These three types of colorings were already considered and generalized for hypergraphs; see [9, 10].

In this paper we will focus on the case that A is a singleton set {a}. That is, we consider colorings where every copy of F receives precisely a colors. And especially, we investigate the case that the subgraph F is a star or is 1-regular. We will assume throughout that the graphs are simple and have no isolates.

2 Preliminary remarks

The main question is the existence of RASH colorings. But another question is the minimum or maximum number of colors. We will use the following notation. If there is a coloring of graph G where c(V(H)) ∈ A for all subgraphs H isomorphic to F, then we let W+(G,F,A) denote the maximum number of colors in such a coloring and let W(G,F,A) denote the minimum number of colors in such a coloring. (In hypergraphs these are the upper and lower chromatic numbers, respectively.) Note that if G has a valid coloring then so does any subgraph; thus these parameters are monotonic.

Now, if A contains the integer 1, then the existence is guaranteed and the minimum number of colors in a valid coloring is 1. Similarly, if A contains the integer |F|, then the existence is guaranteed and the maximum number of colors is |G|. In particular, if A contains both 1 and |F|, all three questions are trivial.

This yields two special cases of RASH colorings. Consider the case that A = {1}. Define an auxiliary graph HF(G) with the same vertex set as G but with two vertices adjacent if and only if they lie in a common copy of F. For example, HP3(G) is the square of G, provided G has no component of order 2. Then in a valid coloring of G, two vertices of G must have the same color if and only if they are in the same component of the auxiliary graph HF(G) . It follows that

W+(G,F,{1}) is the number of components of HF(G).

Consider the case that A = {|F|}. Then, in a valid coloring of G, two vertices of G must have different colors if they are adjacent in the auxiliary graph HF(G) ; if they are not adjacent in HF(G) then they can have the same color or different. It follows that

W(G,F,{|F|}) is the chromatic number of HF(G).

The following result is straight-forward. It shows that if F is connected, then we may restrict our discussion to connected graphs G. (However, if F is not connected, then the situation is more complex.)

Observation 2.1

Assume F is connected but G is not. Then the existence of a valid coloring of G is equivalent to the existence of such a coloring in all its components Gi. Further, the value W(G,F,A) is the maximum of the values W(Gi,F,A) over all components Gi; and the value W+(G,F,A) is the sum of the values W+(Gi,F,A) over all components Gi.

It is not surprising that these parameters are often NP-hard to calculate. For example, W(G,K2,{2}) is just the ordinary chromatic number of G, while several hardness results for WORM and no-rainbow colorings were shown in [58, 11].

3 Stars

In this section we focus on the case that F is a star. We begin by observing that all the possibilities for F = K1,2 are trivial or have already been studied. Then we provide a few general results, after which we focus on F = K1,3 and F = K1,4.

3.1 The star with two leaves

For P3, the star with two leaves, almost all the cases are covered by the above discussion or have been previously studied. The ones where the allowed set A does not contain both 1 and 3 are:

  • A = {1}. Here the minimum number of colors is 1. The maximum number is 2 for K2, and 1 in all other connected graphs.

  • A = {2}. This is the WORM coloring number (see for example [8]).

  • A = {3}. The maximum number of colors is |G|. The minimum number of colors is 1 for K2, but for other connected graphs it is the chromatic number of the square of G.

  • A = {1, 2}. This is the no-Rainbow coloring (see for example [7]).

  • A = {2, 3}. This is equivalent to 1-defective coloring: every vertex has at most one neighbor of its color (see for example [1, 3]).

The situation for other subgraphs F with 3 vertices is similar. For example, the auxiliary graph HK3(G) is G minus all edges not in a triangle.

We will look at other small stars shortly, but first some general results.

3.2 Arbitrary stars

In [8] it was shown that, if a graph has a coloring where every P3 receives two colors, then there is such a coloring that uses only two colors. That is, if it exists, W(G,P3,{2}) ≤ 2. Now, this result does not generalize to most other F, such as K3 (see [11]). But we show next that it does generalize somewhat to other stars.

Theorem 3.1

If graph G has minimum degree at least f and has a coloring where every copy of K1,f receives 2 colors, then G has such a coloring using only two colors.

Proof

Consider a valid coloring of G. Let EM be the set of edges that are monochromatic; that is, those edges whose two ends have the same color. Note that EM does not contain a copy of K1,f. Let H be the graph GEM. Since H has no monochromatic edge, it is properly colored.

Consider two vertices u and v in H with a common neighbor w. Then since H is properly colored, neither u nor v has the same color as w. Since w has degree at least f in G, it follows that u and v have the same color. It follows that every cycle C in H has even length, since it is properly colored and every pair of vertices two apart in C have the same color. This means that H is bipartite.

It follows that we can (re)color V(H) = V(G) so that H is properly colored and use only two colors. Now consider this 2-coloring in G. Since the new coloring is a proper coloring in H, every edge that is monochromatic in this new coloring must be in EM. But that means there is no monochromatic copy of K1,f. That is, every copy of K1,f receives exactly two colors. □

It is unclear what happens if one drops the condition that G have minimum degree at least f.

For another general result, we consider bounds on the maximum degree of graphs that have a valid coloring. This is equivalent to asking which stars have such colorings.

Lemma 3.2

For the star F = K1,f and A = {a} with 3 ≤ af, the maximum degree in a graph with a valid coloring is at most

(f1)(a1)(a2).

and this is realizable for all a and f.

Proof

Since a < f+1, a vertex v can have at most a − 1 new colors among its neighbors. Say v has c neighbors of its own color. Then, the sum of the counts of the most numerous a − 2 other colors can be at most f − 1 − c. Thus, the total number of neighbors is at most f − 1+(f − 1 − c)/(a − 2). This quantity is maximized at c = 0, where it has the above value. And it is achievable by using a − 1 colors on the neighbors divided as equally as possible among them. □

More generally one can say the following:

Lemma 3.3

For the star F = K1,f, if the allowed set A contains none of 1, 2 and f+1, then the maximum degree in graphs G that have valid colorings is bounded.

Proof

For a crude upper bound, we argue that G cannot have a vertex v of degree (f − 1)f+1 or more. For, then either v has f neighbors of the same color (yielding a copy of K1,f with c ≤ 2) or v has f neighbors of different colors each distinct from v’s color (yielding a rainbow copy of K1,f). □

Note that in contrast, if A contains 1 or f+1 then every graph has a valid coloring. Further, if A contains 2, then there are graphs with arbitrarily large degree that have a valid coloring, such as the complete bipartite graph Km,m.

3.3 The star with three leaves

We consider next the star K1,3 with three leaves. There are six cases not covered by general results, or by the colorings described earlier. These are the two singletons A = {2} and A = {3}, and the four pairs A = {1,2}, A = {1,3}, A = {2,4}, and A = {3,4}.

3.3.1 Colorings where every K1,3 receives 2 colors

Consider F = K1,3 and A = {2}. This is equivalent to a coloring where every vertex of degree at least 3 sees at most one color other than itself and has at most two neighbors of its color.

We consider first families of planar graphs. Several authors (e.g. [1]) showed that one can partition the vertex set of an outerplanar graph into two forests of maximum degree 2. In particular, it follows that W(G,K1,3,{2}) exists and is at most 2. But for maximal (outer)planar graphs, one can go a bit further.

Theorem 3.4

  1. If G is a maximal outerplanar graph of order at least 4, then it has a valid coloring and W(G,K1,3,{2}) = W+(G,K1,3,{2}) = 2.

  2. If G is a maximal planar graph of order at least 4 and G has a valid coloring, then W(G,K1,3,{2}) = W+(G,K1,3,{2}) = 2.

Proof

  1. We saw above that such a graph has a valid coloring. Since G has maximum degree at least 3, one cannot use only one color. So it remains to show that one cannot use more than two colors.

    If G has order 4 then this is easily checked; so assume the order is at least 5. We know that G has minimum degree 2. Consider a vertex u of degree 2 with neighbors v and w, necessarily adjacent. Then at least one of these vertices has degree at least 4, say v. Then, by induction, every valid coloring of Gu uses exactly two colors. Since vertex v has degree at least 3 in Gu, it must have a neighbor y (possibly w) of different color in Gu. It follows that u must have the color of v or y. That is, G has only two colors.

  2. If G is hamiltonian, then it contains a maximal outerplanar graph as a spanning subgraph, and so the result follows from part (a). So assume it is not hamiltonian. Then it has connectivity at most 3 and so there is a cut-triangle T. Let G1 be the graph formed from G by removing the vertices inside T; let G2 be the graph formed by removing the vertices outside T. By induction, the valid coloring of G when restricted to G1 uses only two colors, and similarly when restricted to G2. Let v be a vertex of the triangle. Then, since G1 and G2 both have minimum degree at least 3, the vertex v must see both colors in G1 and both colors in G2. Since v can see at most two colors in total, it follows that G1 and G2 use the same pair of colors. That is, G has only two colors. □

For another graph family, consider cubic graphs. Such graphs always have a valid coloring since they have a coloring with two colors where every vertex has at most one neighbor of its color (a1-defective 2-coloring [12]). It might be interesting to determine the maximum number of colors in such a coloring:

Problem 3.5

What is the maximum possible number of colors in a coloring of a connected cubic graph of order n where every K1,3 receives exactly 2 colors?

Note that for regular graphs, the case of F = K1,f and A = {f − 1} also corresponds to what we called a near-injective coloring; see [13].

3.3.2 Colorings where every K1,3 receives 3 colors

Consider F = K1,3 and A = {3}. By Lemma 3.2, the maximum degree of a graph G with a valid coloring is at most 4. So one natural family to consider is the set of 4-regular graphs. Note that a valid coloring must be proper, and every vertex must have two neighbors of one color and two neighbors of another color. It follows that if only three colors are used in total, that each color must be used an equal number of times, and in particular, that the order of G is a multiple of 3. However, there are other orders for which such a coloring exists. For example, consider the direct product of a cycle Cn with 2K1; that is, duplicate each vertex of the cycle so that one ends up with a 4-regular graph on 2n vertices. Then a valid coloring is achieved by using n different colors, giving every pair of similar vertices the same color.

Another family of interest is the set of cubic graphs. Computer search shows that all small cubic graphs have such a coloring. What about in general? We conjecture yes.

Conjecture 3.6

Every cubic graph has a coloring where every K1,3 receives 3 colors.

If the cubic graph G has a matching M none of whose edges are in a triangle, then one has a valid coloring by assigning a different color to each edge in M (and so every vertex has a neighbor of its color but no other repetition). Indeed, computer search suggests that the maximum colors in a valid coloring is always at least n/2. If true, this would be a strengthening of the conjecture from [7] that every cubic graph has a coloring with at least n/2 colors without a rainbow copy of K1,3. In contrast, there are cubic graphs that require more than 3 colors, since each color class in such a coloring would be a dominating set, and there are infinitely many cubic graphs of order n with domination number more than n/3 (see e.g. [14]).

3.3.3 Other restrictions on K1,3

In each of the remaining cases (where A is a doubleton), the coloring is guaranteed to exist since A contains either 1 or 4. But note that these situations are different to the associated singletons. For example, let F = K1,3. Let G be a graph that has a valid coloring for A = {3} and H be a graph that does not. Then their disjoint union has W+(GH,K1,3,{1,3}) ≥ 4.

3.4 The star with four leaves

Finally in this section we briefly consider the star K1,4 with the allowed set A a singleton.

Consider the case that A = {4}. By Lemma 3.2 above, the maximum degree is at most 4. Clearly, vertices with degree smaller than 4 pose no constraints as centers of stars. So a natural class to consider is 4-regular graphs. Let K2,2,2 denote the 4-regular graph of order 6. Computer search shows that all 4-regu1ar graphs through order 12 have such a coloring, except for K2,2,2. This raises the question:

Problem 3.7

Does every connected 4-regular graph, apartfrom K2,2,2, have a coloring where every K1,4 receives exactly 4 colors?

Consider the case that A = {3}. By Lemma 3.2 above, the maximum degree can be as high as 6. It is not true that every 6-regular graph has a valid coloring; for example through order 11 only the complete multipartite graph K3,3,3 has one. Nor is it true that every 5-regular graph has a valid coloring; for example only 3459 of the 7848 5-regular graphs of order 12 have one. But computer search shows that all 4-regu1ar graphs through order 12 have a valid coloring. This raises the question:

Problem 3.8

Does every 4-regular graph have a coloring where every K1,4 receives exactly 3 colors?

4 Stripes

In this section we consider colorings where F is 1-regular. We begin by studying the case where F = 2K2.

4.1 Colorings where every 2K2 receives 2 colors

Let 𝓜 denote the set of graphs that do not contain two disjoint edges. That is, 𝓜 is the set of all stars and K3 together with isolates.

Theorem 4.1

A graph G has a coloring where every 2K2 receives 2 colors if and only if

  1. V(G) has a bipartition (R, S) such that R and S both induce graphs of 𝓜, or

  2. G is the disjoint union of stars and K3s.

Proof

First observe that such a graph has the requisite coloring. In case (i), color every vertex in R red and every vertex in S sapphire. Then since there is no monochromatic 2K2, every copy of 2K2 receives both colors. In case (ii), color every component monochromatically with a different color.

Suppose now that the graph G has a valid coloring. If every edge is monochromatic, then the graph is the disjoint union of stars and K3’s, with each component monochromatic, and we are in case (ii) of the characterization.

So, assume there is a proper edge, say rs with r red and s sapphire. Suppose there is another color present; say vertex t is taupe. Then all edges out of t must go to {r, s}. If t has degree 2, then {r, s, t} is an isolated triangle; and indeed no other edge possible. So assume that t has degree 1; say with neighbor s. By similar argument, vertex r has degree 1 too. Indeed, any vertex x that is not sapphire must have degree 1 with s as its only neighbor. Then, if we change all non-sapphire vertices to be red, we will still have a valid coloring.

That is, we may assume that the coloring uses only two colors. It follows that we are in case (i) of the characterization. □

It is straight-forward to argue that one can recognize such graphs in polynomial-time and calculate the minimum and maximum number of colors used. For a crude algorithm, simply consider all possible stars and triangles and check whether what remains after their edges are removed is bipartite. If we are in case (ii) with two or more components, then the number of colors used equals the number of components. If we are in case (i), then the minimum number of colors used is at most 2, as we argued in the above proof; we can only use more than two colors if there is a vertex s with multiple leaf neighbors and the rest of the graph has a suitable structure. We omit the details.

4.2 Colorings where every 2K2 receives 3 colors

We consider next the case that every 2K2 has 3 colors. Like the above result, the characterization is that the graph G must be “nearly bipartite”.

Define the following graphs and graph classes. Let 𝓗1 be the set of graphs that contain two adjacent vertices x and y such that every other edge is incident to x or y. Let 𝓗2 be the graphs that contain a triangle x, y, z such that every other vertex is a leaf with a neighbor in {x, y, z}.

Let F1 be the graph that is obtained from the disjoint union of K4 and K2 by identifying a vertex of each. Let F2 be the graph that is obtained from K4e by picking a vertex x of degree 3 and a vertex y of degree 2 and adding a leaf adjacent only to x and one only to y. Let F3 be the graph that is obtained from the disjoint union of K4e and P3 by identifying a minimum-degree vertex of each. Let F4 be the graph that is obtained from P6 : v1, v2, …, v6 by adding edge v3v5. We draw these in Figure 1.

Fig. 1 
Coloring graphs so that every 2K2 receives 3 colors
Fig. 1

Coloring graphs so that every 2K2 receives 3 colors

For a graph G, we define the reduced version of G by considering every vertex in turn and, if it has more than one leaf neighbor, discarding all but one of these neighbors. It is immediate that a graph has a valid coloring if and only if its reduced version has, because we may assume all leaves at a vertex are the same color.

Theorem 4.2

A graph G has a coloring where every 2K2 receives 3 colors if and only if

  1. G is bipartite;

  2. G is formed from the disjoint union of a bipartite graph H and K3 by identifying one vertex of each;

  3. G is the disjoint union of graphs H and M where H ∈ 𝓗1 ∪ 𝓗2 and M ∈ 𝓜 (the family of graphs with matching number 1); or

  4. the reduced version of G is F1, F2, F3, or F4, or a subgraph thereof.

Proof

These graphs each have a valid coloring. In case (i), color all vertices in one partite set red and give all remaining vertices unique colors. In case (ii), let x be the vertex that was identified. Color it and all other vertices in its partite set of H red, color its two neighbors in the K3 sapphire, and then give all remaining vertices unique colors. In case (iii), color the subgraph H as shown in the above picture and color the subgraph M monochromatically with color 4. In case (iv), color the graphs with three colors as shown in the above picture.

We turn to the proof that these are all the graphs. So assume G has a valid coloring.

Claim 4.3

Graph G cannot have an odd cycle of length 5 or more.

Proof

We claim first that there cannot be two consecutive vertices of the same color. Consider a portion of the cycle abcdef (where possibly a = f) where c and d have the same color, say 1. Then, by considering the pair bc, de, without loss of generality b has color 2 and e has color 3. By considering the pair cd, ef, the vertex f must have a color other than 1 and 3. By considering pair bc, ef, it follows that vertex f has color 2. By similar argument, a has color 3 (and in particular af). But then pair ab, ef is a contradiction.

Now suppose there are vertices at distance three of the same color. Consider a portion of the cycle abcdef (where possibly a = f) where b and e have same color, say 1. Then by considering bc, de, without loss of generality c has color 2 and d has color 3. By considering pair cd, ef, vertex f must have a color from {1, 2, 3}. By the lack of consecutives of the same color, f cannot be color 1; by considering pair bc, ef, vertex f cannot be color 2. Therefore f has color 3. Similarly, vertex a has color 2. In particular af, and so there is another vertex next to f, say g. Then by considering pair bc, fg, vertex g must have a color from {1, 2, 3}. But it can easily be checked that each choice leads to a contradiction.

So we have shown that there cannot be two consecutive vertices of the same color nor two vertices at distance three. Now consider again a portion of the cycle abcdef (where possibly a = f). There must be a duplicate color at distance two within abcd. Say a and c have color 1, with b of color 2 and d of color 3. Then consider the pair bc, de. Since vertices b and d have different colors, it must be that vertices c and e have the same color. Then f must have a color different from c, d and e. Further, it cannot have the same color as b, by the pair ab, ef. By repeated application of this, it follows that every alternate vertex on the cycle has color 1. In particular the cycle has even length. □

If the graph G is bipartite, we are done. So assume there is a triangle T.

Claim 4.4

If T is properly colored, then we are in case (iii) or have reduced graph F1 or F2.

Proof

Say triangle T has vertex a of color 1, vertex b of color 2, and vertex c of color 3. Suppose there is another color present, say vertex d has 4. Then consider an edge incident with d. If it goes to triangle T, we have a contradiction. So say it is de. By considering the pairs formed by de and each edge of T, it follows that e cannot have a new color, nor can it have color from {1, 2, 3}. Thus e has color 4. That is, the edges incident with the vertices not colored from {1, 2, 3} are monochromatically colored; and indeed must induce a component from 𝓜 colored 4.

So consider the vertices with color from {1, 2, 3}. We cannot have an edge disjoint from the triangle, since if it is monochromatic one can pair it with an edge of T that includes that color, and if proper one can pair it with the edge of T that is identically colored. So all such edges have (at least) one end in the triangle. If the component containing T is in 𝓗1, then we are done. So assume the component containing T is not in 𝓗1. That is, every vertex of T has a neighbor outside the triangle. Consider the possibilities.

One possibility is that the three vertices of T have a common neighbor v. By the above, v must have one of their colors, say 1. If not just K4, there is another vertex, say w. This vertex cannot be incident with either a or v, so say incident with vertex c. Then w must be color 2 and must be a leaf. One can check that all remaining edges must be similarly incident with c. Further, the edge va being monochromatic implies that there is no monochromatic edge of color 4. That is, the reduced version of G is F1 or K4.

A second possibility is that a, b have a common neighbor v while c has neighbor w. Suppose that w has color 3. Then considering the pair va, cw it follows that v must be color 2, but then the pair vb, cw is not validly colored. Thus vertex w has color 1, say. By considering the pair va, cw, it follows that the vertex v has color 2. Any other neighbor x of a must have color 2 because of ax, cw but not color 2 because of vb, ax, so a has no other neighbor. Any other neighbor y of b must have color 3 because of the pair av, by. And, any other neighbor z of c must have color 1 because of the pair bv, cz. Further, the edge vb being monochromatic means that there is no monochromatic edge of color 4. That is, the reduced version of G is F2 or F2 with one/both of the leaves deleted.

A third possibility is that a, b, and c have only distinct neighbors outside the triangle. That is, the component containing T is in 𝓗2. □

So we can assume that there is no properly colored triangle T.

Claim 4.5

If triangle T contains two colors, then we are in case (ii) or have reduced graph F3 or F4.

Proof

Say T has two vertices of color 1, say a and b, and the remaining vertex c has color 2. By the conditions and the lack of properly colored triangles, there is no other common neighbor of a and c, nor of b and c.

Assume first that there is no edge disjoint from T. Then the component containing T is in 𝓗2 and we are in case (iii) (with M being null) unless a and b have another common neighbor, say d. The vertex d must have a different color, say 3. Then the component containing T is in 𝓗1 (albeit with an alternative coloring) unless c has another neighbor, say e. The vertex e must have color 3. Then neither a nor b can have any other neighbors, and we are in case F2 minus the leaf incident with the vertex of degree 4.

So assume second there is an edge ds disjoint from T. Since one can pair it with ab, edge ds must be properly colored and neither end is color 1. Since one can pair it with ac, one end must have color 2. Further, no isolated vertex w of GT can have color 1 or 2, since V(T) ∪ {w} contains a 2K2. In particular, GT is bipartite with bipartition (D,S), where d and every other vertex in D has color 2, while s and every other vertex in S has color distinct from {1, 2}.

Note that none of {a, b, c} can have a neighbor in D. Therefore, if neither a nor b has a neighbor in S, then we are in case (ii). So assume one of them, say a, has a neighbor e in S, say of color 3. Note that possibly e = s.

Then consider any vertex v other than {a, b, c, d, e}. Suppose it has a color not in {1, 2, 3}. By potential pairing with ae or ac, it follows that all neighbors of v have color 1 (so in particular vs) and then there is a contradiction from pairing with ds. That is, all vertices other than a, b have colors from {2, 3}.

It follows that the nontrivial component in G − {a, b} is a star. Now, note that if both b and c have degree 2, we are in case (ii) of the theorem. So either b is adjacent to d, or c is adjacent to s. In the first case we get the reduced graph F3 or possibly with edge removed so that it is just K4eK2 (in which case G is covered by case (iii)). In the second case we get F4. And one can check that all remaining vertices are clones of existing leaves. □

Finally suppose that all triangles are monochromatic. Then there can be only one. Indeed it must be an isolated component, while the remainder of the graph is bipartite, so that we are in case (iii).

This completes the proof of Theorem. □

4.3 General stars

Consider colorings where every copy of fK2 has a colors.

We start with the case that a = 2. Theorem 4.1 showed that if G is connected and a valid coloring exists, then W(G,2K2,{2}) ≤ 2. (We do need the connectivity, since the disjoint union of copies of K3 has a valid coloring but each triangle must have a different color.) The analogue of Theorem 4.1 for more edges turns out to be simpler.

Theorem 4.6

Let f > 2. A graph G has a coloring where every fK2 receives two colors if and only if G has a bipartition (R, S) such that both R and S induce subgraphs with matching number less than f.

Proof

If G has such a bipartition then that coloring is a valid coloring. So, consider a graph G that has a valid coloring. In particular, consider a valid coloring of G that uses the fewest total number of colors, and suppose that total is more than two.

Then G has vertices of three colors, say colors 1, 2, and 3. Consider recoloring every vertex of color 2 with color 1. This cannot increase the number of colors in any copy of fK2, but by minimality this coloring is invalid. That means that in G there must be a copy F12 of fK2 with colors 1 and 2.

Consider a vertex v of color 3 with neighbor w say. If w is disjoint from F12, then we can take vw, an edge of F12 containing color 1 and an edge of F12 containing color 2 and f − 3 more edges of F12, and so obtain a bad fK2. So w must be in F12. In particular, there is no edge where both ends are color 3.

By similar logic, there is no monochromatic edge of any color. But that means every edge of F12 is properly colored. And so vw and f − 1 disjoint edges of F12 produces a bad fK2, a contradiction. Thus, G has a valid coloring using only two colors. □

We end with some comments about the general case.

Theorem 4.7

Consider colorings where every fK2 has a colors. One can color mK2 for all m if and only if a ∈ {1, 2, f, f + 1, 2f}.

Proof

The colorings are as follows. For a = 1 give all vertices the same color; for a = 2 properly color each edge with red and sapphire; for a = f color all edges monochromatically but with different colors; for a = f+1 color all edges properly with one end red and the other end a unique color; and for a = 2f give all vertices different colors.

Now consider a coloring of mK2 for m large. One can obtain arbitrarily large collection of edges such that are either all edges are monochromatic or all are properly colored. In the former case we can further find large collection of edges that either are all the same color or are all different colors. Thus for the coloring to be valid we need a ∈ {1, f}.

So assume all the edges in the collection are properly colored. Again we can find a large collection such that either all have the same pattern or all have different patterns. In the former case it follows that a = 2. So assume the latter case. We can then find a large collection where every edge ei has (at least one) end of color i. For the other end, we can again assume that they are all the same color or all different colors. In the former case we need a = f+1. In the latter case we can again prune so that each color appears on only one edge, and so a = 2f. □

We saw in the proof of Theorem 4.2 that the 5-cycle does not have a coloring where every 2K2 receives three colors.

This can be generalized.

Lemma 4.8

Consider colorings where every fK2 has a colors. One can color all odd cycles if and only if a ∈ {1, 2, 2f}. One can color all even cycles if and only if a ∈{1, 2, f+1, 2f}.

Proof

The result is clear for a = 1 and a = 2f (color all vertices the same or all different). To do a = 2 (assuming f > 1), color every alternate vertices with red and sapphire except that possibly one pair of adjacent vertices receive the same color. To do a = f (assuming f > 2) in a large cycle, every edge must have a different monochromatic coloring, which is impossible. To do a = f+1 (assuming f > 1) in a large cycle, every edge must have the same color pattern but be properly colored. So the cycle length must be even. □

For example, for F = 3K2 the above lemma shows that the cycle length is bounded for colorings where a∈{3, 5}. If every 3K2 receives three colors, then the longest cycle colorable is the 10-cycle: color red a vertex v and the two vertices at distance two from it, color sapphire the vertex v′ opposite v and the two vertices at distance two from it, and color the remaining vertices taupe. If every 3K2 receives five colors, then the only cycle of length more than 6 that can be colored is the 8-cycle: color red a vertex u and the vertex u′ opposite u, color sapphire the two vertices adjacent to neither u nor u′, and give the remaining vertices unique colors. It can also be shown that the cycle length is bounded even if A = {3, 5}.

5 Conclusion

We proposed RASH colorings, where every copy of a specified graph F has a restriction on the number of colors it receives. We focused on the case that F is a star or is 1-regular. It would be interesting to explore RASH colorings where the restricted subgraph is a path or cycle. Another direction is suggested by the case of F = K1,r and A = {r} in r-regular graphs. These are colorings where every closed neighborhood has precisely one repeated color; see [13].

References

[1] Mihók P., On vertex partition numbers of graphs, In Graphs and other combinatorial topics (Prague, 1982), volume 59 of Teubner-Texte Math., pages 183–188. 1983Suche in Google Scholar

[2] Borowiecki M., Broere I., Frick M., Mihók P., Semanišin G., A survey of hereditary properties of graphs, Discuss. Math. Graph Theory, 17 (1997), 5–5010.7151/dmgt.1037Suche in Google Scholar

[3] Cowen L., Goddard W., Jesurum C., Defective coloring revisited, J. Graph Theory, 24 (1997), 205–21910.1002/(SICI)1097-0118(199703)24:3<205::AID-JGT2>3.0.CO;2-TSuche in Google Scholar

[4] Alon N., Ding G., Oporowski B., Vertigan D., Partitioning into graphs with only small components, J. Combin. Theory Ser. B, 87 (2003), 231–24310.1016/S0095-8956(02)00006-0Suche in Google Scholar

[5] Bujtás C., Sampathkumar E., Tuza Z., Subramanya M., Dominic C., 3-consecutive C-colorings of graphs, Discuss. Math. Graph Theory, 30 (2010), 393–40510.7151/dmgt.1502Suche in Google Scholar

[6] Bujtás C., Sampathkumar E., Tuza Z., Dominic C., Pushpalatha L., Vertex coloring without large polychromatic stars, Discrete Math., 312 (2012), 2102–210810.1016/j.disc.2011.04.013Suche in Google Scholar

[7] Goddard W., Xu H., Vertex colorings without rainbow subgraphs, Discuss. Math. Graph Theory, 36 (2016), 989–100510.7151/dmgt.1896Suche in Google Scholar

[8] Goddard W., Wash K., Xu H., Worm colorings, Discuss. Math. Graph Theory, 35 (2015), 571–58410.7151/dmgt.1814Suche in Google Scholar

[9] Voloshin V., On the upper chromatic number of a hypergraph, Australasian J. Comb., 11 (1995), 25–45Suche in Google Scholar

[10] Tuza Z., Voloshin V., Problems and results on colorings of mixed hypergraphs, In Horizons of combinatorics, volume 17 of Bolyai Soc. Math. Stud., pages 235–255. 200810.1007/978-3-540-77200-2_12Suche in Google Scholar

[11] Bujtás C., Tuza Z., K3-worm colorings of graphs: Lower chromatic number and gaps in the chromatic spectrum, Discuss. Math. Graph Theory, 36 (2016), 759–77210.7151/dmgt.1891Suche in Google Scholar

[12] Lovász L., On decomposition of graphs, Studia Sci. Math. Hungar., 1 (1966), 237–238Suche in Google Scholar

[13] Goddard W., Melville R., Xu H., Almost injective colorings, To appear in Discuss. Math. Graph TheorySuche in Google Scholar

[14] Kostochka A., Stodolsky B., On domination in connected cubic graphs, Discrete Math., 304 (2005), 45–5010.1016/j.disc.2005.07.005Suche in Google Scholar

Received: 2016-9-2
Accepted: 2017-8-17
Published Online: 2017-9-22

© 2017 Goddard and Melville

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Artikel in diesem Heft

  1. Regular Articles
  2. Integrals of Frullani type and the method of brackets
  3. Regular Articles
  4. Edge of chaos in reaction diffusion CNN model
  5. Regular Articles
  6. Calculus using proximities: a mathematical approach in which students can actually prove theorems
  7. Regular Articles
  8. An investigation on hyper S-posets over ordered semihypergroups
  9. Regular Articles
  10. The Leibniz algebras whose subalgebras are ideals
  11. Regular Articles
  12. Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions
  13. Regular Articles
  14. Matrix rank and inertia formulas in the analysis of general linear models
  15. Regular Articles
  16. The hybrid power mean of quartic Gauss sums and Kloosterman sums
  17. Regular Articles
  18. Tauberian theorems for statistically (C,1,1) summable double sequences of fuzzy numbers
  19. Regular Articles
  20. Some properties of graded comultiplication modules
  21. Regular Articles
  22. The characterizations of upper approximation operators based on special coverings
  23. Regular Articles
  24. Bi-integrable and tri-integrable couplings of a soliton hierarchy associated with SO(4)
  25. Regular Articles
  26. Dynamics for a discrete competition and cooperation model of two enterprises with multiple delays and feedback controls
  27. Regular Articles
  28. A new view of relationship between atomic posets and complete (algebraic) lattices
  29. Regular Articles
  30. A class of extensions of Restricted (s, t)-Wythoff’s game
  31. Regular Articles
  32. New bounds for the minimum eigenvalue of 𝓜-tensors
  33. Regular Articles
  34. Shintani and Shimura lifts of cusp forms on certain arithmetic groups and their applications
  35. Regular Articles
  36. Empirical likelihood for quantile regression models with response data missing at random
  37. Regular Articles
  38. Convex combination of analytic functions
  39. Regular Articles
  40. On the Yang-Baxter-like matrix equation for rank-two matrices
  41. Regular Articles
  42. Uniform topology on EQ-algebras
  43. Regular Articles
  44. Integrations on rings
  45. Regular Articles
  46. The quasilinear parabolic kirchhoff equation
  47. Regular Articles
  48. Avoiding rainbow 2-connected subgraphs
  49. Regular Articles
  50. On non-Hopfian groups of fractions
  51. Regular Articles
  52. Singularly perturbed hyperbolic problems on metric graphs: asymptotics of solutions
  53. Regular Articles
  54. Rings in which elements are the sum of a nilpotent and a root of a fixed polynomial that commute
  55. Regular Articles
  56. Superstability of functional equations related to spherical functions
  57. Regular Articles
  58. Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
  59. Regular Articles
  60. Weighted minimal translation surfaces in the Galilean space with density
  61. Regular Articles
  62. Complete convergence for weighted sums of pairwise independent random variables
  63. Regular Articles
  64. Binomials transformation formulae for scaled Fibonacci numbers
  65. Regular Articles
  66. Growth functions for some uniformly amenable groups
  67. Regular Articles
  68. Hopf bifurcations in a three-species food chain system with multiple delays
  69. Regular Articles
  70. Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients
  71. Regular Articles
  72. Osculating curves in 4-dimensional semi-Euclidean space with index 2
  73. Regular Articles
  74. Some new facts about group 𝒢 generated by the family of convergent permutations
  75. Regular Articles
  76. lnfinitely many solutions for fractional Schrödinger equations with perturbation via variational methods
  77. Regular Articles
  78. Supersolvable orders and inductively free arrangements
  79. Regular Articles
  80. Asymptotically almost automorphic solutions of differential equations with piecewise constant argument
  81. Regular Articles
  82. Finite groups whose all second maximal subgroups are cyclic
  83. Regular Articles
  84. Semilinear systems with a multi-valued nonlinear term
  85. Regular Articles
  86. Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain
  87. Regular Articles
  88. Calibration and simulation of Heston model
  89. Regular Articles
  90. One kind sixth power mean of the three-term exponential sums
  91. Regular Articles
  92. Cyclic pairs and common best proximity points in uniformly convex Banach spaces
  93. Regular Articles
  94. The uniqueness of meromorphic functions in k-punctured complex plane
  95. Regular Articles
  96. Normalizers of intermediate congruence subgroups of the Hecke subgroups
  97. Regular Articles
  98. The hyperbolicity constant of infinite circulant graphs
  99. Regular Articles
  100. Scott convergence and fuzzy Scott topology on L-posets
  101. Regular Articles
  102. One sided strong laws for random variables with infinite mean
  103. Regular Articles
  104. The join of split graphs whose completely regular endomorphisms form a monoid
  105. Regular Articles
  106. A new branch and bound algorithm for minimax ratios problems
  107. Regular Articles
  108. Upper bound estimate of incomplete Cochrane sum
  109. Regular Articles
  110. Value distributions of solutions to complex linear differential equations in angular domains
  111. Regular Articles
  112. The nonlinear diffusion equation of the ideal barotropic gas through a porous medium
  113. Regular Articles
  114. The Sheffer stroke operation reducts of basic algebras
  115. Regular Articles
  116. Extensions and improvements of Sherman’s and related inequalities for n-convex functions
  117. Regular Articles
  118. Classification lattices are geometric for complete atomistic lattices
  119. Regular Articles
  120. Possible numbers of x’s in an {x, y}-matrix with a given rank
  121. Regular Articles
  122. New error bounds for linear complementarity problems of weakly chained diagonally dominant B-matrices
  123. Regular Articles
  124. Boundedness of vector-valued B-singular integral operators in Lebesgue spaces
  125. Regular Articles
  126. On the Golomb’s conjecture and Lehmer’s numbers
  127. Regular Articles
  128. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima
  129. Regular Articles
  130. Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  131. Regular Articles
  132. Corrigendum to: Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  133. Regular Articles
  134. Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
  135. Regular Articles
  136. Triple solutions for a Dirichlet boundary value problem involving a perturbed discrete p(k)-Laplacian operator
  137. Regular Articles
  138. OD-characterization of alternating groups Ap+d
  139. Regular Articles
  140. On Jordan mappings of inverse semirings
  141. Regular Articles
  142. On generalized Ehresmann semigroups
  143. Regular Articles
  144. On topological properties of spaces obtained by the double band matrix
  145. Regular Articles
  146. Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions
  147. Regular Articles
  148. Chain conditions on composite Hurwitz series rings
  149. Regular Articles
  150. Coloring subgraphs with restricted amounts of hues
  151. Regular Articles
  152. An extension of the method of brackets. Part 1
  153. Regular Articles
  154. Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs
  155. Regular Articles
  156. Strong edge geodetic problem in networks
  157. Regular Articles
  158. Ricci solitons on almost Kenmotsu 3-manifolds
  159. Regular Articles
  160. Uniqueness of meromorphic functions sharing two finite sets
  161. Regular Articles
  162. On the fourth-order linear recurrence formula related to classical Gauss sums
  163. Regular Articles
  164. Dynamical behavior for a stochastic two-species competitive model
  165. Regular Articles
  166. Two new eigenvalue localization sets for tensors and theirs applications
  167. Regular Articles
  168. κ-strong sequences and the existence of generalized independent families
  169. Regular Articles
  170. Commutators of Littlewood-Paley gκ -functions on non-homogeneous metric measure spaces
  171. Regular Articles
  172. On decompositions of estimators under a general linear model with partial parameter restrictions
  173. Regular Articles
  174. Groups and monoids of Pythagorean triples connected to conics
  175. Regular Articles
  176. Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
  177. Regular Articles
  178. Numerical methods for the multiplicative partial differential equations
  179. Regular Articles
  180. Solvable Leibniz algebras with NFn Fm1 nilradical
  181. Regular Articles
  182. Evaluation of the convolution sums ∑al+bm=n lσ(l) σ(m) with ab ≤ 9
  183. Regular Articles
  184. A study on soft rough semigroups and corresponding decision making applications
  185. Regular Articles
  186. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications
  187. Regular Articles
  188. Deficiency of forests
  189. Regular Articles
  190. Perfect codes in power graphs of finite groups
  191. Regular Articles
  192. A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations
  193. Regular Articles
  194. Does any convex quadrilateral have circumscribed ellipses?
  195. Regular Articles
  196. The dynamic of a Lie group endomorphism
  197. Regular Articles
  198. On pairs of equations in unlike powers of primes and powers of 2
  199. Regular Articles
  200. Differential subordination and convexity criteria of integral operators
  201. Regular Articles
  202. Quantitative relations between short intervals and exceptional sets of cubic Waring-Goldbach problem
  203. Regular Articles
  204. On θ-commutators and the corresponding non-commuting graphs
  205. Regular Articles
  206. Quasi-maximum likelihood estimator of Laplace (1, 1) for GARCH models
  207. Regular Articles
  208. Multiple and sign-changing solutions for discrete Robin boundary value problem with parameter dependence
  209. Regular Articles
  210. Fundamental relation on m-idempotent hyperrings
  211. Regular Articles
  212. A novel recursive method to reconstruct multivariate functions on the unit cube
  213. Regular Articles
  214. Nabla inequalities and permanence for a logistic integrodifferential equation on time scales
  215. Regular Articles
  216. Enumeration of spanning trees in the sequence of Dürer graphs
  217. Regular Articles
  218. Quotient of information matrices in comparison of linear experiments for quadratic estimation
  219. Regular Articles
  220. Fourier series of functions involving higher-order ordered Bell polynomials
  221. Regular Articles
  222. Simple modules over Auslander regular rings
  223. Regular Articles
  224. Weighted multilinear p-adic Hardy operators and commutators
  225. Regular Articles
  226. Guaranteed cost finite-time control of positive switched nonlinear systems with D-perturbation
  227. Regular Articles
  228. A modified quasi-boundary value method for an abstract ill-posed biparabolic problem
  229. Regular Articles
  230. Extended Riemann-Liouville type fractional derivative operator with applications
  231. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  232. The algebraic size of the family of injective operators
  233. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  234. The history of a general criterium on spaceability
  235. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  236. On sequences not enjoying Schur’s property
  237. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  238. A hierarchy in the family of real surjective functions
  239. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  240. Dynamics of multivalued linear operators
  241. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  242. Linear dynamics of semigroups generated by differential operators
  243. Special Issue on Recent Developments in Differential Equations
  244. Isomorphism theorems for some parabolic initial-boundary value problems in Hörmander spaces
  245. Special Issue on Recent Developments in Differential Equations
  246. Determination of a diffusion coefficient in a quasilinear parabolic equation
  247. Special Issue on Recent Developments in Differential Equations
  248. Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
  249. Special Issue on Recent Developments in Differential Equations
  250. A nonlinear plate control without linearization
  251. Special Issue on Recent Developments in Differential Equations
  252. Reduction of a Schwartz-type boundary value problem for biharmonic monogenic functions to Fredholm integral equations
  253. Special Issue on Recent Developments in Differential Equations
  254. Inverse problem for a physiologically structured population model with variable-effort harvesting
  255. Special Issue on Recent Developments in Differential Equations
  256. Existence of solutions for delay evolution equations with nonlocal conditions
  257. Special Issue on Recent Developments in Differential Equations
  258. Comments on behaviour of solutions of elliptic quasi-linear problems in a neighbourhood of boundary singularities
  259. Special Issue on Recent Developments in Differential Equations
  260. Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application
  261. Special Issue on Recent Developments in Differential Equations
  262. Existence of entropy solutions for nonlinear elliptic degenerate anisotropic equations
  263. Special Issue on Recent Developments in Differential Equations
  264. Integro-differential systems with variable exponents of nonlinearity
  265. Special Issue on Recent Developments in Differential Equations
  266. Elliptic operators on refined Sobolev scales on vector bundles
  267. Special Issue on Recent Developments in Differential Equations
  268. Multiplicity solutions of a class fractional Schrödinger equations
  269. Special Issue on Recent Developments in Differential Equations
  270. Determining of right-hand side of higher order ultraparabolic equation
  271. Special Issue on Recent Developments in Differential Equations
  272. Asymptotic approximation for the solution to a semi-linear elliptic problem in a thin aneurysm-type domain
  273. Topical Issue on Metaheuristics - Methods and Applications
  274. Learnheuristics: hybridizing metaheuristics with machine learning for optimization with dynamic inputs
  275. Topical Issue on Metaheuristics - Methods and Applications
  276. Nature–inspired metaheuristic algorithms to find near–OGR sequences for WDM channel allocation and their performance comparison
  277. Topical Issue on Cyber-security Mathematics
  278. Monomial codes seen as invariant subspaces
  279. Topical Issue on Cyber-security Mathematics
  280. Expert knowledge and data analysis for detecting advanced persistent threats
  281. Topical Issue on Cyber-security Mathematics
  282. Feedback equivalence of convolutional codes over finite rings
Heruntergeladen am 9.9.2025 von https://www.degruyterbrill.com/document/doi/10.1515/math-2017-0098/html
Button zum nach oben scrollen