結果
| 問題 |
No.1912 Get together 2
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2022-04-05 00:42:43 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 743 ms / 2,000 ms |
| コード長 | 1,079 bytes |
| コンパイル時間 | 195 ms |
| コンパイル使用メモリ | 82,256 KB |
| 実行使用メモリ | 107,260 KB |
| 最終ジャッジ日時 | 2024-06-24 01:22:32 |
| 合計ジャッジ時間 | 14,482 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 33 |
ソースコード
import sys
input = lambda : sys.stdin.readline().rstrip()
write = lambda x: sys.stdout.write(x+"\n")
debug = lambda x: sys.stderr.write(x+"\n")
writef = lambda x: print("{:.12f}".format(x))
def zeta_sub(val, n):
"""
given: そのbitの出席パターン回数
compute: 各bitのsubsetについて、countの総和
"""
# len(val)==2^n
out = val[:]
for i in range(n):
for j in range(1<<n):
if j>>i&1:
out[j] += out[j^(1<<i)]
return out
n,m = list(map(int, input().split()))
assert 1<=n<=10**5 and 1<=m<=20
vs = list(map(int, input().split()))
assert len(vs)==n
vals = [0]*(1<<m)
for i in range(n):
assert 1<=vs[i]<=10**4
s = input()
assert len(s)==m and "o" in s
b = int(s.replace("o", "1").replace("x", "0")[::-1], 2)
vals[b] += vs[i]
size = zeta_sub(vals, m)
dp = [0]*(1<<m)
for b in range(1<<m):
val = dp[b]
for i in range(m):
if b>>i&1:
continue
nb = b|(1<<i)
dp[nb] = max(dp[nb], val + (size[nb] - size[b])**2)
ans = dp[(1<<m)-1]
print(ans)