第1章图的基本概念解析.ppt

第1章 图的基本概念 1.1 图与图的图形表示 1.2 图的同构 1.3 图的顶点度和运算 1.4 路与连通 1.5 回与圈 1.6 Euler 图 1.7 Hamilton 图 1.8 距离与直径 1.9 图的矩阵表示 1.1 图与图的图形表示 一、图的定义 图论中讨论的“图”，不是微积分、解析几何、几何学中讨论的图形，而是客观世界中某些具体事物间联系的一个数学抽象。如二元关系的关系图，就不考虑点的位置及连线的长短曲直，而只关心哪些点之间有连线。这种数学抽象就是图论中“图”的概念。 1.1 图与图的图形表示 图的定义 图(graph) G是一个三元组,记作G＝(V(G),E(G), Ψ(G) )，其中 （1）图G的顶点 组成的顶点集 (vertex set) 记作 V(G)＝{v1, v2 , … , vn }, (V(G)≠ Ф) 1.1 图与图的图形表示 1.1 图与图的图形表示 当图的顶点集和边集被给定时,Ψ可以省去,可以将图简记为G=(V, E) 。 无向边 若边 ei 的两个顶点vj, vk，不能区分起点和终点，则称该边为无向边。无向边e 用无序对 vjvk 表示。 有向边 若边的一起始顶点为vj，另一终止顶点为vk，则称该边为有向边。有向边用有序对 (vj, vk) 表示。 无向图 (undirected graph) 每一条边都是无向边的图G称无向图 。 有向图 (digraph) 每一条边都是有向边的图D称有向图 。 混合图 一些边是有向边，另一些边是无向边的图，称为混合图 。 1.1 图与图的图形表示 1.1 图与图的图形表示 基础图 (underlying graph) 将有向图D的每条边上的方向去掉，得到的无向图G，称为D的基础图。 定向图 (oriented graph) 将无向图G的每条边都指定方向从而得到一个有向图H，称为G的定向图。 对称有向图 (symmetric digraph) 对于无向图G，将G中的每条边用两条与e有相同端点的对称边e和e‘ 来代替后得到的一个有向图D， 称为G的对称有向图 。 1.1 图与图的图形表示 关联的 边与它的两端点称为关联的（incident）。 相邻的 与同一条边关联的两端点或者与同一个顶点关联的两条边称为相邻的或邻接的（adjacent）。 邻接点 若两个顶点由同一条边关联，则这两个顶点被称为是邻接点。 邻接边 关联于同一顶点的两条边，被称为邻接边。 孤立顶点 不与任何顶点相邻接的顶点，被称为孤立顶点。 平凡图 仅由一个孤立顶点构成的图，被称为平凡图。 1.1 图与图的图形表示 环 (loop) 关联于同一顶点的一条边，被称为自回路或环。 平行边 (parallel edges) 有公共起点并有公共终点的两条边称为平行边或重边 (multi edges)。 对称边 (symmetric edges) 两端点相同但方向互为相反的两条有向边称为对称边。 简单图 (simple graph) 无环且无平行边的图，称为简单图。 多重图 任何含有平行边的图 ，被称为多重图。 1.1 图与图的图形表示 图中顶点和边的数目分别记为 v 和 e , 即 v =∣V ∣, e = ∣ E ∣ 阶 (order) 图G的顶点个数v称为图G的阶。 平凡图 (trivial graph) 阶为1的简单图，称为平凡图。 空图 (empty graph) 边数为0的简单图，称为空图。 有限图 (finite graph) v 和 e 都是有限的图称为有限图。 1.1 图与图的图形表示 例1.1.4 证明：在任意六人中必存在三人，要么都相识，要么都不相识。 习题1.1.7　九名数学家在一次国际数学会议上相遇，发现他们中的任意三个人中，至少有两个人可以用同一种语言对话．如果每个数学家至多可说三种语言，证明至少有三名数学家可以用同一种语言对话．（１９７８年美国数学奥林匹克试题） 证明　 用九个点ｖ１，ｖ２，…，ｖ９表示这九名数学家，如果某两个数学家能用第ｉ种语言对话，则在它们相应的顶点之间连一条边并涂以相应的第ｉ种颜色，这样就得到了一个有九个顶点的简单图Ｇ，它的边涂上了颜色，每三点之间至少有一条边，每个顶点引出的边至多有三种不同的颜色． 要证明的是：图Ｇ 中存在三个点，它们两两相邻，且这三条边具有相同的颜色（这种三角形称为同色三角形）． 如果边（ｖｉ，ｖｊ）、（ｖｉ，ｖｋ）具有相同的第ｉ种颜色，则按边涂色的意义，点ｖｊ与ｖｋ也相