結果

問題 No.2522 Fall in love, Girls!
ユーザー MasKoaTSMasKoaTS
提出日時 2023-08-27 15:22:28
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 80 ms / 2,000 ms
コード長 2,074 bytes
コンパイル時間 2,669 ms
コンパイル使用メモリ 218,288 KB
実行使用メモリ 11,520 KB
最終ジャッジ日時 2024-09-25 13:16:18
合計ジャッジ時間 4,350 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 41 ms
11,520 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 5 ms
5,376 KB
testcase_07 AC 9 ms
5,376 KB
testcase_08 AC 10 ms
5,376 KB
testcase_09 AC 22 ms
5,376 KB
testcase_10 AC 41 ms
11,520 KB
testcase_11 AC 41 ms
11,392 KB
testcase_12 AC 16 ms
5,376 KB
testcase_13 AC 19 ms
11,372 KB
testcase_14 AC 57 ms
11,520 KB
testcase_15 AC 80 ms
11,520 KB
testcase_16 AC 68 ms
11,392 KB
testcase_17 AC 21 ms
5,376 KB
testcase_18 AC 30 ms
5,376 KB
testcase_19 AC 35 ms
5,376 KB
testcase_20 AC 35 ms
5,376 KB
testcase_21 AC 18 ms
5,376 KB
testcase_22 AC 26 ms
5,376 KB
testcase_23 AC 26 ms
5,376 KB
testcase_24 AC 20 ms
5,376 KB
testcase_25 AC 21 ms
11,424 KB
testcase_26 AC 18 ms
11,520 KB
testcase_27 AC 16 ms
5,376 KB
testcase_28 AC 7 ms
11,520 KB
testcase_29 AC 17 ms
5,376 KB
testcase_30 AC 26 ms
5,376 KB
testcase_31 AC 19 ms
5,376 KB
testcase_32 AC 23 ms
11,364 KB
testcase_33 AC 19 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define MOD 998244353ll
using namespace std;
using ll = long long;

bool can_set_left(vector<vector<int> >& graph, ll s, int i, ll t){
    for(int j = 0; j < t; ++j){
        if(i == j || ((s >> j) & 1) == 0 || graph[j][i] == 0){
            continue;
        }
        return false;
    }
    return true;
}

ll calc_dp(vector<vector<int> >& graph, vector<ll>& dp, ll s, ll t){
    if(dp[s] == -1){
        dp[s] = 0;
        for(int i = 0; i < t; ++i){
            if(((s >> i) & 1) == 0){
                continue;
            }
            if(!can_set_left(graph, s, i, t)){
                continue;
            }
            dp[s] += calc_dp(graph, dp, s - (1 << i), t);
        }
        dp[s] %= MOD;
    }
    return dp[s];
}

ll nPk(ll n, ll k){
    ll ret = 1;
    for(ll i = n; i > n - k; --i){
        ret *= i;
        ret %= MOD;
    }
    return ret;
}


int main(){
    ll N, M, K; cin >> N >> M >> K;
    vector<pair<int, int> > edges(K, pair<int, int>({}));
    unordered_set<int> st = {};
    for(auto& [x, y] : edges){
        cin >> x >> y;
        --x;    --y;
        st.insert(x);
        st.insert(y);
    }

    unordered_map<int, int> mp = {};
    for(auto itr = st.begin(); itr != st.end(); ++itr){
        mp[*itr] = mp.size();
    }
    int t = mp.size();

    vector<vector<int> > graph(t, vector<int>(t));
    for(auto& [x, y] : edges){
        graph[mp[x]][mp[y]] = 1;
    }
    vector<ll> dp(1 << t, -1);
    dp[0] = 1;

    ll ans = nPk(N, N - t) * calc_dp(graph, dp, (1 << t) - 1, t) % MOD;
    ll p1 = nPk(N - 1, N - t);
    ll p2 = nPk(N - 1, N - t - 1);
    for(int i = 0; i < M; ++i){
        if(st.find(i) != st.end()){
            int id = mp[i];
            if(!can_set_left(graph, (1 << t) - 1, id, t)){
                continue;
            }
            ans += MOD - p1 * calc_dp(graph, dp, (1 << t) - 1 - (1 << id), t) % MOD;
        }
        else{
            ans += MOD - p2 * calc_dp(graph, dp, (1 << t) - 1, t) % MOD;
        }
        ans %= MOD;
    }
    cout << ans << endl;

    return 0;
}
0