Submission #38075325

---

Source Code Expand

#include<bits/stdc++.h>
using namespace std;
//#define int long long
#define f(i,j,k) for(register int i=j;i<=k;++i)
#define g(i,j,k) for(register int i=j;i>=k;--i)
int n,m,s,l;
#pragma GCC optimize(3)
#pragma GCC target("avx")
#pragma GCC optimize("Ofast")
#pragma GCC optimize("inline")
const int inf=1e9+7;
struct Dinic{
	struct xyz{int x,y,z;};
	queue<int>p;
	vector<xyz>q[1<<17];
	int now[1<<17],dis[1<<17],n;
	inline int Min(int x,int y){return x<y?x:y;}
	inline void add(int x,int y,int z=1){
		int ix=q[x].size(),iy=q[y].size();
		q[x].push_back((xyz){y,iy,z});if(n<x)n=x;
		q[y].push_back((xyz){x,ix,0});if(n<y)n=y;
	}
	inline int bfs(int s,int t){
		int x,y;
		f(i,1,n)now[i]=0,dis[i]=inf;
		p.push(s),dis[s]=0;
		while(p.size()){
			x=p.front();p.pop();
			f(i,1,q[x].size())if(q[x][i-1].z&&dis[y=q[x][i-1].x]==inf)p.push(y),dis[y]=dis[x]+1;
		}
		return dis[t]<inf;
	}
	int dfs(int x,int t,int v){
		if(!v)return 0;
		if(x==t)return v;
		register int y,z,re=0;
		f(i,now[x]+1,q[x].size())if(dis[x]+1==dis[y=q[x][now[x]=i-1].x]){
			z=dfs(y,t,Min(v,q[x][i-1].z));v-=z;re+=z;
			q[x][i-1].z-=z;q[y][q[x][i-1].y].z+=z;
			if(!v)return re;
		}
		if(!re)dis[x]=inf;
		return re;
	}
	inline int MF(int S,int T,int re=0){while(bfs(S,T))re+=dfs(S,T,inf);return re;}
	inline int de(int x,int y){return dis[x]<inf&&dis[y]>=inf;}
	inline int hf(int x,int y){f(i,1,q[x].size())if(q[x][i-1].x==y)return q[x][i-1].z!=0;return 0;}
}G;
int mst[202020];
char c[303][303];
inline int I(int x,int y){return (x-1)*m+y;} 
signed main(){
	cin>>n>>m;
	s=n*m+4;l=n*m+2;
	f(i,1,n)scanf("%s",c[i]+1);
	f(i,1,n)f(j,2,m)if(c[i][j]!='1'&&c[i][j-1]!='1')((i+j)%2)?G.add(I(i,j),I(i,j-1)):G.add(I(i,j-1),I(i,j));
	f(i,2,n)f(j,1,m)if(c[i][j]!='1'&&c[i-1][j]!='1')((i+j)%2)?G.add(I(i,j),I(i-1,j)):G.add(I(i-1,j),I(i,j));
	f(i,1,n)f(j,1,m)if(c[i][j]=='2')((i+j)%2)?G.add(s,I(i,j)):G.add(I(i,j),l);
	f(i,1,n)f(j,1,m)if(c[i][j]=='?'&&i%2!=j%2)G.add(s,I(i,j));
	if(n%2==0||m%2==0)G.MF(s,l);
	f(i,1,n)f(j,1,m)if(c[i][j]=='?'&&i%2==j%2)G.add(I(i,j),l);G.MF(s,l);
	register int re=0;
	f(i,1,n)f(j,1,m)mst[I(i,j)]=(c[i][j]=='2');
	f(i,1,G.q[s].size())if(mst[G.q[s][i-1].x]&&G.q[s][i-1].z!=0)re=1;
	f(i,1,G.q[l].size())if(mst[G.q[l][i-1].x]&&G.q[l][i-1].z==0)re=1;
//	f(i,1,n){
//		f(j,1,m){
//			if(c[i][j]=='2')cout<<((i+j)%2?G.hf(s,I(i,j)):G.hf(I(i,j),l));
//			else cout<<'0';
//		}
//		cout<<endl;
//	}
	if(re)printf("No\n");
	else printf("Yes\n");
	return 0;
}

Submission Info

Compile Error

./Main.cpp: In member function ‘int Dinic::bfs(int, int)’:
./Main.cpp:25:5: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
   25 |   f(i,1,n)now[i]=0,dis[i]=inf;
      |     ^
./Main.cpp:4:35: note: in definition of macro ‘f’
    4 | #define f(i,j,k) for(register int i=j;i<=k;++i)
      |                                   ^
./Main.cpp:29:6: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
   29 |    f(i,1,q[x].size())if(q[x][i-1].z&&dis[y=q[x][i-1].x]==inf)p.push(y),dis[y]=dis[x]+1;
      |      ^
./Main.cpp:4:35: note: in definition of macro ‘f’
    4 | #define f(i,j,k) for(register int i=j;i<=k;++i)
      |                                   ^
./Main.cpp:4:40: warning: comparison of integer expressions of different signedness: ‘int’ and ‘std::vector<Dinic::xyz>::size_type’ {aka ‘long unsigned int’} [-Wsign-compare]
    4 | #define f(i,j,k) for(register int i=j;i<=k;++i)
......
   29 |    f(i,1,q[x].size())if(q[x][i-1].z&&dis[y=q[x][i-1].x]==inf)p.push(y),dis[y]=dis[x]+1;
      |      ~~~~~~~~~~~~~~~                    
./Main.cpp:29:4: note: in expansion of macro ‘f’
   29 |    f(i,1,q[x].size())if(q[x][i-1].z&&dis[y=q[x][i-1].x]==inf)p.push(y),dis[y]=dis[x]+1;
      |    ^
./Main.cpp: In member function ‘int Dinic::dfs(int, int, int)’:
./Main.cpp:36:16: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
   36 |   register int y,z,re=0;
      |                ^
./Main.cpp:36:18: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
   36 |   register int y,z,re=0;
      |                  ^
./Main.cpp:36:20: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
   36 |   register int y,z,re=0;
      |                    ^~
./Main.cpp:37:5: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
   37 |   f(i,now[x]+1,q[x].size())if(dis[x]+1==dis[y=q[x][now[x]=i-1].x]){
      |   ...

Judge Result