結果

問題 No.506 限られたジャパリまん
ユーザー Navier_BoltzmannNavier_Boltzmann
提出日時 2022-09-13 06:18:06
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 132 ms / 2,000 ms
コード長 1,269 bytes
コンパイル時間 299 ms
コンパイル使用メモリ 82,160 KB
実行使用メモリ 77,440 KB
最終ジャッジ日時 2024-06-28 04:28:45
合計ジャッジ時間 3,138 ms
ジャッジサーバーID
(参考情報)
judge3 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 47 ms
55,552 KB
testcase_01 AC 45 ms
55,040 KB
testcase_02 AC 53 ms
62,720 KB
testcase_03 AC 46 ms
55,168 KB
testcase_04 AC 77 ms
76,288 KB
testcase_05 AC 72 ms
75,904 KB
testcase_06 AC 48 ms
55,040 KB
testcase_07 AC 55 ms
62,464 KB
testcase_08 AC 132 ms
77,440 KB
testcase_09 AC 119 ms
76,928 KB
testcase_10 AC 69 ms
70,400 KB
testcase_11 AC 127 ms
76,800 KB
testcase_12 AC 124 ms
76,928 KB
testcase_13 AC 48 ms
55,296 KB
testcase_14 AC 53 ms
63,232 KB
testcase_15 AC 48 ms
55,876 KB
testcase_16 AC 128 ms
76,800 KB
testcase_17 AC 67 ms
70,656 KB
testcase_18 AC 81 ms
76,672 KB
testcase_19 AC 110 ms
77,312 KB
testcase_20 AC 98 ms
76,928 KB
testcase_21 AC 80 ms
76,544 KB
testcase_22 AC 102 ms
77,056 KB
testcase_23 AC 88 ms
76,544 KB
testcase_24 AC 98 ms
76,928 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

from collections import *
from itertools import *
from functools import *
import math,sys

H,W,K,P = map(int,input().split())
XYZ = [tuple(input().split()) for _ in range(K)]
H += 1
W += 1
XY = [tuple(map(int,(x,y))) for x,y,z in XYZ]

def answer(S):
    
    dp = [[0]*W for _ in range(H)]
    dp[0][0]=1
    
    for i in range(H-1):
        
        if S[i+1][0]==-1:
            continue
        dp[i+1][0]+=dp[i][0]

    for j in range(W-1):
        
        if S[0][j+1]==-1:
            continue
        dp[0][j+1]+=dp[0][j]
        
    for i in range(H-1):
        for j in range(W-1):
            if S[i+1][j+1]==-1:
                continue
            dp[i+1][j+1] += dp[i][j+1]+dp[i+1][j]
    
    return dp[-1][-1]
    
def bitcnt(x):
    
    return bin(x).count('1')
    
mod = 10**9 + 7
ans = 0
X = []
for i in range(2**K):
    
    if bitcnt(i)!=K-P:
        continue
    cnd = []
    for j in range(K):
        if (i>>j)&1:
            cnd.append(j)
    S = [[0]*W for _ in range(H)]
    for j in cnd:
        x,y = XY[j]
        S[x][y]=-1
    
    tmp = answer(S)
    if tmp>ans:
        ans = tmp
        X = tuple(cnd)
        
print(ans%mod)
if ans==0:
    exit()
for i in range(K):
    if i in X:
        continue
    print(XYZ[i][2])
    
    
0