离散数学_第8章图__子图和补图__鸽笼原理

首先讲解补图

这里先提  完全图，  就是指图中每个顶点与其他顶点都有连线的图，例如K₃ ,  K₅。

一 定义： 设有简单图G = <V, E>, G' = <V,  E₁>为完全图， 则称G₁ = <V, E₁—E>为图G的补图， 

记作 .

补图   就是从完全图G' 删除了一些边。但是不能删除顶点。

注意： 有一种图称自补图， 它的补图是与它同构。

看例子

二 补图的邻接矩阵

从补图的矩阵可以看出，  只要不在主对角线， 每个值都取反 

注意：上述题目的证明， 有一句关键语句： 这5条边一定有3条在G或 中，  依据是鸽笼原理。

 

三 鸽笼原理

定理：  如果要把 n+1 个物体放进n个盒子，  那么至少有一个盒子包含两个或更多的物体。

注意：  这个定理对于找出含有几个物体的盒子没有任何帮助。

只是简单地断言，有的盒子放有多个物体是存在。

鸽笼原理又叫抽屉原理， 狄利克雷抽屉原理。