結果

問題 No.3412 Christmas Tree Coloring
コンテスト
ユーザー GOTKAKO
提出日時 2025-12-19 00:04:46
言語 C++17
(gcc 13.3.0 + boost 1.89.0)
結果
AC  
実行時間 349 ms / 2,000 ms
コード長 3,789 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,153 ms
コンパイル使用メモリ 204,800 KB
実行使用メモリ 14,904 KB
最終ジャッジ日時 2025-12-19 00:04:55
合計ジャッジ時間 7,526 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;

//入力が必ず-mod<=a<modの時.
template<const int mod> //mod<2^30.
struct modint{ //mod変更が不可能.
    public:
    long long v;
    static void setmod(int m){} //飾り.
    static constexpr long long getmod(){return mod;}
    modint():v(0){}
    template<typename T>
    modint(T a):v(a){if(v < 0) v += mod;}
    long long val()const{return v;}
 
    modint &operator=(const modint &b) = default;
    modint &operator+()const{return (*this);}
    modint operator-()const{return modint(0)-(*this);}
    modint operator+(const modint b)const{return modint(v)+=b;}
    modint operator-(const modint b)const{return modint(v)-=b;}
    modint operator*(const modint b)const{return modint(v)*=b;}
    modint operator/(const modint b)const{return modint(v)/=b;}
    modint &operator+=(const modint b){
        v += b.v; if(v >= mod) v -= mod;
        return *this;
    }
    modint &operator-=(const modint b){
        v -= b.v; if(v < 0) v += mod; 
        return *this;
    }   
    modint &operator*=(const modint b){v = v*b.v%mod; return *this;}
    modint &operator/=(modint b){ //b!=0 mod素数が必須.
        assert(b.v != 0);
        (*this) *= b.pow(mod-2);
        return *this;
    }
    modint pow(long long n)const{
        modint ret = 1,p = v;
        if(n < 0) p = p.inv(),n = -n;
        while(n){
            if(n&1) ret *= p;
            p *= p; n >>= 1;
        }
        return ret;
    }
    modint inv()const{return pow(mod-2);} //素数mod必須.
 
    modint &operator++(){*this += 1; return *this;}
    modint &operator--(){*this -= 1; return *this;}
    modint operator++(int){modint ret = *this; *this += 1; return ret;}
    modint operator--(int){modint ret = *this; *this -= 1; return ret;}
    friend bool operator==(const modint a,const modint b){return a.v==b.v;}
    friend bool operator!=(const modint a,const modint b){return a.v!=b.v;}
    friend bool operator<(const modint a,const modint b){return a.v<b.v;}
    friend bool operator<=(const modint a,const modint b){return a.v<=b.v;}
    friend bool operator>=(const modint a,const modint b){return a.v>=b.v;}
    friend bool operator>(const modint a,const modint b){return a.v>b.v;}
    friend ostream &operator<<(ostream &os,const modint a){return os<<a.v;}
    friend istream &operator>>(istream &is,modint &a){ //入力はmodをとってくれる.
        long long x; is >> x; x %= mod;
        a = modint(x); return is;
    }
};
using mint = modint<998244353>; const long long mod = 998244353;

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

    int N; cin >> N;
    vector<vector<int>> Graph(N);
    for(int i=0; i<N-1; i++){
        int u,v; cin >> u >> v;
        u--; v--;
        Graph.at(u).push_back(v);
        Graph.at(v).push_back(u);
    }

    auto dfs = [&](auto dfs,int pos,int back) -> vector<vector<mint>> {
        vector<vector<mint>> ret(8,vector<mint>(3));
        ret.at(1).at(0) = 1,ret.at(2).at(1) = 1,ret.at(4).at(2) = 1;
        for(auto to : Graph.at(pos)){
            if(to == back) continue;
            auto kid = dfs(dfs,to,pos);
            vector<vector<mint>> next(8,vector<mint>(3));
            for(int i=0; i<8; i++) for(int k=0; k<3; k++) if(ret.at(i).at(k) != 0){
                mint d = ret.at(i).at(k);
                for(int x=0; x<8; x++) for(int y=0; y<3; y++) if(kid.at(x).at(y) != 0){
                    if(k == y) continue;
                    if((i&4)&&(x&4)) continue;
                    next.at(i|x).at(k) += d*kid.at(x).at(y);
                }
            }
            swap(ret,next);
        }
        return ret;
    };
    auto dp = dfs(dfs,0,-1);
    mint answer = 0;
    for(int i=0; i<3; i++) answer += dp.at(7).at(i);
    cout << answer << endl;
}
0