数据结构——数组与矩阵、图的基本知识

数组与矩阵：

数组：存储空间连续的表结构
矩阵：带二维信息的数据，一般用二维数组来存储矩阵
特殊矩阵：
    稀疏矩阵：有效信息数据不多，绝大多数都是无效信息数据不需要存储，没有特定的标准，全凭感觉
    
    这些矩阵如果使用二维数组来存储的话，会非常浪费存储空间
    为了节约空间，我们可以对这些矩阵进行压缩
    普通稀疏矩阵压缩方式：
        采用三元组进行压缩
        三元组：有三个数据项：行、列、值 构成一个新整体，既可以顺序存储、也可以链式存储三元组数据
    注意：稀疏矩阵压缩后就失去了随机访问的功能

    上三角形矩阵：n行n列   第i行 第j列
    [x][x][x][x]
    [] [x][x][x]
    [] [] [x][x]
    [] [] [] [x]
    压缩方式：使用一维数组进行存储
    一维数组长度：n*(n+1)/2
    对应关系：(j+1)*j/2+i
    数据位置:j>=i


    下三角形矩阵：
    [x] []  []  []
    [x] [x] []  []
    [x] [x] [x] []
    [x] [x] [x] [x]
    压缩方式：使用一维数组进行存储
    一维数组长度：n*(n+1)/2
    对应关系：(i+1)*i/2+j
    数据位置:i>=j


    对称矩阵：
    [6] [1] [2] [3]
    [1] [7] [4] [5]
    [2] [4] [8] [0]
    [3] [5] [0] [9]
    压缩方式：使用一维数组进行存储，把它当做上三角或下三角进行压缩即可
    一维数组长度：n*(n-1)/2
    对应关系：(i+1)*i/2+j
    i和j要满足：当i>j除了还原(i,j)还要还原(j,i)

    对角\对状矩阵：
    [0] [1]  []  []
    [2] [3] [4]  []
    []  [5] [6]  [7]
    []  []  [8]  [9]
    压缩方式：使用一维数组进行存储
    数组长度：3*n-2
    对应关系：i*2+j
    i和j要满足：abs(i-j)<=1

图(Graph)型结构：

什么是图型结构：由有穷且非空的顶点和顶点之间边的集合组成
通常表示：G(V,E) G表示一个图，V是图中顶点的集合(元素), E是图中所有边(元素之间的关系)的集合

无向图：
    边用(A,B)方式表示，A与B之间互通，边没有指定方向
    
无向完全图：
    在无向图中，任意两个顶点之间都有边，这种叫做无向完全图
    含有n个顶点的无向完全图中，共有n*(n-1)/2条边

有向图：
    边用<A,B>方式表示，仅仅表示从A点到B点的边，有向图中边也叫做弧，A是弧尾，B是弧头
    
有向完全图：
    在有向图中，任意两个顶点之间都有方向相反的两条弧，这种图叫做有向完全图
    含有n个顶点的有向完全图中共有n*(n-1)条边

注意：不讨论顶点到自身的边，且不讨论重复的边，这种图统称为简单图，数据结构中只研究简单图

稀疏图：图中顶点多边少的图，反之成为稠密图

边的权重：图中的边附带有意义的数据，这些数据叫做边的权重，带有权重的图也称为网

度：依附于顶点的边的数量称之为该顶点的度，在有向图中，度分为初度(从该顶点出发的弧的数量)、入度(指向该顶点的弧的数量)

路径：从顶点到顶点之间经过的边叫做路径

路径长度：路径上边的条目数

环：图中某个点通过边最后能绕回该点

回路：专指有向图，从某点出发，最终有弧回到该点，如果某点只有输出或输入，该点没有回路

简单路径：经过的顶点序列中不重复的路径成为简单路径

简单回路：除了第一个顶点和最后一个顶点外，其余顶点不重复的回路成为简单回路

连通：如果顶点V到顶点V1之间有路径，则称V和V1是连通的

连通图：无向图，任意顶点之间都是连通的，称之为连通图，如果一个图中有n个顶点则至少需要n-1条边才能达到连通图

生成树：顶点树为n，仅需要n-1条边的连通图，称之为生成树，如果给边配上权重，权重和最小生成树称之为最小生成树

图的遍历：

深度优先遍历(DFS)
对每一个可能的分支路径深入到不能在深入位置，而且每个节点只能访问一次
广度优先遍历(BFS)
系统的展开并遍历图中的所有节点，而且每个节点只能访问一次，与队列配合进行 

图的存储结构：

邻接矩阵：
    用一个一维数组存储n个顶点，用一个n*n的二维数组存储边
    char V[n]={A,B,C,D,E,F,G}
      A  B  C  D  E  F  G(弧头)
    A[0][0][0][0][0][0][0]
    B[0][0][0][0][0][0][0]
    C[0][0][0][0][0][0][0]
    D[0][0][0][0][0][0][0]
    E[0][0][0][0][0][0][0]
    F[0][0][0][0][0][0][0]
    G[0][0][0][0][0][0][0]
    (弧尾)
    在二维数组中E[i][j]值为1，则表示顶点V[i]到V[j]有边
    注意：由于不存在自己到自己的边，对角线上的值一定为0
    
    如果存储的是无向图则二维数组的值延对角线对称，可以压缩成一维数组（参考矩阵压缩）
邻接表：(链式+顺序)
    边：
        顶点下标
        指向下一条边的地址
    顶点：
        顶点数据
        指向第一条边的指针
    图：
        由顶点组成的数组
        顶点数量
    优点：节约存储空间，计算出度方便
    缺点：计算入度麻烦
    
十字链表：  
    是一种专门存储有向图的一种结构
    边：
        弧尾下标
        弧头下标
        指向弧尾相同的下一条边
        指向弧头相同的下一条边
    顶点：
        顶点数据
        指向第一条出度的边
        指向第一条入度的边
    图：
        由顶点组成的数组
        顶点数量
    优点：节约空间、计算出入度很方便

邻接多重表：
    是一种专门存储无向图的一种结构
    边:
    i j 两个相互依附的顶点的下标
    inext 指向下一条依附于i顶点的边
    jnext 指向下一条依附于j顶点的边
    
    顶点：
        顶点数据
        指向与顶点有关的一条边的指针
    图：
        由顶点组成的数组
        顶点数量