結果

問題 No.2669 Generalized Hitting Set
ユーザー 00
提出日時 2024-06-19 11:01:08
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 646 ms / 4,000 ms
コード長 2,206 bytes
コンパイル時間 1,143 ms
コンパイル使用メモリ 75,748 KB
実行使用メモリ 72,336 KB
最終ジャッジ日時 2024-06-19 11:01:21
合計ジャッジ時間 12,431 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 20 ms
6,940 KB
testcase_04 AC 17 ms
6,940 KB
testcase_05 AC 15 ms
6,940 KB
testcase_06 AC 26 ms
6,944 KB
testcase_07 AC 5 ms
6,944 KB
testcase_08 AC 7 ms
6,944 KB
testcase_09 AC 18 ms
6,940 KB
testcase_10 AC 10 ms
6,944 KB
testcase_11 AC 6 ms
6,940 KB
testcase_12 AC 22 ms
6,944 KB
testcase_13 AC 623 ms
68,792 KB
testcase_14 AC 56 ms
11,264 KB
testcase_15 AC 2 ms
5,376 KB
testcase_16 AC 16 ms
5,376 KB
testcase_17 AC 57 ms
11,264 KB
testcase_18 AC 2 ms
5,376 KB
testcase_19 AC 8 ms
5,376 KB
testcase_20 AC 2 ms
5,376 KB
testcase_21 AC 15 ms
5,376 KB
testcase_22 AC 5 ms
5,376 KB
testcase_23 AC 43 ms
6,528 KB
testcase_24 AC 24 ms
5,504 KB
testcase_25 AC 52 ms
7,936 KB
testcase_26 AC 591 ms
69,324 KB
testcase_27 AC 25 ms
5,376 KB
testcase_28 AC 646 ms
72,316 KB
testcase_29 AC 635 ms
72,184 KB
testcase_30 AC 633 ms
72,336 KB
testcase_31 AC 640 ms
72,248 KB
testcase_32 AC 627 ms
72,216 KB
testcase_33 AC 45 ms
6,912 KB
testcase_34 AC 32 ms
6,144 KB
testcase_35 AC 154 ms
21,832 KB
testcase_36 AC 2 ms
5,376 KB
testcase_37 AC 28 ms
7,296 KB
testcase_38 AC 3 ms
5,376 KB
testcase_39 AC 626 ms
72,236 KB
testcase_40 AC 620 ms
72,308 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#define uint unsigned int

template <typename T>
void supset_zeta(std::vector<T> &f) {
    const int n = f.size();
    for (int b = 1; b < n; b *= 2) for (int l = 0; l < n; l += 2 * b) for (int p = 0; p < b; ++p) {
        f[l + p] += f[l + b + p];
    }
}
template <typename T>
void subset_zeta(std::vector<T> &f) {
    const int n = f.size();
    for (int b = 1; b < n; b *= 2) for (int l = 0; l < n; l += 2 * b) for (int p = 0; p < b; ++p) {
        f[l + b + p] += f[l + p];
    }
}

using Int = uint;

std::vector<Int> calc_f(const size_t n, const size_t, const size_t k, const std::vector<uint>& s) {
    std::vector<std::vector<Int>> C(n + 1, std::vector<Int>(n + 1));
    for (size_t i = 0; i <= n; ++i) {
        C[i][0] = 1;
        for (size_t j = 1; j <= i; ++j) {
            C[i][j] = C[i - 1][j - 1] + C[i - 1][j];
        }
    }

    std::vector<Int> a(n + 1);
    for (size_t l = k; l <= n; ++l) {
        a[l] = 1;
        for (size_t i = k; i < l; ++i) {
            a[l] -= a[i] * C[l][i];
        }
    }

    std::vector<Int> f(1 << n);
    for (uint u : s) ++f[u];
    supset_zeta(f);
    for (uint t = 0; t < 1u << n; ++t) {
        if (size_t(__builtin_popcount(t)) < k) {
            f[t] = 0;
        } else {
            f[t] *= a[__builtin_popcount(t)];
        }
    }
    subset_zeta(f);
    return f;
}

std::vector<size_t> calc_g(const size_t n, const size_t m, const std::vector<Int> &f) {
    std::vector<size_t> g(m + 1, n + 1);
    for (uint t = 0; t < 1u << n; ++t) {
        g[f[t]] = std::min<size_t>(g[f[t]], __builtin_popcount(t));
    }
    for (size_t p = m; p; --p) {
        g[p - 1] = std::min(g[p - 1], g[p]);
    }
    return g;
}

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    size_t n, m, k;
    std::cin >> n >> m >> k;

    std::vector<uint> s(m);
    for (size_t i = 0; i < m; ++i) {
        std::string si;
        std::cin >> si;
        for (size_t j = 0; j < n; ++j) {
            s[i] |= (si[j] - '0') << j;
        }
    }
    auto f = calc_f(n, m, k, s);
    auto g = calc_g(n, m, f);
    for (size_t p = 1; p <= m; ++p) {
        std::cout << g[p] << '\n';
    }
}
0