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.

84 Chapter 5. Partition-<strong>connectivity</strong> <strong>of</strong> <strong>hypergraphs</strong><br />

H = (V, E) is spanning if V = ∪(E ′ ). One can consider the problem <strong>of</strong> decomposing a<br />

hypergraph into k connected spanning sub-<strong>hypergraphs</strong>, or the problem <strong>of</strong> decomposition<br />

into k partition-connected spanning sub-<strong>hypergraphs</strong>. As the following theorem shows,<br />

the former problem is NP-complete, while we will see that the latter is solvable <strong>and</strong> has<br />

relatively simple structural properties.<br />

Theorem 5.1. The problem <strong>of</strong> deciding whether a hypergraph H = (V, E) can be decom-<br />

posed into k connected spanning sub-<strong>hypergraphs</strong> is NP-complete for every integer k ≥ 2.<br />

Pro<strong>of</strong>. First assume that k = 2. Recall that it is NP-complete to decide whether the nodes<br />

<strong>of</strong> a hypergraph can be coloured by 2 colours such that every hyperedge contains nodes<br />

<strong>of</strong> both colours. This implies by duality that colouring the hyperedges <strong>of</strong> a hypergraph<br />

H0 = (V0, E0) by red <strong>and</strong> blue so that every node belongs to both a red <strong>and</strong> a blue hyperedge<br />

is also NP-complete. We show that this latter problem is polynomially solvable if there<br />

is a polynomial algorithm to decide decomposability <strong>of</strong> a hypergraph into two connected<br />

spanning sub-<strong>hypergraphs</strong>. Let s be a new node, let V := V0 + s, E := {e + s : e ∈ E0},<br />

<strong>and</strong> H = (V, E). Note that a sub-hypergraph H ′ = (V, E ′ ) <strong>of</strong> H is connected <strong>and</strong> spans<br />

V if <strong>and</strong> only if the corresponding sub-hypergraph (V0, E ′ 0) <strong>of</strong> H0 spans V0. Therefore H<br />

can be decomposed into 2 connected spanning sub-<strong>hypergraphs</strong> if <strong>and</strong> only if H0 can be<br />

decomposed into two sub-<strong>hypergraphs</strong> both spanning V0.<br />

The NP-completeness <strong>of</strong> the problem for k ≥ 3 easily reduces to the case k = 2. Let<br />

H = (V, E) be a hypergraph <strong>and</strong> let H + denote the hypergraph arising from H by adding<br />

k − 2 copies <strong>of</strong> V as new hyperedges. Then H + can be decomposed into k connected<br />

spanning sub-<strong>hypergraphs</strong> if <strong>and</strong> only if H can be decomposed into 2 connected spanning<br />

sub-<strong>hypergraphs</strong>.<br />

5.1.2 k-partition-<strong>connectivity</strong><br />

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

least kt hyperedges to dismantle it into t+1 components. Equivalently, eH(F) ≥ k(|F|−1)<br />

for every partition F <strong>of</strong> V . This is clearly a generalization <strong>of</strong> k-partition-<strong>connectivity</strong> for<br />

graphs. In the graph case, the property was also definable in terms <strong>of</strong> decomposition<br />

into connected spanning subgraphs (see Theorem 1.5). As an analogous result, we will<br />

show that k-partition-<strong>connectivity</strong> <strong>of</strong> a hypergraph is equivalent to decomposability into k<br />

partition-connected spanning sub-<strong>hypergraphs</strong>.<br />

Another equivalent characterization <strong>of</strong> k-partition-<strong>connectivity</strong> <strong>of</strong> graphs is the existence<br />

<strong>of</strong> k edge-disjoint spanning trees. The problem <strong>of</strong> finding k edge-disjoint spanning trees<br />

in a graph is a special case <strong>of</strong> finding k disjoint bases <strong>of</strong> a matroid <strong>and</strong> therefore Theorem

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

Saved successfully!

Ooh no, something went wrong!