結果

問題 No.943 取り調べ
コンテスト
ユーザー mkawa2
提出日時 2019-12-10 00:31:14
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 154 ms / 1,206 ms
コード長 1,128 bytes
コンパイル時間 163 ms
コンパイル使用メモリ 82,600 KB
実行使用メモリ 77,580 KB
最終ジャッジ日時 2024-06-23 10:13:30
合計ジャッジ時間 2,446 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys

sys.setrecursionlimit(10 ** 6)
int1 = lambda x: int(x) - 1
p2D = lambda x: print(*x, sep="\n")
def MI(): return map(int, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def LLI(rows_number): return [LI() for _ in range(rows_number)]

def main():
    inf = 10 ** 7
    n = int(input())
    xx = [int(input().replace(" ", "")[::-1], 2) for _ in range(n)]
    aa = LI()
    # print(xx)
    # 全員が白状するために必要な（嘘を含めた）白状したという情報がt
    t = 0
    for x in xx: t |= x
    # 白状したという情報sによるビットDP
    dp = [inf] * (1 << n)
    dp[0] = 0
    for s in range(1 << n):
        if s == t: break
        pre = dp[s]
        # 申し訳なさを感じない場合
        for i, x in enumerate(xx):
            if s & x == x:
                ns = s | 1 << i
                if pre < dp[ns]: dp[ns] = pre
        # 申し訳なさを感じる場合
        for i, a in enumerate(aa):
            ns = s | 1 << i
            if pre + a < dp[ns]: dp[ns] = pre + a
        # print(dp)
    print(dp[t])

main()
0