Department of Computer Science and Technology,Nanjing Universit Hall定理 ·归纳证明. 1)对V的任意真子集A,N(A)川>|A 任取一个顶点v∈V,任取w∈N(v). H=G-{V,w}是一个二部图（非空） H满足归纳假设的条件，从而 H有V1-v}到V2-{w的完备匹配. 这个匹配加上边(y,w)构成G的从 V到V,的完备匹配. June 2016 June 2016 10 Department of Computer Science and Technology, Nanjing University Hall定理 H满足归纳假设的条件, 从而 H有V1 -{v}到V2 -{w}的完备匹配. 这个匹配加上边(v, w)构成G的从 V1到V2的完备匹配. v w 归纳证明. (1)对V1的任意真子集A , |N(A)|  | A | 任取一个顶点v V1 , 任取wN({v}). H=G-{v, w}是一个二部图（非空）