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.

28 Chapter 2. Submodular functions<br />

V , F<br />

ϕ : V → W<br />

W , T = (W, A)<br />

Figure 2.1: Tree-representation <strong>of</strong> a cross-free family F (the non-rounded rectangles rep-<br />

resent their complement)<br />

X<br />

V , F<br />

ϕ : V → W<br />

W , T = (W, A)<br />

ϕ(X)<br />

ϕ(V − X)<br />

Figure 2.2: A tree-composition F <strong>of</strong> X <strong>and</strong> its tree-representation (the non-rounded rect-<br />

angles represent their complement)<br />

A tree-composition F <strong>of</strong> a set X ⊆ V is a cross-free composition <strong>of</strong> X which contains<br />

no partition or co-partition as a proper sub-family (so F itself can be a partition or a co-<br />

partition, <strong>and</strong> it can also be empty). The name comes from the property that if ∅ = X ⊂ V ,<br />

then F has a tree-representation (T = (W, A), ϕ) such that ϕ −1 (w) = ∅ for every w ∈ W (as<br />

on Figure 2.2). In this tree-representation, ϱT (w) = 0 if ϕ −1 (w) ⊆ V − X, <strong>and</strong> δT (w) = 0<br />

if ϕ −1 (w) ⊆ X. This implies the following, if we consider a node <strong>of</strong> W <strong>of</strong> the latter type<br />

that is entered by more than one edge <strong>of</strong> T :<br />

Claim 2.2. If F = ∅ is a tree-composition <strong>of</strong> X that is not a partition <strong>of</strong> X, then it<br />

contains a subfamily {Z1, . . . , Zt} (t ≥ 2) <strong>of</strong> pairwise co-disjoint sets such that ∩Zi ⊆ X.<br />

If X = V , then Zi − X = ∅ (i = 1, . . . , t).<br />

Cross-free families can be decomposed into tree-compositions:<br />

Lemma 2.3. Let the function c : V → Z+ have maximum value k, <strong>and</strong> let F be a cross-<br />

free c-composition. Let Zi := {v ∈ V : c(v) ≥ i} (i = 1, . . . , k). Then F decomposes

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

Saved successfully!

Ooh no, something went wrong!