第8部分一些特殊的图[离散数学离散数学(第四版)清华出版社]学习课件.pptVIP

第四部分：图论（授课教师：向胜军） 匹配 设G=V,E是简单无向图，E*?E，若E*中任意两边均不相邻，则称E*为G中的匹配(或边独立集)。若在E*上再加任意一条边，就不再是匹配，则称E*为极大匹配，边数最多的极大匹配称为最大匹配，其边数称为匹配数(或边独立数)，记为?1(G)，简记为?1 。 若M是图G中的一个匹配，对任意v?VG, 若存在M中的边与v关联， 则称v为M饱和点，否则称v为M非饱和点。若G中每个点都是M饱和点，则称M是G中的完美匹配。 完备匹配 设G=V1,V2,E是二部图，若G中的匹配M饱和V1或V2中所有顶点，则称M为完备匹配。 注意：完备匹配一定是最大匹配，但仅当|V1|=|V2|才是完美匹配。 存在完备匹配的充分必要条件 Hall定理：二部图G=V1,V2,E, |V1|?|V2|, G中存在V1到V2的完备匹配当且仅当V1中任意k个顶点(k=1,2,…|V1|)至少邻接V2中k个顶点。 Leonhard Euler(1707-1783) Swiss mathematician, who studied at the Univ. of Basel under the Swiss mathematician Johann Bernoulli, obtaining his master’s degree at the age of 16. He