#412214 (C++14) No.957 植林

提出ソース

結果

問題	No.957 植林
ユーザー	ningenMe
提出日時	2019-12-27 04:46:59
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	542 ms / 2,000 ms
コード長	5,213 bytes
コンパイル時間	2,284 ms
コンパイル使用メモリ	178,596 KB
実行使用メモリ	9,088 KB
最終ジャッジ日時	2024-04-15 22:21:40
合計ジャッジ時間	16,335 ms
ジャッジサーバーID （参考情報）	judge2 / judge5

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

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 5,248 KB
testcase_01	AC	2 ms 5,376 KB
testcase_02	AC	2 ms 5,376 KB
testcase_03	AC	22 ms 8,320 KB
testcase_04	AC	23 ms 8,064 KB
testcase_05	AC	22 ms 8,448 KB
testcase_06	AC	27 ms 8,576 KB
testcase_07	AC	23 ms 8,192 KB
testcase_08	AC	16 ms 8,320 KB
testcase_09	AC	16 ms 8,320 KB
testcase_10	AC	17 ms 8,576 KB
testcase_11	AC	17 ms 8,320 KB
testcase_12	AC	17 ms 8,448 KB
testcase_13	AC	14 ms 7,040 KB
testcase_14	AC	18 ms 8,704 KB
testcase_15	AC	15 ms 8,320 KB
testcase_16	AC	13 ms 6,912 KB
testcase_17	AC	15 ms 8,064 KB
testcase_18	AC	397 ms 8,320 KB
testcase_19	AC	421 ms 8,576 KB
testcase_20	AC	425 ms 8,320 KB
testcase_21	AC	453 ms 8,576 KB
testcase_22	AC	474 ms 8,704 KB
testcase_23	AC	483 ms 8,960 KB
testcase_24	AC	501 ms 8,960 KB
testcase_25	AC	539 ms 9,088 KB
testcase_26	AC	542 ms 8,960 KB
testcase_27	AC	537 ms 8,960 KB
testcase_28	AC	535 ms 9,088 KB
testcase_29	AC	538 ms 8,960 KB
testcase_30	AC	533 ms 8,832 KB
testcase_31	AC	398 ms 8,320 KB
testcase_32	AC	417 ms 8,448 KB
testcase_33	AC	426 ms 8,448 KB
testcase_34	AC	452 ms 8,576 KB
testcase_35	AC	475 ms 8,832 KB
testcase_36	AC	486 ms 8,960 KB
testcase_37	AC	502 ms 8,832 KB
testcase_38	AC	538 ms 8,960 KB
testcase_39	AC	534 ms 8,960 KB
testcase_40	AC	538 ms 8,832 KB
testcase_41	AC	13 ms 8,832 KB
testcase_42	AC	13 ms 9,088 KB
testcase_43	AC	21 ms 9,088 KB
testcase_44	AC	22 ms 8,960 KB
testcase_45	AC	2 ms 5,376 KB
testcase_46	AC	2 ms 5,376 KB
testcase_47	AC	2 ms 5,376 KB

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

ソースコード

raw source code

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ull = unsigned long long;
 
#define REP(i,n) for(long long i = 0; i < (n); i++)
#define FOR(i, m, n) for(long long i = (m);i < (n); ++i)
#define ALL(obj) (obj).begin(),(obj).end()
#define SPEED cin.tie(0);ios::sync_with_stdio(false);
 
template<class T> using V = vector<T>;
template<class T, class U> using P = pair<T, U>;
template<class T> using PQ = priority_queue<T>;
template<class T> using PQR = priority_queue<T,vector<T>,greater<T>>;
 
constexpr long long MOD = (long long)1e9 + 7;
constexpr long long MOD2 = 998244353;
constexpr long long HIGHINF = (long long)1e18;
constexpr long long LOWINF = (long long)1e15;
constexpr long double PI = 3.1415926535897932384626433;
 
