图的定义（有向图）. 有向图G是一个三元组：G= (V, E, ) ... 图的术语. 无向图G有m条边，n个顶点v1, …vn. 推论：无向图中奇数度顶点必是偶数个。 10. 握手定理. 有向 ... 诱导(导出)子图：可以由顶点集的子集，或者由边集的子集导出一个子图。 15. 子图.