結果
問題 | No.2669 Generalized Hitting Set |
ユーザー |
|
提出日時 | 2024-01-16 20:55:34 |
言語 | PyPy3 (7.3.15) |
結果 |
RE
|
実行時間 | - |
コード長 | 1,237 bytes |
コンパイル時間 | 373 ms |
コンパイル使用メモリ | 81,800 KB |
実行使用メモリ | 67,324 KB |
最終ジャッジ日時 | 2024-09-28 02:39:19 |
合計ジャッジ時間 | 4,408 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | RE * 41 |
ソースコード
import sysN_MAX = 24HALF_N_MAX = 12MASK_HALF_N_MAX = (1 << 12) - 1binom = [[0] * (N_MAX + 1) for _ in range(N_MAX + 1)]for i in range(N_MAX + 1):binom[i][0] = 1for j in range(1, i + 1):binom[i][j] = binom[i - 1][j - 1] + binom[i - 1][j]popcnt = [0] * (1 << MASK_HALF_N_MAX)for t in range(1, 1 << MASK_HALF_N_MAX):popcnt[t] = 1 + popcnt[t & (t - 1)]readline = sys.stdin.readlinen, m, k = map(int, readline().split())f = [0] * (1 << n)for i in range(m):# reversed, but it's oks = int(readline(), 2)f[s] += 1a = [0] * (n + 1)for l in range(k, n + 1):a[l] = (-1) ** (l - k) * binom[l - 1][l - k]# supset zetadef supset_zeta():b = 1while b < 1 << n:for l in range(0, 1 << n, 2 * b):for p in range(l, l + b):f[p] += f[p + b]b *= 2supset_zeta()for t in range(1 << n):f[t] *= a[popcnt[t >> HALF_N_MAX] + popcnt[t & MASK_HALF_N_MAX]]# subset zetaf.reverse()supset_zeta()f.reverse()g = [n + 1] * (m + 1)for t in range(1 << n):g[f[t]] = min(g[f[t]], popcnt[t >> HALF_N_MAX] + popcnt[t & MASK_HALF_N_MAX])for p in reversed(range(m)):g[p] = min(g[p], g[p + 1])print('\n'.join(map(str, g[1:])))