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.

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

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

Saved successfully!

Ooh no, something went wrong!