結果

問題 No.2800 Game on Tree Inverse
コンテスト
ユーザー こめだわら
提出日時 2026-01-31 10:46:44
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
結果
TLE  
実行時間 -
コード長 3,395 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,086 ms
コンパイル使用メモリ 353,056 KB
実行使用メモリ 7,844 KB
最終ジャッジ日時 2026-01-31 10:46:55
合計ジャッジ時間 11,055 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 1 TLE * 1 -- * 62
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
using ull = unsigned long long;

#define rep(i,n) for(ll i=0;i<n;++i)
#define all(a) (a).begin(),(a).end()
ll intpow(ll a, ll b){ ll ans = 1; while(b){ if(b & 1) ans *= a; a *= a; b /= 2; } return ans; }
ll modpow(ll a, ll b, ll p){ ll ans = 1; while(b){ if(b & 1) (ans *= a) %= p; (a *= a) %= p; b /= 2; } return ans; }
template<class T> T div_floor(T a, T b) { return a / b - ((a ^ b) < 0 && a % b); }
template<class T> T div_ceil(T a, T b) { return a / b + ((a ^ b) > 0 && a % b); }
template <typename T, typename U> inline bool chmin(T &x, U y) { return (y < x) ? (x = y, true) : false; }
template <typename T, typename U> inline bool chmax(T &x, U y) { return (x < y) ? (x = y, true) : false; }

template<typename T>
ostream &operator<<(ostream &os, const vector<T> &a){
    if (a.empty()) return os;
    os << a.front();
    for (auto e : a | views::drop(1)){
        os << ' ' << e;
    }
    return os;
}

void dump(auto ...vs){
    ((cout << vs << ' '), ...) << endl;
}



void solve() {
    ll N;
    cin>>N;
    // assert(N<5000);
    vector<vector<ll>> edge(N);
    rep(i,N-1){
        ll a,b;
        cin>>a>>b;
        a--;
        b--;
        edge[a].push_back(b);
        edge[b].push_back(a);
    }
    vector<ll> G(N);
    vector<ll> W;
    {
        auto dfs=[&](auto self,ll cp,ll bp)->void {
            for (ll np:edge[cp]){
                if (np==bp)continue;
                self(self,np,cp);
            }
            set<ll> S;
            {   
                ll nowg=0;
                auto dfs2=[&](auto self,ll cp,ll bp)->void {
                    ll cg=0;
                    for (ll np:edge[cp]){
                        if (np==bp)continue;
                        cg^=G[np];
                    }
                    nowg^=cg;
                    S.insert(nowg);
                    for (ll np:edge[cp]){
                        if (np==bp)continue;
                        nowg^=G[np];
                        self(self,np,cp);
                        nowg^=G[np];
                    }
                    nowg^=cg;
                };
                dfs2(dfs2,cp,bp);
            }
            ll g=0;
            while (true){
                if (!S.contains(g)){
                    G[cp]=g;
                    return;
                }
                g++;
            }
        };
        dfs(dfs,0,-1);
    }
    // dump(G);
    {
        ll now=0;
        auto dfs=[&](auto self,ll cp,ll bp)->void {
            for (ll np:edge[cp]){
                if (np==bp)continue;
                now^=G[np];
            }
            if (now==0){
                W.push_back(cp);
            }
            // dump(cp,now);
            for (ll np:edge[cp]){
                if (np==bp)continue;
                now^=G[np];
                self(self,np,cp);
                now^=G[np];
            }
            for (ll np:edge[cp]){
                if (np==bp)continue;
                now^=G[np];
            }
            return;
        };
        dfs(dfs,0,-1);
    }
    cout<<"Alice"<<'\n';
    cout<<W.size()<<'\n';
    sort(all(W));
    rep(i,W.size()){
        if (i!=0)cout<<' ';
        cout<<W[i]+1;
    }
    cout<<'\n';
    return;
}


int main() {
    cin.tie(0)->sync_with_stdio(0);
    ll T=1;
    while (T--){
        solve();
    }
    return 0;
}
0