結果

問題 No.957 植林
コンテスト
ユーザー outline
提出日時 2021-03-01 17:54:17
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 778 ms / 2,000 ms
コード長 3,835 bytes
コンパイル時間 1,599 ms
コンパイル使用メモリ 146,820 KB
最終ジャッジ日時 2025-01-19 08:56:55
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 45
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <cmath>
#include <queue>
#include <string>
#include <map>
#include <set>
#include <stack>
#include <tuple>
#include <deque>
#include <array>
#include <numeric>
#include <bitset>
#include <iomanip>
#include <cassert>
#include <chrono>
#include <random>
#include <limits>
#include <iterator>
#include <functional>
#include <sstream>
#include <fstream>
#include <complex>
#include <cstring>
#include <unordered_map>
#include <unordered_set>
using namespace std;

using ll = long long;
constexpr int INF = 1001001001;
constexpr int mod = 1000000007;
// constexpr int mod = 998244353;

template<class T>
inline bool chmax(T& x, T y){
    if(x < y){
        x = y;
        return true;
    }
    return false;
}
template<class T>
inline bool chmin(T& x, T y){
    if(x > y){
        x = y;
        return true;
    }
    return false;
}

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

    struct Edge{
        int to;
        flow_t cap;
        int rev;
        bool isrev;
        Edge(int to, flow_t cap, int rev, bool isrev) : to(to), cap(cap), rev(rev), isrev(isrev) {}
    };

    vector<vector<Edge>> graph;
    vector<int> min_cost;       // sからの距離(bfsで調べる)
    vector<int> iter;           // どこまで調べ終わったか(dfs時に使用)

    Dinic(int V) : INF(numeric_limits<flow_t>::max() / 2){
        graph.resize(V);
    }

    void add_edge(int from, int to, flow_t cap){
        graph[from].push_back(Edge(to, cap, graph[to].size(), false));
        graph[to].push_back(Edge(from, 0, graph[from].size() - 1, true));
    }

    // 最短路探索
    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 v, int t, flow_t flow){
        if(v == t)  return flow;
        for(int &i = iter[v]; i < (int)graph[v].size(); ++i){
            Edge &e = graph[v][i];
            if(e.cap > 0 && min_cost[v] < 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;
    }
};

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

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

    return 0;
}
0