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.
Section 4.4. (k, l)-edge-<strong>connectivity</strong> <strong>of</strong> <strong>directed</strong> <strong>hypergraphs</strong> 81<br />
Theorem 4.14. Let D0 = (V, A0) be a <strong>directed</strong> hypergraph, <strong>and</strong> let k ≥ l <strong>and</strong> r ≥ 1<br />
be non-negative integers. D0 can be made (k, l)-edge-connected by the addition <strong>of</strong> γ new<br />
(r, 1)-hyperarcs if <strong>and</strong> only if<br />
γ ≥ <br />
p(X),<br />
X∈F<br />
rγ ≥ <br />
p(V − X)<br />
hold for every partition F <strong>of</strong> V , where p is the set-function defined in (4.10).<br />
X∈F<br />
Theorem 4.15. Let D0 = (V, A0) be a <strong>directed</strong> hypergraph, <strong>and</strong> let k < l <strong>and</strong> r ≥ 1<br />
be non-negative integers. D0 can be made (k, l)-edge-connected by the addition <strong>of</strong> γ new<br />
(r, 1)-hyperarcs if <strong>and</strong> only if<br />
γ ≥ <br />
p(X),<br />
X∈F<br />
rγ ≥ <br />
p(V − X),<br />
X∈F<br />
(|F| − 1) γ ≥ <br />
p(V − X)<br />
hold for every partition F <strong>of</strong> V , where p is the set-function defined in (4.10).<br />
X∈F