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.

10 Chapter 1. Introduction <strong>and</strong> preliminaries<br />

Chapter 3 is devoted to edge-<strong>connectivity</strong> augmentation problems. After a brief account<br />

<strong>of</strong> the state <strong>of</strong> the art for graphs, we present how augmentation problems can be extended to<br />

<strong>hypergraphs</strong> in different ways depending on the objective to be attained. These extensions<br />

differ in difficulty, <strong>and</strong> we cite an NP-completeness result to indicate that some problems<br />

are considerably more difficult than their graph counterpart. The main result <strong>of</strong> the chapter<br />

(based on [51]) concerns the construction <strong>of</strong> uniform <strong>hypergraphs</strong> covering given symmetric<br />

crossing supermodular set functions. This problem includes as a special case the k-edge-<br />

<strong>connectivity</strong> augmentation <strong>of</strong> <strong>hypergraphs</strong> by uniform hyperedges.<br />

As a generalization <strong>of</strong> digraph augmentation problems, Chapter 4 discusses <strong>connectivity</strong><br />

augmentation <strong>of</strong> <strong>directed</strong> <strong>hypergraphs</strong>, or in more general terms, covering crossing su-<br />

permodular functions by <strong>directed</strong> <strong>hypergraphs</strong> (based on [52]). As in the <strong>un<strong>directed</strong></strong> case,<br />

different objectives can be specified, <strong>and</strong> extensions <strong>of</strong> digraph augmentation can be formu-<br />

lated for many problems, including (k, l)-edge-<strong>connectivity</strong> augmentation. The main tool<br />

used here is a slight generalization <strong>of</strong> a splitting-<strong>of</strong>f result <strong>of</strong> Berg, Jackson, <strong>and</strong> Jordán<br />

[7], which enables us to extend their results on k-edge-<strong>connectivity</strong> augmentation to more<br />

general <strong>connectivity</strong> requirements..<br />

As it was already mentioned, submodularity <strong>and</strong> matroid theory plays an important<br />

role in the description <strong>of</strong> edge-<strong>connectivity</strong> problems. The most obvious link is between<br />

partition-<strong>connectivity</strong> <strong>and</strong> the circuit matroid <strong>of</strong> graphs. In Chapter 5, which presents the<br />

results in [37], we analyze some properties <strong>of</strong> the so-called hypergraphic matroid, introduced<br />

by Lorea [54], which is a direct generalization <strong>of</strong> the circuit matroid <strong>of</strong> graphs. This leads to<br />

a new type <strong>of</strong> <strong>connectivity</strong> notion for <strong>hypergraphs</strong>, generalizing (k, l)-partition-<strong>connectivity</strong><br />

<strong>of</strong> graphs, <strong>and</strong> the matroid-theoretic approach gives an insight into its structural properties.<br />

At the end <strong>of</strong> the chapter it is shown how these results can be applied to the problem <strong>of</strong><br />

finding disjoint Steiner trees <strong>of</strong> graphs.<br />

After discussing <strong>connectivity</strong> properties <strong>of</strong> <strong>directed</strong> <strong>and</strong> <strong>un<strong>directed</strong></strong> <strong>hypergraphs</strong>, it is<br />

natural to consider the possible extension <strong>of</strong> graph orientation problems related to connec-<br />

tivity. Chapter 6 starts with an account <strong>of</strong> graph orientation results, <strong>and</strong> the link between<br />

partition-<strong>connectivity</strong> <strong>of</strong> graphs <strong>and</strong> edge-<strong>connectivity</strong> <strong>of</strong> digraphs. Then we examine how<br />

the basic orientation results can be extended to <strong>hypergraphs</strong>, <strong>and</strong> we present some results<br />

on local requirements which are new even when they are specialized to graphs. Using these<br />

techniques, a link is established between (k, l)-partition-<strong>connectivity</strong> <strong>of</strong> <strong>hypergraphs</strong> <strong>and</strong><br />

(k, l)-edge-<strong>connectivity</strong> <strong>of</strong> <strong>directed</strong> <strong>hypergraphs</strong>. The chapter also includes a new pro<strong>of</strong> <strong>and</strong><br />

an extension <strong>of</strong> a very interesting result <strong>of</strong> Khanna, Naor, <strong>and</strong> Shepherd [50] on network<br />

design with orientation constraints. The new results <strong>of</strong> the chapter appeared in [36].<br />

Using the links established between <strong>un<strong>directed</strong></strong> <strong>and</strong> <strong>directed</strong> <strong>connectivity</strong> problems,

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

Saved successfully!

Ooh no, something went wrong!