結果
| 問題 |
No.1745 Selfish Spies 2 (à la Princess' Perfectionism)
|
| コンテスト | |
| ユーザー |
 smiken_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 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| other | AC * 57 TLE * 2 |
ソースコード
#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;
}