#505606 (C++14) No.1123 Afforestation

提出ソース

結果

問題	No.1123 Afforestation
ユーザー	e869120
提出日時	2020-07-03 00:15:26
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	685 ms / 2,500 ms
コード長	3,863 bytes
コンパイル時間	1,370 ms
コンパイル使用メモリ	85,468 KB
実行使用メモリ	130,736 KB
最終ジャッジ日時	2023-10-14 23:33:43
合計ジャッジ時間	16,234 ms
ジャッジサーバーID （参考情報）	judge12 / judge14

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	3 ms 7,688 KB
testcase_01	AC	2 ms 7,612 KB
testcase_02	AC	3 ms 7,556 KB
testcase_03	AC	3 ms 7,988 KB
testcase_04	AC	13 ms 13,380 KB
testcase_05	AC	90 ms 42,272 KB
testcase_06	AC	540 ms 126,084 KB
testcase_07	AC	2 ms 7,620 KB
testcase_08	AC	2 ms 7,688 KB
testcase_09	AC	3 ms 7,656 KB
testcase_10	AC	3 ms 7,868 KB
testcase_11	AC	8 ms 11,136 KB
testcase_12	AC	52 ms 26,016 KB
testcase_13	AC	672 ms 129,896 KB
testcase_14	AC	3 ms 7,624 KB
testcase_15	AC	3 ms 7,712 KB
testcase_16	AC	3 ms 7,648 KB
testcase_17	AC	3 ms 7,772 KB
testcase_18	AC	3 ms 7,916 KB
testcase_19	AC	14 ms 13,312 KB
testcase_20	AC	156 ms 44,060 KB
testcase_21	AC	676 ms 129,928 KB
testcase_22	AC	656 ms 129,932 KB
testcase_23	AC	685 ms 130,344 KB
testcase_24	AC	665 ms 130,736 KB
testcase_25	AC	618 ms 130,664 KB
testcase_26	AC	2 ms 5,588 KB
testcase_27	AC	2 ms 5,548 KB
testcase_28	AC	74 ms 9,780 KB
testcase_29	AC	2 ms 5,712 KB
testcase_30	AC	2 ms 5,524 KB
testcase_31	AC	74 ms 13,968 KB
testcase_32	AC	3 ms 7,664 KB
testcase_33	AC	2 ms 7,608 KB
testcase_34	AC	3 ms 8,096 KB
testcase_35	AC	4 ms 8,020 KB
testcase_36	AC	3 ms 7,764 KB
testcase_37	AC	3 ms 7,568 KB
testcase_38	AC	2 ms 7,776 KB
testcase_39	AC	4 ms 8,104 KB
testcase_40	AC	4 ms 7,992 KB
testcase_41	AC	5 ms 8,140 KB
testcase_42	AC	8 ms 11,144 KB
testcase_43	AC	18 ms 13,188 KB
testcase_44	AC	35 ms 17,112 KB
testcase_45	AC	34 ms 17,192 KB
testcase_46	AC	38 ms 17,772 KB
testcase_47	AC	38 ms 17,716 KB
testcase_48	AC	3 ms 7,516 KB
testcase_49	AC	3 ms 7,636 KB
testcase_50	AC	4 ms 7,996 KB
testcase_51	AC	4 ms 7,964 KB
testcase_52	AC	3 ms 7,588 KB
testcase_53	AC	2 ms 7,596 KB
testcase_54	AC	3 ms 7,572 KB
testcase_55	AC	4 ms 8,044 KB
testcase_56	AC	5 ms 8,112 KB
testcase_57	AC	4 ms 8,152 KB
testcase_58	AC	8 ms 10,964 KB
testcase_59	AC	17 ms 13,264 KB
testcase_60	AC	32 ms 17,088 KB
testcase_61	AC	32 ms 17,116 KB
testcase_62	AC	39 ms 17,736 KB
testcase_63	AC	36 ms 17,708 KB
testcase_64	AC	3 ms 7,700 KB
testcase_65	AC	2 ms 7,704 KB
testcase_66	AC	3 ms 7,820 KB
testcase_67	AC	3 ms 7,748 KB
testcase_68	AC	4 ms 7,912 KB
testcase_69	AC	6 ms 8,644 KB
testcase_70	AC	8 ms 10,900 KB
testcase_71	AC	18 ms 13,368 KB
testcase_72	AC	2 ms 5,484 KB
testcase_73	AC	2 ms 5,672 KB
testcase_74	AC	2 ms 5,596 KB
testcase_75	AC	3 ms 7,544 KB
testcase_76	AC	2 ms 5,576 KB
testcase_77	AC	2 ms 7,600 KB
testcase_78	AC	2 ms 4,372 KB
testcase_79	AC	2 ms 4,368 KB
testcase_80	AC	2 ms 5,464 KB
testcase_81	AC	2 ms 5,604 KB
testcase_82	AC	2 ms 7,540 KB
testcase_83	AC	2 ms 7,724 KB
testcase_84	AC	322 ms 126,504 KB
testcase_85	AC	450 ms 130,016 KB
testcase_86	AC	2 ms 5,552 KB
testcase_87	AC	2 ms 5,596 KB
testcase_88	AC	306 ms 99,928 KB
testcase_89	AC	311 ms 122,564 KB
testcase_90	AC	3 ms 7,624 KB
testcase_91	AC	2 ms 5,536 KB
testcase_92	AC	2 ms 7,636 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include <iostream>
#include <vector>
#include <cassert>
#include <algorithm>
using namespace std;
#pragma warning (disable: 4996)

