結果

問題 No.2884 Pieces on Squares
ユーザー hiro1729hiro1729
提出日時 2024-09-01 16:36:06
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
(最新)
AC  
(最初)
実行時間 -
コード長 2,060 bytes
コンパイル時間 3,249 ms
コンパイル使用メモリ 259,984 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-09-06 21:41:52
合計ジャッジ時間 5,616 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 WA -
testcase_37 WA -
testcase_38 WA -
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 WA -
testcase_44 WA -
testcase_45 WA -
testcase_46 WA -
testcase_47 WA -
testcase_48 WA -
testcase_49 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/dsu>

int solve(int H, int W, std::vector<std::string> S) {
	atcoder::dsu uf(H + W);
	for (int i = 0; i < H; i++) {
		for (int j = 0; j < W; j++) {
			if (S[i][j] == '@') {
				uf.merge(i, H + j);
			}
		}
	}
	std::vector<std::vector<int>> g = uf.groups();
	int L = g.size();
	std::vector<int> c(L), d(L);
	for (int i = 0; i < L; i++) {
		for (int u: g[i]) {
			if (u < H) c[i]++;
			else d[i]++;
		}
	}
	std::vector<int> dp1(H + 1, -1), dp2(H + 1, 1e9);
	dp1[0] = 0;
	dp2[0] = 0;
	for (int i = 0; i < L; i++) {
		for (int j = H; j >= 0; j--) {
			if (dp1[j] != -1 && j + c[i] <= H) {
				dp1[j + c[i]] = std::max(dp1[j + c[i]], dp1[j] + d[i]);
				dp2[j + c[i]] = std::min(dp2[j + c[i]], dp2[j] + d[i]);
			}
		}
	}
	int ans = 0;
	for (int i = 0; i <= H; i++) {
		if (dp1[i] != -1) ans = std::max(ans, i * (W - dp1[i]) + (H - i) * dp1[i]);
		if (dp2[i] != 1e9) ans = std::max(ans, i * (W - dp2[i]) + (H - i) * dp2[i]);
	}
	return ans;
}

int naive(int H, int W, std::vector<std::string> S) {
	int ans = 0;
	for (int i = 0; i < (1 << H); i++) {
		for (int j = 0; j < (1 << W); j++) {
			bool ok = true;
			for (int k = 0; k < H; k++) {
				for (int l = 0; l < W; l++) {
					if (S[k][l] == '@' && ((i >> k) & 1) != ((j >> l) & 1)) ok = false;
				}
			}
			if (ok) {
				int c = __builtin_popcount(i), d = __builtin_popcount(j);
				ans = std::max(ans, c * (W - d) + d * (H - c));
			}
		}
	}
	return ans;
}

int main() {
	/*
	int H = 4, W = 4;
	std::random_device rd;
	std::mt19937 en(rd());
	std::vector<std::string> S(H);
	for (int i = 0; i < H; i++) {
		for (int j = 0; j < W; j++) {
			if (en() % 100 < 50) {
				S[i] += '@';
			} else {
				S[i] += '.';
			}
		}
	}
	int ans1 = solve(H, W, S), ans2 = naive(H, W, S);
	std::cout << ans1 << ' ' << ans2 << '\n';
	if (ans1 != ans2) {
		for (int i = 0; i < H; i++) {
			std::cout << S[i] << '\n';
		}
	}
	*/
	int H, W;
	std::cin >> H >> W;
	std::vector<std::string> S(H);
	for (int i = 0; i < H; i++) {
		std::cin >> S[i];
	}
	std::cout << solve(H, W, S) << '\n';
}
0