結果
| 問題 | No.506 限られたジャパリまん | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2023-04-08 11:05:07 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 1,907 ms / 2,000 ms | 
| コード長 | 966 bytes | 
| コンパイル時間 | 257 ms | 
| コンパイル使用メモリ | 82,264 KB | 
| 実行使用メモリ | 77,960 KB | 
| 最終ジャッジ日時 | 2024-06-28 04:29:37 | 
| 合計ジャッジ時間 | 13,288 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 25 | 
ソースコード
h, w, k, p = map(int, input().split())
P = []
N = []
for _ in range(k):
    x, y, name = input().split()
    P.append((int(x), int(y)))
    N.append(name)
Directions = [(1, 0), (0, 1)]
ans = 0
ans_bit = -1
for bit in range(1 << k):
    DP = [[0 for _ in range(w + 1)] for _ in range(h + 1)]
    DP[0][0] = 1
    cnt = 0
    for i in range(k):
        if (bit >> i) & 1:
            cnt += 1
        else:
            x, y = P[i]
            DP[x][y] = -1
    if cnt > p:
        continue
    for i in range(h + 1):
        for j in range(w + 1):
            if DP[i][j] > 0:
                for di, dj in Directions:
                    ni, nj = i + di, j + dj
                    if ni <= h and nj <= w and DP[ni][nj] != -1:
                        DP[ni][nj] += DP[i][j]
    if DP[h][w] > ans:
        ans = DP[h][w]
        ans_bit = bit
mod = 10**9 + 7
print(ans % mod)
if ans > 0:
    for i in range(k):
        if (ans_bit >> i) & 1:
            print(N[i])
            
            
            
        