算法竞赛进阶指南 棋盘覆盖

 2: 匈牙利算法: 匹配，最大匹配，匹配点，增广路径在此之前要直到匈牙利算法的算法思想。

匹配：每两个点之间相连所形成的边不存在公共点。

如图：

最大匹配：最大的匹配的数量。

匹配点：已经匹配的点即被边连接起来的点。

增广路径：从一个非匹配点出发按非匹配边 -> 匹配边 -> 分匹配边.....最后到另一边的非匹配点这样的路径即为增广路径。

如图：从点x到点y的路径即为一条增广路径

 

因此我们可以得出一个结论：

若存在最大匹配则一定没有增广路径：因为若是存在增广路径则增广路径开始的节点和增广路径结束的节点一定可以连一条边。

例题：棋盘覆盖

来源：算法竞赛进阶指南

给定一个 N 行 N 列的棋盘，已知某些格子禁止放置。
 
求最多能往棋盘上放多少块的长度为 2、宽度为 1 的骨牌，骨牌的边界与格线重合（骨牌占用两个格子），并且任意两张骨牌都不重叠。
 
输入格式
第一行包含两个整数 N 和 t，其中 t 为禁止放置的格子的数量。
 
接下来 t 行每行包含两个整数 x 和 y，表示位于第 x 行第 y 列的格子禁止放置，行列数从 1 开始。
 
输出格式
输出一个整数，表示结果。
 
数据范围
1≤N≤100,
0≤t≤100
输入样例：
8 0
输出样例：
32

 

由题意：

我们要找到任意两个骨牌不重叠的可以防止骨牌数目最多的方法：

假设一个图：

 

红色格子为不能防止的点，绿色格子为我们所选取的骨牌，我们可以把每个选取的骨牌从a到b连一条边，答案即为不能存在重复点的最大匹配数量。

现在要证明他是二分图：

如图将每个横纵坐标标号：可以得到结论坐标和为偶数的四个方向都是奇数，坐标和为奇数的四个方向都是偶数，因此我们可以把奇数分到二分图的左边，偶数分到二分图的右边，枚举每个坐标和为奇数（或偶数）的点找到能满足不存在重复点的最大匹配数量即为最终答案。  

#include <cstdio>
#include <cstring>
#include <iostream>
 
#define x first
#define y second
 
using namespace std;
 
const int N = 110;
 
typedef pair<int, int> PII;
 
int n, m;
int g[N][N];//表示当前格子是否被禁止存放
bool st[N][N];//判断某个格子是否被用过防止重复遍历。
PII match[N][N];//match[a][b]表示坐标为(a, b)这个人是否有匹配的点。
int dx[4] = {-1, 1, 0, 0}, dy[4] = {0, 0, -1, 1};//枚举四个方向
 
bool find(int x, int y)//匈牙利算法
{
    for (int u = 0; u < 4; u ++ )//枚举周围四个格子
    {
        int a = x + dx[u], b = y + dy[u];
        if (a < 1 || a > n || b < 1 || b > n) continue;//若越界
        if (st[a][b] || g[a][b]) continue;//若被遍历过或者该坐标不能放骨牌
        
        st[a][b] = true;
        PII t = match[a][b];
        if (t.x == -1 || find(t.x, t.y))//若(a, b)还没有匹配的点，或者(a, b)匹配的点还可以找到其他点
        {
            match[a][b] = {x, y};
            return true;//(a, b)匹配成功
        }
    }
    
    return false;//否则匹配失败
}
 
int main()
{
    cin >> n >> m;
    while (m -- )
    {
        int a, b;
        scanf("%d %d", &a, &b);
        g[a][b] = true;//第a行第b列禁止存放骨牌
    }
    
    memset(match, -1, sizeof match);
    
    int res = 0;
    for (int i = 1; i <= n; i ++ )
        for (int j = 1; j <= n; j ++ )
            if ((i + j) % 2 && !g[i][j])//找到坐标和为奇数的点且该点未被禁用
            {
                memset(st, 0, sizeof st);
                if (find(i, j)) res ++ ;//若(i, j)能找到匹配的点则答案++
            }
    
    cout << res << endl;
    
    return 0;
}