struct Node {
	int to, cap, rev;
};

class MaxFlow {
public:
	vector<Node> G[5009];
	bool used[5009];

	void add_edge(int u, int v, int c, int d) {
		G[u].push_back(Node{ v, c - d, (int)G[v].size() });
		G[v].push_back(Node{ u, d, (int)G[u].size() - 1 });
	}
	int dfs(int pos, int to, int f) {
		if (pos == to) return f;
		used[pos] = true;
		for (int i = 0; i < G[pos].size(); i++) {
			if (used[G[pos][i].to] == true || G[pos][i].cap == 0) continue;
			int F = dfs(G[pos][i].to, to, min(f, G[pos][i].cap));
			if (F == 0) continue;
			G[pos][i].cap -= F;
			G[G[pos][i].to][G[pos][i].rev].cap += F;
			return F;
		}
		return 0;
	}
	int max_flow(int u, int v) {
		int f = 0;
		while (true) {
			for (int i = 0; i < 5009; i++) used[i] = false;
			int g = dfs(u, v, 100000007); f += g;
			if (g == 0) break;
		}
		return f;
	}
};

// 入力
int H, A[2509];
int W, B[2509];
int K, X[19], Y[19];

// その他
int Answer[2509][2509];
bool used[2509][2509];
bool forced[2509][2509];
MaxFlow G;

int main() {
	// 入力
	cin >> H >> W;
	for (int i = 1; i <= H; i++) cin >> A[i];
	for (int i = 1; i <= W; i++) cin >> B[i];
	cin >> K;
	for (int i = 1; i <= K; i++) cin >> X[i] >> Y[i];

	// 制約チェック
	assert(1 <= H && H <= 2000);
	assert(1 <= W && W <= 2000);
	assert(0 <= K && K <= 16);
	for (int i = 1; i <= H; i++) assert(0 <= A[i] && A[i] <= W);
	for (int i = 1; i <= W; i++) assert(0 <= B[i] && B[i] <= H);
	for (int i = 1; i <= K; i++) assert(1 <= X[i] && X[i] <= H);
	for (int i = 1; i <= K; i++) assert(1 <= Y[i] && Y[i] <= W);
	for (int i = 1; i <= K; i++) {
		for (int j = i + 1; j <= K; j++) assert(X[i] != X[j] || Y[i] != Y[j]);
	}

	// 貪欲法
	vector<pair<int, int>> CA, CB;
	for (int i = 1; i <= K; i++) forced[X[i]][Y[i]] = true;
	for (int i = 1; i <= H; i++) CA.push_back(make_pair(A[i], i));
	for (int i = 1; i <= W; i++) CB.push_back(make_pair(B[i], i));
	sort(CA.begin(), CA.end()); reverse(CA.begin(), CA.end());
	sort(CB.begin(), CB.end()); reverse(CB.begin(), CB.end());
	for (int i = 0; i < H; i++) {
		for (int j = 0; j < CA[i].first; j++) used[CA[i].second][CB[j].second] = true;
		for (int j = 0; j < CA[i].first; j++) CB[j].first -= 1;
		sort(CB.begin(), CB.end()); reverse(CB.begin(), CB.end());
	}
	if (CB[0].first >= 1) {
		printf(":(\n");
		return 0;
	}

	// 判定
	int SA = 0; for (int i = 1; i <= H; i++) SA += A[i];
	int SB = 0; for (int i = 1; i <= W; i++) SB += B[i];
	if (SA != SB) {
		printf(":(\n");
		return 0;
	}

	// 家の部分を消去
	int cnts = 0;
	for (int i = 1; i <= K; i++) {
		if (used[X[i]][Y[i]] == false) continue;
		used[X[i]][Y[i]] = false; cnts++;
	}

	// 辺を貼る
	for (int i = 1; i <= H; i++) {
		for (int j = 1; j <= W; j++) {
			if (forced[i][j] == true) continue;
			G.add_edge(i, H + j, 1, (int)used[i][j]);
		}
	}
	for (int i = 1; i <= H; i++) {
		int cnts = 0;
		for (int j = 1; j <= W; j++) cnts += (int)used[i][j];
		G.add_edge(H + W + 1, i, A[i], cnts);
	}
	for (int i = 1; i <= W; i++) {
		int cnts = 0;
		for (int j = 1; j <= H; j++) cnts += used[j][i];
		G.add_edge(H + i, H + W + 2, B[i], cnts);
	}

	// フローを流す
	int Ret = G.max_flow(H + W + 1, H + W + 2);
	if (Ret != cnts) {
		printf(":(\n");
		return 0;
	}

	// 復元する
	for (int i = 1; i <= H; i++) {
		for (int j = 0; j < G.G[i].size(); j++) {
			int pos = G.G[i][j].to; if (pos <= H || pos >= H + W + 1) continue;
			if (G.G[i][j].cap == 0) Answer[i][pos - H] = 1;
		}
	}
	for (int i = 1; i <= K; i++) Answer[X[i]][Y[i]] = 2;

	// 出力
	printf("Yay!\n");
	for (int i = 1; i <= H; i++) {
		for (int j = 1; j <= W; j++) {
			if (Answer[i][j] == 0) printf(".");
			if (Answer[i][j] == 1) printf("o");
			if (Answer[i][j] == 2) printf("x");
		}
		printf("\n");
	}
	return 0;
}

yukicoder

結果

テストケース

ソースコード