HihoCoder 1127 二分图二·二分图最小点覆盖和最大独立集

最小点覆盖点数: 在图$G=(V,E)$中，选取尽可能少的点，使得图中每条边至少有一个端点被选中。

又konig定理可知：最小点覆盖的点数 = 二分图的最大匹配

最大独立集的点数：在图$G=(V,E)$中，选取尽可能多的点，使得任意两个点之间没有连边， 这个问题在二分图问题中被称为最大独立集问题。

结论：最大独立集的点数 = 总点数-二分图的最大匹配

#include <bits/stdc++.h>

using namespace std;

#define se second
#define fi first
#define ll long long
#define pb push_back
#define CLR(a,b) memset(a,(b),sizeof(a))
const int MAXN = (int)1e3+10;

int k, m, n;
int E[MAXN][MAXN];
bool used[MAXN];
int bl[MAXN];
bool find(int u) {
    for(int i = 1; i <= n; ++i) {
        if(used[i]==false && E[u][i]) {
            used[i] = true;
            if(bl[i]==0 || find(bl[i])) {
                bl[i] = u;
                return true;
            }
        }
    }
    return false;
}
int main() {
    ios::sync_with_stdio(false);
    CLR(bl, 0);
    int p, x; cin >> n >> m;
    for(int i = 1; i <= m; ++i) {
        int u, v;
        cin >> u >> v;
        E[u][v] = true;
        E[v][u] = true;
    }
    int ans = 0;
    for(int i = 1; i <= n; ++i) {
        CLR(used, false);
        if(find(i)) ans++;
    }

    cout << ans/2 <<"\n" << n-ans/2 << endl;

    return 0;
}