python/TangDou/AcWing/ErFenTu/POJ3041.md

## [$POJ$ $3041$ $Asteroids$](http://poj.org/problem?id=3041)

### 一、题目大意

($Bessie$希望通过一个$N * N$网格$(1 <= N <= 500)$形状的危险小行星场导航她的宇宙飞船。

网格包含$K$个小行星$(1 <= K <= 10,000)$，它们方便地位于网格的格点处。

幸运的是，$Bessie$拥有一种强大的武器，可以通过一次射击在网格的任何给定行或列中蒸发所有小行星。这种武器非常昂贵，所以她希望谨慎使用它。给出所有小行星的位置。现场，找到$Bessie$需要射击以消灭所有小行星的最小射击次数。)

输入
```cpp {.line-numbers}
3 4
1 1
1 3
2 2
3 2
```
输出
```cpp {.line-numbers}
2
```

### 二、思路:
- ① 建立一个二分图，两边的点分别是横坐标和纵坐标，网格上出现的点$(x,y)$表示二分图左边的$x$可以和右边的$y$匹配
- ② 当我们选择左边图的一个点$x$清除时，实际上就是把横坐标为$x$的点清除，那么与该点$x$匹配的右边图的所有点也会被一起清除，选择右边点$y$清除同理
  
- ③ 现在问题转换成了想要覆盖所有边的最少点数，即：二分图的最小匹配点数

### 三、总结
-  **最小点覆盖 = 最大匹配**
   - 最大匹配：在二分图中最多能找到多少条没有公共端点的边
   - 最小点覆盖：选择最少的点使得所有边都至少有一个端点被选中了，倒过来说就是，删除包含这些点的边，可以删掉所有边。点集里面的点能覆盖所有的边

- **最小边（路径）覆盖**
实质是个边集，这个集合里的边能覆盖所有的点，二分图中 补图的最大团=最大独立点集=最小边覆盖=所有顶点数（男孩和女孩）- 最小点覆盖（最大匹配）

### 三、代码
```cpp {.line-numbers}
#include <cstdio>
#include <cstring>
using namespace std;
const int N = 550;

int g[N][N]; // 地图
int n, m;

// 匈牙利
int st[N], match[N];
int dfs(int u) {
    for (int i = 1; i <= n; i++) {
        if (g[u][i] && !st[i]) { // u->i有边
            st[i] = 1;
            if (match[i] == -1 || dfs(match[i])) {
                match[i] = u;
                return 1;
            }
        }
    }
    return 0;
}
int main() {
#ifndef ONa_JUDGE
    freopen("POJ3041.in", "r", stdin);
#endif
    memset(g, 0, sizeof g);
    memset(match, -1, sizeof match);
    scanf("%d%d", &n, &m);

    while (m--) {
        int x, y;
        scanf("%d%d", &x, &y);
        g[x][y] = 1;
    }

    // 匈牙利
    int res = 0;
    for (int i = 1; i <= n; i++) {
        memset(st, 0, sizeof st);
        if (dfs(i)) res++;
    }
    // 输出
    printf("%d\n", res);
    return 0;
}
```