結果
| 問題 | No.506 限られたジャパリまん | 
| コンテスト | |
| ユーザー |  anta | 
| 提出日時 | 2017-04-21 22:45:26 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 175 ms / 2,000 ms | 
| コード長 | 1,625 bytes | 
| コンパイル時間 | 1,745 ms | 
| コンパイル使用メモリ | 181,052 KB | 
| 実行使用メモリ | 5,376 KB | 
| 最終ジャッジ日時 | 2024-06-28 04:09:35 | 
| 合計ジャッジ時間 | 3,579 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 25 | 
ソースコード
#include "bits/stdc++.h"
using namespace std;
#define rep(i,n) for(int (i)=0;(i)<(int)(n);++(i))
#define rer(i,l,u) for(int (i)=(int)(l);(i)<=(int)(u);++(i))
#define reu(i,l,u) for(int (i)=(int)(l);(i)<(int)(u);++(i))
static const int INF = 0x3f3f3f3f; static const long long INFL = 0x3f3f3f3f3f3f3f3fLL;
typedef vector<int> vi; typedef pair<int, int> pii; typedef vector<pair<int, int> > vpii; typedef long long ll;
template<typename T, typename U> static void amin(T &x, U y) { if (y < x) x = y; }
template<typename T, typename U> static void amax(T &x, U y) { if (x < y) x = y; }
int main() {
	int H; int W; int K; int P;
	while (~scanf("%d%d%d%d", &H, &W, &K, &P)) {
		++H, ++W;
		vpii v(K);
		vector<string> names(K);
		rep(i, K) {
			int y; int x;
			scanf("%d%d", &y, &x);
			char buf[101];
			scanf("%s", buf);
			v[i] = { y,x };
			names[i] = buf;
		}
		pair<ll, int> ans(0, 0);
		rep(S, 1 << K) {
			vector<bool> blocked(H * W);
			int pcnt = 0;
			rep(i, K) {
				int y, x;
				tie(y, x) = v[i];
				if (S >> i & 1) {
					++ pcnt;
				} else {
					blocked[y * W + x] = true;
				}
			}
			if (pcnt > P)continue;
			vector<vector<ll>> dp(H, vector<ll>(W));
			if (!blocked[0]) dp[0][0] = 1;
			rep(i, H) rep(j, W) {
				ll x = dp[i][j];
				if (x == 0) continue;
				if (i + 1 < H && !blocked[(i + 1)*W + j])
					dp[i + 1][j] += x;
				if (j + 1 < W && !blocked[i*W + (j + 1)])
					dp[i][j + 1] += x;
			}
			amax(ans, make_pair(dp[H - 1][W - 1], S));
		}
		printf("%lld\n", ans.first % 1000000007);
		if (ans.first != 0) {
			rep(i, K) if (ans.second >> i & 1)
				puts(names[i].c_str());
		}
	}
	return 0;
}
            
            
            
        