Implementing path coloring algorithms on planar graphs

Master's Project (M.S.) University of Alaska Fairbanks, 2017A path coloring of a graph partitions its vertex set into color classes such that each class induces a disjoint union of paths. In this project we implement several algorithms to compute path colorings of graphs embedded in the plane. We present two algorithms to path color plane graphs with 3 colors based on a proof by Poh in 1990. First we describe a naive algorithm that directly follows Poh's procedure, then we give a modified algorithm that runs in linear time. Independent results of Hartman and Skrekovski describe a procedure that takes a plane graph G and a list of 3 colors for each vertex, and computes a path coloring of G such that each vertex receives a color from its list. We present a linear time implementation based on Hartman and Skrekovski's proofs. A C++ implementation is provided for all three algorithms, utilizing the Boost Graph Library. Instructions are given on how to use the implementation to construct colorings for plane graphs represented by Boost data structures

Minimal counterexamples and discharging method

Recently, the author found that there is a common mistake in some papers by using minimal counterexample and discharging method. We first discuss how the mistake is generated, and give a method to fix the mistake. As an illustration, we consider total coloring of planar or toroidal graphs, and show that: if $G$ is a planar or toroidal graph with maximum degree at most $\kappa - 1$, where $\kappa \geq 11$, then the total chromatic number is at most $\kappa$.Comment: 8 pages. Preliminary version, comments are welcom

Edge colorings of graphs on surfaces and star edge colorings of sparse graphs

In my dissertation, I present results on two types of edge coloring problems for graphs. For each surface Σ, we define ∆(Σ) = max{∆(G)| G is a class two graph with maximum degree ∆(G) that can be embedded in Σ}. Hence Vizing’s Planar Graph Conjecture can be restated as ∆(Σ) = 5 if Σ is a sphere. For a surface Σ with characteristic χ(Σ) ≤ 0, it is known ∆(Σ) ≥ H(χ(Σ))−1, where H(χ(Σ)) is the Heawood number of the surface, and if the Euler char- acteristic χ(Σ) ∈ {−7, −6, . . . , −1, 0}, ∆(Σ) is already known. I study critical graphs on general surfaces and show that (1) if G is a critical graph embeddable on a surface Σ with Euler character- istic χ(Σ) ∈ {−6, −7}, then ∆(Σ) = 10, and (2) if G is a critical graph embeddable on a surface Σ with Euler characteristic χ(Σ) ≤ −8, then ∆(G) ≤ H(χ(Σ)) (or H(χ(Σ))+1) for some special families of graphs, namely if the minimum degree is at most 11 or if ∆ is very large et al. As applications, we show that ∆(Σ) ≤ H (χ(Σ)) if χ(Σ) ∈ {−22, −21, −20, −18, −17, −15, . . . , −8}and ∆(Σ) ≤ H (χ(Σ)) + 1 if χ(Σ) ∈ {−53, . . . , 23, −19, −16}. Combining this with [19], it follows that if χ(Σ) = −12 and Σ is orientable, then ∆(Σ) = H(χ(Σ)). A star k-edge-coloring is a proper k-edge-coloring such that every connected bicolored sub- graph is a path of length at most 3. The star chromatic index χ′st(G) of a graph G is the smallest integer k such that G has a star k-edge-coloring. The list star chromatic index ch′st(G) is defined analogously. Bezegova et al. and Deng et al. independently proved that χ′ (T) ≤ 3∆ for anyst 2 tree T with maximum degree ∆. Here, we study the list star edge coloring and give tree-like bounds for (list) star chromatic index of sparse graphs. We show that if mad(G) \u3c 2.4, then χ′ (G)≤3∆+2andifmad(G)\u3c15,thench′ (G)≤3∆+1.Wealsoshowthatforeveryε\u3e0st 2 7 st 2 there exists a constant c(ε) such that if mad(G) \u3c 8 − ε, then ch′ (G) ≤ 3∆ + c(ε). We also3 st 2 find guaranteed substructures of graph with mad(G) \u3c 3∆ − ε which may be of interest in other2 problems for sparse graphs

List (d,1)-total labelling of graphs embedded in surfaces

The (d,1)-total labelling of graphs was introduced by Havet and Yu. In this paper, we consider the list version of (d,1)-total labelling of graphs. Let G be a graph embedded in a surface with Euler characteristic $\epsilon$ whose maximum degree $\Delta(G)$ is sufficiently large. We prove that the (d,1)-total choosability $C_{d,1}^T(G)$ of $G$ is at most $\Delta(G)+2d$.Comment: 6 page