一、基本概念
1、简单图:无环且无多重边 伪图:有环或有多重边
2、特殊的简单图:Kn,Qn,Wn,Cn(完全图,n立方图,轮图,圈图)
3、(⭐)
生成子图:生成子图的顶点与原图完全一样,但是边可以取原图中边的任意子集
诱导子图(导出子图):诱导子图中顶点可以取原图的任意非空子集,但是这些顶点之间对应的连线在G和G‘中必须相同
4、握手定理:(主要是度的奇偶性讨论,在欧拉图部分会详细探讨用法,此处略过)
二、二分图(二部图)
1、定义:二部图:顶点集划分为2个不相交类别,边的端点在不同类别中 完全二部图:来自不同类别的两个顶点均有边
2、判定:二种颜色对顶点着色,相邻顶点赋以不同颜色(等价性)
3、(⭐)二部图的匹配
完全匹配的充分必要条件 —>(霍尔婚姻定理,该定理提供了一组存在完全匹配的充分必要条件)
带有二部划分(V1,V2)的二分图G(V,E)中有一个从V1到V2的完全匹配当且仅当对于V1的所有子集A,有|N(A)|>=A
证明:数学归纳法,设<=k均成立,对k+1进行证明
(笔记较抽象,不具有太高的参考意义)