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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Section 6.2. Orientation <strong>of</strong> graphs 97<br />

both hold for every partition F <strong>of</strong> V . If p is monotone decreasing or symmetric then it<br />

suffices to require the validity <strong>of</strong> (6.1).<br />

The necessity <strong>of</strong> these conditions is obvious if we recall (1.7), <strong>and</strong> that eG(F) = eG(co(F))<br />

if G is a graph (but this is not true for <strong>hypergraphs</strong>!). The result on (k, l)-edge-connected<br />

orientations follows from this theorem by considering the following set function for an<br />

arbitrary node s ∈ V :<br />

⎧<br />

⎪⎨<br />

k if ∅ = X ⊆ V − s,<br />

pkl(X) := l<br />

⎪⎩ 0<br />

if s ∈ X ⊂ V ,<br />

otherwise.<br />

(6.3)<br />

It is easy to see that pkl is non-negative, monotone decreasing if k ≥ l, <strong>and</strong> crossing<br />

supermodular.<br />

For orientations satisfying local edge-<strong>connectivity</strong> requirements, the problem is much<br />

more difficult. Let G = (V, E) be a graph, <strong>and</strong> let r : V 2 → Z+ be a local edge-<strong>connectivity</strong><br />

requirement function for which r(v, v) = 0 (v ∈ V ). If r is symmetric, i.e. r(u, v) =<br />

r(v, u) for every u, v ∈ V , then an obvious necessary condition for the existence <strong>of</strong> a good<br />

orientation is that<br />

<br />

λG(u, v)<br />

r(u, v) ≤<br />

2<br />

for every u, v ∈ V .<br />

The orientation theorem <strong>of</strong> Nash-Williams [61] states that this condition is sufficient for<br />

symmetric r:<br />

Theorem 6.4 (Nash-Williams [61], strong form). Let G = (V, E) be an arbitrary<br />

graph. There exists an orientation G = (V, E) <strong>of</strong> G such that<br />

<br />

λG(u, v)<br />

λG (u, v) ≥<br />

for every u, v ∈ V ,<br />

2<br />

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

|ϱ G (v) − δ G (v)| ≤ 1 for every v ∈ V .<br />

This theorem settles the case when r is symmetric. However, deciding whether there is<br />

an orientation satisfying a general local edge-<strong>connectivity</strong> requirement r is NP-complete.<br />

The following is a sketch <strong>of</strong> the reduction <strong>of</strong> 3-SAT (see Figure 6.1).<br />

Consider a collection C <strong>of</strong> clauses, <strong>and</strong> construct the following graph G. For every pair<br />

{x, x} <strong>of</strong> complementary literals, create two nodes vx <strong>and</strong> vx, <strong>and</strong> an edge vxvx. For each<br />

clause c ∈ C, add nodes sc, tc, wc, zc; for each literal y ∈ c, add edges vysc, vytc, vywc, <strong>and</strong>

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

Saved successfully!

Ooh no, something went wrong!