List coloring

In graph theory, a branch of mathematics, list coloring is a type of graph coloring where each vertex can be restricted to a list of allowed colors, first studied by Vizing [1] and by Erdős, Rubin, and Taylor.[2][3][4]

Definition

Given a graph G and given a set L(v) of colors for each vertex v (called a list), a list coloring is a choice function that maps every vertex v to a color in the list L(v). As with graph coloring, a list coloring is generally assumed to be proper, meaning no two adjacent vertices receive the same color. A graph is k-choosable (or k-list-colorable) if it has a proper list coloring no matter how one assigns a list of k colors to each vertex. The choosability (or list colorability or list chromatic number) ch(G) of a graph G is the least number k such that G is k-choosable.

More generally, for a function f assigning a positive integer f(v) to each vertex v, a graph G is f-choosable (or f-list-colorable) if it has a list coloring no matter how one assigns a list of f(v) colors to each vertex v. In particular, if f(v) = k for all vertices v, f-choosability corresponds to k-choosability.

Example

A list coloring instance on the complete bipartite graph K3,27 with three colors per vertex. No matter which colors are chosen for the three central vertices, one of the outer 27 vertices will be uncolorable, showing that the list chromatic number of K3,27 is at least four.

Let q be a positive integer, and let G be the complete bipartite graph Kq,qq. Let the available colors be represented by the q2 different two-digit numbers in radix q. On one side of the bipartition, let the q vertices be given sets of colors {i0, i1, i2, ...} in which the first digits are equal to each other, for each of the q possible choices of the first digit i. On the other side of the bipartition, let the qq vertices be given sets of colors {0a, 1b, 2c, ...} in which the first digits are all distinct, for each of the qq possible choices of the q-tuple (a, b, c, ...). For instance, for q = 2, this construction produces the graph K2,4. In this graph, the two vertices on one side of the bipartition have color sets {00,01} and {10,11} and the four vertices on the other side of the bipartition have color sets {00,10}, {00,11}, {01,10}, and {01,11}. The illustration shows a larger example of the same construction, with q = 3.

Then, G does not have a list coloring for L: no matter what set of colors is chosen for the vertices on the small side of the bipartition, this choice will conflict with all of the colors for one of the vertices on the other side of the bipartition. For instance if the vertex with color set {00,01} is colored 01, and the vertex with color set {10,11} is colored 10, then the vertex with color set {01,10} cannot be colored. Therefore, the list chromatic number of G is at least q + 1.[5]

Similarly, if n=\binom{2k-1}{k}, then the complete bipartite graph Kn,n is not k-choosable. For, suppose that 2k − 1 colors are available in total, and that, on a single side of the bipartition, each vertex has available to it a different k-tuple of these colors than each other vertex. Then, each side of the bipartition must use at least k colors, for otherwise some vertex would remain uncolored, but this implies that some two adjacent vertices have the same color. In particular, the utility graph K3,3 has chromatic index at least three, and the graph K10,10 has chromatic index at least four.[2]

Properties

Choosability ch(G) satisfies the following properties for a graph G with n vertices, chromatic number χ(G), and maximum degree Δ(G):

  1. ch(G) ≥ χ(G). A k-list-colorable graph must in particular have a list coloring when every vertex is assigned the same list of k colors, which corresponds to a usual k-coloring.
  2. ch(G) cannot be bounded in terms of chromatic number in general, that is, ch(G) ≤ f(χ(G)) does not hold in general for any function f. In particular, as the complete bipartite graph examples show, there exist graphs with χ(G) = 2 but with ch(G) arbitrarily large.[5]
  3. ch(G) ≤ χ(G) ln(n).[6][7]
  4. ch(G) ≤ Δ(G) + 1.[1][2]
  5. ch(G) ≤ 5 if G is a planar graph.[8]
  6. ch(G) ≤ 3 if G is a bipartite planar graph.[9]

Computing choosability and (a,b)-choosability

