結果
| 問題 | No.506 限られたジャパリまん | 
| コンテスト | |
| ユーザー |  convexineq | 
| 提出日時 | 2021-02-12 05:46:48 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 934 ms / 2,000 ms | 
| コード長 | 771 bytes | 
| コンパイル時間 | 154 ms | 
| コンパイル使用メモリ | 82,304 KB | 
| 実行使用メモリ | 76,928 KB | 
| 最終ジャッジ日時 | 2024-06-28 04:26:46 | 
| 合計ジャッジ時間 | 5,963 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 25 | 
ソースコード
def solve():
    dp = [[0]*w for _ in range(h)]
    dp[0][0] = 1
    for i in range(h):
        for j in range(w):
            if i==0==j or b[i][j]==0: continue
            if i: dp[i][j] += dp[i-1][j]
            if j: dp[i][j] += dp[i][j-1]
    return dp[-1][-1]
h,w,k,p = map(int,input().split())
h += 1; w += 1
name = []
pos = []
for _ in range(k):
    x,y,n = input().split()
    name.append(n)
    pos.append((int(x),int(y)))
b = [[1]*w for _ in range(h)]
ans = val = 0
for mask in range(1<<k):
    c = 0
    for i in range(k):
        x,y = pos[i]
        b[x][y] = mask>>i&1
        c += mask>>i&1
    if c > p: continue
    v = solve()
    if val < v:
        ans = mask
        val = v
print(val%(10**9+7))
for i in range(k):
    if ans>>i&1: print(name[i])
            
            
            
        