結果

問題 No.1116 Cycles of Dense Graph
ユーザー betrue12betrue12
提出日時 2020-07-17 22:15:10
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 70 ms / 2,000 ms
コード長 3,908 bytes
コンパイル時間 2,566 ms
コンパイル使用メモリ 213,492 KB
実行使用メモリ 6,344 KB
最終ジャッジ日時 2023-08-20 01:39:22
合計ジャッジ時間 4,811 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 6 ms
6,216 KB
testcase_01 AC 17 ms
6,220 KB
testcase_02 AC 6 ms
6,224 KB
testcase_03 AC 5 ms
6,168 KB
testcase_04 AC 6 ms
6,172 KB
testcase_05 AC 9 ms
6,120 KB
testcase_06 AC 11 ms
6,224 KB
testcase_07 AC 7 ms
6,288 KB
testcase_08 AC 6 ms
6,284 KB
testcase_09 AC 7 ms
6,212 KB
testcase_10 AC 6 ms
6,124 KB
testcase_11 AC 10 ms
6,344 KB
testcase_12 AC 8 ms
6,168 KB
testcase_13 AC 6 ms
6,184 KB
testcase_14 AC 6 ms
6,284 KB
testcase_15 AC 7 ms
6,288 KB
testcase_16 AC 8 ms
6,204 KB
testcase_17 AC 6 ms
6,288 KB
testcase_18 AC 7 ms
6,120 KB
testcase_19 AC 8 ms
6,340 KB
testcase_20 AC 13 ms
6,288 KB
testcase_21 AC 10 ms
6,276 KB
testcase_22 AC 29 ms
6,284 KB
testcase_23 AC 6 ms
6,284 KB
testcase_24 AC 60 ms
6,208 KB
testcase_25 AC 6 ms
6,268 KB
testcase_26 AC 65 ms
6,168 KB
testcase_27 AC 7 ms
6,164 KB
testcase_28 AC 13 ms
6,184 KB
testcase_29 AC 6 ms
6,168 KB
testcase_30 AC 6 ms
6,212 KB
testcase_31 AC 6 ms
6,280 KB
testcase_32 AC 6 ms
6,124 KB
testcase_33 AC 6 ms
6,212 KB
testcase_34 AC 6 ms
6,288 KB
testcase_35 AC 6 ms
6,212 KB
testcase_36 AC 70 ms
6,172 KB
testcase_37 AC 67 ms
6,208 KB
testcase_38 AC 67 ms
6,280 KB
testcase_39 AC 22 ms
6,220 KB
testcase_40 AC 23 ms
6,184 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

const int64_t MOD = 998244353;
void add(int64_t& a, int64_t b){
    a = (a+b) % MOD;
}
void mul(int64_t& a, int64_t b){
    a = a*b % MOD;
}

int64_t power_mod(int64_t num, int64_t power){
    int64_t prod = 1;
    num %= MOD;
    while(power > 0){
        if(power&1) prod = prod * num % MOD;
        num = num * num % MOD;
        power >>= 1;
    }
    return prod;
}

int64_t extgcd(int64_t a, int64_t b, int64_t& x, int64_t& y){
    int64_t d = a;
    if(b != 0){
        d = extgcd(b, a%b, y, x);
        y -= (a/b) * x;
    }else{
        x = 1; y = 0;
    }
    return d;
}

int64_t inv_mod(int64_t a){
    int64_t x, y;
    extgcd(a, MOD, x, y);
    return (MOD + x%MOD) % MOD;
}

vector<int64_t> fact, fact_inv;

void create_mod_tables(int num){
    fact.assign(num+1, 1);
    fact_inv.assign(num+1, 1);
    for(int i=1; i<=num; i++) fact[i] = fact[i-1] * i % MOD;
    fact_inv[num] = inv_mod(fact[num]);
    for(int i=num; i>0; i--) fact_inv[i-1] = fact_inv[i] * i % MOD;
}

int64_t comb_mod(int n, int k){
    return fact[n] * fact_inv[n-k] % MOD * fact_inv[k] % MOD;
}

int64_t perm_mod(int n, int k){
    return fact[n] * fact_inv[n-k] % MOD;
}

int nth_bit(int64_t num, int n){
    return (num >> n) & 1;
}

struct UnionFind {
    vector<int> par;
    vector<int> sz;

    UnionFind(int n=0){ if(n>0) initialize(n); }
    void initialize(int n){
        par.resize(n);
        sz.assign(n, 1);
        for(int i=0; i<n; i++){
            par[i] = i;
        }
    }

    int find(int x){
        if(par[x] == x){
            return x;
        }else{
            return find(par[x]);
        }
    }

    bool unite(int x, int y){
        x = find(x), y = find(y);
        if(x == y) return false;
        if(sz[x] > sz[y]) swap(x, y);
        par[x] = y;
        sz[y] += sz[x];
        return true;
    }

    bool same(int x, int y){ return find(x) == find(y); }
    int size(int x){ return sz[find(x)]; }
};

template<typename T>
vector<T> compress(vector<T> A){
    sort(A.begin(), A.end());
    A.erase(unique(A.begin(), A.end()), A.end());
    return A;
}

int main(){
    int N, M;
    cin >> N >> M;
    vector<int> A(M), B(M), V;
    for(int i=0; i<M; i++){
        cin >> A[i] >> B[i];
        A[i]--; B[i]--;
        V.push_back(A[i]);
        V.push_back(B[i]);
    }
    V = compress(V);
    int sz = V.size();
    for(int& a : A) a = lower_bound(V.begin(), V.end(), a) - V.begin();
    for(int& a : B) a = lower_bound(V.begin(), V.end(), a) - V.begin();

    create_mod_tables(200000);

    // use, path
    static int64_t P[31][16];
    for(int use=0; use<=2*M; use++) for(int path=0; path<=M; path++){
        int rest = N-use;
        if(rest < 0) continue;
        int64_t p2 = power_mod(2, path);
        mul(p2, inv_mod(2));
        for(int r=0; r<=rest; r++) if(use+r >= 3 && path+r){
            int64_t res = comb_mod(rest, r) * fact[path+r-1] % MOD * p2 % MOD;
            //cerr << use<<path<<r<<" " << res << endl;
            add(P[use][path], res);
        }
    }

    int64_t ans = 0;
    for(int b=0; b<(1<<M); b++){
        vector<int> deg(sz);
        UnionFind uf(sz);
        int64_t C = 1;
        for(int i=0; i<M; i++) if(nth_bit(b, i)){
            uf.unite(A[i], B[i]);
            deg[A[i]]++;
            deg[B[i]]++;
            C *= -1;
        }
        if(b && *max_element(deg.begin(), deg.end()) > 2) continue;
        int use = 0, cmp = 0, one = 0;
        for(int i=0; i<sz; i++) if(deg[i]){
            use++;
            if(uf.find(i) == i) cmp++;
            if(deg[i] == 1) one++;
        }
        int64_t res = 0;
        if(cmp == 1 && one == 0){
            res = 1;
        }else{
            if(cmp*2 != one) continue;
            res = P[use][cmp];
        }
        //cerr << b << res << use << cmp << endl;
        add(ans, MOD+C*res);
    }
    cout << ans << endl;
    return 0;
}
0