結果

問題 No.2669 Generalized Hitting Set
ユーザー 00
提出日時 2024-06-19 11:01:08
言語 C++14
(gcc 13.3.0 + boost 1.87.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
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 41
権限があれば一括ダウンロードができます

ソースコード

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