Let k ≥ 2 be a positive integer, and let d be a nonnegative integer. A graph G is d-improperly k-choosable, or simply, (k, d)-choosable if, for every list assignment L with |L(v)| ≥ k for every v ∈ V (G), there exists an L-coloring of G such that each vertex of G has at most d neighbors colored the same color as itself. It is known that every planar graph with cycles of length neither 4 nor k for some k ∈ {5, 6, 7, 8, 9} is (3, 1)-choosable. In this paper, we prove that every planar graph without cycles of length 4 is (3, 1)-choosable. This is best possible in the following two senses: (i) there are planar graphs which are not (3, 1)-colorable, hence not (3, 1)-choosable; (ii) there are planar graphs without 4-cycles which are not (3, 0)-colorable, hence not (3, 0)-choosable.
Introduction.All graphs considered in this paper are finite, simple, and undirected. For the used but undefined terminology and notation, we refer the reader to the book by Bondy and Murrty [3].Let G = (V, E) be a graph with the set of vertices V and the set of edgesThe classical colorability of a graph G now has various natural generalizations in the literature. Two of them are the so-called (k, d)-colorability, and list colorability or choosability.Let k ≥ 2 be a positive integer, and let d be a nonnegative integer. A graph G = (V, E) is (k, d)-colorable if G can be colored using k colors such that every vertex has at most d-neighbors colored the same as itself. In terms of (k, d)-colorability, some famous theorems and conjectures in the literature may be listed as follows:(1) Four color theorem [1, 2]: Every planar graph is (4, 0)-colorable.(2) Three color theorem [11]: Every triangle-free planar graph is (3, 0)-colorable.(3) Steinberg's conjecture [16]: Every planar graph with cycles of length neither 4 nor 5 is (3, 0)-colorable.(4) Bordeaux conjecture [4]: Every planar graph with neither adjacent triangles nor cycles of length 5 is (3, 0)-colorable.Below are two interesting known results on (k, d)-colorability of planar graphs.(5) The (3, 2)-colorability of planar graphs [5]: Every planar graph is (3, 2)-colorable.(6) A partial solution to Bordeaux conjecture [20]: Every planar graph with neither adjacent triangles nor cycles of length 5 is (3, 1)-colorable.As pointed out by the author of [20], (6) implies that if G is a planar graph with neither adjacent triangles nor cycles of length 5, then G has a matching M such that G − M is (3, 0)-colorable, thus providing a partial solution to Bordeaux conjecture.