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.

70 Chapter 4. Connectivity augmentation <strong>of</strong> <strong>directed</strong> <strong>hypergraphs</strong><br />

so the following theorem <strong>of</strong> Frank [24] can be applied to solve the degree-constrained<br />

problem:<br />

Theorem 4.1 (Frank [24]). Let p : 2 V → Z+ be a positively crossing supermodular set<br />

function; let mi : V → Z+ be an indegree-specification <strong>and</strong> mo : V → Z + an outdegree-<br />

specification such that mi(V ) = mo(V ). There exists a digraph D = (V, A) such that<br />

ϱD(v) = mi(v) <strong>and</strong> δD(v) = mo(v) ∀v ∈ V , <strong>and</strong> ϱD(X) ≥ p(X) ∀X ⊆ V if <strong>and</strong> only if<br />

<strong>and</strong><br />

mi(X) ≥ p(X) for every X ⊆ V ,<br />

mo(V − X) ≥ p(X) for every X ⊆ V .<br />

It should be noted that for the p defined above this result can be obtained from the<br />

<strong>directed</strong> splitting-<strong>of</strong>f theorem <strong>of</strong> Mader [59], which is generalized by the above result <strong>of</strong><br />

Frank.<br />

The degree-specified result easily implies the following theorem on minimum cardinality<br />

augmentation:<br />

Theorem 4.2 (Frank [24]). Let p : 2 V → Z+ be a positively crossing supermodular set<br />

function, <strong>and</strong> γ a non-negative integer. There exists a digraph D = (V, A) with γ edges<br />

that covers p if <strong>and</strong> only if<br />

<strong>and</strong><br />

γ ≥ <br />

p(X) for every partition F <strong>of</strong> V ,<br />

Z∈F<br />

γ ≥ <br />

p(V − X) for every partition F <strong>of</strong> V .<br />

Z∈F<br />

The minimum cost k-edge-<strong>connectivity</strong> augmentation problem for digraphs is NP-comp-<br />

lete even for k = 1, since it includes the problem <strong>of</strong> determining whether a digraph has a<br />

Hamiltonian cycle.<br />

For <strong>un<strong>directed</strong></strong> graphs, the local edge-<strong>connectivity</strong> augmentation problem was solvable<br />

[29] using Theorem 3.3 <strong>of</strong> Mader on splitting-<strong>of</strong>f preserving local edge-<strong>connectivity</strong>. How-<br />

ever, no such result can be expected for digraphs: local edge-<strong>connectivity</strong> augmentation <strong>of</strong><br />

<strong>directed</strong> graphs is NP-complete, even in the special case when the requirement is 1 between<br />

the nodes <strong>of</strong> a specified subset T <strong>and</strong> 0 otherwise (see [29]).

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

Saved successfully!

Ooh no, something went wrong!