第六章图论及网络模型.docVIP

图论及网络 1、基本概念 一个图是指由点集和中元素的无序对的一个集合所构成的二元组，记为，中的元素叫做顶点，中的元素叫做边。两个点、属于，如果边，则称和两点相邻。和称为边的端点。两条边、属于，如果它们有一个公共端点，则称、相邻。称边、为的关联边。 用表示图中的边数，用表示图中的顶点个数。在不引起混淆情况下简记为，。 当，为有限集合时，称为有限图，否则，称为无限图。我们只讨论有限图。 对于任一条边属于，如果边端点无序，则称它是无向边，此时图称为无向图。如果边的端点有序，即它表示以为始点，为终点的有向弧（或称弧），这时图称为有向图。 一条边的两个端点如果相同，称此边为环（自回路）。 两个点之间多于一条边，称为多重边。 不含环和多重边的图称为简单图，含有多重边的图称为多重图。我们只讨论简单图 有向图中两点之间有不同方向的两条边，不是多重边。 每一对顶点间都有边相连的无向简单图称为完全图。有个顶点的无向完全图记为。 有向完全图则指每一对顶点间有且仅有一条有向边的简单图。 图的顶点集可以分解为两个非空子集和，即，，使得每条边的两个端点必有一个端点在中，另一个端点在中，则称为二部图（偶图），记作。 以点为端点的边数叫做点的度（次），记作，简记。注意的是每个环算着两条边。 次为1的点称为悬挂点，连接悬挂点的边称为悬挂边。次为奇数的点称为奇点，次为偶数的点称为偶点。 定理 任何图中，顶点次数的总