Menger's theorem for infinite graphs (original) (raw)
Abstract: We prove that Menger's theorem is valid for infinite graphs, in the following strong form: let AAA and BBB be two sets of vertices in a possibly infinite digraph. Then there exist a set cp\cpcp of disjoint AAA-$B$ paths, and a set SSS of vertices separating AAA from BBB, such that SSS consists of a choice of precisely one vertex from each path in cp\cpcp. This settles an old conjecture of Erdős.
Submission history
From: Ron Aharoni [view email]
[v1] Sun, 18 Sep 2005 09:30:19 UTC (52 KB)
[v2] Mon, 14 May 2007 14:59:56 UTC (67 KB)
[v3] Wed, 31 Oct 2007 15:22:33 UTC (71 KB)
[v4] Mon, 3 Dec 2007 15:50:19 UTC (85 KB)