题意：
M*N的棋盘，规定其中有K个格子不能放任何东西。(即不能被覆盖)
每一张牌的形状都是1*2，问这个棋盘能否被牌完全覆盖（K个格子除外）
思路：
M、N很小，把每一个可以覆盖的格子都离散成一个个点，然后二分图最大匹配。
一个重要的问题**:可不可能存在建完的图是这样的情况：1-2,2-3,3-4,4-5,5-1？这种情况二分图最大匹配是5，但实际上答案是不对的。
证明：不可能存在这样的由奇个点构成的环图。我们按这种方法来看看能不能构造出这样一个棋盘。
假设有2k+1个个格（奇数），则第k+1个格一定有一个位置。并且一定与第k个格和第k+2个格相邻。
假设第k个格与第k+2个格的横坐标之差是x，纵坐标之差是y。则有x+y=2。（画个图）
接下来添加第k-1个格和第k+3个格，然后添加第k-2个格和第k+4个格，......一直到添加完最后一对，即第1个格和第2k+1个格，然后结束。
每添加一对格时，可以发现新的x+y的值要么是上一次的x+y的值-2，要么是不变，要么是+2。
而真实的情况是添加到最后一对，即第1个格和第2k+1个格，这两个格子是相邻的，也就是最后一次的x+y=1。而这是不可能的。
故不存在那种图。故直接二分图最大匹配是正确的。
代码：
int n,m,k; int board[35][35]; vector<int> graph[1500]; int cx[1500],cy[1500]; bool bmask[1500]; int cc; int findPath(int u){ int L=graph[u].size(); rep(i,0,L-1){ int v=graph[u][i]; if(!bmask[v]){ bmask[v]=true; if(cy[v]==-1||findPath(cy[v])){ cy[v]=u; cx[u]=v; return 1; } } } return 0; } int MaxMatch(){ int ans=0; rep(i,1,cc) cx[i]=cy[i]=-1; rep(i,1,cc) if(cx[i]==-1){ mem(bmask,false); ans+=findPath(i); } return ans; } int main(){ while(scanf("%d%d%d",&m,&n,&k)!=EOF){ mem(board,0); rep(i,1,k){ int x,y; scanf("%d%d",&y,&x); board[x][y]=-1; } rep(i,1,m) rep(j,1,n){ if(board[i][j]==-1) continue; board[i][j]=++cc; } rep(i,1,cc) graph[i].clear(); rep(k,0,3) rep(i,1,m) rep(j,1,n){ if(board[i][j]==-1) continue; int ni=i+uu[k], nj=j+vv[k]; if(ni>0 && ni<=m && nj>0 && nj<=n && board[ni][nj]!=-1) graph[board[i][j]].push_back(board[ni][nj]); } int dd=MaxMatch(); if(dd==cc) puts("YES"); else puts("NO"); } }
原文：http://www.cnblogs.com/fish7/p/4095096.html