P1129 [ZJOI2007]矩阵游戏 二分图匹配

思路：脑子+二分图匹配

提交：1次（课上讲过）

题解：

发现：如果符合题意，那么行和列一定是一一匹配的（必要条件），所以最大匹配必须是$n$。

同时我们发现，一定可以通过交换行列的方式，将（看起来）有交错的最大匹配，转换成符合题意的状态。

所以最大匹配是$n$即为判断依据。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#define R register int
using namespace std;
#define ull unsigned long long
#define ll long long
#define pause (for(R i=1;i<=10000000000;++i))
#define IN freopen("NOIPAK++.in","r",stdin)
#define OUT freopen("out.out","w",stdout)
namespace Fread {
    static char B[<<],*S=B,*D=B;
#ifndef JACK
    #define getchar() (S==D&&(D=(S=B)+fread(B,1,1<<15,stdin),S==D)?EOF:*S++)
#endif
    inline int g() {
        R ret=,fix=; register char ch; while(!isdigit(ch=getchar())) fix=ch=='-'?-:fix;
        do ret=ret*+(ch^); while(isdigit(ch=getchar())); return ret*fix;
    } inline bool isempty(const char& ch) {return ch<=||ch>=;}
    inline void gs(char* s) {register char ch; while(isempty(ch=getchar())); do *s++=ch; while(!isempty(ch=getchar()));}
}using Fread::g; using Fread::gs;
const int N=;
int vis[N],pre[N],t,ans,n,tim;
bool e[N][N];
inline bool dfs(int u) {
    for(R v=;v<=n;++v) if(e[u][v]&&vis[v]!=tim) {
        vis[v]=tim; if(!pre[v]||dfs(pre[v])) {pre[v]=u; return true ;}
    } return false;
}
signed main() {
#ifdef JACK
#endif
    t=g(); while(t--) { ans=,tim=;
        memset(vis,,sizeof(vis)),memset(pre,,sizeof(pre)),memset(e,false,sizeof(e));
        n=g(); for(R i=;i<=n;++i) for(R j=;j<=n;++j) e[i][j]=g();
        for(R i=;i<=n;++i) ++tim,ans+=dfs(i);
        if(ans==n) printf("Yes\n");
        else printf("No\n");
    }
}

---

2019.07.18