[化学]图论Graph Theory.docVIP

第一章 图形理论 图形理论有明确的起始点，由瑞士数学家尤拉(Leonhard Euler, 1707-1783)于1736年发表的论文开始。其研究的主要论点，乃在于解决当时的热门问题，即有名K?nigsgerg的七桥问题。 1.1 定义与例题 定义1.1： 令 为非空集合，且. 序对称为(上)有向图(directed graph or digraph)，其中 为顶点(vertex)或节点(node)的集合，为边(edge)的集合。我们记表示此图形。 图1.1为上有向图的例子，其中。边的方向由边上的有向箭头表示，如图所示对任意边，如，我们说此边接合(incident)顶点；称邻接至(adjacent to) ；或邻接自(adjacent from) 。此外， 称为边的原点(origin)或源点(source)， 称为终点(terminus or terminating vertex)。边为一个循环(loop)， 且顶点 不与任何边接合，称为孤立点(isolated)。 若不考虑边的方向，此图称为无向图(undirected)。 定义1.2： 令为无向图的顶点(不一定相异)。中的路( walk)是指选自的顶点及边的有限交错序列。 其中由顶点 开始，终止于顶点 ，个边 路的长度(length)是指该条路的边数。(当，表示无边，即，称该路为无聊(trivial)，这些路未给予重视。) 任意满足的路称为闭路(closed walk)，否则，称为开路(open)。 定义1.3： 考虑无向图上的任意路。 若路无任何重复的边，则(边及顶点)形成一条路线(trail)。闭路线称为回路(circuit)。 如果路无任何顶点出现一次以上，称为路径(path)。环路(cycle)一词是用来表示一条闭路径。 注意： 处理回路问题，我们通常限制至少有一边，只有一边的回路，称为循环(这种图形不再是无循环)。含有两个边的回路出现在多重图内，不久我们将定义这项观念。 “环路”一词意谓至少有三个边(在图内)。 对有向图而言，我们使用形容词“有向”，例如有向路(directed walk)，有向路径(directed paths)，及有向环路(directed cycles)。 定理1.1： 设为无向图，其中。若存在一条由至的路线(在中)，则存在一条由至的路径(在中)。 定义1.4： 令为无向图，我们称为连通图(connected)意指中任何两相异顶点间存在一条路径。 令为有向图，其相关的无向图是由有向图省略其边的方向而得。若其相关的无向图为连通，则认为为连通。 若在图形不为连通图则称为不连通图(disconnected)。 例1.1： 图1.2为上的无向图。此图不为连通，因为由至没有路径。然而，此图分成的两个部份均为连通，且这些部分称为此图形的分图(components)。因此，图形为连通若且唯若它仅有一个分图。 定义1.5： 任何图形，的分图数目记作。 定义1.6： 图形称为多重图(multigraph)意指对某些 ，，存在两个或更多如 (a) (对有向图) 或 (b) (对无向图)的边。 图1.3系有向多重图的例子，因为由至有三个边，我们称边有重数(multiplicity) 3，边及为重数2。 1.2子图，补图与同构图 定义1.7： 若为图形(有向或无向)，则称为的子图(subgraph)若且，其中的每个边是由的顶点所结合。 定义1.8： 令为一图形(有向或无向)，若，由诱导出的子图(subgraph of induced by )意指子图其顶点在内而且(自)所有边具有下列形式之一： (a) (当为有向图) 或 (b) (当为无向图) 我们将这种子图记作。 图形的子图称为诱导子图(induced subgraph)，意指存在满足。 定义1.9： 令是有向图或无向图的某顶点，记作的子图表示顶点集且边集，其中包含中所有边，除那些接合顶点 的边外。 同理，若 是有向图或无向图的某边，的子图表示边集，且顶点集不变(即) 定义1.10： 令为个顶点的集合。上的完全图(complete graph)，记为，意指无循环无向图，其中对任意 ，，，恰存在一边。 定义1.11： 令为含个顶点的无循环无向量，的补图(comp