骑士放置-

欢迎大家访问博客：博客传送门

骑士放置

---

题目描述

---

核心思路

最大独立集：选出最多的点，使得选出的点之间没有边

在二分图中，求最大独立集合$⟺$去掉最少的点，使得将所有边都破坏掉$⟺$ 找到最小顶点覆盖$m$$⟺$ 找到最大匹配$m$

结论：最大独立集=总点数-孤立节点数-最小顶点覆盖数

这个题目和“棋盘覆盖”这个题目是类似的，可以对棋盘进行黑白染色，黑色的格子、白色的格子分别作为二分图的左、右部节点。

如果两个格子是“日”字的对角（能互相攻击到），则在这两个格子之间连一条无向边。这个题目是想要求出最多能放多少个不能互相攻击的骑士，由于我们把有攻击的节点都连边了，因此考虑用最少的点来覆盖这些边，那么就会尽可能的剩下多的节点（骑士）了，因此先求出最小顶点覆盖，然后用总点数减去最小顶点覆盖，再减去孤立节点数即可。因此，抽象题意其实就是要求最大独立集。而且，“日”字的两个对角格子的颜色一定不相同。因此，我们建立的图一定是一张二分图。那么我们用匈牙利算法求出二分图的最大匹配，就可以很容易求出二分图的最大独立集了。

如下图：

两个格子的马若能互相攻击，则这两个格子之间能连上一条边。若两只马能够互相攻击，则这两只马的格子一定是两种不同颜色的格子。

这里要注意，题目中说了有一些格子禁止放棋子，因此这些格子都会被认为是孤立节点。计算最大独立集时，要记得减去这些孤立节点。

---

代码

#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=110;
typedef pair<int,int>PII;
int n,m,t;
//邻接矩阵 g[i][j]=1表示(i,j)这个格子可以放置  g[i][j]=0表示(i,j)这个格子不可以放置
int g[N][N];
PII match[N][N];
bool st[N][N];
int dx[8]={-2,-1,1,2,2,1,-1,-2};
int dy[8]={1,2,2,1,-1,-2,-2,-1};
//寻找(x,y)这个男生的女友
bool find(int x,int y)
{
    //遍历(x,y)这个格子周围的8个方向 即遍历它周围的女生集合
    for(int i=0;i<8;i++)
    {
        int a=x+dx[i];
        int b=y+dy[i];
        if(a>=1&&a<=n&&b>=1&&b<=m&&!st[a][b]&&!g[a][b])
        {
            st[a][b]=true;
            PII t=match[a][b];
            if(t.first==-1||find(t.first,t.second))
            {
                //(a,b)这个格子的女生她的现配成功男友是(x,y)
                match[a][b]={x,y};
                return true;
            }
        }
    }
    return false;
}
int main()
{
    memset(match,-1,sizeof match);
    scanf("%d%d%d",&n,&m,&t);
    //输入t个不能放置的格子
    for(int i=0;i<t;i++)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        g[a][b]=1;
    }
    int res=0;
    for(int i=1;i<=n;i++)
    {
        for(int j=1;j<=m;j++)
        {
            //(i+j)%2==0表示男生集合
            //g[i][j]==0表示(i,j)这个格子可以放置
            if((i+j)%2==0&&g[i][j]==0)
            {
                memset(st,0,sizeof st);
                if(find(i,j))
                res++;
            }
        }
    }
    //最大独立集=总点数-孤立节点数-最小顶点覆盖
    printf("%d\n",n*m-t-res);
    return 0;
}

---