第七章 图论基础
Graphs
第一节 图基本概念
一个图G定义为一个三元组：G=<V, E, Φ>V —— 非空有限集合，V中元素称为结点 (node)或
顶点(vertex)E —— 有限集合（能够为空），E中元素称为边(edge)Φ —— 从E到V有序对或无序正确关联映射(associative mapping)
图基本概念
图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终止点