This documentation is automatically generated by online-judge-tools/verification-helper
View the Project on GitHub beet-aizu/library
// verification-helper: PROBLEM http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_1_B #include <bits/stdc++.h> using namespace std; #define call_from_test #include "../../datastructure/weightedunionfind.cpp" #undef call_from_test int main(){ cin.tie(0); ios::sync_with_stdio(0); int n,q; cin>>n>>q; WeightedUnionFind<int> wuf(n); for(int i=0;i<q;i++){ int t,x,y,z; cin>>t>>x>>y; if(t){ if(wuf.same(x,y)) cout<<wuf.diff(x,y)<<"\n"; else cout<<"?\n"; }else{ cin>>z; wuf.unite(x,y,z); } } cout<<flush; return 0; }
#line 1 "test/aoj/DSL_1_B.test.cpp" // verification-helper: PROBLEM http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_1_B #include <bits/stdc++.h> using namespace std; #define call_from_test #line 1 "datastructure/weightedunionfind.cpp" #line 3 "datastructure/weightedunionfind.cpp" using namespace std; #endif //BEGIN CUT HERE template <typename T> struct WeightedUnionFind{ vector<int> rs,ps; vector<T> ws; WeightedUnionFind(int n):rs(n,1),ps(n),ws(n,T(0)){ iota(ps.begin(),ps.end(),0); } int find(int x){ if(x==ps[x]) return x; int t=find(ps[x]); ws[x]+=ws[ps[x]]; return ps[x]=t; } T weight(int x){ find(x); return ws[x]; } bool same(int x,int y){ return find(x)==find(y); } void unite(int x,int y,T w){ w+=weight(x); w-=weight(y); x=find(x);y=find(y); if(x==y) return; if(rs[x]<rs[y]) swap(x,y),w=-w; rs[x]+=rs[y]; ps[y]=x; ws[y]=w; } T diff(int x,int y){ return weight(y)-weight(x); } }; //END CUT HERE #ifndef call_from_test signed main(){ return 0; } #endif #line 8 "test/aoj/DSL_1_B.test.cpp" #undef call_from_test int main(){ cin.tie(0); ios::sync_with_stdio(0); int n,q; cin>>n>>q; WeightedUnionFind<int> wuf(n); for(int i=0;i<q;i++){ int t,x,y,z; cin>>t>>x>>y; if(t){ if(wuf.same(x,y)) cout<<wuf.diff(x,y)<<"\n"; else cout<<"?\n"; }else{ cin>>z; wuf.unite(x,y,z); } } cout<<flush; return 0; }