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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapter 5<br />

Partition-<strong>connectivity</strong> <strong>of</strong> <strong>hypergraphs</strong><br />

5.1 Introduction<br />

In Chapter 1, the notion <strong>of</strong> k-partition-<strong>connectivity</strong> was introduced for graphs. In this chap-<br />

ter, we discuss an extension <strong>of</strong> this notion to <strong>hypergraphs</strong>. While 1-partition-<strong>connectivity</strong><br />

for graphs is simply equivalent to <strong>connectivity</strong>, the extension for <strong>hypergraphs</strong> defines a dif-<br />

ferent type <strong>of</strong> <strong>connectivity</strong> property. In this section we define this extension <strong>and</strong> describe<br />

some <strong>of</strong> its basic characteristics. The results <strong>of</strong> the chapter are joint results with András<br />

Frank <strong>and</strong> Matthias Kriesell [37].<br />

5.1.1 A different approach to <strong>connectivity</strong><br />

Recall that an equivalent characterization <strong>of</strong> <strong>connectivity</strong> <strong>of</strong> graphs is that in order to<br />

dismantle the graph into t + 1 components, one has to delete at least t edges. The k-<br />

partition-<strong>connectivity</strong> <strong>of</strong> graphs can also be defined from this point <strong>of</strong> view: in order to<br />

dismantle the graph into t + 1 components, one has to delete at least kt edges. We start<br />

with the introduction <strong>of</strong> this type <strong>of</strong> characterization for <strong>hypergraphs</strong>..<br />

A hypergraph H = (V, E) is called partition-connected if one has to delete at least t<br />

hyperedges to dismantle it into t + 1 components for every t. An equivalent formulation<br />

is that eH(F) ≥ |F| − 1 holds for every partition F <strong>of</strong> V . Partition-<strong>connectivity</strong> clearly<br />

implies <strong>connectivity</strong>; contrary to the graph case, however, a connected hypergraph is not<br />

necessarily partition-connected (a partition-connected hypergraph must have at least |V |−1<br />

hyperedges).<br />

Theorem 1.5 <strong>of</strong> Tutte characterized graphs that can be decomposed into k connected<br />

spanning subgraphs. In light <strong>of</strong> the previous remarks, at least two different generaliza-<br />

tions are possible for <strong>hypergraphs</strong>. We say that a sub-hypergraph (V, E ′ ) <strong>of</strong> a hypergraph<br />

83

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

Saved successfully!

Ooh no, something went wrong!