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.
106 Chapter 6. Hypergraph orientation<br />
<strong>of</strong> hyperarcs are called semi-parallel if every hyperarc in A ′ is an orientation <strong>of</strong> the same<br />
hyperedge. In Theorem 6.13, we would obtain an equivalent problem if we replaced every<br />
hyperedge <strong>of</strong> the mixed graph by a set <strong>of</strong> semi-parallel hyperarcs, consisting <strong>of</strong> all pos-<br />
sible orientations <strong>of</strong> that hyperedge, <strong>and</strong> imposed the additional constraint that at most<br />
one <strong>of</strong> these semi-parallel hyperarcs can be in the chosen sub-hypergraph. This concept<br />
<strong>of</strong> orientation constraints can be further generalized: we allow arbitrary disjoint sets <strong>of</strong><br />
semi-parallel hyperarcs, <strong>and</strong> arbitrary lower <strong>and</strong> upper bounds on the number <strong>of</strong> hyperarcs<br />
selectable from such a set.<br />
Theorem 6.14. Let D = (V, A) be a <strong>directed</strong> hypergraph, with f : A → Z+ <strong>and</strong> g : A →<br />
Z+ lower <strong>and</strong> upper integral capacities on the hyperarcs. Let A1, . . . , At ⊆ A be disjoint sets<br />
<strong>of</strong> semi-parallel hyperarcs, with corresponding lower <strong>and</strong> upper bounds li, ui (i = 1, . . . , t).<br />
Let furthermore p : 2 V → Z+ be a positively intersecting supermodular set function, <strong>and</strong><br />
c : A → Z a cost function. Then the system<br />
(S) min <br />
c(a)x(a) (6.7)<br />
a∈A<br />
ϱx(Z) ≥ p(Z) for every Z ⊆ V (6.8)<br />
f(a) ≤ x(a) ≤ g(a) for every a ∈ A (6.9)<br />
li ≤ <br />
x(a) ≤ ui (i = 1, . . . , t) (6.10)<br />
a∈Ai<br />
is TDI. Moreover, the values <strong>of</strong> an optimal dual solution corresponding to the inequalities<br />
(6.8) may be assumed to be positive only on a laminar family <strong>of</strong> sets.<br />
Pro<strong>of</strong>. Let c : A → Z be an integral cost function. Let y denote the dual variables<br />
associated with the inequalities in (6.8), <strong>and</strong> let z denote the dual variables associated<br />
with the other inequalities. For a hyperarc a ∈ A, the dual constraints are <strong>of</strong> the form<br />
⎛<br />
⎝ <br />
⎞<br />
y(X) ⎠ + zba ≤ c(a) (6.11)<br />
X: a∈∆ −<br />
D (X)<br />
for an appropriate vector ba. For an appropriate vector b, the dual objective function is<br />
<br />
<br />
<br />
max y(X)p(X) + zb . (6.12)<br />
X⊆V<br />
Let (y ∗ , z ∗ ) ≥ 0 be an optimal dual solution such that <br />
Z⊆V y∗ (Z) is minimal. The<br />
main observation is that we can assume that y ∗ is positive only on a laminar family F. If<br />
p(X) = 0, then y ∗ (X) = 0, otherwise we could decrease y ∗ (X) to 0. Suppose that y ∗ is