计算机科学数学-图论 I -l_graphs.pdf

图论 1 介绍 非正式的，图是被线连接的一串圆点。这里的例子是一个图： 可悲的是，这个定义对于数学讨论来说是不够精确的。 正式的，图是一对 集合( V ， E ) ，其中： l V 是非空集合，其元素称为顶点。 l E 是 V 的两个元素的子集的集合，其元素称为边。 顶点对应于图中的点，而边对应于线。 因此，以上的点线图是图 (V，E) 的图案 表示。 V = {A，B ，C，D ，E ，F，G，H ，I} E = {{A，B} ，{A，C} ，{B，D} ，{C，D} ，{C，E} ，{E，F} ，{E，G}，{H， I}} 1.1 定义 恼人的是，在首先的图论学习中，就是有这么多的定义。他们都符合直觉的 想法，但也需要一段时间才能消化得完。某些想法已经有多个名称。 例如，图 有时被称为网络，顶点有时被称为结点，边有时被称为弧线。 更糟的是，没有 人能够认同术语的确切含义。例如，在我们的定义，每个图形必须至少有一个顶 点。然而，其他作者允许图可以没有顶点。( 图与无顶点是单一的，是许多定理 的愚蠢反例，所以我们禁止它! ) 这是典型的；每个人或多或少同意每个术语的 意义，但是不同意古怪的特殊个案。 因此，请不要惊慌，如果这里定义与您在 其他处看到的定义稍微有所不同，通常，这些差异并不重要。 从此以后，我们使用 A B 表示顶点 A 和顶点 B 之间的边，而非集合符 号{ A ，B } 。注意到，A B 和B A 是同样的边，正像{ A ，B }和{ B ，A } 是 相同的集合一样。 PDF 文件使用 pdfFactory Pro 试用版本创建 在图中如果两个顶点被一条边连接，那么它们是相邻的，且连接两顶点的边 被称为与顶点是邻接的。和顶点邻接的边的数目称为边的度。例如在上图中，A 和B 相邻；B 和D 相邻；边A C 邻接到顶点 A 和C 。顶点 H 有度 1 ，D 有 度 2 ， E 有度 3 。 从图中删除一些顶点或边，剩下的部分成为子图。正式的，图 G =(V，E) 的 子图是 G ’=(V’，E ’) ，这里V’是 V 的非空子集；E’是E 的非空子集。既然子 图自身就是一图，那么在E’中的每条边的顶点必须是 V ’中的顶点。 1.2 在美国的性别 一份 1994 加哥大学的名为 社会性组织 的 调查发现男性平均比女性多 74% 的性伴侣。 让我们重新使用图论术语改写这个观察。令G=(V，E) 是图，这里的顶点集 合包括 V 在美国的所有人。现在每个顶点表示一个男人或一个女人，因此我们 能把 V 分成两个子集：M，它包括所有的男性顶点；以及 W ，它包括所有的女 性顶点。让我们把所有的 M 顶点画在左边，所有的 W 顶点花在右边： 现在，没有进入许多具体，有时一条边界出现在之间M 顶点和W 顶点之间: 既然我们只考虑异性关系，每条边连接在左边的 M 顶点到在右边的 W 顶点。 PDF 文件使用 pdfFactory Pro 试用版本创建 因此 M 顶点的度的总和一定等于 W 顶点的度的总和：