#1146314 (C++23) No.2800 Game on Tree Inverse

• 問題: No.2800 Game on Tree Inverse
• ユーザー: こめだわら
• 提出日時: 2026-01-30 22:20:50
• 言語: C++23 (gcc 15.2.0 + boost 1.89.0)
• 結果: RE
• 実行時間: -
• コード長: 3,956 bytes
• コンパイル時間: 3,924 ms
• コンパイル使用メモリ: 352,536 KB
• 実行使用メモリ: 8,100 KB
• 最終ジャッジ日時: 2026-01-30 22:21:04
• 合計ジャッジ時間: 12,992 ms
• ジャッジサーバーID （参考情報）: judge5 / judge1

ファイルパターン	結果
sample	AC * 2
other	AC * 5 WA * 7 RE * 52

ソースコード

#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<300);
    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 {
            ll r=0;
            vector<ll> R;
            for (ll np:edge[cp]){
                if (np==bp)continue;
                self(self,np,cp);
                r^=G[np];
                R.push_back(G[np]);
            }
            rep(d,30){
                if (~r>>d&1){
                    bool flag=false;
                    for (ll ri:R){
                        if (ri>>d&1){
                            flag=true;
                        }
                    }
                    if (!flag){
                        r>>=d;
                        r^=1;
                        r<<=d;
                        break;
                    }
                }
            }
            G[cp]=r;
            return;
        };
        dfs(dfs,0,-1);
    }
    // dump(G);
    vector<ll> G2(N);
    {
        auto dfs=[&](auto self,ll cp,ll bp)->void {
            set<ll> B;
            vector<ll> R;
            for (ll np:edge[cp]){
                if (np==bp)continue;
                self(self,np,cp);
                R.push_back(G[np]);
            }
            if (R.size()==0)B.insert(0);
            rep(i,R.size()){
                rep(j,R[i]+1){
                    ll r=0;
                    rep(k,R.size()){
                        if (k==i)r^=j;
                        else r^=R[k];
                    }
                    B.insert(r);
                }
            }
            ll v=0;
            while (true){
                if (!B.contains(v))break;
                v++;
            }
            G2[cp]=v;
            return;
        };
        dfs(dfs,0,-1);
    }
    // dump(G);
    // dump(G2);
    swap(G,G2);
    {
        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);
            }
            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;
}