二分图 增广 标记问题

Question

一下代码是poj2446 最大二分图匹配的
问题在于加了一个ex做标记就wa了，我觉得当前增广失败，后面就不用再以这个点增广的，找不到的，有什么问题呢？ 求指示

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
int n,m,k;
int num,num2;
#define N 550
bool mp[N][N];
bool mp2[N][N];
int Link[N]= {0};
int dx[]= {-1,0,1,0};
int dy[]= {0,1,0,-1};
bool vis[N]= {0};
bool ex[N]={0};
int match(int i)
{  if(ex[i]) return 0;
    for(int j=1; j<=num2; j++)
        if(mp2[i][j])
        {
            if(vis[j]) continue;
            vis[j]=1;
            if(!Link[j]||match(Link[j]))
            {

                Link[j]=i;
                return 1;
            }
        }
    ex[i]=1;
    return 0;
}
int done()
{
    memset(ex,0,sizeof(ex));
    memset(Link,0,sizeof(Link));
    for(int i=1; i<=num; i++)
    {
        memset(vis,0,sizeof(vis));
        if(!match(i)) return 0;
    }
    return 1;
}


void run()
{
    int x,y;
    memset(mp,0,sizeof(mp));
    memset(mp2,0,sizeof(mp2));
    scanf("%d%d%d",&n,&m,&k);
    int b;b=0;
    for(int i =0; i < k; i++)
    {
        scanf("%d%d",&y,&x);
        if(! mp[x][y])
        {
              if((x+y)&1)b++;
        }
         mp[x][y]=1;

     }
    num=0;
    num2=0;
    for(int i=1; i<=n; i++)
        for(int  j=1; j<=m; j++)
        {
            if((i+j)&1) {
            num2++;continue;
                       }

            if(mp[i][j])
              continue;
              num++;
             for(int l=0; l<4; l++)
            {
                    int x=i+dy[l],y=j+dx[l];
                if(x>0&&y>0&&x<=n&&y<=m&&!mp[x][y])
                mp2[num][(x>>1)*(m>>1)+((x-1)>>1)*((m+1)>>1)+((y+1)>>1)]=1;

            }
         }
     if(num!=num2-b||!done())
    {
        puts("NO");
     }
     else
    {
      puts("YES");
     }


  }
int main()
{
   // freopen("in","r",stdin);
    run();
      return 0;


 }