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 3.4. Covering by uniform <strong>hypergraphs</strong> 53<br />

Figure 3.1: A p-full partition with respect to p = 3−dH0: the components after the deletion<br />

<strong>of</strong> 2 hyperedges<br />

supermodular set function. This more abstract setting provided a better insight into the<br />

combinatorial structure underlying the augmentation problem.<br />

If there is a partition F = {V1, . . . , Vl} such that p(∪i∈IVi) > 0 for every ∅ = I ⊂<br />

{1, . . . , l}, then the number <strong>of</strong> edges <strong>of</strong> the covering graph is at least l − 1, since the edges<br />

must connect the members <strong>of</strong> the partition. Such partitions are called p-full <strong>and</strong> they play<br />

an important role in the solution <strong>of</strong> the problem. For example, when p(X) = k − dH0(X) if<br />

∅ = X ⊂ V , then the components considered in (3.2) form a p-full partition (as illustrated<br />

on Figure 3.1). Benczúr <strong>and</strong> Frank proved the following theorem:<br />

Theorem 3.12 (Benczúr, Frank [9]). Let p : 2 V → Z+ be a symmetric, positively<br />

crossing supermodular set function. There is a graph with γ edges that covers p if <strong>and</strong><br />

only if the following hold:<br />

2γ ≥ <br />

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

Z∈F<br />

γ ≥ |F| − 1 for every p-full partition F. (3.4)<br />

The core <strong>of</strong> the pro<strong>of</strong> is an extension <strong>of</strong> the splitting-<strong>of</strong>f operation to this abstract setting,<br />

in order to provide a solution for the corresponding degree-specified problem. Note that in<br />

this theorem, in contrast to the skew supermodular case, the requirement <strong>of</strong> symmetry is<br />

important: one cannot make a non-symmetric p symmetric by taking max{p(X), p(V −X)}<br />

because this set function is not necessarily positively crossing supermodular.<br />

3.4 Covering by uniform <strong>hypergraphs</strong><br />

3.4.1 Covering symmetric crossing families<br />

Another generalization <strong>of</strong> Cheng’s result due to Fleiner <strong>and</strong> Jordán [20] concerns the cov-<br />

ering <strong>of</strong> symmetric crossing families by uniform <strong>hypergraphs</strong>. This includes the problem

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

Saved successfully!

Ooh no, something went wrong!