简单链(路):链中边 ei , ei ,..., ei 均不相同。
1 2 k
vi , vi ,..., vi 初等链:
1 2
k 1
均不相同。
简单圈(回路) :边均不相同。 初等圈(回路) :点均不相同。
图的连通性
点u和点v是连通的: 点u和点v之间存在链(路)。 连通图:图中任意两点连通。 连通分支:图G的极大连通子图。 图G是连通图当且仅当图G只有一个连通分支。 v8 v4 e e v ( v , v , v , v , v , v , v , v ) 5 5 例 1 2 3 4 5 3 6 7 v1 4
E 及其关联的顶点构成的子图称为由 E 导出的子图,记为 G[ E ] 。
子图的运算
设 G1 和 G2 是 G 的两个子图。 若 G1 和 G2 无公共顶点,则称它们是不相交的; 若 G1 和 G2 无公共边,则称它们是边不重的。 (1) G1 和 G2 的并( G1 G2 ):分别以 G1 和 G2 点集的并和边集 的并为点集和边集的子图; (2) G1 和 G2 的交( G1 G2 ):分别以 G1 和 G2 点集的交和边集 的交为点集和边集的子图。
子图
设 G (V , E ) 是一个图, 图 H (V 1, E1) 称为 G 的一个子 图,其中 V 1 是 V 的非空子集且 E1 是 E 的子集。 子图 支撑子图 设 G (V , E ) 是一个图,若 V V1 ,则 G 的子图 。 H (V 1, E1) 为 G 的支撑子图(或生成子图) 点导出子图 设 G (V , E ) 是图, 非空子集 S V , 则 G 的以 S 为顶点集以两端点在 S 中的所有边构成边集的子图称为由 S 导出的 子图,记为 G[ S ] 。 边导出子图 设 G (V , E ) 是图,非空子集 E E ,则 G 的以