結果

問題 No.1153 ねこちゃんゲーム
ユーザー tarattata1tarattata1
提出日時 2020-08-07 00:52:12
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 376 ms / 2,500 ms
コード長 3,439 bytes
コンパイル時間 1,015 ms
コンパイル使用メモリ 89,132 KB
実行使用メモリ 65,352 KB
最終ジャッジ日時 2024-09-22 04:57:01
合計ジャッジ時間 21,594 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 3 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,944 KB
testcase_07 AC 304 ms
42,688 KB
testcase_08 AC 311 ms
42,636 KB
testcase_09 AC 311 ms
42,748 KB
testcase_10 AC 297 ms
42,568 KB
testcase_11 AC 300 ms
42,808 KB
testcase_12 AC 302 ms
42,688 KB
testcase_13 AC 306 ms
42,556 KB
testcase_14 AC 316 ms
42,640 KB
testcase_15 AC 326 ms
42,648 KB
testcase_16 AC 320 ms
42,672 KB
testcase_17 AC 324 ms
43,364 KB
testcase_18 AC 313 ms
44,276 KB
testcase_19 AC 323 ms
44,160 KB
testcase_20 AC 318 ms
45,436 KB
testcase_21 AC 338 ms
45,732 KB
testcase_22 AC 324 ms
43,192 KB
testcase_23 AC 327 ms
43,656 KB
testcase_24 AC 327 ms
43,888 KB
testcase_25 AC 317 ms
44,860 KB
testcase_26 AC 317 ms
44,884 KB
testcase_27 AC 324 ms
57,052 KB
testcase_28 AC 361 ms
65,352 KB
testcase_29 AC 376 ms
63,704 KB
testcase_30 AC 371 ms
63,312 KB
testcase_31 AC 329 ms
48,124 KB
testcase_32 AC 188 ms
38,432 KB
testcase_33 AC 190 ms
38,176 KB
testcase_34 AC 184 ms
38,440 KB
testcase_35 AC 177 ms
38,172 KB
testcase_36 AC 184 ms
38,308 KB
testcase_37 AC 114 ms
38,156 KB
testcase_38 AC 102 ms
38,160 KB
testcase_39 AC 109 ms
38,160 KB
testcase_40 AC 115 ms
38,148 KB
testcase_41 AC 100 ms
38,152 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cstdio>
#include <cstdlib>
#include <vector>
#include <map>
#include <iterator>
#include <cassert>
#pragma warning(disable:4996) 
#define INF 2140000000
using namespace std;

vector<vector<pair<int, int> > > g;   // to, edgeid
vector<int> parent;              // parent[i]: parent of vertex i
vector<int> val;                 // val[2*i]:val for downward dir, val[2*i+1]: val for upward dir
vector<map<int, int> > z;        // z[i]: vals counter for directed edges from vertex i
vector<int> ans;                 // ans[i]: Grundy number for vertex i

int dfs(int par, int curr)
{
    parent[curr] = par;
    int i;
    for (i = 0; i < (int)g[curr].size(); i++) {
        int next = g[curr][i].first;
        int edge = g[curr][i].second;
        if (next == par) continue;

        int tmp = dfs(curr, next);
        val[edge * 2] = tmp;
        z[curr][tmp]++;
    }
    for (i = 0; i < INF; i++) {
        if (z[curr].empty() || z[curr].find(i) == z[curr].end()) {
            break;
        }
    }
    return i;
}

void dfs2(int par, int curr)
{
    int i;
    for (i = 0; i < (int)g[curr].size(); i++) {
        int next = g[curr][i].first;
        int edge = g[curr][i].second;
        if (next == par) continue;

        int k;
        for (k = 0; k < INF; k++) {
            if (z[curr].empty()) {
                break;
            }
            auto it = z[curr].find(k);
            if (it == z[curr].end()) {
                break;
            }
            int num=it->second;
            if (val[edge*2]==k) num--;
            if (num < 1) {
                break;
            }
        }
        val[edge * 2 + 1] = k;
        z[next][k]++;
        dfs2(curr, next);
    }
    for (i = 0; i < INF; i++) {
        if (z[curr].empty() || z[curr].find(i) == z[curr].end()) {
            break;
        }
    }
    ans[curr] = i;
    return;
}

void solve()
{
    int n, m;
    scanf("%d%d", &n, &m);
    assert(n >= 1 && n <= 200000);
    assert(m >= 1 && m <= 200000);
    vector<int> a(m);
    int i;
    for (i = 0; i < m; i++) {
        scanf("%d", &a[i]); a[i]--;
        assert(a[i] >= 0 && a[i] < n);
    }

    g.resize(n);
    parent.resize(n);
    z.resize(n);
    ans.resize(n);
    val.resize((n-1) * 2);
    for (i = 0; i < n - 1; i++) {
        int p, q;
        scanf("%d%d", &p, &q); p--; q--;
        assert(p != q);
        assert(p >= 0 && p < n);
        assert(q >= 0 && q < n);
        g[p].push_back(make_pair(q, i));
        g[q].push_back(make_pair(p, i));
    }
    dfs(-1, 0);  
    dfs2(-1, 0);

    int sum = 0;
    for (i = 0; i < m; i++) {
        sum ^= ans[a[i]];
    }
    if (sum == 0) {
        printf("-1 -1\n");
    }
    else {
        int max = -1;
        int maxi = -1;
        for (i = 0; i < m; i++) {
            int tmp = ans[a[i]] & sum;
            if (max < tmp) {
                max = tmp;
                maxi = i;
            }
        }

        int target = ans[a[maxi]]^sum;
        int nextvtx = -1;
        for (i = 0; i < (int)g[a[maxi]].size(); i++) {
            int next = g[a[maxi]][i].first;
            int edge = g[a[maxi]][i].second;
            int tmpval = (next == parent[a[maxi]] ? val[2 * edge + 1] : val[2 * edge]);
            if (target == tmpval) {
                nextvtx = next;
                break;
            }
        }
        printf("%d %d\n", maxi + 1, nextvtx + 1);
    }
    return;
}

int main()
{
    solve();
    return 0;
}
0