随笔分类 - 图论
4. 差分约束系统
摘要：1.定义： 如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统(system of difference constraints)。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。 求解差分约束系统，可以转化成
3. 最小生成树
摘要：1. 什么是最小生成树 给定一个无向图，如果它的某个子图中任意两个顶点都相互连通并且是一颗树，那么这棵树称为生成树 （Spanning Tree）。如果边上有权值，那么使得边权和最小的生成树叫做最小生成树（MST, Minimum Spanning Tree）. 一个有 n 个结点的连通图的生成树是
2. 最短路问题
摘要：1. 单源最短路问题 （Bellman-Ford 算法） Bellman_Ford 单源最短路是固定一个起点，求它到其他所有点的最短路问题。 记从起点 s 出发到顶点 i 的最短距离为 d[ i ]，则有等式成立： d[ i ] = min{ d[ j ] + (从 j 到 i 的边的权值) | e
1. 基础图论
摘要：1. 图是什么： 2. 图的表示： 1.邻接矩阵 使用邻接矩阵的好处是可以在常数时间内判断两点之间是否有边存在，但是需要0（| V |2）的空间，这在稀疏图里面十分浪费。 2.邻接表 邻接表虽然在边稀疏时只需要占用少量内存，但和邻接矩阵相比实现较为复杂，而且邻接表中查询两点间是否有边需要遍历一遍链表
