結果

問題 No.1614 Majority Painting on Tree
ユーザー milanis48663220milanis48663220
提出日時 2023-09-03 13:59:20
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 1,459 ms / 5,000 ms
コード長 2,925 bytes
コンパイル時間 1,889 ms
コンパイル使用メモリ 124,668 KB
実行使用メモリ 11,536 KB
最終ジャッジ日時 2023-09-03 14:00:29
合計ジャッジ時間 21,137 ms
ジャッジサーバーID
(参考情報)
judge12 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 522 ms
10,952 KB
testcase_01 AC 186 ms
10,892 KB
testcase_02 AC 239 ms
11,536 KB
testcase_03 AC 393 ms
11,440 KB
testcase_04 AC 538 ms
11,492 KB
testcase_05 AC 506 ms
11,480 KB
testcase_06 AC 966 ms
11,512 KB
testcase_07 AC 667 ms
11,484 KB
testcase_08 AC 348 ms
11,468 KB
testcase_09 AC 775 ms
11,448 KB
testcase_10 AC 237 ms
11,268 KB
testcase_11 AC 928 ms
11,188 KB
testcase_12 AC 1,050 ms
11,228 KB
testcase_13 AC 755 ms
11,320 KB
testcase_14 AC 1,459 ms
11,192 KB
testcase_15 AC 1,398 ms
11,192 KB
testcase_16 AC 352 ms
11,204 KB
testcase_17 AC 692 ms
11,448 KB
testcase_18 AC 255 ms
10,940 KB
testcase_19 AC 131 ms
10,868 KB
testcase_20 AC 542 ms
10,880 KB
testcase_21 AC 554 ms
10,920 KB
testcase_22 AC 597 ms
10,868 KB
testcase_23 AC 103 ms
11,048 KB
testcase_24 AC 545 ms
10,896 KB
testcase_25 AC 157 ms
10,876 KB
testcase_26 AC 347 ms
10,868 KB
testcase_27 AC 9 ms
5,800 KB
testcase_28 AC 9 ms
5,844 KB
testcase_29 AC 8 ms
5,748 KB
testcase_30 AC 9 ms
5,784 KB
testcase_31 AC 8 ms
5,744 KB
testcase_32 AC 8 ms
5,744 KB
testcase_33 AC 8 ms
5,720 KB
testcase_34 AC 9 ms
5,800 KB
testcase_35 AC 8 ms
5,748 KB
testcase_36 AC 8 ms
5,916 KB
testcase_37 AC 9 ms
5,724 KB
testcase_38 AC 8 ms
5,708 KB
testcase_39 AC 8 ms
5,836 KB
testcase_40 AC 8 ms
5,680 KB
testcase_41 AC 8 ms
5,772 KB
testcase_42 AC 8 ms
5,752 KB
testcase_43 AC 8 ms
5,732 KB
testcase_44 AC 8 ms
5,760 KB
testcase_45 AC 8 ms
5,680 KB
testcase_46 AC 8 ms
5,728 KB
testcase_47 AC 8 ms
5,692 KB
testcase_48 AC 8 ms
5,908 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <algorithm>
#include <iomanip>
#include <vector>
#include <queue>
#include <deque>
#include <set>
#include <map>
#include <tuple>
#include <cmath>
#include <numeric>
#include <functional>
#include <cassert>
#include <atcoder/modint>

#define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl;
#define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl;

template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }

using namespace std;
typedef long long ll;

template<typename T>
vector<vector<T>> vec2d(int n, int m, T v){
    return vector<vector<T>>(n, vector<T>(m, v));
}

template<typename T>
vector<vector<vector<T>>> vec3d(int n, int m, int k, T v){
    return vector<vector<vector<T>>>(n, vector<vector<T>>(m, vector<T>(k, v)));
}

template<typename T>
void print_vector(vector<T> v, char delimiter=' '){
    if(v.empty()) {
        cout << endl;
        return;
    }
    for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter;
    cout << v.back() << endl;
}

using mint = atcoder::modint998244353;

ostream& operator<<(ostream& os, const mint& m){
    os << m.val();
    return os;
}


#define N_MAX 200002
mint inv[N_MAX],fac[N_MAX],finv[N_MAX];

void init(){
    const ll MOD = mint::mod();
    fac[0]=1;fac[1]=1;
    finv[0]=1;finv[1]=1;
    inv[1]=1;
    for(int i=2;i<N_MAX;i++){
        inv[i]=mint(MOD)-inv[MOD%i]*(MOD/i);
        fac[i]=fac[i-1]*(ll) i;
        finv[i]=finv[i-1]*inv[i];
    }
}

mint comb(ll n, ll r){
    if(n < r){
        return mint(0);
    }else{
        return fac[n]*finv[r]*finv[n-r];
    }
}


int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << setprecision(10) << fixed;
    init();
    int n, c; cin >> n >> c;
    vector<vector<int>> g(n);
    for(int i = 0; i < n-1; i++){
        int a, b; cin >> a >> b; a--; b--;
        g[a].push_back(b);
        g[b].push_back(a);
    }
    auto sub_solve = [&](int c){
        mint inv_c = mint(c).inv();
        mint ans = 1;
        for(int v = 0; v < n; v++){
            int deg = g[v].size();
            mint tmp = c;
            mint n_all = mint(c).pow(deg);
            mint more_than_half = 0;
            for(int x = deg; x*2 > deg; x--){
                more_than_half += comb(deg, x)*c*(mint(c-1).pow(deg-x));
            }
            tmp += n_all-more_than_half;
            if(v != 0) tmp *= inv_c;
            // cout << deg << ":" << tmp << endl;
            ans *= tmp;
        }
        return ans;
    };
    vector<mint> v(c+1);
    for(int cc = 1; cc <= c; cc++){
        v[cc] = sub_solve(cc);
    }
    for(int cc = 1; cc <= c; cc++){
        for(int x = 1; x < cc; x++){
            v[cc] -= v[x]*comb(cc, x);
        }
    }
    cout << v[c] << endl;
}
0