結果

問題 No.506 限られたジャパリまん
ユーザー finefine
提出日時 2017-04-22 00:41:33
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
MLE  
実行時間 -
コード長 2,289 bytes
コンパイル時間 1,880 ms
コンパイル使用メモリ 179,348 KB
実行使用メモリ 560,000 KB
最終ジャッジ日時 2024-06-28 04:14:54
合計ジャッジ時間 12,629 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 3 ms
5,376 KB
testcase_03 AC 3 ms
5,376 KB
testcase_04 MLE -
testcase_05 MLE -
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 15 ms
12,032 KB
testcase_08 AC 719 ms
135,552 KB
testcase_09 AC 540 ms
55,808 KB
testcase_10 AC 5 ms
5,376 KB
testcase_11 AC 839 ms
273,536 KB
testcase_12 AC 297 ms
128,768 KB
testcase_13 AC 4 ms
5,376 KB
testcase_14 AC 7 ms
6,528 KB
testcase_15 AC 4 ms
5,376 KB
testcase_16 AC 618 ms
106,368 KB
testcase_17 AC 79 ms
51,328 KB
testcase_18 AC 322 ms
142,080 KB
testcase_19 AC 709 ms
167,808 KB
testcase_20 AC 517 ms
281,728 KB
testcase_21 AC 518 ms
281,856 KB
testcase_22 MLE -
testcase_23 AC 239 ms
142,464 KB
testcase_24 AC 675 ms
150,528 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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[33][33][1 << 15], dp3[1 << 15], dp4[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()) dp2[0][0][0] = 1;
	else dp2[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];
					dp2[i][j][k] += dp2[i - 1][j][k - s];
				}
				if (j > 0) {
					dp[i][j][k] += dp[i][j - 1][k - s];
					dp2[i][j][k] += dp2[i][j - 1][k - s];
				}
				dp[i][j][k] += dp2[i][j][k] / MOD;
				dp2[i][j][k] %= MOD;
			}
		}
	}

	for (int i = 0; i < (1 << K); i++) {
		dp3[i] = dp[H][W][i];
		dp4[i] = dp2[H][W][i];
		for (int j = 0; j < i; j++) {
			if ((i & j) != j) continue;
			dp3[i] += dp[H][W][j];
			dp4[i] += dp2[H][W][j];
			dp3[i] += dp4[i] / MOD;
			dp4[i] %= MOD;
		}
	}

	/*
	for (int i = 1; i < (1 << K); i++) {
		for (int j = 0; j < K; j++) {
			if (i & (1 << j)) {
				dp[H][W][i] += dp[H][W][i - (1 << j)];
				dp2[H][W][i] += dp2[H][W][i - (1 << j)];
				dp[H][W][i] += dp2[H][W][i] / MOD;
				dp2[H][W][i] %= MOD;
			}
		}
	}*/

	/*
	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 (dp[H][W][i] > dp[H][W][k] || (dp[H][W][i] == dp[H][W][k] && dp2[H][W][i] > dp2[H][W][k])) {
			k = i;
		}
	}*/

	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 (dp3[i] > dp3[k] || (dp3[i] == dp3[k] && dp4[i] > dp4[k])) {
			k = i;
		}
	}

	cout << dp4[k] << endl;
	if (dp3[k] == 0 && dp4[k] == 0) return 0;
	for (int i = 0; i < K; i++) {
		if (k & (1 << i)) cout << N[i] << endl;
	}
	return 0;
}
0