結果
| 問題 | No.506 限られたジャパリまん | 
| コンテスト | |
| ユーザー |  sasa8uyauya | 
| 提出日時 | 2024-09-28 20:00:45 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 1,228 ms / 2,000 ms | 
| コード長 | 1,117 bytes | 
| コンパイル時間 | 331 ms | 
| コンパイル使用メモリ | 82,436 KB | 
| 実行使用メモリ | 350,324 KB | 
| 最終ジャッジ日時 | 2024-09-28 20:00:57 | 
| 合計ジャッジ時間 | 10,009 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 25 | 
ソースコード
h,w,K,P=map(int,input().split())
f=[]
o=[[-1]*(w+1) for i in range(h+1)]
for i in range(K):
  x,y,n=input().split()
  f+=[n]
  x=int(x)
  y=int(y)
  o[x][y]=i
M=10**9+7
v=[[0]*(w+1) for i in range(h+1)]
q=[[[0]*(1<<K) for j in range(w+1)] for i in range(h+1)]
q[0][0][0]=1
v[0][0]=1
for i in range(h+1):
  for j in range(w+1):
    for k in range(1<<K):
      if i+1<=h:
        if o[i+1][j]!=-1:
          if k.bit_count()+1<=K:
            q[i+1][j][k|(1<<o[i+1][j])]+=q[i][j][k]
            v[i+1][j]=1
        else:
          q[i+1][j][k]+=q[i][j][k]
          v[i+1][j]=1
      if j+1<=w:
        if o[i][j+1]!=-1:
          if k.bit_count()+1<=P:
            q[i][j+1][k|(1<<o[i][j+1])]+=q[i][j][k]
            v[i][j+1]=1
        else:
          q[i][j+1][k]+=q[i][j][k]
          v[i][j+1]=1
if v[h][w]:
  for j in range(K):
    for i in range(1<<K):
      if (i>>j)&1:
        q[h][w][i]+=q[h][w][i^(1<<j)]
  a=0
  p=0
  for i in range(1<<K):
    if i.bit_count()<=P:
      if q[h][w][i]>a:
        a=q[h][w][i]
        p=i
  print(a%M)
  for i in range(K):
    if (p>>i)&1:
      print(f[i])
else:
  print(0)
            
            
            
        