結果

問題 No.1745 Selfish Spies 2 (à la Princess' Perfectionism)
ユーザー smiken_61smiken_61
提出日時 2021-11-18 01:27:02
言語 C++11
(gcc 13.3.0)
結果
TLE  
実行時間 -
コード長 8,792 bytes
コンパイル時間 2,371 ms
コンパイル使用メモリ 189,088 KB
実行使用メモリ 62,352 KB
最終ジャッジ日時 2024-12-24 11:27:40
合計ジャッジ時間 34,425 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
22,508 KB
testcase_01 AC 2 ms
6,820 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 1 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 2 ms
5,248 KB
testcase_12 AC 2 ms
5,248 KB
testcase_13 AC 3 ms
5,248 KB
testcase_14 AC 4 ms
5,248 KB
testcase_15 AC 4 ms
5,248 KB
testcase_16 AC 5 ms
5,248 KB
testcase_17 AC 8 ms
5,248 KB
testcase_18 AC 8 ms
5,248 KB
testcase_19 AC 2 ms
5,248 KB
testcase_20 AC 2 ms
5,248 KB
testcase_21 AC 4 ms
5,248 KB
testcase_22 AC 3 ms
5,248 KB
testcase_23 AC 3 ms
5,248 KB
testcase_24 AC 34 ms
5,248 KB
testcase_25 AC 5 ms
5,248 KB
testcase_26 AC 5 ms
5,248 KB
testcase_27 AC 13 ms
5,248 KB
testcase_28 AC 163 ms
11,752 KB
testcase_29 AC 12 ms
5,248 KB
testcase_30 AC 12 ms
5,248 KB
testcase_31 AC 13 ms
5,248 KB
testcase_32 AC 12 ms
5,248 KB
testcase_33 AC 160 ms
11,628 KB
testcase_34 AC 161 ms
11,612 KB
testcase_35 AC 167 ms
11,496 KB
testcase_36 AC 171 ms
11,676 KB
testcase_37 AC 164 ms
11,496 KB
testcase_38 AC 167 ms
11,496 KB
testcase_39 AC 81 ms
6,884 KB
testcase_40 AC 140 ms
9,448 KB
testcase_41 AC 138 ms
9,320 KB
testcase_42 AC 382 ms
15,976 KB
testcase_43 AC 578 ms
20,840 KB
testcase_44 AC 885 ms
26,216 KB
testcase_45 TLE -
testcase_46 TLE -
testcase_47 AC 623 ms
61,032 KB
testcase_48 AC 614 ms
60,908 KB
testcase_49 AC 660 ms
20,716 KB
testcase_50 AC 644 ms
20,584 KB
testcase_51 AC 243 ms
9,188 KB
testcase_52 AC 110 ms
13,028 KB
testcase_53 AC 193 ms
12,760 KB
testcase_54 AC 1,363 ms
26,088 KB
testcase_55 AC 1,350 ms
25,316 KB
testcase_56 AC 4,993 ms
27,764 KB
testcase_57 AC 649 ms
62,352 KB
testcase_58 AC 643 ms
62,316 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
// #include <atcoder/all>
 
 
 
 
//using namespace atcoder;
 
 
// tabaicho see https://boostjp.github.io/tips/multiprec-int.html   
 //#include <boost/multiprecision/cpp_int.hpp>
 
// using namespace boost::multiprecision;
 
// cpp_int
// int128_t
// int256_t
// int512_t
// int1024_t
 
// uint128_t
// uint256_t
// uint512_t
// uint1024_t
 
 
 
#define int long long
 #define inf  1000000007
// #define inf  998244353
 
 #define pa pair<int,int>
 #define ppa pair<pa,pa>
 
 #define ll long long
 
 #define PI 3.14159265358979323846
 #define  mp make_pair
 #define  pb push_back
 #define EPS (1e-8)
 
      using namespace std;
                                          
 int dx[8]={0,1,0,-1,1,1,-1,-1};
 int dy[8]={1,0,-1,0,-1,1,1,-1};
                                            
class pa3{
	public:
	int x;
	int y,z;
	pa3(int x=0,int y=0,int z=0):x(x),y(y),z(z) {}
	bool operator < (const pa3 &p) const{
		if(x!=p.x) return x<p.x;
		if(y!=p.y) return y<p.y;
		 return z<p.z;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator > (const pa3 &p) const{
		if(x!=p.x) return x>p.x;
		if(y!=p.y) return y>p.y;
		 return z>p.z;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator == (const pa3 &p) const{
		return x==p.x && y==p.y && z==p.z;
	}
		bool operator != (const pa3 &p) const{
			return !( x==p.x && y==p.y && z==p.z);
	}
 
};
 
class pa4{
	public:
	int x;
	int y,z,w;
	pa4(int x=0,int y=0,int z=0,int w=0):x(x),y(y),z(z),w(w) {}
	bool operator < (const pa4 &p) const{
		if(x!=p.x) return x<p.x;
		if(y!=p.y) return y<p.y;
		if(z!=p.z)return z<p.z;
		return w<p.w;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator > (const pa4 &p) const{
		if(x!=p.x) return x>p.x;
		if(y!=p.y) return y>p.y;
		if(z!=p.z)return z>p.z;
		return w>p.w;
		//return x != p.x ? x<p.x: y<p.y;
	}
	bool operator == (const pa4 &p) const{
		return x==p.x && y==p.y && z==p.z &&w==p.w;
	}
		
 
};
class pa2{
	public:
	int x,y;
	pa2(int x=0,int y=0):x(x),y(y) {}
	pa2 operator + (pa2 p) {return pa2(x+p.x,y+p.y);}
	pa2 operator - (pa2 p) {return pa2(x-p.x,y-p.y);}
	bool operator < (const pa2 &p) const{
		return y != p.y ? y<p.y: x<p.x;
	}
	bool operator > (const pa2 &p) const{
		return x != p.x ? x<p.x: y<p.y;
	}
	bool operator == (const pa2 &p) const{
		return abs(x-p.x)==0 && abs(y-p.y)==0;
	}
	bool operator != (const pa2 &p) const{
		return !(abs(x-p.x)==0 && abs(y-p.y)==0);
	}
		
 
};
 
 
 
string itos( int i ) {
	ostringstream s ;
	s << i ;
	return s.str() ;
}
 
int Gcd(int v,int b){
	if(v==0) return b;
	if(b==0) return v;
	if(v>b) return Gcd(b,v);
	if(v==b) return b;
	if(b%v==0) return v;
	return Gcd(v,b%v);
}
 
 
 
int extgcd(int a, int b, int &x, int &y) {
    if (b == 0) {
        x = 1;
        y = 0;
        return a;
    }
    int d = extgcd(b, a%b, y, x);
    y -= a/b * x;
    return d;
}
pa operator+(const pa & l,const pa & r) {   
    return {l.first+r.first,l.second+r.second};                                    
}    
pa operator-(const pa & l,const pa & r) {   
    return {l.first-r.first,l.second-r.second};                                    
}  
 
ostream& operator<<(ostream& os, const vector<int>& VEC){
	for(auto v:VEC)os<<v<<" ";
    return os;
}
 
 
 
ostream& operator<<(ostream& os, const pa& PAI){
	os<<PAI.first<<" : "<<PAI.second;
    return os;
}
 
ostream& operator<<(ostream& os, const pa3& PAI){
	os<<PAI.x<<" : "<<PAI.y<<" : "<<PAI.z;
    return os;
}
 
ostream& operator<<(ostream& os, const pa4& PAI){
	os<<PAI.x<<" : "<<PAI.y<<" : "<<PAI.z<<" : "<<PAI.w;
    return os;
}
 
ostream& operator<<(ostream& os, const vector<pa>& VEC){
	for(auto v:VEC)os<<v<<" ";
    return os;
}
 
 
ostream& operator<<(ostream& os, const vector<pa3>& VEC){
	for(auto v:VEC){
		os<<v<<" ";
	os<<endl;
	}
    return os;
}
 
int beki(int wa,ll rr,int warukazu){
	if(rr==0) return 1%warukazu;
	if(rr==1) return wa%warukazu;
	wa%=warukazu;
	if(rr%2==1) return ((ll)beki(wa,rr-1,warukazu)*(ll)wa)%warukazu;
	ll zx=beki(wa,rr/2,warukazu);
	return (zx*zx)%warukazu;
}
 
              
int pr[2521000];
int inv[2521000];
 
 
 
const int mod=998244353;
 
int comb(int nn,int rr){
	if(nn==-1&&rr==-1)return 1;
	if(rr<0 || rr>nn || nn<0) return 0;
	int r=pr[nn]*inv[rr];
	r%=mod;
	r*=inv[nn-rr];
	r%=mod;
	return r;
}
 
void gya(int ert){
	pr[0]=1;
	for(int i=1;i<=ert;i++){
		pr[i]=((ll)pr[i-1]*i)%mod;
	}
		inv[ert]=beki(pr[ert],mod-2,mod);
	for(int i=ert-1;i>=0;i--){
		inv[i]=(ll)inv[i+1]*(i+1)%mod;
	}
}
 
 
                
 
 
                
              //   cin.tie(0);
    		//	ios::sync_with_stdio(false);
    			//priority_queue<pa3,vector<pa3>,greater<pa3>> pq;            
                 //sort(ve.begin(),ve.end(),greater<int>());
//    mt19937(clock_per_sec);
  //  mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count()) ;


struct DM_decomposition{
	private:
	public:
	int V;
	const int MAX=1000000000; // < N
	vector<vector<int>> gr[2];
	vector<int>mm_use,group,vis;
	vector<int>ssc_jun;
	/*
	void dfs_nibu(int r,int d){
		if(nibu[r]>=0)return;
		nibu[r]=d;
		for(auto v:gr[0][r])dfs_nibu(v,1-d);
	}
	*/
	
	void dfs_toutatu(int r,int muki,int d){
		if(group[r]>=0){
			assert(group[r]==d);
			return;
		}
		//cout<<r<<" "<<d<<endl;
		group[r]=d;
		for(auto v:gr[muki][r])dfs_toutatu(v,muki,d);
	}
	
	void dfs_ssc(int r){
		if(vis[r])return;
		vis[r]=1;
		for(auto v:gr[0][r])if(group[v]!=0 && group[v]!=MAX)dfs_ssc(v);
		ssc_jun.pb(r);
	}
	
	void dfs_ssc2(int r,int d){
		if(vis[r]==2)return;
		group[r]=d;
		vis[r]=2;
		for(auto v:gr[1][r])if(group[v]!=0 && group[v]!=MAX)dfs_ssc2(v,d);
	}
	
	
	vector<pair<vector<int>,vector<int>>> shori(int N,vector<int>nibu,vector<pa>eda,vector<pa>MM){
		V=N;
		gr[0].resize(N,{});
		gr[1].resize(N,{});
		mm_use.resize(N,0);
		group.resize(N,-1);
		vis.resize(N,0);
		/*
		for(auto v:eda){
			gr[0][v.first].pb(v.second);
			gr[0][v.second].pb(v.first);
		}
		for(int i=0;i<V;i++)dfs_nibu(i,0);
		gr[0].clear();
		gr[0].resize(N,{});
		*/
		for(auto v:eda){
			if(nibu[v.first]==1)swap(v.second,v.first);
			assert(nibu[v.first]==0);
			assert(nibu[v.second]==1);
			gr[0][v.first].pb(v.second);
			gr[1][v.second].pb(v.first);
			
		}
		for(auto v:MM){
			if(nibu[v.first]==1)swap(v.second,v.first);
			assert(nibu[v.first]==0);
			assert(nibu[v.second]==1);
			gr[0][v.second].pb(v.first);
			gr[1][v.first].pb(v.second);
			mm_use[v.first]=1;
			mm_use[v.second]=1;
		}
		
		for(int i=0;i<V;i++)if(!mm_use[i]){
			if(nibu[i])dfs_toutatu(i,1,0);
			else dfs_toutatu(i,0,MAX);
		}
		
		for(int i=0;i<V;i++)if(group[i]!=0 && group[i]!=MAX)dfs_ssc(i);
	//	cout<<ssc_jun<<endl;
		reverse(ssc_jun.begin(),ssc_jun.end());
		
		int cnt=1;
		for(auto v:ssc_jun){
			if(vis[v]==1){
				dfs_ssc2(v,cnt);
				cnt++;
			}
		}
		
		for(auto &v:group)if(v==MAX)v=cnt;
	//	cout<<group<<endl;
		vector<pair<vector<int>,vector<int>>>ans(cnt+1);
		for(int i=0;i<V;i++){
			if(nibu[i]==0)ans[group[i]].first.pb(i);
			else ans[group[i]].second.pb(i);
		}
		
		return ans;
	}
	

	

	
};



struct bi_match{
	private:
	public:
	
	// 頂点は0以上n未満
	// 各頂点がどっち側かは意識しなくていい
	// 多重辺はダメ
	int V;
	vector<vector<int>> Graph;
	vector<int>match,used;
	bi_match(int V){
		this->V=V;
		Graph.resize(V);
		match.resize(V,-1);
		used.resize(V,-1);
	}
	
	void add_edge(int u,int v){
		Graph[u].pb(v);
		Graph[v].pb(u);		
	}
	
	bool dfs_bi(int v,int num){
		used[v] = num;
  		for(int u:Graph[v]){
    		int w=match[u];
    		if(w<0 || (used[w]<num && dfs_bi(w,num))){
      			match[v]=u;
      			match[u]=v;
      			return true;
    		}
  		}
  		return false;
	}
	
	int solve(){
 		int res=0;
  		for(int v=0;v<V;v++){
    		if(match[v]<0){
      			if(dfs_bi(v,res)){
       				 res++;
      			}
    		}
  		}
 		return res;
	}
};


void solve(){

	
	int n,m,l;
	cin>>n>>m>>l;

	vector<pa>eda;
	for(int i=0;i<l;i++){
		int y,yy;
		cin>>y>>yy;
		y--,yy--;
		eda.pb(mp(y,n+yy));
	}
	//cout<<eda<<endl;
	bi_match bi(n+m);
	for(auto v:eda)bi.add_edge(v.first,v.second);
	//cout<<(int)eda.size()-bi.solve()<<endl;
	bi.solve();
	vector<pa>mm;
	for(int i=0;i<n;i++)if(bi.match[i]>=0)mm.pb(mp(i,bi.match[i]));
	//cout<<mm<<endl;
	vector<int>tmp(n+m,0);
	for(int i=n;i<n+m;i++)tmp[i]=1;
	DM_decomposition ss;
	auto V=ss.shori(n+m,tmp,eda,mm);
	int G=(int)V.size()-1;
	

	
	vector<int>iro(n+m,-1);
	for(int i=0;i<=G;i++){
		for(auto w:V[i].first)iro[w]=i;
		for(auto w:V[i].second)iro[w]=i;
	}
	
	for(auto v:eda){
		int p=iro[v.first];
		int q=iro[v.second];
		if(p!=q)cout<<"No"<<endl;
		else cout<<"Yes"<<endl;
		//else if(1<=p&&p<G&&(int)V[p].first.size()==1)cout<<-1<<endl;
		//else cout<<0<<endl;
	}
}


signed main(){
 
	//mod=inf;
	cin.tie(0);
	ios::sync_with_stdio(false);


	int n=1;
	//cin>>n;
	for(int i=0;i<n;i++)solve();
	
 
	return 0;
	
}
0