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