template <class T> vector<T> multivector(size_t N,T init){return vector<T>(N,init);}
template <class... T> auto multivector(size_t N,T... t){return vector<decltype(multivector(t...))>(N,multivector(t...));}
template <class T> void corner(bool flg, T hoge) {if (flg) {cout << hoge << endl; exit(0);}}
template <class T, class U>ostream &operator<<(ostream &o, const map<T, U>&obj) {o << "{"; for (auto &x : obj) o << " {" << x.first << " : " << x.second << "}" << ","; o << " }"; return o;}
template <class T>ostream &operator<<(ostream &o, const set<T>&obj) {o << "{"; for (auto itr = obj.begin(); itr != obj.end(); ++itr) o << (itr != obj.begin() ? ", " : "") << *itr; o << "}"; return o;}
template <class T>ostream &operator<<(ostream &o, const multiset<T>&obj) {o << "{"; for (auto itr = obj.begin(); itr != obj.end(); ++itr) o << (itr != obj.begin() ? ", " : "") << *itr; o << "}"; return o;}
template <class T>ostream &operator<<(ostream &o, const vector<T>&obj) {o << "{"; for (int i = 0; i < (int)obj.size(); ++i)o << (i > 0 ? ", " : "") << obj[i]; o << "}"; return o;}
template <class T, class U>ostream &operator<<(ostream &o, const pair<T, U>&obj) {o << "{" << obj.first << ", " << obj.second << "}"; return o;}
template <template <class tmp>  class T, class U> ostream &operator<<(ostream &o, const T<U> &obj) {o << "{"; for (auto itr = obj.begin(); itr != obj.end(); ++itr)o << (itr != obj.begin() ? ", " : "") << *itr; o << "}"; return o;}
void print(void) {cout << endl;}
template <class Head> void print(Head&& head) {cout << head;print();}
template <class Head, class... Tail> void print(Head&& head, Tail&&... tail) {cout << head << " ";print(forward<Tail>(tail)...);}
template <class T> void chmax(T& a, const T b){a=max(a,b);}
template <class T> void chmin(T& a, const T b){a=min(a,b);}
void YN(bool flg) {cout << (flg ? "YES" : "NO") << endl;}
void Yn(bool flg) {cout << (flg ? "Yes" : "No") << endl;}
void yn(bool flg) {cout << (flg ? "yes" : "no") << endl;}

#include <bits/stdc++.h>
using namespace std;

template <class T> class Dinic {
public:
	struct info {
		int to, rev;
		T cap;
	};
	T ini, inf;
	vector<vector<info>> edge;
	vector<int> level, iter;

	Dinic(int N, T ini, T inf) : edge(N), level(N), iter(N), ini(ini), inf(inf) {
		// do nothing
	}

	void make_edge(int from, int to, T cap) {
		edge[from].push_back({ to, (int)edge[to].size(), cap });
		edge[to].push_back({ from, (int)edge[from].size() - 1, ini });
	}

	void bfs(int start) {
		for (int i = 0; i < level.size(); ++i) level[i] = -1;
		queue<int> q;
		level[start] = 0;
		q.push(start);
		while (q.size()) {
			int from = q.front();
			q.pop();
			for (auto& e : edge[from]) {
				if (e.cap > 0 && level[e.to] < 0) {
					level[e.to] = level[from] + 1;
					q.push(e.to);
				}
			}
		}
	}

	T dfs(int from, int goal, T flow) {
		if (from == goal) return flow;
		for (int& i = iter[from]; i < edge[from].size(); ++i) {
			auto& e = edge[from][i];
			if (e.cap <= 0 || level[from] >= level[e.to]) continue;
			T dflow = dfs(e.to, goal, min(flow, e.cap));
			if (dflow <= 0) continue;
			e.cap -= dflow;
			edge[e.to][e.rev].cap += dflow;
			return dflow;
		}
		return ini;
	}

	T maxflow(int start, int goal) {
		T maxflow = ini;
		while (1) {
			bfs(start);
			if (level[goal] < 0) return maxflow;
			for (int i = 0; i < iter.size(); ++i) iter[i] = 0;
			T flow;
			while ((flow = dfs(start, goal, inf))>0) maxflow += flow;
		}
	}
};

//verify https://atcoder.jp/contests/arc085/tasks/arc085_c



int main() {
    SPEED
    int H,W;
    cin >> H >> W;
    vector<ll> R(H),C(W),G(H*W);
    for(int i = 0; i < H; ++i) for(int j = 0; j < W; ++j) cin >> G[i*W+j];
    for(int i = 0; i < H; ++i) cin >> R[i];
    for(int j = 0; j < W; ++j) cin >> C[j];
    
	ll ans = 0;
    Dinic<ll> dinic(H+W+2,0,LOWINF);
    int S = H+W,T = S + 1;
	//i:Sと接続:使う
	//i:Tと接続:使わない
    for(int i = 0; i < H; ++i) {
		ll sum = 0;
		for(int j = 0; j < W; ++j) sum += G[i*W+j];
		ans += R[i];
		if(R[i]>=sum){
			ans -= sum;
		}
		else{
			dinic.make_edge(S,i,sum-R[i]);
			ans -= R[i];
		}
    }
	//j:Sと接続:使う
	//j:Tと接続:使わない
    for(int j = 0; j < W; ++j) {
		ans += C[j];
		dinic.make_edge(H+j,T,C[j]);
    }
	//この供給は常にある
    for(int i = 0; i < H; ++i) {
        for(int j = 0; j < W; ++j) {
			dinic.make_edge(i,H+j,G[i*W+j]);
		}
    }

    ll f = dinic.maxflow(S,T);
    ans -= f;
    cout << ans << endl;

    return 0;
}

yukicoder

結果

テストケース

ソースコード