Edge-connectivity of undirected and directed hypergraphs
Edge-connectivity of undirected and directed hypergraphs
Edge-connectivity of undirected and directed hypergraphs
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
8 Chapter 1. Introduction <strong>and</strong> preliminaries<br />
tween <strong>un<strong>directed</strong></strong> <strong>and</strong> <strong>directed</strong> graphs) to <strong>hypergraphs</strong>, <strong>and</strong> on the other h<strong>and</strong>, to present<br />
a framework for combining <strong>connectivity</strong> augmentation <strong>and</strong> orientation problems. Both<br />
<strong>of</strong> these themes are addressed with a strong emphasis on the role <strong>of</strong> submodularity <strong>and</strong><br />
related properties intrinsic to the structure <strong>of</strong> these problems.<br />
The underst<strong>and</strong>ing <strong>of</strong> the links to submodularity provides an important tool for obtaining<br />
structural descriptions <strong>and</strong> min-max theorems for the different variants <strong>of</strong> edge-<strong>connectivity</strong><br />
properties for graphs, <strong>hypergraphs</strong> <strong>and</strong> <strong>directed</strong> <strong>hypergraphs</strong>. Moreover, the well-known<br />
algorithmic properties <strong>of</strong> submodular systems imply that efficient algorithms can be con-<br />
structed based on the structural results. The precise analysis <strong>and</strong> optimization <strong>of</strong> these<br />
algorithms is beyond the scope <strong>of</strong> the thesis, usually only the existence <strong>of</strong> polynomial time<br />
algorithms will be stated.<br />
There is a lot <strong>of</strong> ongoing research in the field, most <strong>of</strong> which is not addressed here in<br />
detail (for example the very interesting class <strong>of</strong> problems featuring both <strong>connectivity</strong> <strong>and</strong><br />
parity), so the thesis is by no means a comprehensive survey. Rather, it intends to provide<br />
a concise account <strong>of</strong> connections <strong>and</strong> structural relations concerning a well-defined class<br />
<strong>of</strong> problems. This includes several new results on hypergraph edge-<strong>connectivity</strong>, some <strong>of</strong><br />
which are interesting even when specialized to graphs.<br />
1.1.2 <strong>Edge</strong>-<strong>connectivity</strong> – brief history<br />
The most basic properties <strong>of</strong> edge-<strong>connectivity</strong> were established by different versions <strong>of</strong><br />
Menger’s classical theorem on the relation between cuts <strong>and</strong> edge-disjoint paths, <strong>and</strong> by<br />
the concept <strong>of</strong> network flows [21]. Important structural results were obtained by Gomory<br />
<strong>and</strong> Hu [42] <strong>and</strong> Edmonds [16]. Another significant contribution to the development <strong>of</strong> the<br />
field was the study <strong>of</strong> packings <strong>and</strong> coverings by trees, where the fundamental results are<br />
due to Tutte [70] <strong>and</strong> Nash-Williams [63]. Analogous theorems for <strong>directed</strong> graphs were<br />
established by Edmonds [14].<br />
These areas are closely linked to the theory <strong>of</strong> matroids <strong>and</strong> submodular functions.<br />
We do not give a detailed account <strong>of</strong> the many fundamental results on submodularity by<br />
Edmonds, Lovász <strong>and</strong> others; for a concise bibliography see [26]. Efficient frameworks<br />
for dealing with <strong>connectivity</strong> problems in the context <strong>of</strong> submodularity were given for<br />
example in [28] <strong>and</strong> [66]. One notion <strong>of</strong> particular importance is that <strong>of</strong> submodular flows,<br />
introduced by Edmonds <strong>and</strong> Giles [17], which is the most popular general algorithmic<br />
framework featuring submodular functions.<br />
One major development <strong>of</strong> the research going on in the field was the successful work<br />
on edge-<strong>connectivity</strong> augmentation problems. Initial results were obtained by Eswaran<br />
<strong>and</strong> Tarjan [18], <strong>and</strong> Plesnik [64]. Fundamental deep results were due to Lovász [55]