結果

問題 No.957 植林
ユーザー treeonetreeone
提出日時 2019-12-19 15:31:33
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 609 ms / 2,000 ms
コード長 2,608 bytes
コンパイル時間 2,411 ms
コンパイル使用メモリ 216,020 KB
実行使用メモリ 12,732 KB
最終ジャッジ日時 2023-09-21 07:26:11
合計ジャッジ時間 17,483 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 2 ms
4,376 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 37 ms
11,412 KB
testcase_04 AC 37 ms
10,740 KB
testcase_05 AC 38 ms
11,232 KB
testcase_06 AC 44 ms
11,376 KB
testcase_07 AC 38 ms
11,080 KB
testcase_08 AC 32 ms
11,192 KB
testcase_09 AC 32 ms
11,252 KB
testcase_10 AC 35 ms
11,432 KB
testcase_11 AC 33 ms
11,532 KB
testcase_12 AC 32 ms
11,600 KB
testcase_13 AC 28 ms
9,324 KB
testcase_14 AC 35 ms
11,996 KB
testcase_15 AC 32 ms
10,920 KB
testcase_16 AC 28 ms
9,316 KB
testcase_17 AC 29 ms
10,640 KB
testcase_18 AC 451 ms
11,272 KB
testcase_19 AC 472 ms
11,116 KB
testcase_20 AC 477 ms
11,532 KB
testcase_21 AC 502 ms
11,640 KB
testcase_22 AC 530 ms
12,060 KB
testcase_23 AC 544 ms
11,960 KB
testcase_24 AC 556 ms
12,588 KB
testcase_25 AC 603 ms
12,484 KB
testcase_26 AC 598 ms
12,440 KB
testcase_27 AC 604 ms
12,512 KB
testcase_28 AC 601 ms
12,496 KB
testcase_29 AC 604 ms
12,528 KB
testcase_30 AC 600 ms
12,476 KB
testcase_31 AC 448 ms
11,172 KB
testcase_32 AC 469 ms
11,468 KB
testcase_33 AC 478 ms
11,472 KB
testcase_34 AC 504 ms
11,636 KB
testcase_35 AC 532 ms
11,948 KB
testcase_36 AC 551 ms
12,060 KB
testcase_37 AC 558 ms
12,592 KB
testcase_38 AC 605 ms
12,484 KB
testcase_39 AC 601 ms
12,492 KB
testcase_40 AC 609 ms
12,492 KB
testcase_41 AC 23 ms
12,436 KB
testcase_42 AC 23 ms
12,732 KB
testcase_43 AC 48 ms
12,428 KB
testcase_44 AC 48 ms
12,476 KB
testcase_45 AC 1 ms
4,380 KB
testcase_46 AC 1 ms
4,376 KB
testcase_47 AC 2 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
typedef pair<int, int> P;
using ll = long long;

template< typename flow_t >
struct Dinic {
	const flow_t INF;

	struct edge {
		int to;
		flow_t cap;
		int rev;
		bool isrev;
		int idx;
	};

	vector< vector< edge > > graph;
	vector< int > min_cost, iter;

	Dinic(int V) : INF(numeric_limits< flow_t >::max()), graph(V) {}

	void add_edge(int from, int to, flow_t cap, int idx = -1) {
		graph[from].emplace_back((edge) {to, cap, (int) graph[to].size(), false, idx});
		graph[to].emplace_back((edge) {from, 0, (int) graph[from].size() - 1, true, idx});
	}

	bool bfs(int s, int t) {
		min_cost.assign(graph.size(), -1);
		queue< int > que;
		min_cost[s] = 0;
		que.push(s);
		while(!que.empty() && min_cost[t] == -1) {
			int p = que.front();
			que.pop();
			for(auto &e : graph[p]) {
				if(e.cap > 0 && min_cost[e.to] == -1) {
					min_cost[e.to] = min_cost[p] + 1;
					que.push(e.to);
				}
			}
		}
		return min_cost[t] != -1;
	}

	flow_t dfs(int idx, const int t, flow_t flow) {
		if(idx == t) return flow;
		for(int &i = iter[idx]; i < graph[idx].size(); i++) {
			edge &e = graph[idx][i];
			if(e.cap > 0 && min_cost[idx] < min_cost[e.to]) {
				flow_t d = dfs(e.to, t, min(flow, e.cap));
				if(d > 0) {
					e.cap -= d;
					graph[e.to][e.rev].cap += d;
					return d;
				}
			}
		}
		return 0;
	}

	flow_t max_flow(int s, int t) {
		flow_t flow = 0;
		while(bfs(s, t)) {
			iter.assign(graph.size(), 0);
			flow_t f = 0;
			while((f = dfs(s, t, INF)) > 0) flow += f;
		}
		return flow;
	}

	void output() {
		for(int i = 0; i < graph.size(); i++) {
			for(auto &e : graph[i]) {
				if(e.isrev) continue;
				auto &rev_e = graph[e.to][e.rev];
				cout << i << "->" << e.to << " (flow: " << rev_e.cap << "/" << e.cap + rev_e.cap << ")" << endl;
			}
		}
	}
};

int main(){
  int H, W;
  cin >> H >> W;
  vector<vector<ll> > G(H, vector<ll>(W));
  for(int i = 0; i < H; i++){
    for(int j = 0; j < W; j++){
      cin >> G[i][j];
    }
  }
  vector<ll> R(H), C(W), S(H);
  ll ans = 0;
  for(int i = 0; i < H; i++){
    cin >> R[i];
    for(int j = 0; j < W; j++){
      S[i] += G[i][j];
    }
    ans += max(R[i] - S[i], 0LL);
  }
  for(int i = 0; i < W; i++){
    cin >> C[i];
    ans += C[i];
  }
	Dinic<ll> g(H + W + 2);
  for(int i = 0; i < H; i++){
    g.add_edge(0, i + 1, max(S[i] - R[i], 0LL));
  }
  for(int i = 0; i < H; i++){
    for(int j = 0; j < W; j++){
      g.add_edge(i + 1, H + j + 1, G[i][j]);
    }
  }
  for(int i = 0; i < W; i++){
    g.add_edge(H + i + 1, H + W + 1, C[i]);
  }
  cout << ans - g.max_flow(0, H + W + 1) << endl;
}
0