結果
問題 | No.529 帰省ラッシュ |
ユーザー |
![]() |
提出日時 | 2019-12-17 21:06:11 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
RE
|
実行時間 | - |
コード長 | 11,864 bytes |
コンパイル時間 | 3,307 ms |
コンパイル使用メモリ | 233,696 KB |
最終ジャッジ日時 | 2025-01-08 12:00:28 |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 RE * 1 |
other | AC * 2 RE * 16 |
コンパイルメッセージ
main.cpp: In function ‘int YUKI_529()’: main.cpp:535:8: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 535 | scanf("%d %d %d",&n,&e,&q); | ~~~~~^~~~~~~~~~~~~~~~~~~~~ main.cpp:540:10: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 540 | scanf("%d %d",&u,&v); | ~~~~~^~~~~~~~~~~~~~~ main.cpp:560:10: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 560 | scanf("%d",&d); | ~~~~~^~~~~~~~~ main.cpp:563:12: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 563 | scanf("%d %d",&u,&w); | ~~~~~^~~~~~~~~~~~~~~ main.cpp:574:12: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result] 574 | scanf("%d %d",&s,&t); | ~~~~~^~~~~~~~~~~~~~~
ソースコード
#ifndef call_from_test#include<bits/stdc++.h>using namespace std;#endif//BEGIN CUT HEREclass HLD {private:void dfs_sz(int v) {for(int &u:G[v]){if(u==par[v]){swap(u,G[v].back());continue;}par[u]=v;dep[u]=dep[v]+1;dfs_sz(u);sub[v]+=sub[u];if(sub[u]>sub[G[v][0]]) swap(u,G[v][0]);}}void dfs_hld(int v,int c,int &pos) {vid[v]=pos++;inv[vid[v]]=v;type[v]=c;for(int u:G[v]){if(u==par[v]) continue;head[u]=(u==G[v][0]?head[v]:u);dfs_hld(u,c,pos);}}public:vector< vector<int> > G;vector<int> vid, head, sub, par, dep, inv, type;HLD(int n):G(n),vid(n,-1),head(n),sub(n,1),par(n,-1),dep(n,0),inv(n),type(n){}void add_edge(int u,int v) {G[u].emplace_back(v);G[v].emplace_back(u);}void build(vector<int> rs={0}) {int c=0,pos=0;for(int r:rs){dfs_sz(r);head[r]=r;dfs_hld(r,c++,pos);}}int lca(int u,int v){while(1){if(vid[u]>vid[v]) swap(u,v);if(head[u]==head[v]) return u;v=par[head[v]];}}int distance(int u,int v){return dep[u]+dep[v]-2*dep[lca(u,v)];}// for_each(vertex)// [l, r) <- attention!!template<typename F>void for_each(int u, int v, const F& f) {while(1){if(vid[u]>vid[v]) swap(u,v);f(max(vid[head[v]],vid[u]),vid[v]+1);if(head[u]!=head[v]) v=par[head[v]];else break;}}template<typename T,typename Q,typename F>T for_each(int u,int v,T ti,const Q &q,const F &f){T l=ti,r=ti;while(1){if(vid[u]>vid[v]){swap(u,v);swap(l,r);}l=f(l,q(max(vid[head[v]],vid[u]),vid[v]+1));if(head[u]!=head[v]) v=par[head[v]];else break;}return f(l,r);}// for_each(edge)// [l, r) <- attention!!template<typename F>void for_each_edge(int u, int v,const F& f) {while(1){if(vid[u]>vid[v]) swap(u,v);if(head[u]!=head[v]){f(vid[head[v]],vid[v]+1);v=par[head[v]];}else{if(u!=v) f(vid[u]+1,vid[v]+1);break;}}}};//END CUT HERE#ifndef call_from_test#define call_from_test#ifndef call_from_test#include<bits/stdc++.h>using namespace std;#endif//BEGIN CUT HEREstruct LowLink{int n,pos;vector<int> ord,low,par,blg,num;vector<vector<int> > G,C,T;vector<vector<pair<int, int> > > E;vector<int> ap;vector<pair<int, int> > bs,cand;LowLink(int n):n(n),pos(0),ord(n,-1),low(n),par(n,-1),blg(n,-1),num(n,1),G(n){}void add_edge(int u,int v){G[u].emplace_back(v);G[v].emplace_back(u);}bool is_bridge(int u,int v){if(ord[u]>ord[v]) swap(u,v);return ord[u]<low[v];}void dfs(int v){ord[v]=low[v]=pos++;for(int u:G[v]){if(u==par[v]) continue;if(ord[u]<ord[v])cand.emplace_back(min(u,v),max(u,v));if(~ord[u]){low[v]=min(low[v],ord[u]);continue;}par[u]=v;dfs(u);num[v]+=num[u];low[v]=min(low[v],low[u]);if(is_bridge(u,v)) bs.emplace_back(u,v);if(low[u]>=ord[v]){E.emplace_back();while(1){auto e=cand.back();cand.pop_back();E.back().emplace_back(e);if(make_pair(min(u,v),max(u,v))==e) break;}}}}void fill_component(int v){C[blg[v]].emplace_back(v);for(int u:G[v]){if(~blg[u]||is_bridge(u,v)) continue;blg[u]=blg[v];fill_component(u);}}void add_component(int v,int &k){if(~blg[v]) return;blg[v]=k++;C.emplace_back();fill_component(v);}int build(){for(int i=0;i<n;i++)if(ord[i]<0) dfs(i);vector<int> cnt(n,0);for(int i=0;i<n;i++){int p=par[i];if(p<0) continue;if(par[p]<0) cnt[p]++;else if(ord[p]<=low[i]) ap.emplace_back(p);}for(int i=0;i<n;i++)if(cnt[i]>1) ap.emplace_back(i);sort(ap.begin(),ap.end());ap.erase(unique(ap.begin(),ap.end()),ap.end());int k=0;for(int i=0;i<n;i++) add_component(i,k);T.assign(k,vector<int>());for(auto e:bs){int u=blg[e.first],v=blg[e.second];T[u].emplace_back(v);T[v].emplace_back(u);}return k;}};//END CUT HERE#ifndef call_from_test#define call_from_test#include "../tools/fastio.cpp"#include "../datastructure/unionfindtree.cpp"#include "../mod/mint.cpp"#include "../mod/enumeration.cpp"#undef call_from_test//INSERT ABOVE HEREsigned ARC045_D(){int n;cin>>n;vector<int> xs(2*n+1),ys(2*n+1);for(int i=0;i<2*n+1;i++) cin>>xs[i]>>ys[i];vector<vector<int> > R(2*n+2),C(2*n+2);for(int i=0;i<2*n+1;i++) R[xs[i]].emplace_back(i);for(int i=0;i<2*n+1;i++) C[ys[i]].emplace_back(i);UnionFind uf(2*n+1);for(auto &v:R)for(auto u:v) uf.unite(v[0],u);for(auto &v:C)for(auto u:v) uf.unite(v[0],u);vector<int> vs;for(int i=0;i<2*n+1;i++){if(uf.find(i)!=i) continue;if(uf.size(i)&1) vs.emplace_back(i);}assert(!vs.empty());if(vs.size()>1u){for(int i=0;i<2*n+1;i++) cout<<"NG\n";cout<<flush;return 0;}LowLink G(2*n+1);auto add_edge=[&](auto &V)->void{for(auto &v:V){if(v.empty()) continue;if(!uf.same(vs[0],v[0])) continue;if(v.size()>0u) for(auto u:v) G.add_edge(v[0],u);if(v.size()>1u) for(auto u:v) G.add_edge(v[1],u);}};add_edge(R);add_edge(C);G.build();auto ap=G.ap;vector<int> ans(2*n+1,0);for(int i=0;i<2*n+1;i++)if(uf.same(vs[0],i)) ans[i]=1;for(int v:ap){if(!uf.same(vs[0],v)) continue;for(int u:G.G[v]){if(G.par[u]!=v) continue;if(~G.par[v]&&G.ord[v]>G.low[u]) continue;if(G.num[u]&1) ans[v]=0;}}for(int i=0;i<2*n+1;i++) cout<<(ans[i]?"OK\n":"NG\n");cout<<flush;return 0;}/*verified on 2019/10/25https://atcoder.jp/contests/arc045/tasks/arc045_d*/signed ARC062_F(){int n,m,k;cin>>n>>m>>k;using P = pair<int, int>;map<P, int> idx;LowLink G(n);for(int i=0;i<m;i++){int a,b;cin>>a>>b;a--;b--;G.add_edge(a,b);idx[P(a,b)]=idx[P(b,a)]=i;}G.build();UnionFind uf(m);for(auto vs:G.E)for(auto p:vs) uf.unite(idx[p],idx[vs[0]]);vector<set<int>> cnt(m);for(auto vs:G.E){for(auto p:vs){cnt[uf.find(idx[p])].emplace(p.first);cnt[uf.find(idx[p])].emplace(p.second);}}using M = Mint<int>;using E = Enumeration<M>;E::init(1000);auto calc1=[&](int x)->M{M res{0};for(int i=0;i<x;i++)res+=M(k).pow(__gcd(i,x));res*=E::Invs(x);return res;};M ans{1};for(int i=0;i<m;i++){if(uf.find(i)!=i) continue;if(uf.size(i)< (int)cnt[i].size()) ans*=M(k).pow(uf.size(i));if(uf.size(i)==(int)cnt[i].size()) ans*=calc1(uf.size(i));if(uf.size(i)> (int)cnt[i].size()) ans*=E::H(k,uf.size(i));}cout<<ans.v<<endl;return 0;}/*verified on 2019/10/25https://atcoder.jp/contests/arc062/tasks/arc062_d*/signed main(){//ARC045_D();//ARC062_F();return 0;}#endif#ifndef call_from_test#include<bits/stdc++.h>using namespace std;#endif//BEGIN CUT HEREtemplate <typename T>struct SegmentTree{using F = function<T(T,T)>;int n;F f;T ti;vector<T> dat;SegmentTree(){}SegmentTree(F f,T ti):f(f),ti(ti){}void init(int n_){n=1;while(n<n_) n<<=1;dat.assign(n<<1,ti);}void build(const vector<T> &v){int n_=v.size();init(n_);for(int i=0;i<n_;i++) dat[n+i]=v[i];for(int i=n-1;i;i--)dat[i]=f(dat[(i<<1)|0],dat[(i<<1)|1]);}void set_val(int k,T x){dat[k+=n]=x;while(k>>=1)dat[k]=f(dat[(k<<1)|0],dat[(k<<1)|1]);}T query(int a,int b){if(a>=b) return ti;T vl=ti,vr=ti;for(int l=a+n,r=b+n;l<r;l>>=1,r>>=1) {if(l&1) vl=f(vl,dat[l++]);if(r&1) vr=f(dat[--r],vr);}return f(vl,vr);}template<typename C>int find(int st,C &check,T &acc,int k,int l,int r){if(l+1==r){acc=f(acc,dat[k]);return check(acc)?k-n:-1;}int m=(l+r)>>1;if(m<=st) return find(st,check,acc,(k<<1)|1,m,r);if(st<=l&&!check(f(acc,dat[k]))){acc=f(acc,dat[k]);return -1;}int vl=find(st,check,acc,(k<<1)|0,l,m);if(~vl) return vl;return find(st,check,acc,(k<<1)|1,m,r);}template<typename C>int find(int st,C &check){T acc=ti;return find(st,check,acc,1,0,n);}};//END CUT HERE#ifndef call_from_testsigned ARC038_C(){int n;scanf("%d",&n);vector<int> cs(n),as(n);for(int i=1;i<n;i++) scanf("%d %d",&cs[i],&as[i]);const int INF = 1e9;auto f=[](int a,int b){return min(a,b);};SegmentTree<int> seg(f,INF);seg.build(vector<int>(n,-1));vector<int> dp(n);dp[0]=0;seg.set_val(0,0);for(int i=1;i<n;i++){auto check=[&](int x){return x<i-cs[i];};dp[i]=seg.find(0,check);seg.set_val(dp[i],max(seg.query(dp[i],dp[i]+1),i));}int ans=0;for(int i=1;i<n;i++)if(as[i]&1) ans^=dp[i];puts(ans?"First":"Second");return 0;}/*verified on 2019/06/26https://atcoder.jp/contests/arc038/tasks/arc038_c*/signed KUPC2013_D(){int n;scanf("%d",&n);vector<int> as(n+2,0);for(int i=1;i<=n;i++) scanf("%d",&as[i]);const int INF = 1.1e9;auto f=[](int a,int b){return min(a,b);};SegmentTree<int> seg(f,INF);seg.build(as);using P = pair<int, int>;set<P> sp;for(int k=0;k<2;k++){for(int i=1;i<=n;i++){auto check=[&](int x){return x<as[i];};int l=seg.find(i,check);sp.emplace(k?n+2-l:l,as[i]);}reverse(as.begin(),as.end());seg.build(as);}printf("%d\n",(int)sp.size()/2);return 0;}/*verified on 2019/06/26https://atcoder.jp/contests/kupc2013/tasks/kupc2013_d*/signed ABC130_D(){using ll = long long;ll n,k;cin>>n>>k;vector<ll> as(n);for(int i=0;i<n;i++) cin>>as[i];auto f=[](ll a,ll b){return a+b;};SegmentTree<ll> seg(f,0);seg.build(as);ll ans=0;auto check=[&](ll d){return d>=k;};for(int i=0;i<n;i++){int idx=seg.find(i,check);if(~idx) ans+=n-idx;}cout<<ans<<endl;return 0;}/*verified on 2019/06/26https://atcoder.jp/contests/abc130/tasks/abc130_d*/signed main(){//ARC038_C();//KUPC2013_D();//ABC130_D();return 0;}#endif#undef call_from_test//INSERT ABOVE HEREsigned YUKI_529(){int n,e,q;scanf("%d %d %d",&n,&e,&q);LowLink big(n);for(int i=0;i<e;i++){int u,v;scanf("%d %d",&u,&v);u--;v--;big.add_edge(u,v);}int E=0,V=big.build();HLD hld(V);for(int i=0;i<V;i++)for(int j:big.T[i])if(i<j) hld.add_edge(i,j),E++;hld.build();SegmentTree<int> rmq([](int a,int b){return max(a,b);},-1);rmq.build(vector<int>(V,-1));vector<priority_queue<int> > pq(V);map<int, int> m;int num=0;for(int i=0;i<q;i++){int d;scanf("%d",&d);if(d==1){int u,w;scanf("%d %d",&u,&w);u--;u=big.blg[u];u=hld.vid[u];m[w]=u;if(pq[u].empty()||pq[u].top()<w) rmq.set_val(u,w);pq[u].push(w);num++;}if(d==2){int s,t;scanf("%d %d",&s,&t);s--;t--;s=big.blg[s];t=big.blg[t];auto f=[&](int l,int r){return rmq.query(l,r);};int ans=hld.for_each(s,t,-1,f,rmq.f);printf("%d\n",ans);if(~ans){int k=m[ans];pq[k].pop();rmq.set_val(k,(!pq[k].empty()?pq[k].top():-1));num--;}}}return 0;}/*verified on 2019/10/25https://yukicoder.me/problems/no/529*/signed main(){YUKI_529();return 0;};#endif