結果
問題 | No.363 門松サイクル |
ユーザー | fumofumofuni |
提出日時 | 2022-09-10 13:18:03 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 5,583 bytes |
コンパイル時間 | 2,881 ms |
コンパイル使用メモリ | 221,480 KB |
実行使用メモリ | 21,056 KB |
最終ジャッジ日時 | 2024-05-05 00:06:33 |
合計ジャッジ時間 | 12,195 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 1 ms
5,248 KB |
testcase_02 | WA | - |
testcase_03 | WA | - |
testcase_04 | WA | - |
testcase_05 | WA | - |
testcase_06 | WA | - |
testcase_07 | WA | - |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | WA | - |
testcase_13 | WA | - |
testcase_14 | WA | - |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | AC | 396 ms
21,052 KB |
testcase_18 | WA | - |
testcase_19 | WA | - |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | WA | - |
testcase_23 | WA | - |
testcase_24 | AC | 2 ms
5,376 KB |
testcase_25 | AC | 2 ms
5,376 KB |
testcase_26 | AC | 323 ms
21,056 KB |
testcase_27 | AC | 360 ms
21,056 KB |
testcase_28 | WA | - |
ソースコード
#include<bits/stdc++.h> using namespace std; #define rep(i,n) for(ll i=0;i<n;i++) #define repl(i,l,r) for(ll i=(l);i<(r);i++) #define per(i,n) for(ll i=(n)-1;i>=0;i--) #define perl(i,r,l) for(ll i=r-1;i>=l;i--) #define fi first #define se second #define pb push_back #define ins insert #define pqueue(x) priority_queue<x,vector<x>,greater<x>> #define all(x) (x).begin(),(x).end() #define CST(x) cout<<fixed<<setprecision(x) #define vtpl(x,y,z) vector<tuple<x,y,z>> #define rev(x) reverse(x); using ll=long long; using vl=vector<ll>; using vvl=vector<vector<ll>>; using pl=pair<ll,ll>; using vpl=vector<pl>; using vvpl=vector<vpl>; const ll MOD=1000000007; const ll MOD9=998244353; const int inf=1e9+10; const ll INF=4e18; const ll dy[9]={0,1,0,-1,1,1,-1,-1,0}; const ll dx[9]={1,0,-1,0,1,-1,1,-1,0}; template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } bool isKad(ll a,ll b,ll c){ if(a==b||a==c||b==c)return false; if(a<b&&b<c)return false; if(a>b&&b>c)return false; return true; } struct Edge { long long to; }; using Graph = vector<vector<Edge>>; struct LCA { vector<vector<int>> parent; // parent[k][u]:= u の 2^k 先の親 vector<int> dist; // root からの距離 LCA(const Graph &G, int root = 0) { init(G, root); } void init(const Graph &G, int root = 0) { int V = G.size(); int K = 1; while ((1 << K) < V) K++; parent.assign(K, vector<int>(V, -1)); dist.assign(V, -1); dfs(G, root, -1, 0); for (int k = 0; k + 1 < K; k++) { for (int v = 0; v < V; v++) { if (parent[k][v] >= 0) { parent[k + 1][v] = parent[k][parent[k][v]]; } } } } // 根からの距離と1つ先の頂点を求める void dfs(const Graph &G, int v, int p, int d) { parent[0][v] = p; dist[v] = d; for (auto e : G[v]) { if (e.to != p) { dfs(G, e.to, v, d + 1); } } } int query(int u, int v) { if (dist[u] < dist[v]) swap(u, v); // u の方が深いとする int K = parent.size(); // LCA までの距離を同じにする for (int k = 0; k < K; k++) { if ((dist[u] - dist[v])&(1<<k) ){ u = parent[k][u]; } } // 二分探索で LCA を求める if (u == v) return u; for (int k = K - 1; k >= 0; k--) { if (parent[k][u] != parent[k][v]) { u = parent[k][u]; v = parent[k][v]; } } return parent[0][u]; } int length(int u, int v) { return dist[u] + dist[v] - 2 * dist[query(u, v)]; } bool is_in(int u, int v, int a) { return length(u, a) + length(a, v) == length(u, v); } int ancestor(int v,int k){//vからk個根側の頂点番号,存在しないなら-1 int K = parent.size(); for(int i=K-1;i>=0;i--){ if(k>>i&1)v=parent[i][v]; } return v; } }; int main(){ ll n;cin >> n; vl a(n);rep(i,n)cin >> a[i]; Graph g(n); rep(i,n-1){ ll a,b;cin >> a >> b;a--;b--; g[a].push_back({b}); g[b].push_back({a}); } LCA lc(g); vl dp(n); auto dfs=[&](auto &self,ll v,ll par,ll ppar)->void{ if(par!=-1){ dp[v]=(isKad(a[v],a[par],a[ppar])? 1:0); dp[v]+=dp[par]; } //ll opt=0; for(auto f:g[v]){ if(f.to==par)continue; self(self,f.to,v,par); //opt++; } //if(opt==0)dp[v]=dp[par]; }; dfs(dfs,0,-1,-1); //rep(i,n)cout << dp[i] << endl; ll q;cin >> q; while(q--){ ll u,v;cin >> u >> v;u--;v--; ll l=lc.query(u,v); if(u==l||v==l){ //cout << "ERROR" << endl;continue; if(lc.length(u,v)==1){ cout <<"NO" << endl;continue; } if(u!=l)swap(u,v); ll s=lc.ancestor(v,lc.length(u,v)-1); ll t=lc.ancestor(v,1); if(dp[v]-dp[s]!=lc.length(u,v)-1){ cout << "NO" << endl;continue; } if(!isKad(a[s],a[u],a[v])){ cout << "NO" << endl;continue; } if(!isKad(a[u],a[v],a[t])){ cout << "NO" << endl;continue; } cout << "YES" << endl; } else{ ll s=lc.ancestor(u,lc.length(u,l)-1); //cout << lc.length(u,l) << endl; ll t=lc.ancestor(v,lc.length(v,l)-1); //cout << lc.level_ancestor(u,0) << endl; //cout << s << " " << u << endl; ll f=dp[u]-dp[s]; if(f!=lc.length(l,u)-1){ cout << f << endl; cout << "NO" << endl;continue; } f=dp[v]-dp[t]; if(f!=lc.length(l,v)-1){ cout << "NO" << endl;continue; } if(!isKad(s,l,t)){ cout << "NO" << endl;continue; } s=lc.ancestor(u,1); t=lc.ancestor(v,1); if(!isKad(a[s],a[u],a[v])){ cout << "NO" << endl;continue; } if(!isKad(a[u],a[v],a[t])){ cout << "NO" << endl;continue; } cout << "YES" << endl; } } }