离散数学-图论基础.ppt

第七章图论基础

Graphs

30四月2026第一节图的基本概念一个图G定义为一个三元组：G=V,E,ΦV——非空有限集合，V中的元素称为结点(node)或

顶点(vertex)E——有限集合（可以为空），E中的元素称为边(edge)Φ——从E到V的有序对或无序对的关联映射(associativemapping)v1v2v3(a)v1v2v3(b)v1v2v3(c)

30四月2026图的基本概念图G=V,E,Φ中的每条边都与图中的无序对或有序对联系若边e?E与无序对结点[va,vb]相联系，即Φ(e)=[va,vb]

（va,vb?V）则称e是无向边（或边、棱）若边e?E与有序对结点va,vb相联系，即Φ(e)=va,vb

（va,vb?V）则称e是有向边（或弧）

va是e的起始结点，vb是e的终结点v1v2v3(a)v1v2v3(b)v1v2v3(c)

30四月2026图的基本概念若va和vb与边（弧）e相联结，则称va和vb是e的端结点

va和vb是邻接结点，记作：vaadjvb(adjoin)

也称e关联va和vb，或称va和vb关联e若va和vb不与任何边（弧）相联结，则称va和vb是非邻接结点，记作：vanadjvb关联同一个结点的两条边（弧），称为邻接边（弧）关联同一个结点及其自身