12.07.2015 Views

MT4514: Graph Theory

MT4514: Graph Theory

MT4514: Graph Theory

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.

<strong>Graph</strong> <strong>Theory</strong> 41A matching from V 1 to V 2 exists if and only if the number of vertex-disjoint pathsfrom v to w is equal to the number of vertices in V 1 . Let |V 1 | = k. By Theorem 4.5,it is therefore enough to show that every vw-separating set contains at least kvertices.Let S be a vw-separating set, consisting of a subset A of V 1 and a subset Bof V 2 . Since S = A ∪ B is a vw-separating set, there are no edges joining verticesin V 1 \ A to vertices in V 2 \ B, otherwise there would be paths using these edgesbetween v and w. Therefore, the neighbours of V 1 \ A that lie in V 2 must all be inB. By assumption, the set V 1 \ A of vertices has at least |V 1 \ A| neighbours in V 2 .We deduce that|V 1 \ A| ≤ |B|,so |S| = |A| + |B| ≥ |A| + |V 1 \ A| = |V 1 | = k, as required.

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

Saved successfully!

Ooh no, something went wrong!