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 99<br />

flow problem given by a crossing supermodular set function involves the full truncation <strong>of</strong><br />

the set function.<br />

6.2.3 Constructive characterizations<br />

One important application <strong>of</strong> the connection between the <strong>connectivity</strong> properties <strong>of</strong> undi-<br />

rected graphs <strong>and</strong> the <strong>connectivity</strong> properties <strong>of</strong> their orientations concerns the theory <strong>of</strong><br />

constructive characterizations. Constructive characterization <strong>of</strong> a <strong>connectivity</strong> property<br />

means that such (di)graphs can be constructed from a small initial (di)graph by some<br />

simple operations that preserve the property.<br />

For (k, l)-edge-<strong>connectivity</strong> <strong>of</strong> digraphs, the following conjecture is expected to be true:<br />

Conjecture 6.6. Let k > l be non-negative integers. A digraph is (k, l)-edge-connected if<br />

<strong>and</strong> only if it can be built from a single node by the following two operations:<br />

(i) Add a new edge to the digraph,<br />

(ii) Pinch i (l ≤ i < k) existing edges with a new node z, <strong>and</strong> add k−i new edges entering<br />

z <strong>and</strong> leaving existing nodes,<br />

where pinching edges u1v1, . . . , utvt with z means deleting those edges, <strong>and</strong> adding the edges<br />

u1z, zv1, u2z, zv2, . . . , utz, zvt.<br />

It is easy to see that the above operations create a (k, l)-edge-connected digraph. The<br />

conjecture was proved for l = 1 by Frank <strong>and</strong> Szegő [34], <strong>and</strong> for l = k − 1 by Frank <strong>and</strong><br />

Z. Király [31]. It is also easy to see that since for k > l (k, l)-partition-connected graphs are<br />

exactly those that have a (k, l)-edge-connected orientation, pro<strong>of</strong> <strong>of</strong> this conjecture would<br />

also imply the following on the constructive characterization <strong>of</strong> (k, l)-partition-connected<br />

graphs:<br />

Conjecture 6.7. Let k > l be non-negative integers. A graph is (k, l)-partition-connected<br />

if <strong>and</strong> only if it can be built from a single node by the following two operations:<br />

(i) Add a new edge to the graph,<br />

(ii) Pinch i (l ≤ i < k) existing edges with a new node z, <strong>and</strong> add k − i new edges<br />

connecting z with existing nodes.

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

Saved successfully!

Ooh no, something went wrong!