图论基础

一、基本概念：
1. 图的分类： 有向图，无向图，混合图，赋权图，无权图
    底图： 有向图将方向去掉后得到的无向图。
    多重图：含有平行边的图（即两个节点之间有多条等价路径）。非多重图称为线图。
    简单图：无自回路的线图。 
    正则图：各个结点的次数相同，记为Kn。
    平面图：能够图示在一个平面内，边与边只在顶点出相交的图。
    完全有向图：边集为结点集的笛卡尔乘积的有向图。
    完全无向图：每两个结点间都有一条边的无向图。
2.结点的次数：
    无向图中，每个结点连接的路径数是结点的次数。
    有向图中，每个结点的引出次数叫出度，引入次数叫入度，出度与入度的和为结点的次数。
    定理：图G（n，m） 所有结点的次数之和为2m。
    推论：图G（n，m）次数为奇数的结点必为偶数个。
3.图的同构：
    概念：两个图中的结点存在一一对应关系，这种对应关系保持结点的邻接关系和边的重数。
4.图的运算：
    并，交，差，环和：分别做点集和边集的并、交、差、环和。
5.子图：
    G<V,E>
    子图：G‘的点集和边集都为G的点集和边集的子集。
    生成子图： 子图中包含原图的所有点。
    边集的导出子图：由边集唯一确定，保证没有孤立结点的子图。
    结点集的导出子图：有结点集唯一确定，保证任意两个新结点间包含原图的所有路径。(当[u，v] ∈E时有[u，v] ∈E‘ )
二、路径和回路：
1.概念：
    简单路径： 一条边不重复出现两次的路径。如果是回路则成为简单回路。
    基本路径：一个点不重复出现两次的路径。如果是回路则成为基本回路。
    路径的长度：路径中包含的边的条数。
 2.图的连通度：
    如果图中任意两结点可达，则称图是连通的。
    如果子图是连通的，且没有更大的子图是连通的，则称该子图为连通分图。简称分图。