Sets as graphs

The aim of this thesis is a mutual transfer of computational and structural results and techniques between sets and graphs. We study combinatorial enumeration of sets, canonical encodings, random generation, digraph immersions. We also investigate the underlying structure of sets in algorithmic terms, or in connection with hereditary graphs classes. Finally, we employ a set-based proof-checker to verify two classical results on claw-free graph

On cycles and independence in graphs

Das erste Fachkapitel ist der Berechnung von Kreispackungszahlen, d.h. der maximalen Größe kanten- bzw. eckendisjunkter Kreispackungen, gewidmet. Da diese Probleme bekanntermaßen sogar für subkubische Graphen schwer sind, behandelt der erste Abschnitt die Komplexität des Packens von Kreisen einer festen Länge l in Graphen mit Maximalgrad Delta. Dieses für l=3 von Caprara und Rizzi gelöste Problem wird hier auf alle größeren Kreislängen l verallgemeinert. Der zweite Abschnitt beschreibt die Struktur von Graphen, für die die Kreispackungszahlen einen vorgegebenen Abstand zur zyklomatischen Zahl haben. Die 2-zusammenhängenden Graphen mit dieser Eigenschaft können jeweils durch Anwendung einer einfachen Erweiterungsregel auf eine endliche Menge von Graphen erzeugt werden. Aus diesem Strukturergebnis wird ein fpt-Algorithmus abgeleitet. Das zweite Fachkapitel handelt von der Größenordnung der minimalen Anzahl von Kreislängen in einem Hamiltongraph mit q Sehnen. Eine Familie von Beispielen zeigt, dass diese Unterschranke höchstens die Wurzel von q+1 ist. Dem Hauptsatz dieses Kapitels zufolge ist die Zahl der Kreislängen eines beliebigen Hamiltongraphen mit q Sehnen mindestens die Wurzel von 4/7*q. Der Beweis beruht auf einem Lemma von Faudree et al., demzufolge der Graph, der aus einem Weg mit Endecken x und y und q gleichlangen Sehnen besteht, x-y-Wege von mindestens q/3 verschiedenen Längen enthält. Der erste Abschnitt enthält eine Korrektur des ursprünglich fehlerhaften Beweises und zusätzliche Schranken. Der zweite Abschnitt leitet daraus die Unterschranke für die Anzahl der Kreislängen ab. Das letzte Fachkapitel behandelt Unterschranken für den Unabhängigkeitsquotienten, d.h. den Quotienten aus Unabhängigkeitszahl und Ordnung eines Graphen, für Graphen gegebener Dichte. In der Einleitung werden bestmögliche Schranken für die Klasse aller Graphen sowie für große zusammenhängende Graphen aus bekannten Ergebnissen abgeleitet. Danach wird die Untersuchung auf durch das Verbot kleiner ungerader Kreise eingeschränkte Graphenklassen ausgeweitet. Das Hauptergebnis des ersten Abschnitts ist eine Verallgemeinerung eines Ergebnisses von Heckman und Thomas, das die bestmögliche Schranke für zusammenhängende dreiecksfreie Graphen mit Durchschnittsgrad bis zu 10/3 impliziert und die extremalen Graphen charakterisiert. Der Rest der ersten beiden Abschnitte enthält Vermutungen ähnlichen Typs für zusammenhängende dreiecksfreie Graphen mit Durchschnittsgrad im Intervall [10/3, 54/13] und für zusammenhängende Graphen mit ungerader Taillenweite 7 mit Durchschnittsgrad bis zu 14/5. Der letzte Abschnitt enthält analoge Beobachtungen zum Bipartitionsquotienten. Die Arbeit schließt mit Vermutungen zu Unterschranken und die zugehörigen Klassen extremaler Graphen für den Bipartitionsquotienten.This thesis discusses several problems related to cycles and the independence number in graphs. Chapter 2 contains problems on independent sets of cycles. It is known that it is hard to compute the maximum cardinality of edge-disjoint and vertex-disjoint cycle packings, even if restricted to subcubic graphs. Therefore, the first section discusses the complexity of a simpler problem: packing cycles of fixed length l in graphs of maximum degree Delta. The results of Caprara and Rizzi, who have solved this problem for l=3 are generalised to arbitrary lengths. The second section describes the structure of graphs for which the edge-disjoint resp. vertex-disjoint cycle packing number differs from the cyclomatic number by a constant. The corresponding classes of 2-connected graphs can be obtained by a simple extension rules applied to a finite set of graphs. This result implies a fixed-parameter-tractability result for the edge-disjoint and vertex-disjoint cycle packing numbers. Chapter 3 contains an approximation of the minimum number of cycle lengths in a Hamiltonian graph with q chords. A family of examples shows that no more than the square root of q+1 can be guaranteed. The main result is that the square root of 4/7*q cycle lengths can be guaranteed. The proof relies on a lemma by Faudree et al., which states that the graph that contains a path with endvertices x and y and q chords of equal length contains paths between x and y of at least q/3 different lengths. The first section corrects the originally faulty proof and derives additional bounds. The second section uses these bounds to derive the lower bound on the size of the cycle spectrum. Chapter 4 focuses on lower bounds on the independence ratio, i.e. the quotient of independence number and order of a graph, for graphs of given density. In the introduction, best-possible bounds both for arbitrary graphs and large connected graphs are derived from known results. Therefore, the rest of this chapter considers classes of graphs defined by forbidding small odd cycles as subgraphs. The main result of the first section is a generalisation of a result of Heckman and Thomas that determines the best possible lower bound for connected triangle-free graphs with average degree at most 10/3 and characterises the extremal graphs. The rest of the chapter is devoted to conjectures with similar statements on connected triangle-free graphs of average degree in [10/3, 54/13] and on connected graphs of odd girth 7 with average degree up to 14/5, similar conjectures for the bipartite ratio, possible classes of extremal graphs for these conjectures, and observations in support of the conjectures

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