离散数学-点割，边个集

### 割点的定义 在图论中，割点（Articulation Point）是指在一个无向连通图中，如果删除某个顶点后，该图的连通分量数目增加，则这个顶点被称为割点。换句话说，割点是一个关键节点，它的移除会导致图的分裂[^2]。 ### 点割集的定义 点割集（Vertex Cut Set）是指一个顶点集合，如果从图中移除这个集合中的所有顶点及其相关的边之后，图的连通性被破坏，即图变得不连通或者分解成多个部分。最小的点割集称为基本点割集，它不能通过减少任何成员来保持其破坏图连通性的能力[^1]。 ### 割点和点割集的判定方法 为了识别一个图中的割点和点割集，通常采用深度优先搜索（DFS）算法。具体步骤如下： 1. **初始化**：对图进行遍历，并为每个顶点分配发现时间和最低访问时间。 2. **递归探索**：使用DFS递归地探索每个未访问的顶点。 3. **更新最低访问时间**：对于当前顶点的每一个邻接顶点，如果该邻接顶点已经被访问过，则尝试用它的发现时间更新当前顶点的最低访问时间。 4. **检查条件**： - 根节点是割点当且仅当它有两个或更多子节点。 - 非根节点u是割点当且仅当存在至少一个子节点v，使得v及其后代没有指向u祖先的回边（即low[v] >= disc[u]）。 下面是一个Python示例代码片段，用于查找图中的割点： ```python from collections import defaultdict class Graph: def __init__(self, vertices): self.V = vertices self.graph = defaultdict(list) self.Time = 0 def addEdge(self, u, v): self.graph[u].append(v) self.graph[v].append(u) def APUtil(self, u, visited, ap, parent, low, disc): children = 0 visited[u] = True disc[u] = self.Time low[u] = self.Time self.Time += 1 for v in self.graph[u]: if not visited[v]: parent[v] = u children += 1 self.APUtil(v, visited, ap, parent, low, disc) low[u] = min(low[u], low[v]) if parent[u] == -1 and children > 1: ap[u] = True if parent[u] != -1 and low[v] >= disc[u]: ap[u] = True elif v != parent[u]: low[u] = min(low[u], disc[v]) def articulationPoints(self): visited = [False] * (self.V) disc = [float("Inf")] * (self.V) low = [float("Inf")] * (self.V) parent = [-1] * (self.V) ap = [False] * (self.V) for i in range(self.V): if not visited[i]: self.APUtil(i, visited, ap, parent, low, disc) for index, value in enumerate(ap): if value: print("Articulation point:", index) # 示例用法 g = Graph(7) g.addEdge(0, 1) g.addEdge(0, 2) g.addEdge(1, 2) g.addEdge(1, 3) g.addEdge(3, 4) g.addEdge(4, 5) g.addEdge(5, 3) g.articulationPoints() ``` 上述代码首先定义了一个`Graph`类，其中包含了寻找割点的方法`articulationPoints`以及辅助函数`APUtil`。此方法利用了DFS技术来确定哪些顶点是割点。