結果
| 問題 | No.506 限られたジャパリまん | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2017-04-22 00:47:23 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 703 ms / 2,000 ms | 
| コード長 | 1,414 bytes | 
| コンパイル時間 | 1,710 ms | 
| コンパイル使用メモリ | 180,648 KB | 
| 実行使用メモリ | 281,720 KB | 
| 最終ジャッジ日時 | 2024-06-28 04:15:33 | 
| 合計ジャッジ時間 | 8,722 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 25 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
const ll MOD = 1000000007;
string N[15];
ll dp[33][33][1 << 15], dp2[1 << 15];
int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);
	int H, W, K, P;
	cin >> H >> W >> K >> P;
	map<pii, int> mp;
	for (int i = 0; i < K; i++) {
		int x, y;
		cin >> x >> y >> N[i];
		mp[pii(x, y)] = i;
	}
	pii cur(0, 0);
	if (mp.find(cur) == mp.end()) dp[0][0][0] = 1;
	else dp[0][0][1 << mp[cur]] = 1;
	for (int i = 0; i <= H; i++) {
		for (int j = 0; j <= W; j++) {
			if (i == 0 && j == 0) continue;
			int s;
			cur = pii(i, j);
			if (mp.find(cur) == mp.end()) s = 0;
			else s = (1 << mp[cur]);
			for (int k = 0; k < (1 << K); k++) {
				if (s != 0 && (k & s) == 0) continue;
				if (i > 0) {
					dp[i][j][k] += dp[i - 1][j][k - s];
				}
				if (j > 0) {
					dp[i][j][k] += dp[i][j - 1][k - s];
				}
			}
		}
	}
	for (int i = 0; i < (1 << K); i++) {
		dp2[i] = dp[H][W][i];
		for (int j = 0; j < i; j++) {
			if ((i & j) != j) continue;
			dp2[i] += dp[H][W][j];
		}
	}
	int k = 0;
	for (int i = 0; i < (1 << K); i++) {
		int cnt = 0;
		for (int j = 0; j < K; j++) {
			if (i & (1 << j)) cnt++;
		}
		if (cnt > P) continue;
		if (dp2[i] > dp2[k]) {
			k = i;
		}
	}
	cout << dp2[k] % MOD << endl;
	if (dp2[k] == 0) return 0;
	for (int i = 0; i < K; i++) {
		if (k & (1 << i)) cout << N[i] << endl;
	}
	return 0;
}
            
            
            
        