結果

問題 No.957 植林
ユーザー polylogKpolylogK
提出日時 2019-12-19 23:18:32
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 2,611 bytes
コンパイル時間 1,981 ms
コンパイル使用メモリ 187,956 KB
実行使用メモリ 32,904 KB
最終ジャッジ日時 2024-07-07 02:05:11
合計ジャッジ時間 7,061 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
13,752 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 97 ms
25,272 KB
testcase_04 AC 96 ms
24,468 KB
testcase_05 AC 84 ms
25,680 KB
testcase_06 AC 126 ms
27,236 KB
testcase_07 AC 98 ms
24,356 KB
testcase_08 AC 51 ms
25,504 KB
testcase_09 AC 48 ms
25,600 KB
testcase_10 AC 58 ms
26,704 KB
testcase_11 AC 55 ms
25,360 KB
testcase_12 AC 57 ms
25,444 KB
testcase_13 AC 42 ms
22,288 KB
testcase_14 AC 52 ms
27,900 KB
testcase_15 AC 51 ms
25,172 KB
testcase_16 AC 43 ms
22,356 KB
testcase_17 AC 44 ms
24,004 KB
testcase_18 TLE -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
testcase_43 -- -
testcase_44 -- -
testcase_45 -- -
testcase_46 -- -
testcase_47 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std::literals::string_literals;
using i64 = std::int_fast64_t;
using std::cout;
using std::cerr;
using std::endl;
using std::cin;

template<typename T>
std::vector<T> make_v(size_t a){return std::vector<T>(a);}

template<typename T,typename... Ts>
auto make_v(size_t a,Ts... ts){
  return std::vector<decltype(make_v<T>(ts...))>(a,make_v<T>(ts...));
}

template<typename T>
struct Dinic{
	struct edge{
		int to;
		T cap;
		int rev;
	};
	
	const T INF;
	std::vector<std::vector<edge>> g;
	std::vector<T> min_cost;
	std::vector<int> itr;
	
	Dinic(int n) : INF(std::numeric_limits<T>::max()){
		g.resize(n);
	}
	
	void add_edge(int from, int to, T cap){
		g[from].push_back(edge{to, cap, (int)g[to].size()});
		g[to].push_back(edge{from, 0, (int)g[from].size() - 1});
	}
	
	bool bfs(int s, int t){
		min_cost.assign(g.size(), -1);
		std::queue<int> qu; qu.push(s); min_cost[s] = 0;
		
		while(!qu.empty()){
			auto p = qu.front(); qu.pop();
			
			for(auto e:g[p]){
				if(e.cap <= 0 or min_cost[e.to] != -1) continue;
				min_cost[e.to] = min_cost[p] + 1;
				qu.push(e.to);
			}
		}
		
		return min_cost[t] != -1;
	}
	
	T dfs(int idx, const int t, T flow){
		if(idx == t) return flow;
		for(int &i = itr[idx]; i < g[idx].size(); i++){
			edge &e = g[idx][i];
			
			if(e.cap <= 0 or min_cost[idx] >= min_cost[e.to]) continue;
			T d = dfs(e.to, t, std::min(flow, e.cap));
			if(d > 0){
				e.cap -= d;
				g[e.to][e.rev].cap += d;
				return d;
			}
			
		}
		
		return 0;
	}
	
	T max_flow(int s, int t){
		T flow = 0;
		while(bfs(s, t)){
			itr.assign(g.size(), 0);
			T f = 0;
			while((f = dfs(s, t, INF)) > 0) flow += f;
		}

		return flow;
	}
};

int main() {
	int h, w; scanf("%d%d", &h, &w); auto g = make_v<i64>(h, w);
	for(int i = 0; i < h; i++) for(int j = 0; j < w; j++) scanf("%lld", &g[i][j]);
	std::vector<int> a(h), b(w);
	for(int i = 0; i < h; i++) scanf("%d", &a[i]);
	for(int i = 0; i < w; i++) scanf("%d", &b[i]);

	Dinic<i64> dinic(2 * h * w + 10);
	const int S = 2 * h * w + 1, T = 2 * h * w + 2;
	for(int i = 0; i < h; i++) {
		dinic.add_edge(S, i, 0);
		dinic.add_edge(i, T, a[i]);
	}
	for(int i = 0; i < w; i++) {
		dinic.add_edge(S, i + h, 0);
		dinic.add_edge(i + h, T, b[i]);
	}

	for(int i = 0; i < h; i++) {
		for(int j = 0; j < w; j++) {
			const int W = h + w + i * h + j;
			dinic.add_edge(S, W, g[i][j]);
			dinic.add_edge(W, i, g[i][j]);
			dinic.add_edge(W, j + h, g[i][j]);
		}
	}

	i64 ans = -dinic.max_flow(S, T);
	for(int i = 0; i < h; i++) ans += a[i];
	for(int i = 0; i < w; i++) ans += b[i];
	printf("%lld\n", ans);
	return 0;
}
0