图论基础定义和算法

基础定义

前言：学图论的时，有一大堆定义，来回扒网页，找讲解，写这篇 把我目前知道的 基础、重要的定义汇总一下，把之前 把过的 大佬讲 定义、算法 解博客链接🔗 添加上、加了一些图，，，这样方便了 我们学习、和复习 这些的定义和算法

什么是有向图、无向图

• 全部由无向边构成图称为无向图（Undirected Graph）
  
• 全部由有向边构成图称为无向图（Directed Graph）。有向，顾名思义，有方向。本文中顶点Vertex（V），边Edge（E）

• 通俗定义
• 精确定义

---

重边、重数、平行边、圈/环、自环

• 简单图、多重图、重边、重数、平行边定义：

1. 在无向图中，关联一对顶点的无向边如果多于1条，则称这些边为平行边，平行边的条数称为重数。

下图 顶点C与A之间有2条无向边，我们称这两条边b5、b4 为 平行边，那么A、C之间的边的 重数 为2；A与D之间边的也同理。

2. 在有向图中，关联一对顶点的有向边如果多于1条，并且这些边的始点与终点相同(也就是它们的的方向相同)，称这些边为平行边。含平行边的图称为多重图，

下图顶点v1、v2直接的两条边，也是重边、不过他们不是平行边

3. 既不含平行边也不包含自环的图称为简单图。

• 自环：一条边的起点终点是一个点，如下图e4这条边，起、终点均为v5

---

子图subgraph、补图complement

子图、真子图、生成子图、补图 简单定义

---

什么是节点的“度、出度、入度”？

百科定义

---

图的连通性（连通图）指的是？

1. 连通图：图中的任意两点，都可以相互到达（通过直接相连、或者间接相连的比边）
2. 在无向图中 由于边都是双向的，所以无向图一定是连通图，
3. 在有向图中 由于边都是单向的，所以 有向图的可以通过 定义直接形成环，就有可能成为 连通图，如下图⬇️

百科定义

---

什么是连通分量、强连通图、弱连通图、单向连通图？

• 百科解释

连通分量： 无向图 G的一个极大连通子图称为 G的一个连通分量（或 连通分支）。连通图只有一个连通分量，即其自身；非连通的无向图有多个连通分量。

强连通图： 有向图 G=( V, E) 中，若对于V中任意两个不同的 顶点 x和 y，都存在从 x到 y以及从 y到 x的路径，则称 G是强连通图。相应地有强连通分量的概念。强连通图只有一个强连通分量，即是其自身；非强连通的有向图有多个强连分量。

• 补充 有向图中的 连通图、连通分量、强连通分量 传送门

以上图为例，总共有三个强连通分量，分别是：abe、fg、cdh

---

单向连通图：设G=<V,E>是 有向图，如果u->v意味着图G至多包含一条从u到v的简单路径，则图G为单连通图。

弱连通图：将有向图的所有的有向边替换为无向边，所得到的图称为原图的基图。如果一个有向图的基图是连通图，则有向图是弱连通图。

---

什么是缩点？

---

什么是割点、是割边（桥）？

1. 注意：割点、割边 是定义在无向图中的，下面给两幅图来直观了解一下

1. 在这个无向图中 3-5 这条无向边就是 一个桥，我们把它 割取就会从原图变成两个图，这个就变的 不连通了；
2. 3、5两个点是两个割点我们，假如我们删去某个割点顶点3 及 与3相连的边，那么 原图就会变成两部分，图就不在联通的了

桥（割边）与割点定义 与 求法
这篇讲仙人掌图的文章涉及了 割点割边的讲解，讲的也很好

桥（割边）与割点 实现思路1
桥（割边）与割点 实现思路2

---

什么是（边、点）双联通分量？

百度百科

---

什么是DFS生成树？

DFS生成树

---

什么是：前向边、后/逆向边、横插/向边、树（枝）边

• 树边，前向边，后向边，横叉边，应该说，不是一个图本身有的概念，应该是图进行DFS时才有的概念。图进行DFS会得到一棵DFS树（森林），在这个树上 才有了这些概念。对图进行DFS，可以从任意的顶点开始，遍历的方式也是多样的，所以不同的遍历会得到不同的DFS树，进而产生不同的树边，前向边，后向 边，横叉边。所以这4种边，是一个相对的概念。

所以要想弄懂这个四种边，先要弄懂 什么是 DFN生成树，下面附上一张DFS生成树的图

---

仙人掌图定义及判断

仙人掌图讲解
仙人掌图实现

圆方树

圆方树讲解