#410429 (C++17) No.957 植林

• 問題: No.957 植林
• ユーザー: treeone
• 提出日時: 2019-12-19 15:29:48
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: WA
• 実行時間: -
• コード長: 2,609 bytes
• コンパイル時間: 2,462 ms
• コンパイル使用メモリ: 215,840 KB
• 実行使用メモリ: 12,840 KB
• 最終ジャッジ日時: 2023-09-21 07:25:32
• 合計ジャッジ時間: 17,491 ms
• ジャッジサーバーID （参考情報）: judge12 / judge14

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	1 ms; 4,376 KB
testcase_01	AC	2 ms; 4,376 KB
testcase_02	AC	2 ms; 4,380 KB
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	AC	23 ms; 12,504 KB
testcase_42	WA	-
testcase_43	AC	48 ms; 12,544 KB
testcase_44	WA	-
testcase_45	AC	1 ms; 4,380 KB
testcase_46	AC	2 ms; 4,380 KB
testcase_47	AC	1 ms; 4,380 KB

ソースコード

#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);
  int 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;
}