图论学习笔记（一） 图

前言：参考教材：《集合论与图论》第三版 屈婉玲，刘捍贫，刘田

第七章 图

7.1 图的基本概念

无向图：有序二元组G=<V,E>，其中V≠∅称为G的顶点集，可记为V(G)，E称为边集，可记为E(G)，它是无序积V&V的多重子集（vi到vj可以连多条边），其元素称为无向边

有向图：有序二元组D=<V,E>，其中V≠∅称为D的顶点集，可记为V(D)，E称为边集，可记为E(D)，它是有序积V×V的多重子集（vi到vj可以连多条边），其元素称为有向边

阶数：如果一个图有n个顶点，就记其为n阶图，如果阶数有限则称为有限图，本课程只研究有限图

零图：边集为空的图，如果有n个顶点就称为n阶零图，记为N_n

平凡图：1阶零图（N_1）

空图：在图的运算过程中可能产生顶点数为0的图，记为空图，但空图不是图

标定图：如果一个图的顶点或边标出了字母，则称为标定图，否则若均未标记字母则称为非标定图

基图：将有向图D各有向边的指向去掉造成的无向图

关联：在无向图中，若e_k=(v_i , v_j)，则称v_i和e_k；v_j和e_k相互关联，e_k与v_i/j的关联次数为1

环：在无向图中，特别地，如果v_i=v_j，则称e_k与v_i的关联次数为2，并且即e_k为环

孤立点：在有/无向图中，均称无边关联的顶点为孤立点

相邻：在无向图中，若e_k=(v_i , v_j)，则称v_i和v_j相互相邻；若e_k和e_l至少有一个公共端点，也称其相互相邻

邻接：在有向图中，若e_k=<v_i,v_j>，则称v_i邻接到v_j，v_j邻接于v_i

邻域/闭邻域/关联集：对无向图G，对任意的v∈V(G)

v的邻域记为N_G(v)={u|u∈V(G),(u,v)∈E(G),u≠v}，v的闭邻域记为上划线（N_G(v)）=N_G(v)∪{v}

v的关联集记为I_G(v)={e|e与v关联}

对有向图G，对任意的v∈V(G)

v的后继元集记为Γ+D(v)={u|u∈V(D),(u,v)∈E(D),u≠v}，v的先驱元集记为Γ-D(v)={u|u∈V(D),(u,v)∈E(D),u≠v}，v的邻域记为N_G(v)=Γ+D(v)∪Γ-D(v)，v的闭邻域记为上划线（N_G(v)）=N_G(v)∪{v}

重数：设G为一个无向图，{e_i|i∈E(G)}，若其均为(v_i,v_j)，则称其为一组平行边，元素个数为边(v_i,v_j)的重数；有向图中根据<v_i,v_j>可以类似地定义平行边

简单图/多重图：含平行边的图/不含平行边也不含环的有/无向图

度数：无向图中，d(v)=v在G中作为边的端点的次数之和；有向图中，d+(v)=v在G中作为边的始点的次数之和；d-(v)=v在G中作为边的终点的次数之和&#x