Coloring planar perfect graphs by decomposition

Planar Graphs. Graphs on Higher Surfaces. Degrees. Critical Graphs. The Conjectures of Hadwiger and Hajos. Sparse Graphs. Perfect Graphs. Geometric and Combinatorial Graphs. Algorithms. Constructions. Edge Colorings. Orientations and Flows. Chromatic Polynomials. Hypergraphs. Infinite Chromatic Graphs. Miscellaneous Problems. Indexes.

Our algorithm assumes that the perfect planar graph is presented in the form of a planar drawing. However, this is not strictly necessary, for by [11] the problem of constructing a planar drawing of a planar graph is in NC; in particular, this problem can be solved in O(log2 n) time using O(n) processors on a CREW PRAM.

We study the unitary Cayley graph associated to an arbitrary finite ring, determining precisely its diameter, girth, eigenvalues, vertex and edge connectivity, and vertex and edge chromatic number. We also compute its automorphism group, settling a question of Klotz and Sander. In addition, we classify all planar graphs and perfect graphs within this class.

This paper studies the maximum-clique independence problem and some variations of the clique transversal problem such as the {k}-clique, maximum-clique, minus clique, signed clique, and k-fold clique transversal problems from algorithmic aspects for k-trees, suns, planar graphs, doubly chordal graphs, clique perfect graphs, total graphs, split graphs, line graphs, and dually chordal graphs. We give equations to compute the {k}-clique, minus clique, signed clique, and k-fold clique transversal numbers for suns, and show that the {k}-clique transversal problem is polynomial-time solvable for graphs whose clique transversal numbers equal their clique independence numbers. We also show the relationship between the signed and generalization clique problems and present NP-completeness results for the considered problems on k-trees with unbounded k, planar graphs, doubly chordal graphs, total graphs, split graphs, line graphs, and dually chordal graphs.

We introduce the notion of locally identifying coloring of a graph. A proper vertex-coloring $c$ of a graph $G$ is said to be locally identifying, if for any adjacent vertices $u$ and $v$ with distinct closed neighborhoods, the sets of colors that appear in the closed neighborhood of $u$ and $v$, respectively, are distinct. Let $\chi_{\rm{lid}}(G)$ be the minimum number of colors used in a locally identifying vertex-coloring of $G$. In this paper, we give several bounds on $\chi_{\rm{lid}}$ for different families of graphs (planar graphs, some subclasses of perfect graphs, graphs with bounded maximum degree) and prove that deciding whether $\chi_{\rm{lid}}(G)=3$ for a subcubic bipartite graph $G$ with large girth is an NP-complete problem.

The problem of deciding, given a graph G and two vertices s and t, whether there exists an induced path of given parity between s and t in G is known to be NP-complete. We show how to solve the problem in O(|V (G)|7) time, when the input graph is planar. We use techniques from the theory of graph minors as well as the theory of perfect graphs.

A (undirected) graph is locally irregular if no two of its adjacent vertices have the same degree. A decomposition of a graph G into k locally irregular subgraphs is a partition E_1,...,E_k of E(G) into k parts each of which induces a locally irregular subgraph. Not all graphs decompose into locally irregular subgraphs; however, it was conjectured that, whenever a graph does, it should admit such a decomposition into at most three locally irregular subgraphs. This conjecture was verified for a few graph classes in recent years. This work is dedicated to the decomposability of degenerate graphs with low degeneracy. Our main result is that decomposable k-degenerate graphs decompose into at most 3k+1 locally irregular subgraphs, which improves on previous results whenever k≤9. We improve this result further for some specific classes of degenerate graphs, such as bipartite cacti, k-trees, and planar graphs. Although our results provide only little progress towards the leading conjecture above, the main contribution of this work is rather the decomposition schemes and methods we introduce to prove these results.

We present a linear-time algorithm to compute a decomposition scheme for graphs G that have a set X ⊆ V ( G ), called a treewidth-modulator , such that the treewidth of G − X is bounded by a constant. Our decomposition, called a protrusion decomposition , is the cornerstone in obtaining the following two main results. Our first result is that any parameterized graph problem (with parameter k ) that has a finite integer index and such that Y es -instances have a treewidth-modulator of size O ( k ) admits a linear kernel on the class of H -topological-minor-free graphs, for any fixed graph H . This result partially extends previous meta-theorems on the existence of linear kernels on graphs of bounded genus and H -minor-free graphs. Let F be a fixed finite family of graphs containing at least one planar graph. Given an n -vertex graph G and a non-negative integer k , P lanar - F -D eletion asks whether G has a set X ⊆ V ( G ) such that | X | ⩽ k and G − X is H -minor-free for every H ϵ F . As our second application, we present the first single-exponential algorithm to solve P lanar - F -D eletion . Namely, our algorithm runs in time 2 O ( k ) · n 2 , which is asymptotically optimal with respect to k . So far, single-exponential algorithms were only known for special cases of the family F .