結果
問題 | No.2669 Generalized Hitting Set |
ユーザー |
|
提出日時 | 2024-01-14 02:54:08 |
言語 | PyPy3 (7.3.15) |
結果 |
MLE
(最新)
AC
(最初)
|
実行時間 | - |
コード長 | 1,586 bytes |
コンパイル時間 | 466 ms |
コンパイル使用メモリ | 82,456 KB |
実行使用メモリ | 349,092 KB |
最終ジャッジ日時 | 2024-09-28 02:50:53 |
合計ジャッジ時間 | 109,134 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | TLE * 38 MLE * 3 |
ソースコード
from typing import Listimport sysN_MAX = 24popcnt = [0] * (1 << N_MAX)for t in range(1, 1 << N_MAX):popcnt[t] = 1 + popcnt[t & (t - 1)]f = [0] * (1 << N_MAX)def supset_zeta():n = len(f)b = 1while b < n:for l in range(0, n, 2 * b):for p in range(l, l + b):f[p] += f[p + b]b *= 2def subset_zeta():n = len(f)b = 1while b < n:for l in range(0, n, 2 * b):for p in range(l, l + b):f[p + b] += f[p]b *= 2def calc_f(n: int, m: int, k: int, s: List[int]):binom = [[0] * (n + 1) for _ in range(n + 1)]for i in range(n + 1):binom[i][0] = 1for j in range(1, i + 1):binom[i][j] = binom[i - 1][j - 1] + binom[i - 1][j]a = [0] * (n + 1)for l in range(k, n + 1):a[l] = 1for i in range(k, l):a[l] -= a[i] * binom[l][i]for u in s:f[u] += 1supset_zeta()for t in range(1 << n):f[t] *= a[popcnt[t]]subset_zeta()def calc_g(n: int, m: int):g = [n + 1] * (m + 1)for t in range(1 << n):g[f[t]] = min(g[f[t]], popcnt[t])for p in reversed(range(m)):g[p] = min(g[p], g[p + 1])return gif __name__ == '__main__':readline = sys.stdin.readlinen, m, k = map(int, readline().split())s = [0] * mfor i in range(m):si = readline()for j in range(n):s[i] |= (si[j] == '1') << jcalc_f(n, m, k, s)g = calc_g(n, m)print('\n'.join(map(str, g[1:])))