結果

問題 No.957 植林
コンテスト
ユーザー treeone
提出日時 2019-12-19 15:31:33
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 650 ms / 2,000 ms
コード長 2,608 bytes
コンパイル時間 2,681 ms
コンパイル使用メモリ 210,704 KB
最終ジャッジ日時 2025-01-08 12:46:09
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 45
権限があれば一括ダウンロードができます

ソースコード

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