第六章、图

第六章、图
   基本概念：
       无序积：A&B={(a,b)|a属于A,b属于B}   （a,b)称为无序对,(a,b)=(b,a)
       图：G=<V,E>    V是节点集，E是边集（a,b）无向边<a,b>有向边     （结点数，边数）图
       表示方法：图形，集合，矩阵
           邻接矩阵：aij有一条边就赋值为1，否则为0

    定义：
        邻接点：vi与vj是一条边e的两个端点，则vi,vj互称为邻接点
        邻接边：有相同节点的两条边
        孤立节点：不与任何节点相连的节点
        环或自回路：两个端点相同的的边

    简单的特殊图
        零图：仅有孤立节点组成
        平凡图：仅含有一个节点的零图

    按有无方向分类：有向图，无向图，混合图（混合图一般是有向图）
    按有无平行边分类：
        平行边：有向图中的同起点同终点，无向图中的结点间有几条边就有几条平行边
            重数：边e的平行边的个数

        多重图：有平行边
        线图：无平行边
        简单图：无环的线图

    按权值：赋权图<V,E,g>或<V,E,f,g>，无权图
        g表示边的权值，f表示点的权值

    各类子图：自身是自身的导出子图和生成子图
        子图：V1属于V，E1属于E   真子图就是G1不等于G
        生成子图：子图中包含原有的所有点
        导出子图：子图中的点集所相连 的边都出现了

    简单图中G=<V,E>,即下面两种图都是简单图
        完全图：有向图中每个结点间都有两条完全相反的有向边，无向图中每两个结点间都有边相连
        补图：G‘=<V,E-E1>,从V为结点集，删除E1的完全图


握手定理：
    相关定义：
        度数：一个点作为边的端点的次数称为度数，记为deg(v）
        出度：作为起点的次数，deg+(v)
        入度：作为终点的次数，deg-(v)
        悬挂结点：度数为1的结点
        悬挂边：以度数为1的结点为端点

    定理定义：总度数=奇数点的总度数+偶数点的总度数=两倍的边数
        推论：奇度数结点的度数之和是偶数
        有向图中：奇数点的总度数=偶数点的总度数=边数


通路与回路：
    I=v0e1V1e2----ekVk，这个被称为从v0到vk的通路，k是通路的长度
    回路：
        v0=vk

    简单通路与简单回路：
        所有边都不相同，否则为复杂通路或复杂回路

    基本/初级通路或基本/初级回路：
        所有结点互不相同，所有边也互不相同（回路中除了v0=vk外）

    简化表示：
        简单图中可以直接用结点序列表示通路v1v2v3
        或者通路也可以使用边的序列来表示e1e2e3

    计算：图的邻接矩阵A，计算A的k次幂，
        通路数目：aij的k次幂是从结点i到结点j的长度为k的 一条通路
        回路数目：主对角线上的数值相加
        通路总数：矩阵的每一个值相加


连通性：
    一些基本定义：
        vi到vj是可达的：存在通路，否则为不可达
            判断方式：求n个点的邻接矩阵的n次幂的和
            或者做布尔矩阵的乘法，然后做交运算

        短线程：从vi到vj的长度最短的通路，短线程的大小称为距离，若不可达则记作距离为无穷
            计算：计算邻接矩阵的n次幂，d(vi,vj)=k，k=n个矩阵中aij的最小值


    无向图：
          连通图：G中任意两个结点都是可达的，否则为非连通图或分离图
            连通分支：每个等价类的导出子图都是一个连通分支 记作P（G)

        点割集：删去某些点后使得图的连通分支P(G)增加的点集，点割集中只有一个点时就成为割点
        边割集： 删去某些点后使得图的连通分支P(G)增加的边集，边割集中只有一个点时就成为割边
        点联通度：点割集中的元素最少的元素个数，记作κ（G)
            点连通度为k，则成为k-连通图

        边联通度：边割集中的元素最少的元素个数,记作λ（G）
            边连通度为k，则成为k边-连通图


    有向图：
        分类：强连通必是单向连通，单向连通必是弱连通
            弱连通图：略去所有有向边的方向后得到的时连通图，反之是非连通图
            单向连通图：任意对结点间至少有一个结点到另一个结点是可达的
                必要条件：有一条经过所有点一次的通路

            强连通图：所有的点之间都是相互可达的
                必要条件：有一条经过所有点一次的回路