并查集逆向思维破解犯罪团伙网络分割问题

1. 问题背景与核心需求

这道题目描述了一个犯罪团伙网络的情景：有n个编号从1到n的犯罪团伙（n≤1000），其中任意两个团伙之间都可以通过直接或间接的方式联系。警方希望通过打击最少数量的团伙（按编号顺序从1到k），使得剩下的团伙中最大的连通块规模不超过n/2。

这个问题的实际意义在于：在打击犯罪时，我们希望用最小的代价瓦解大型犯罪网络，使其分裂成多个小型组织，从而降低整体危害性。从算法角度来看，这是一个典型的图论问题，涉及连通分量和集合操作。

2. 解题思路分析

2.1 正向思考的困境

最直观的想法是正向模拟打击过程：

1. 初始时所有团伙都在
2. 依次打击1号、2号...k号团伙
3. 每次打击后检查最大连通块大小

但这种方法存在严重效率问题：

• 每次打击一个团伙后，都需要重建整个图的连通性
• 对于n=1000的情况，时间复杂度可能达到O(n³)
• 并查集擅长合并操作，但不擅长删除操作

2.2 逆向思维的突破

更聪明的做法是逆向思考：

1. 假设所有团伙都已被打击（初始状态为空）
2. 从编号最大的团伙开始"恢复"（逆向操作）
3. 每次恢复一个团伙时，将其与已恢复的关联团伙合并
4. 当发现最大连通块超过n/2时，当前恢复的团伙就是临界点

这种方法的优势：

• 将删除操作转化为添加操作
• 完美利用并查集的合并特性
• 时间复杂度优化到O(nα(n))，其中α是反阿克曼函数

3. 并查集实现细节

3.1 基础数据结构

cpp复制vector<int> vec[1005];  // 邻接表存储团伙关系
int fa[1001];           // 父节点数组
int sz[1010];           // 集合大小数组
int max_size;           // 当前最大集合大小

3.2 核心操作实现

查找操作（带路径压缩）：

cpp复制int find(int x) {
    if(fa[x] == x) return x;
    return fa[x] = find(fa[x]);  // 路径压缩
}

合并操作：

cpp复制void unite(int x, int y) {
    int fx