結果

問題 No.1153 ねこちゃんゲーム
ユーザー MisterMister
提出日時 2020-08-07 22:45:16
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 405 ms / 2,500 ms
コード長 2,939 bytes
コンパイル時間 1,172 ms
コンパイル使用メモリ 86,788 KB
実行使用メモリ 44,416 KB
最終ジャッジ日時 2024-09-24 23:02:05
合計ジャッジ時間 21,456 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 3 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 3 ms
6,944 KB
testcase_05 AC 3 ms
6,940 KB
testcase_06 AC 3 ms
6,940 KB
testcase_07 AC 340 ms
29,436 KB
testcase_08 AC 272 ms
29,520 KB
testcase_09 AC 335 ms
29,412 KB
testcase_10 AC 267 ms
29,440 KB
testcase_11 AC 338 ms
29,312 KB
testcase_12 AC 333 ms
29,312 KB
testcase_13 AC 273 ms
29,440 KB
testcase_14 AC 330 ms
29,440 KB
testcase_15 AC 280 ms
29,440 KB
testcase_16 AC 357 ms
29,440 KB
testcase_17 AC 340 ms
29,440 KB
testcase_18 AC 269 ms
29,568 KB
testcase_19 AC 338 ms
29,652 KB
testcase_20 AC 263 ms
29,684 KB
testcase_21 AC 329 ms
29,800 KB
testcase_22 AC 340 ms
29,568 KB
testcase_23 AC 271 ms
29,604 KB
testcase_24 AC 333 ms
29,520 KB
testcase_25 AC 264 ms
29,704 KB
testcase_26 AC 327 ms
29,700 KB
testcase_27 AC 401 ms
44,032 KB
testcase_28 AC 301 ms
44,416 KB
testcase_29 AC 405 ms
42,936 KB
testcase_30 AC 306 ms
42,680 KB
testcase_31 AC 390 ms
44,160 KB
testcase_32 AC 218 ms
29,944 KB
testcase_33 AC 189 ms
29,812 KB
testcase_34 AC 212 ms
29,756 KB
testcase_35 AC 188 ms
29,804 KB
testcase_36 AC 213 ms
29,752 KB
testcase_37 AC 111 ms
29,640 KB
testcase_38 AC 95 ms
29,772 KB
testcase_39 AC 101 ms
29,756 KB
testcase_40 AC 109 ms
29,772 KB
testcase_41 AC 94 ms
29,644 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>

template <class Cost = int>
struct Edge {
    int src, dst;
    Cost cost;
    Edge(int src = -1, int dst = -1, Cost cost = 1)
        : src(src), dst(dst), cost(cost){};

    bool operator<(const Edge<Cost>& e) const { return this->cost < e.cost; }
    bool operator>(const Edge<Cost>& e) const { return this->cost > e.cost; }
};

template <class Cost = int>
struct Graph {
    std::vector<std::vector<Edge<Cost>>> graph;

    Graph(int n = 0) : graph(n) {}

    void span(bool direct, int src, int dst, Cost cost = 1) {
        graph[src].emplace_back(src, dst, cost);
        if (!direct) graph[dst].emplace_back(dst, src, cost);
    }

    int size() const { return graph.size(); }
    void clear() { graph.clear(); }
    void resize(int n) { graph.resize(n); }

    std::vector<Edge<Cost>>& operator[](int v) { return graph[v]; }
    std::vector<Edge<Cost>> operator[](int v) const { return graph[v]; }
};

Graph<> graph;

std::vector<std::vector<int>> chmexs;
std::vector<int> mexs, rmexs;

int dfs(int v, int p) {
    auto& chmex = chmexs[v];
    chmex.clear();
    chmex.shrink_to_fit();

    for (auto e : graph[v]) {
        int u = e.dst;
        if (u == p) continue;

        int m = dfs(u, v);
        while ((int)chmex.size() <= m) chmex.push_back(0);
        ++chmex[m];
    }

    auto& mex = mexs[v];
    mex = 0;
    while (mex < (int)chmex.size() && chmex[mex] > 0) ++mex;
    return mex;
}

void edfs(int v, int p, int pmex) {
    auto& chmex = chmexs[v];
    if (pmex != -1) {
        while ((int)chmex.size() <= pmex) chmex.push_back(0);
        ++chmex[pmex];
    }

    auto& mex = rmexs[v];
    mex = 0;
    while (mex < (int)chmex.size() && chmex[mex] > 0) ++mex;

    for (auto e : graph[v]) {
        int u = e.dst;
        if (u == p) continue;
        int m = mexs[u];

        int nmex = mex;
        if (m < nmex && chmex[m] == 1) nmex = m;
        edfs(u, v, nmex);
    }
}

void solve() {
    int n, m;
    std::cin >> n >> m;

    std::vector<int> xs(m);
    for (auto& x : xs) {
        std::cin >> x;
        --x;
    }

    graph.resize(n);
    for (int i = 0; i < n - 1; ++i) {
        int u, v;
        std::cin >> u >> v;
        graph.span(false, --u, --v);
    }

    chmexs.resize(n);
    mexs.resize(n);
    rmexs.resize(n);

    dfs(0, -1);
    edfs(0, -1, -1);

    int grundy = 0;
    for (auto x : xs) grundy ^= rmexs[x];

    if (grundy == 0) {
        std::cout << "-1 -1\n";
        return;
    }

    // std::terminate();

    int ri = 0;
    while ((rmexs[xs[ri]] ^ grundy) >= rmexs[xs[ri]]) ++ri;

    int r = xs[ri];
    dfs(r, -1);

    for (auto e : graph[r]) {
        int u = e.dst;
        if (mexs[u] == (rmexs[xs[ri]] ^ grundy)) {
            std::cout << ri + 1 << " " << u + 1 << "\n";
            return;
        }
    }
}

int main() {
    std::cin.tie(nullptr);
    std::ios::sync_with_stdio(false);

    solve();

    return 0;
}
0