結果
| 問題 | No.506 限られたジャパリまん | 
| コンテスト | |
| ユーザー |  beet | 
| 提出日時 | 2017-04-21 23:12:23 | 
| 言語 | C++11(廃止可能性あり) (gcc 13.3.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 932 ms / 2,000 ms | 
| コード長 | 1,164 bytes | 
| コンパイル時間 | 1,508 ms | 
| コンパイル使用メモリ | 172,256 KB | 
| 実行使用メモリ | 5,376 KB | 
| 最終ジャッジ日時 | 2024-06-28 04:13:01 | 
| 合計ジャッジ時間 | 7,373 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 25 | 
ソースコード
#include<bits/stdc++.h>
using namespace std;
#define int long long
int MOD=1000000007LL;
int ans,bit;
int h,w,k,p;
int x[20],y[20];
string n[20];
int dp[40][40];
bool used[40][40];
typedef pair<int,int> P;
struct st{
  int y,x;
  st(){}
  st(int y,int x):y(y),x(x){}
};
signed main(){
  cin>>h>>w>>k>>p;
  for(int i=0;i<k;i++) cin>>x[i]>>y[i]>>n[i];
  map<P,int> m;
  for(int i=0;i<k;i++) m[P(y[i],x[i])]=i;
  int ax[2]={1,0};
  int ay[2]={0,1};
  ans=0;bit=0;
  for(int b=0;b<(1<<k);b++){
    if(__builtin_popcount(b)>p) continue;
    memset(dp,0,sizeof(dp));
    memset(used,0,sizeof(used));
    queue<st> q;
    dp[0][0]=1;
    used[0][0]=1;
    q.push(st(0,0));
    while(!q.empty()){
      st s=q.front();q.pop();
      int cy=s.y,cx=s.x;
      for(int l=0;l<2;l++){
	int ny=cy+ay[l],nx=cx+ax[l];
	if(ny<0||ny>w||nx<0||nx>h) continue;
	if(m.count(P(ny,nx))&&((b>>m[P(ny,nx)])&1)==0) continue; 
	dp[ny][nx]+=dp[cy][cx];
	if(!used[ny][nx]){
	  used[ny][nx]=1;
	  q.push(st(ny,nx));
	}
      }
    }
    if(ans<dp[w][h]){
      ans=dp[w][h];
      bit=b;
    }
  }
  cout<<ans%MOD<<endl;
  for(int i=0;i<k;i++)
    if((bit>>i)&1) cout<<n[i]<<endl;
  return 0;
}
            
            
            
        