22.08.2013 Views

Edge-connectivity of undirected and directed hypergraphs

Edge-connectivity of undirected and directed hypergraphs

Edge-connectivity of undirected and directed hypergraphs

SHOW MORE
SHOW LESS

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]

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!