結果

問題 No.861 ケーキカット
ユーザー QCFiumQCFium
提出日時 2019-08-09 22:27:51
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 3,022 bytes
コンパイル時間 1,867 ms
コンパイル使用メモリ 175,924 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-19 12:32:31
合計ジャッジ時間 35,082 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 TLE -
testcase_01 TLE -
testcase_02 TLE -
testcase_03 TLE -
testcase_04 TLE -
testcase_05 TLE -
testcase_06 TLE -
testcase_07 TLE -
testcase_08 TLE -
testcase_09 TLE -
testcase_10 TLE -
testcase_11 TLE -
testcase_12 TLE -
testcase_13 TLE -
testcase_14 TLE -
testcase_15 TLE -
testcase_16 TLE -
testcase_17 TLE -
testcase_18 TLE -
testcase_19 TLE -
testcase_20 TLE -
testcase_21 TLE -
testcase_22 TLE -
testcase_23 TLE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

int ri() {
	int n;
	scanf("%d", &n);
	return n;
}

int64_t rll() {
	long long n;
	scanf("%lld", &n);
	return n;
}

bool ok[32][32];
void init() {
	for (int i = 0; i < 1 << 5; i++) {
		for (int j = 0; j < 1 << 5; j++) {
			if (!i) ok[i][j] = true;
			else if (!j) ok[i][j] = false;
			else {
				bool a[2][5];
				for (int k = 0; k < 5; k++) a[0][k] = i >> k & 1;
				for (int k = 0; k < 5; k++) a[1][k] = j >> k & 1;
				std::queue<std::pair<int, int> > que;
				bool used[2][5] = {{ 0 }};
				for (int k = 0; k < 5; k++) {
					if (a[0][k]) {
						used[0][k] = true;
						que.push({0, k});
					}
				}
				assert(que.size());
				while (que.size()) {
					auto cur = que.front();
					que.pop();
					if (!cur.first) {
						if (a[1][cur.second] && !used[1][cur.second]) {
							used[1][cur.second] = true;
							que.push({1, cur.second});
						}
					} else {
						if (a[0][cur.second] && !used[0][cur.second]) {
							used[0][cur.second] = true;
							que.push({0, cur.second});
						}
					}
					if (cur.second && a[cur.first][cur.second - 1] && !used[cur.first][cur.second - 1]) {
						used[cur.first][cur.second - 1] = true;
						que.push({cur.first, cur.second - 1});
					}
					if (cur.second < 4 && a[cur.first][cur.second + 1] && !used[cur.first][cur.second + 1]) {
						used[cur.first][cur.second + 1] = true;
						que.push({cur.first, cur.second + 1});
					}
				}
				ok[i][j] = true;
				for (int k = 0; k < 2; k++) 
					for (int l = 0; l < 5; l++) if (a[k][l] && !used[k][l]) ok[i][j] = false;
			}
		}
	}
}

bool is_connected(const std::vector<int> &a) {
	assert(a.size() == 5);
	int used[5] = { 0 };
	std::queue<std::pair<int, int> > que;
	for (int i = 0; i < 5; i++) {
		for (int j = 0; j < 5; j++) {
			if (a[i] >> j & 1) {
				used[i] |= 1 << j;
				que.push({i, j});
			}
		}
	}
	while (que.size()) {
		auto cur = que.front();
		que.pop();
		static const std::pair<int, int> dirs[] = {{1, 0}, {-1, 0}, {0, 1}, {0, -1}};
		for (auto d : dirs) {
			int x = cur.first + d.first;
			int y = cur.second + d.second;
			if (x < 0 || x >= 5) continue;
			if (y < 0 || y >= 5) continue;
			if (!(a[x] >> y & 1)) continue;
			if (!(used[x] >> y & 1)) {
				used[x] |= 1 << y;
				que.push({x, y});
			}
		}
	}
	for (int i = 0; i < 5; i++) if (a[i] & ~used[i]) return false;
	return true;
}

int a[5][5];

std::vector<int> stack;
int64_t dfs(int i, int prev, int64_t sub) {
	if (i == 5) {
		assert(stack.size() == 5);
		return is_connected(stack) ? sub : 100000000000000000;
	}
	int64_t res = 100000000000000000;
	for (int j = 0; j < 1 << 5; j++) {
		if (!ok[prev][j]) continue;
		int64_t sub_cur = sub;
		for (int k = 0; k < 5; k++) if (j >> k & 1) sub_cur += a[i][k]; else sub_cur -= a[i][k];
		stack.push_back(j);
		res = std::min(res, std::abs(dfs(i + 1, j, sub_cur)));
		stack.pop_back();
	}
	return res;
}

int main() {
	for (int i = 0; i < 5; i++)
		for (int j = 0; j < 5; j++) a[i][j] = ri();
	init();
	
	std::cout << dfs(0, 0, 0) << std::endl;
	
	return 0;
}
0