結果
| 問題 | 
                            No.943 取り調べ
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2022-02-14 09:15:06 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 436 ms / 1,206 ms | 
| コード長 | 936 bytes | 
| コンパイル時間 | 200 ms | 
| コンパイル使用メモリ | 82,048 KB | 
| 実行使用メモリ | 76,416 KB | 
| 最終ジャッジ日時 | 2024-06-29 05:55:26 | 
| 合計ジャッジ時間 | 4,178 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 24 | 
ソースコード
n = int(input())
X = [list(map(int, input().split())) for _ in range(n)]
in_ = [0] *  n
AND = 0
lst_ = []
for i in range(n):
    tmp = 0
    for j in range(n):
        if X[i][j]:
            in_[i] += 1
            tmp += 1
    if tmp == 0:
        lst_.append(i)
        AND |= 1 << i
A = list(map(int, input().split()))
ans = 1 << 30
for bit in range(1 << n):
    if bit & AND != 0:
        continue
    tot = 0
    lst = lst_.copy()
    cnt = len(lst)
    in_2 = in_.copy()
    for i in range(n):
        if bit >> i & 1:
            tot += A[i]
            cnt += 1
            in_2[i] = 0
            lst.append(i)
    if tot >= ans:
        continue
    
    while lst:
        i = lst.pop()
        for j in range(n):
            if X[j][i]:
                in_2[j] -= 1
                if in_2[j] == 0:
                    lst.append(j)
                    cnt += 1
    
    if cnt == n:
        ans = min(ans, tot)
print(ans)