【ACWing】378. 骑士放置

题目地址：

https://www.acwing.com/problem/content/380/

给定一个$N\times M$的棋盘，有一些格子禁止放棋子。问棋盘上最多能放多少个不能互相攻击的骑士（国际象棋的“骑士”，类似于中国象棋的“马”，按照“日”字攻击，但没有中国象棋“别马腿”的规则）。

输入格式：
第一行包含三个整数$N,M,T$，其中$T$表示禁止放置的格子的数量。接下来$T$行每行包含两个整数$x$和$y$，表示位于第$x$行第$y$列的格子禁止放置，行列数从$1$开始。

输出格式：
输出一个整数表示结果。

数据范围：
$1\le N,M\le 100$

如果将每个点分为两类，横纵坐标和为偶数的为一类，和为奇数的为另一类，并且如果两个格子之间马可以从一个跳到另一个，则连一条边，那么该图是个二分图。要问最多能放多少马，等价于问最多能选多少个点，使得两两之间都没有边，其实是求最大独立集。有定理：

最大独立集点数 + 最小点覆盖点数 = 总点数

而最小点覆盖数就等于最大匹配数，最大匹配数可以用匈牙利算法来求。代码如下：

#include <iostream>
#include <cstring>
using namespace std;

typedef pair<int, int> PII;

const int N = 110;
int n, m, k;
PII match[N][N];
bool forb[N][N], st[N][N];

const int dx[8] = {-2, -1, 1, 2, 2, 1, -1, -2};
const int dy[8] = {1, 2, 2, 1, -1, -2, -2, -1};

bool dfs(int x, int y) {
    for (int i = 0; i < 8; i++) {
        int nx = x + dx[i], ny = y + dy[i];
        if (nx < 1 || nx > n || ny < 1 || ny > m) continue;
        if (st[nx][ny] || forb[nx][ny]) continue;

        st[nx][ny] = true;
        PII t = match[nx][ny];
        if (!t.first || dfs(t.first, t.second)) {
            match[nx][ny] = {x, y};
            return true;
        }
    }

    return false;
}

int main() {
    cin >> n >> m >> k;
    for (int i = 0; i < k; i++) {
        int a, b;
        cin >> a >> b;
        forb[a][b] = true;
    }
    
    int res = 0;
    for (int i = 1; i <= n; i++)
        for (int j = 1; j <= m; j++) {
            if ((i + j) % 2 || forb[i][j]) continue;

            memset(st, 0, sizeof st);
            if (dfs(i, j)) res++;        
        }

	// 最大独立集等于总点数减去最小点覆盖数，即减去最大匹配数
    cout << (n * m - k - res) << endl;

    return 0;
}

时间复杂度$O(nm)$，$n,m$是图的点、边数，空间$O(n)$。