Edge-connectivity of undirected and directed hypergraphs
Edge-connectivity of undirected and directed hypergraphs
Edge-connectivity of undirected and directed hypergraphs
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