結果
| 問題 | No.506 限られたジャパリまん | 
| コンテスト | |
| ユーザー |  h_noson | 
| 提出日時 | 2017-06-15 22:53:33 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 959 ms / 2,000 ms | 
| コード長 | 1,040 bytes | 
| コンパイル時間 | 334 ms | 
| コンパイル使用メモリ | 82,176 KB | 
| 実行使用メモリ | 77,028 KB | 
| 最終ジャッジ日時 | 2024-06-28 04:19:10 | 
| 合計ジャッジ時間 | 7,999 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 25 | 
ソースコード
def popcount(x):
    ret = 0
    while x:
        x &= x-1
        ret += 1
    return ret
MOD = 10**9+7
h, w, k, p = map(int,input().split(' '))
x = [0] * k
y = [0] * k
n = [""] * k
m = [[True] * (w+1) for i in range(h+1)]
for i in range(k):
    a,b,n[i] = input().split(' ')
    x[i] = int(a)
    y[i] = int(b)
    m[x[i]][y[i]] = False
mx = 0
bits = -1
for i in range(1<<k):
    if popcount(i) <= p:
        for j in range(k):
            if i&1<<j:
                m[x[j]][y[j]] = True
        s = [[0] * (w+1) for i in range(h+1)]
        s[0][0] = 1
        for a in range(h+1):
            for b in range(w+1):
                if a < h and m[a+1][b]:
                    s[a+1][b] += s[a][b]
                if b < w and m[a][b+1]:
                    s[a][b+1] += s[a][b]
        if s[h][w] > mx:
            mx = s[h][w]
            bits = i
        for j in range(k):
            if i&1<<j:
                m[x[j]][y[j]] = False
print(mx % MOD)
if bits >= 0:
    for j in range(k):
        if bits&1<<j:
            print(n[j])
            
            
            
        