Section: New Results
Structural Graph Theory
Participants : Julio Araújo, Jean-Claude Bermond, Frédéric Havet, Nicolas Nisse, Ana Karolinna Maia de Oliveira, Stéphane Pérennes.
Graph colouring and applications
Graph colouring is a central problem in graph theory and it has a huge number of applications in various scientific domains (telecommunications, scheduling, bio-informatics, ...). We mainly study graph colouring problems that model ressource allocation problems.
A well-known channel assignment problem is the following: we are given a graph , whose vertices correspond to transmitters, together with an edge-weghting . The weight of an edge corresponds to the minimum separation between the channels on its endvertices to avoid interferences. (If there is no edge, no separation is required, the transmitters do not interfere.) We need to assign positive integers (corresponding to channels) to the vertices so that for every edge the channels assigned to its endvertices differ by at least . The goal is to minimize the largest integer used, which corresponds to minimizing the span of the used bandwidth.
We studied a particular, yet quite general, case, called backbone colouring, in which there are only two levels of interference. So we are given a graph and a subgraph , called the backone. Two adjacent vertices in must get integers at least apart, while adjacent vertices in must get integers at distance at least 1. The minimum span is this case is called the -backbone chromatic number and is denoted . Backbone forests in planar graphs are of particular interests. In  , we prove that if is planar and is a tree of diameter at most 4, then hence giving an evidence to a conjecture of Broersma et al.  stating that the same holds if has an arbitrary diameter.
We also studied weighted colouring which models various problems of shared resources allocation. Given a vertex-weighted graph and a (proper) -colouring of , the weight of a colour class is the maximum weight of a vertex coloured and the weight of is the sum of the weights of its colour classes. The objective of the Weighted Colouring Problem is, given a vertex-weighted graph , to determine the minimum weight of a proper colouring of , that is, its weighted chromatic number. In  , we prove that the Weighted Colouring Problem admits a version of Hajós' Theorem and so we show a necessary and sufficient condition for the weighted chromatic number of a vertex-weighted graph to be at least , for any positive real . The Weighted Colouring Problem problem remains NP-complete in some particular graph classes as bipartite graphs. In their seminal paper  , Guan and Zhu asked whether the weighted chromatic number of bounded tree-width graphs (partial -trees) can be computed in polynomial-time. Surprisingly, the time-complexity of computing this parameter in trees is still open. We show  that, assuming the Exponential Time Hypothesis (3-SAT cannot be solved in sub-exponential time), the best algorithm to compute the weighted chromatic number of -node trees has time-complexity . Our result mainly relies on proving that, when computing an optimal proper weighted colouring of a graph , it is hard to combine colourings of its connected components, even when is a forest.
Since many applications, and in particular channel assignment problems, must be solved on-line, we studied on-line colouring algorithms. The most basic and most widespread of them is the greedy algorithm. The largest number of colours that can be given by the greedy algorithm on some graph. is called its Grundy number and is denoted . Trivially , where is the maximum degree of the graph. In  , we show that deciding if is NP-complete. We then show that deciding if is fixed-parameter tractable with respect to the parameter . We also gave similar complexity results on -colourings, which is a manner of improving colourings on-line.
In  , we study a game version of greedy colouring. Given a graph , two players, Alice and Bob, alternate their turns in choosing uncoloured vertices to be coloured. Whenever an uncoloured vertex is chosen, it is coloured by the least positive integer not used by any of its coloured neighbors. Alice's goal is to minimize the total number of colours used in the game, and Bob's goal is to maximize it. The game Grundy number of is the number of colours used in the game when both players use optimal strategies. It is proved in this paper that the maximum game Grundy number of forests is 3, and the game Grundy number of any partial 2-tree is at most 7.
Enumerating edge-colourings and total colourings
With the success of moderately exponential algorithms, there is an increasing interest for enumeration problems, because of their own interest but also because they might be crucial to solve optimization problems. In  , we are interested in computing the number of edge colourings and total colourings of a connected graph. We prove that the maximum number of -edge-colourings of a connected -regular graph on vertices is . Our proof is constructive and leads to a branching algorithm enumerating all the -edge-colourings of a connected -regular graph in time and polynomial space. In particular, we obtain a algorithm to enumerate all the 3-edge-colourings of a connected cubic graph in time and polynomial space. This improves the running time of of the algorithm of Golovach et al.  . We also show that the number of 4-total-colourings of a connected cubic graph is at most . Again, our proof yields a branching algorithm to enumerate all the 4-total-colourings of a connected cubic graph.
Graph theory can be roughly partitioned into two branches: the areas of undirected graphs and directed graphs (digraphs). Even though both areas have numerous important applications, for various reasons, undirected graphs have been studied much more extensively than directed graphs. One of the reasons is that many problems for digraphs are much more difficult than their analogues for undirected graphs.
Finding a subdivision of a digraph
One of the cornerstones of modern (undirected) graph theory is minor theory of Robertson and Seymour. Unfortunately, we cannot expect an equivalent for directed graphs. Minor theory implies in particular that, for any fixed , detecting a subdivision of a fixed graph in an input graph can be performed in polynomial time by the Robertson and Seymour linkage algorithm. In contrast, the analogous subdivision problem for digraph can be either polynomial-time solvable or NP-complete, depending on the fixed digraph . In a previous paper, we gave a number of examples of polynomial instances, several NP-completeness proofs as well as a number of conjectures and open problems. In  , we conjecture that, for every integer greater than 1, the directed cycles of length at least have the Erdős-Pósa Property : for every , there exists an integer such that for every digraph , either contains disjoint directed cycles of length at least , or there is a set of vertices that meets every directed cycle of length at least . This generalizes a celebrated result of Reed, Robertson, Seymour and Thomas which is the case of this conjecture. We prove the conjecture for . We also show that the directed -Linkage problem is polynomial-time solvable for digraphs with circumference at most 2. From these two results, we deduce that if is the disjoint union of directed cycles of length at most 3, then one can decide in polynomial time if a digraph contains a subdivision of .
Oriented trees in digraphs
Let be the smallest integer such that every -chromatic digraph contains every oriented tree of order . Burr proved in general, and he conjectured . Burr also proved that every -chromatic digraph contains every antidirected tree. We improve both of Burr's bounds. We show  that and that every antidirected tree of order is contained in every -chromatic digraph. We also make a conjecture that explains why antidirected trees are easier to handle. It states that if , then the digraph contains every antidirected tree of order . This is a common strengthening of both Burr's conjecture for antidirected trees and the celebrated Erdős-Sós Conjecture. The analogue of our conjecture for general trees is false, no matter what function is used in place of . We prove our conjecture for antidirected trees of diameter 3 and present some other evidence for it. Along the way, we show that every acyclic -chromatic digraph contains every oriented tree of order and suggest a number of approaches for making further progress on Burr's conjecture.