Two algorithmic problems have been considered in the literature:

  1. k-choosability: decide whether a given graph is k-choosable for a given k, and
  2. (j,k)-choosability: decide whether a given graph is f-choosable for a given function f : V \to \{j,\dots,k\}.

It is known that k-choosability in bipartite graphs is \Pi^p_2-complete for any k ≥ 3, and the same applies for 4-choosability in planar graphs, 3-choosability in planar triangle-free graphs, and (2,3)-choosability in bipartite planar graphs.[3][10] For P5-free graphs, that is, graphs excluding a 5-vertex path graph, k-choosability is fixed-parameter tractable. [11]

It is possible to test whether a graph is 2-choosable in linear time by repeatedly deleting vertices of degree zero or one until reaching the 2-core of the graph, after which no more such deletions are possible. The initial graph is 2-choosable if and only if its 2-core is either an even cycle or a theta graph formed by three paths with shared endpoints, with two paths of length two and the third path having any even length.[2]

Applications

List coloring arises in practical problems concerning channel/frequency assignment.[12][13]

See also

Look up choosability in Wiktionary, the free dictionary.

References

  1. ↑ 1.0 1.1 Vizing, V. G. (1976), "Vertex colorings with given colors", Metody Diskret. Analiz. (in Russian) 29: 3–10
  2. ↑ 2.0 2.1 2.2 2.3 Erdős, P.; Rubin, A. L.; Taylor, H. (1979), "Choosability in graphs", Proc. West Coast Conference on Combinatorics, Graph Theory and Computing, Arcata, Congressus Numerantium 26, pp. 125–157
  3. ↑ 3.0 3.1 Gutner, Shai (1996), "The complexity of planar graph choosability", Discrete Mathematics 159 (1): 119–130, arXiv:0802.2668, doi:10.1016/0012-365X(95)00104-5.
  4. ↑ Jensen, Tommy R.; Toft, Bjarne (1995), Graph coloring problems, New York: Wiley-Interscience, ISBN 0-471-02865-7
  5. ↑ 5.0 5.1 Gravier, Sylvain (1996), "A Hajós-like theorem for list coloring", Discrete Mathematics 152 (1-3): 299–302, doi:10.1016/0012-365X(95)00350-6, MR 1388650.
  6. ↑ Eaton, Nancy (2003), "On two short proofs about list coloring - Part 1", Talk, retrieved May 29, 2010
  7. ↑ Eaton, Nancy (2003), "On two short proofs about list coloring - Part 2", Talk, retrieved May 29, 2010
  8. ↑ Thomassen, Carsten (1994), "Every planar graph is 5-choosable", Journal of Combinatorial Theory, Series B 62: 180–181, doi:10.1006/jctb.1994.1062
  9. ↑ Alon, Noga; Tarsi, Michael (1992), "Colorings and orientations of graphs", Combinatorica 12: 125–134, doi:10.1007/BF01204715
  10. ↑ Gutner, Shai; Tarsi, Michael (2009), "Some results on (a:b)-choosability", Discrete Mathematics 309 (8): 2260–2270, doi:10.1016/j.disc.2008.04.061
  11. ↑ Heggernes, Pinar; Golovach, Petr (2009), "Choosability of P5-free graphs", Mathematical Foundations of Computer Science, Lecture Notes on Computer Science 5734, Springer-Verlag, pp. 382–391
  12. ↑ Wang, Wei; Liu, Xin (2005), "List-coloring based channel allocation for open-spectrum wireless networks", 2005 IEEE 62nd Vehicular Technology Conference (VTC 2005-Fall) 1, pp. 690–694, doi:10.1109/VETECF.2005.1558001.
  13. ↑ Garg, N.; Papatriantafilou, M.; Tsigas, P. (1996), "Distributed list coloring: how to dynamically allocate frequencies to mobile base stations", Eighth IEEE Symposium on Parallel and Distributed Processing, pp. 18–25, doi:10.1109/SPDP.1996.570312.

Further reading