Algorithmic Graph Theory

The main focus of this workshop was on mathematical techniques needed for the development of efficient solutions and algorithms for computationally difficult graph problems. The techniques studied at the workshhop included: the probabilistic method and randomized algorithms, approximation and optimization, structured families of graphs and approximation algorithms for large problems. The workshop Algorithmic Graph Theory was attended by 46 participants, many of them being young researchers. In 15 survey talks an overview of recent developments in Algorithmic Graph Theory was given. These talks were supplemented by 10 shorter talks and by two special sessions

Uniquely D-colourable digraphs with large girth

Let C and D be digraphs. A mapping $f:V(D)\to V(C)$ is a C-colouring if for every arc $uv$ of D, either $f(u)f(v)$ is an arc of C or $f(u)=f(v)$, and the preimage of every vertex of C induces an acyclic subdigraph in D. We say that D is C-colourable if it admits a C-colouring and that D is uniquely C-colourable if it is surjectively C-colourable and any two C-colourings of D differ by an automorphism of C. We prove that if a digraph D is not C-colourable, then there exist digraphs of arbitrarily large girth that are D-colourable but not C-colourable. Moreover, for every digraph D that is uniquely D-colourable, there exists a uniquely D-colourable digraph of arbitrarily large girth. In particular, this implies that for every rational number $r\geq 1$, there are uniquely circularly r-colourable digraphs with arbitrarily large girth.Comment: 21 pages, 0 figures To be published in Canadian Journal of Mathematic

Digraphs and homomorphisms: Cores, colorings, and constructions

A natural digraph analogue of the graph-theoretic concept of an `independent set\u27 is that of an acyclic set, namely a set of vertices not spanning a directed cycle. Hence a digraph analogue of a graph coloring is a decomposition of the vertex set into acyclic sets

Colorings of graphs, digraphs, and hypergraphs

Brooks' Theorem ist eines der bekanntesten Resultate über Graphenfärbungen: Sei G ein zusammenhängender Graph mit Maximalgrad d. Ist G kein vollständiger Graph, so lassen sich die Ecken von G so mit d Farben färben, dass zwei benachbarte Ecken unterschiedlich gefärbt sind. In der vorliegenden Arbeit liegt der Fokus auf Verallgemeinerungen von Brooks Theorem für Färbungen von Hypergraphen und gerichteten Graphen. Eine Färbung eines Hypergraphen ist eine Färbung der Ecken so, dass keine Kante monochromatisch ist. Auf Hypergraphen erweitert wurde der Satz von Brooks von R.P. Jones. Im ersten Teil der Dissertation werden Möglichkeiten aufgezeigt, das Resultat von Jones weiter zu verallgemeinern. Kernstück ist ein Zerlegungsresultat: Zu einem Hypergraphen H und einer Folge f=(f_1,…,f_p) von Funktionen, welche von V(H) in die natürlichen Zahlen abbilden, wird untersucht, ob es eine Zerlegung von H in induzierte Unterhypergraphen H_1,…,H_p derart gibt, dass jedes H_i strikt f_i-degeneriert ist. Dies bedeutet, dass jeder Unterhypergraph H_i' von H_i eine Ecke v enthält, deren Grad in H_i' kleiner als f_i(v) ist. Es wird bewiesen, dass die Bedingung f_1(v)+…+f_p(v) \geq d_H(v) für alle v fast immer ausreichend für die Existenz einer solchen Zerlegung ist und gezeigt, dass sich die Ausnahmefälle gut charakterisieren lassen. Durch geeignete Wahl der Funktion f lassen sich viele bekannte Resultate ableiten, was im dritten Kapitel erörtert wird. Danach werden zwei weitere Verallgemeinerungen des Satzes von Jones bewiesen: Ein Theorem zu DP-Färbungen von Hypergraphen und ein Resultat, welches die chromatische Zahl eines Hypergraphen mit dessen maximalem lokalen Kantenzusammenhang verbindet. Der zweite Teil untersucht Färbungen gerichteter Graphen. Eine azyklische Färbung eines gerichteten Graphen ist eine Färbung der Eckenmenge des gerichteten Graphen sodass es keine monochromatischen gerichteten Kreise gibt. Auf dieses Konzept lassen sich viele klassische Färbungsresultate übertragen. Dazu zählt auch Brooks Theorem, wie von Mohar bewiesen wurde. Im siebten Kapitel werden DP-Färbungen gerichteter Graphen untersucht. Insbesondere erfolgt der Transfer von Mohars Theorem auf DP-Färbungen. Das darauffolgende Kapitel befasst sich mit kritischen gerichteten Graphen. Insbesondere werden Konstruktionen für diese angegeben und die gerichtete Version des Satzes von Hajós bewiesen.Brooks‘ Theorem is one of the most known results in graph coloring theory: Let G be a connected graph with maximum degree d >2. If G is not a complete graph, then there is a coloring of the vertices of G with d colors such that no two adjacent vertices get the same color. Based on Brooks' result, various research topics in graph coloring arose. Also, it became evident that Brooks' Theorem could be transferred to many other coloring-concepts. The present thesis puts its focus especially on two of those concepts: hypergraphs and digraphs. A coloring of a hypergraph H is a coloring of its vertices such that no edge is monochromatic. Brooks' Theorem for hypergraphs was obtained by R.P. Jones. In the first part of this thesis, we present several ways how to further extend Jones' theorem. The key element is a partition result, to which the second chapter is devoted. Given a hypergraph H and a sequence f=(f_1,…,f_p) of functions, we examine if there is a partition of $H$ into induced subhypergraphs H_1,…,H_p such that each of the H_i is strictly f_i-degenerate. This means that in each non-empty subhypergraph H_i' of H_i there is a vertex v having degree d_{H_i'}(v

Reconfiguring Graph Homomorphisms on the Sphere

Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex colour changes such that every intermediate mapping is an $H$-colouring? This problem is known to be polynomial-time solvable for a wide variety of graphs $H$ (e.g. all $C_4$-free graphs) but only a handful of hard cases are known. We prove that this problem is PSPACE-complete whenever $H$ is a $K_{2,3}$-free quadrangulation of the $2$-sphere (equivalently, the plane) which is not a $4$-cycle. From this result, we deduce an analogous statement for non-bipartite $K_{2,3}$-free quadrangulations of the projective plane. This include several interesting classes of graphs, such as odd wheels, for which the complexity was known, and $4$-chromatic generalized Mycielski graphs, for which it was not. If we instead consider graphs $G$ and $H$ with loops on every vertex (i.e. reflexive graphs), then the reconfiguration problem is defined in a similar way except that a vertex can only change its colour to a neighbour of its current colour. In this setting, we use similar ideas to show that the reconfiguration problem for $H$-colourings is PSPACE-complete whenever $H$ is a reflexive $K_{4}$-free triangulation of the $2$-sphere which is not a reflexive triangle. This proof applies more generally to reflexive graphs which, roughly speaking, resemble a triangulation locally around a particular vertex. This provides the first graphs for which $H$-Recolouring is known to be PSPACE-complete for reflexive instances.Comment: 22 pages, 9 figure