結果
問題 | No.1153 ねこちゃんゲーム |
ユーザー | beet |
提出日時 | 2020-08-07 22:04:58 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 617 ms / 2,500 ms |
コード長 | 2,540 bytes |
コンパイル時間 | 2,375 ms |
コンパイル使用メモリ | 216,812 KB |
実行使用メモリ | 88,520 KB |
最終ジャッジ日時 | 2023-10-25 01:10:48 |
合計ジャッジ時間 | 29,837 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge12 |
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
4,348 KB |
testcase_01 | AC | 2 ms
4,348 KB |
testcase_02 | AC | 3 ms
4,348 KB |
testcase_03 | AC | 3 ms
4,348 KB |
testcase_04 | AC | 3 ms
4,348 KB |
testcase_05 | AC | 3 ms
4,348 KB |
testcase_06 | AC | 3 ms
4,348 KB |
testcase_07 | AC | 564 ms
55,324 KB |
testcase_08 | AC | 495 ms
54,884 KB |
testcase_09 | AC | 563 ms
55,312 KB |
testcase_10 | AC | 483 ms
54,892 KB |
testcase_11 | AC | 551 ms
55,344 KB |
testcase_12 | AC | 551 ms
55,304 KB |
testcase_13 | AC | 489 ms
54,876 KB |
testcase_14 | AC | 547 ms
55,316 KB |
testcase_15 | AC | 488 ms
54,876 KB |
testcase_16 | AC | 556 ms
55,332 KB |
testcase_17 | AC | 550 ms
55,316 KB |
testcase_18 | AC | 484 ms
54,932 KB |
testcase_19 | AC | 546 ms
55,320 KB |
testcase_20 | AC | 469 ms
54,984 KB |
testcase_21 | AC | 533 ms
55,284 KB |
testcase_22 | AC | 558 ms
55,320 KB |
testcase_23 | AC | 494 ms
54,900 KB |
testcase_24 | AC | 545 ms
55,304 KB |
testcase_25 | AC | 477 ms
54,952 KB |
testcase_26 | AC | 545 ms
55,292 KB |
testcase_27 | AC | 612 ms
88,028 KB |
testcase_28 | AC | 527 ms
88,520 KB |
testcase_29 | AC | 617 ms
85,656 KB |
testcase_30 | AC | 520 ms
84,976 KB |
testcase_31 | AC | 576 ms
73,156 KB |
testcase_32 | AC | 428 ms
56,644 KB |
testcase_33 | AC | 368 ms
56,208 KB |
testcase_34 | AC | 398 ms
56,644 KB |
testcase_35 | AC | 342 ms
56,200 KB |
testcase_36 | AC | 390 ms
56,628 KB |
testcase_37 | AC | 374 ms
56,636 KB |
testcase_38 | AC | 307 ms
56,636 KB |
testcase_39 | AC | 294 ms
56,636 KB |
testcase_40 | AC | 333 ms
56,636 KB |
testcase_41 | AC | 274 ms
56,636 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; using Int = long long; const char newl = '\n'; template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;} template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;} template<typename T> void drop(const T &x){cout<<x<<endl;exit(0);} template<typename T=int> vector<T> read(size_t n){ vector<T> ts(n); for(size_t i=0;i<n;i++) cin>>ts[i]; return ts; } template<typename F> struct FixPoint : F{ FixPoint(F&& f):F(forward<F>(f)){} template<typename... Args> decltype(auto) operator()(Args&&... args) const{ return F::operator()(*this,forward<Args>(args)...); } }; template<typename F> inline decltype(auto) MFP(F&& f){ return FixPoint<F>{forward<F>(f)}; } //INSERT ABOVE HERE signed main(){ cin.tie(0); ios::sync_with_stdio(0); int n,m; cin>>n>>m; auto as=read(m); for(int &a:as) a--; vector<vector<int>> G(n); for(int i=1;i<n;i++){ int u,v; cin>>u>>v; u--;v--; G[u].emplace_back(v); G[v].emplace_back(u); } using ll = long long; auto P = [&](int a,int b){return ((ll)(a)<<30)|(b+1);}; unordered_map<ll, int> dp; dp.reserve(n*2); vector<int> used(n,0); vector<int> skip(n,-1); vector<int> grnd(n,0); vector<vector<int>> cnts(n); auto func= MFP([&](auto dfs,int v,int p)->int{ if(dp.count(P(v,p))) return dp[P(v,p)]; int &res=dp[P(v,p)]; res=0; if(~p and G[v].size()==1) return res=0; auto &cnt=cnts[v]; if(!used[v]){ cnt.assign(G[v].size()+1,0); used[v]=1; skip[v]=p; for(int u:G[v]){ if(u==p) continue; int k=dfs(u,v); if(k<(int)cnt.size()) cnt[k]++; } int &g=grnd[v]; while(cnt[g]) g++; return res=g; } if(~p) assert(skip[v]!=p); if(~skip[v]){ int k=dfs(skip[v],v); if(k<(int)cnt.size()) cnt[k]++; skip[v]=-1; } int &g=grnd[v]; while(cnt[g]) g++; if(~p){ int cand=dfs(p,v); if(cand<g and cnt[cand]==1) return res=cand; } return res=g; }); vector<int> gs(n); for(int i=0;i<n;i++) gs[i]=func(i,-1); int ans=0; for(int a:as) ans^=gs[a]; if(ans==0) drop("-1 -1"); vector<int> ukuku09(n); for(int i=0;i<m;i++){ int a=as[i]; if(ukuku09[a]) continue; ukuku09[a]=1; for(int b:G[a]){ if(ans^gs[a]^func(b,a)) continue; cout<<i+1<<' '<<b+1<<endl; return 0; } } abort(); return 0; }