图论学习笔记（个人学习过程中遇到的一些概念分析）

一、极大连通子图

极小连通子图与极大连通子图是在无向图中进行讨论的。（这里先讲清楚极大连通子图，后面极小连通子图要铺垫概念）
极大强连通子图是在有向图中进行讨论的，不存在极小强连通子图。

何为连通？在图论中，连通就是一个点可以有路径达到另一个点，如果在无向图中，任意一个点都可以有路径跑到另外一个指定的点，这个图就是连通图。

（比如我自己划的这种抽象图）这玩意就是连通图

接下来明确几点：

1、有个东西叫“极大连通图”？"极大"就表明了这个连通图的性质，你这个时候对指定的某个连通图，你要在加一个无关的点，此时这个图里面的点没有到这个无关点的路径，他就直接不连通了。这个时候这个连通图就是极大连通图。

2、某个连通图的极大连通子图就是连通图他自己本身。最大的嘛，全部连通点都已经囊括好了，你要再加一点就坏事了，就不连通了，这样以来，不是他极大谁极大呢？对吧

3、.非连通图有多个极大连通子图。这个我直接画图解释。

这个图由这个@1部分和@2部分组成，我们可以知道整个图肯定不连通的（A或者B根本到达不了序号2圈着的任意一个点），那他的“子图”，也就是他的@1部分的各点和@2部分的各点是分别连通的，各自是分别连通的，但是如果把两个部分加起来考虑就“老死不相往来了”。

二、什么叫生成树？你不知道这个，就不要讨论极小连通子图。

老子当时看这个东西刚开始看的时候感觉概念读得快死了，效率贼慢。什么“树”不“树”的，太抽象了。画图直接解决不就行了，都玩文字游戏。

生成树，就是你能找到一条线（这条线上的路径要存在）把图里面的全部点串起来，上面两个图里面的都是，我这里针对五个点的情况进行三种不同串法的演示。这玩意是不存在环的，要是你发现有环，那就不是生成树了，反正记住就是串起来就行，不要头尾串成一个环（下面这个有环的就不是）。始终记住：边数==顶点数-1

看几个性质：

1、对于某个连通图的生成树可能是不唯一的。我上面一上来就画了可能潜在的三种情况，应该好理解不唯一了吧。

2、最小生成树：在带权图中，生成树中的边有权重，最小生成树（Minimum Spanning Tree, MST）是所有生成树中权重和最小的那个。

讲人话就是这里面的数字代表路的长短，你要找到走完全部点的最短一条路。

3、深度和高度：在生成树中，顶点的深度是指从根顶点到该顶点的路径长度，而高度是指从该顶点到最远叶子顶点的最长路径长度。

4、分支：生成树中的顶点可以有不同的分支数，分支数即与该顶点相连的边的数量。

三、极小连通子图

一个连通图的生成树 是 该连通图顶点集确定的极小连通子图。OK，over，第二个生成树的概念懂了这个就不难了。