結果

問題 No.1153 ねこちゃんゲーム
ユーザー chocopuuchocopuu
提出日時 2020-08-07 23:19:28
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,236 bytes
コンパイル時間 2,544 ms
コンパイル使用メモリ 210,892 KB
実行使用メモリ 27,644 KB
最終ジャッジ日時 2023-10-25 04:46:52
合計ジャッジ時間 21,240 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge11
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 AC 2 ms
4,348 KB
testcase_02 WA -
testcase_03 AC 3 ms
4,348 KB
testcase_04 WA -
testcase_05 AC 3 ms
4,348 KB
testcase_06 WA -
testcase_07 WA -
testcase_08 AC 312 ms
21,492 KB
testcase_09 WA -
testcase_10 AC 319 ms
21,492 KB
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 AC 321 ms
21,756 KB
testcase_16 WA -
testcase_17 WA -
testcase_18 AC 309 ms
21,756 KB
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 AC 309 ms
21,756 KB
testcase_24 WA -
testcase_25 AC 293 ms
21,756 KB
testcase_26 WA -
testcase_27 WA -
testcase_28 AC 315 ms
27,564 KB
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 AC 246 ms
21,996 KB
testcase_34 WA -
testcase_35 AC 223 ms
21,996 KB
testcase_36 WA -
testcase_37 WA -
testcase_38 WA -
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include "bits/stdc++.h"
using namespace std;
#define int long long
#define REP(i, n) for (int i = 0; i < (int)n; ++i)
#define RREP(i, n) for (int i = (int)n - 1; i >= 0; --i)
#define FOR(i, s, n) for (int i = s; i < (int)n; ++i)
#define RFOR(i, s, n) for (int i = (int)n - 1; i >= s; --i)
#define ALL(a) a.begin(), a.end()
#define IN(a, x, b) (a <= x && x < b)
template<class T>istream&operator >>(istream&is,vector<T>&vec){for(T&x:vec)is>>x;return is;}
template<class T>inline void out(T t){cout << t << "\n";}
template<class T,class... Ts>inline void out(T t,Ts... ts){cout << t << " ";out(ts...);}
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;}
constexpr int INF = 1e18;



signed main(){
	int N, M;
	cin >> N >> M;
	vector<int>a(M);
	cin >> a;
	REP(i, M) --a[i];
	vector<vector<int>>g(N);
	REP(i, N - 1) {
		int a, b;
		cin >> a >> b;
		--a; --b;
		g[a].emplace_back(b);
		g[b].emplace_back(a);
	}
	vector<int>dp(N); //falseは行動すると負け
	{
		auto dfs = [&](auto&&f, int now, int par) -> bool {
			int ret = 0, child = 0;
			for(auto e: g[now]) {
				if(e == par) continue;
				++child;
				if(f(f, e, now) == false) ret = true;
			}
			return dp[now] = ret;
		};
		dfs(dfs, 0, -1);
	}
	vector<int>v(N);
	vector<int>dp2(N);
	{
		auto dfs = [&](auto&&f, int now, int par, int par_val) -> void {
			//自分を親と見た時の結果を集計する
			int child = 0, end = 0;;
			for(auto e: g[now]) {
				if(e == par && par != -1){
					if(!par_val){
						++end;
						v[now] = par;
					}
					continue;
				}
				++child;
				if(!dp[e]){
					++end;
					v[now] = e;
				}
			}
			if(end)dp2[now] = true;
			for(auto e: g[now]) {
				if(e == par) continue;
				int flg = 0;
				if(end > 1)flg = true;
				else if(end == 1 && dp[e] == true) flg = true;
				else flg = false;
				f(f, e, now, flg);
			}
		};
		dfs(dfs, 0, -1, 0);
	}
	int ans = 0;
	REP(i, M) {
		if(dp[a[i]]) ans ^= 1;
	}
	if(ans == 0) out(-1, -1);
	else {
		REP(i, M) {
			if(dp[i] == false) continue;
			for(auto e: g[i]) {
				if(dp2[e] == false) {
					out(i + 1, v[i] + 1);
					exit(EXIT_SUCCESS);
				}
			}
		}
	}
}
0