結果

問題 No.2713 Just Solitaire
ユーザー porkleoiporkleoi
提出日時 2024-04-04 17:02:06
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 5,247 bytes
コンパイル時間 3,311 ms
コンパイル使用メモリ 259,020 KB
実行使用メモリ 6,676 KB
最終ジャッジ日時 2024-04-04 17:02:11
合計ジャッジ時間 5,035 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,676 KB
testcase_01 AC 2 ms
6,676 KB
testcase_02 AC 2 ms
6,676 KB
testcase_03 AC 2 ms
6,676 KB
testcase_04 AC 3 ms
6,676 KB
testcase_05 AC 2 ms
6,676 KB
testcase_06 AC 2 ms
6,676 KB
testcase_07 AC 2 ms
6,676 KB
testcase_08 AC 2 ms
6,676 KB
testcase_09 AC 2 ms
6,676 KB
testcase_10 AC 1 ms
6,676 KB
testcase_11 AC 2 ms
6,676 KB
testcase_12 AC 2 ms
6,676 KB
testcase_13 AC 2 ms
6,676 KB
testcase_14 AC 2 ms
6,676 KB
testcase_15 AC 2 ms
6,676 KB
testcase_16 AC 2 ms
6,676 KB
testcase_17 AC 2 ms
6,676 KB
testcase_18 AC 2 ms
6,676 KB
testcase_19 AC 3 ms
6,676 KB
testcase_20 AC 2 ms
6,676 KB
testcase_21 AC 2 ms
6,676 KB
testcase_22 AC 2 ms
6,676 KB
testcase_23 AC 2 ms
6,676 KB
testcase_24 AC 3 ms
6,676 KB
testcase_25 AC 3 ms
6,676 KB
testcase_26 AC 3 ms
6,676 KB
testcase_27 AC 3 ms
6,676 KB
testcase_28 AC 3 ms
6,676 KB
testcase_29 AC 3 ms
6,676 KB
testcase_30 AC 3 ms
6,676 KB
testcase_31 AC 3 ms
6,676 KB
testcase_32 AC 3 ms
6,676 KB
testcase_33 AC 3 ms
6,676 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)
#define rep2(i, s, n) for (ll i = s; i <= (ll)(n); i++)
#define rep3(i, s, n, d) for (ll i = s; i <= (ll)(n); i += d)
#define rep4(i, s, n, d) for (ll i = s; i >= (ll)(n); i += d)
typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<vvi> vvvi;
typedef vector<vvvi> vvvvi;
typedef vector<string> vs;
typedef vector<vs> vvs;
typedef vector<vvs> vvvs;
typedef vector<char> vc;
typedef vector<vc> vvc;
typedef vector<vvc> vvvc;
typedef vector<ll> vll;
typedef vector<vll> vvll;
typedef vector<vvll> vvvll;
typedef vector<vvvll> vvvvll;
typedef vector<double> vd;
typedef vector<vd> vvd;
typedef vector<vvd> vvvd;
typedef vector<ld> vld;
typedef vector<vld> vvld;
typedef vector<vvld> vvvld;
typedef vector<bool> vb;
typedef vector<vd> vvb;
typedef vector<vvd> vvvb;
typedef vector<pair<int, int>> vpi;
typedef vector<pair<ll, ll>> vpll;
typedef pair<int, int> pi;
typedef vector<pi> vpi;
typedef vector<vpi> vvpi;
typedef pair<ll, ll> pll;
typedef vector<pll> vpll;
typedef vector<vpll> vvpll;
typedef tuple<int, int, int> tui3;
typedef tuple<ll, ll, ll> tull3;
typedef priority_queue<int, vector<int>, greater<int>> pqi;
typedef priority_queue<vi, vector<vi>, greater<vi>> pqvi;
typedef priority_queue<ll, vector<ll>, greater<ll>> pqll;
typedef priority_queue<vll, vector<vll>, greater<vll>> pqvll;
typedef priority_queue<pll, vector<pll>, greater<pll>> pqpll;
typedef priority_queue<pll, vector<pll>, less<pll>> rpqpll;
typedef priority_queue<int, vector<int>, less<int>> rpqi;
typedef priority_queue<vi, vector<vi>, less<vi>> rpqvi;
typedef priority_queue<tui3, vector<tui3>, greater<tui3>> pqtui3;
typedef priority_queue<tui3, vector<tui3>, less<tui3>> rpqtui3;
typedef priority_queue<tull3, vector<tull3>, greater<tull3>> pqtull3;
typedef priority_queue<tull3, vector<tull3>, less<tull3>> rpqtull3;
#define yes(ans) if(ans)cout << "yes"<< endl; else cout << "no" << endl
#define Yes(ans) if(ans)cout << "Yes"<< endl; else cout << "No" << endl
#define YES(ans) if(ans)cout << "YES"<< endl ;else cout << "NO" << endl
#define printv(vec) {rep(i, vec.size()) cout << vec[i] << ' '; cout << endl;}
#define printvv(vec) rep(i, vec.size()) {rep(j, vec[i].size()) cout << vec[i][j] << ' '; cout << endl;};
#define printvvv(vec) rep(i, vec.size()) { rep(j, vec[i].size()) { rep(k, vec[i][j].size()) cout << vec[i][j][k] << ' '; cout << "	"; }cout << endl; };
#define all1(x) x.begin(),x.end()
#define all2(x) x.rbegin(), x.rend()
#define so(x) sort(all1(x))
#define re(x) reverse(all1(x))
#define rso(x) sort(all2(x))
#define vco(x, a) count(all1(x), a)
#define per(x) next_permutation(all1(x))
#define iINF 2147483647
#define llINF 9223372036854775807
#define INF 1000000000000000000
#define mod 998244353
#define mod2 1000000007

template <typename T>
struct Dinic{
    struct Edge{
        int to;
        T capacity;
        int reverse_index;
    };
    vector<vector<Edge>> graph;
    vi level, iter;
    T inf;

    Dinic(int n) : graph(n), level(n), iter(n), inf(numeric_limits<T>::max()) {}

    void add_edge(int from, int to, ll capacity){
        graph[from].push_back({to, capacity, int(graph[to].size())});
        graph[to].push_back({from, 0, int(graph[from].size()-1)});
    }

    void bfs(int source){
        level.assign(level.size(), -1);
        queue<int> que;
        que.push(source);
        level[source] = 0;
        while(que.size()){
            int v = que.front();
            que.pop();
            for(auto edge:graph[v]){
                if(edge.capacity>0 && level[edge.to]==-1){
                    level[edge.to] = level[v]+1;
                    que.push(edge.to);
                }
            }
        }
    }

    T dfs(int v, int sink, T flow){
        if(v==sink) return flow;
        for(int& i = iter[v]; i<graph[v].size(); i++){
            Edge& edge = graph[v][i];
            if(edge.capacity>0 && level[v]<level[edge.to]){
                T d = dfs(edge.to, sink, min(flow, edge.capacity));
                if(d>0){
                    edge.capacity -= d;
                    graph[edge.to][edge.reverse_index].capacity += d;
                    return d;
                }
            }
        }
        return 0;
    }

    T max_flow(int source, int sink){
        T ans = 0;
        while(true){
            bfs(source);
            if(level[sink]==-1) return ans;
            iter.assign(iter.size(), 0);
            while(true){
                T f = dfs(source, sink, inf);
                if(f<=0) break;
                ans += f;
            }
        }
    }
};

int main() {
    // アルゴリズム一覧を見る
    // 嘘解法ですか
    int n, m; cin >> n >> m;
    Dinic<ll> flow(n+m+2);
    rep(i, n){
        ll a; cin >> a;
        flow.add_edge(i+1, n+m+1, a);
    }
    ll ans = 0;
    rep(i, m){
        ll b; cin >> b;
        flow.add_edge(0, n+i+1, b);
        ans += b;
    }
    rep(i, m){
        int k; cin >> k;
        rep(j, k){
            ll c; cin >> c;
            flow.add_edge(n+i+1, c, 1e15);
        }
    }
    ans -= flow.max_flow(0, n+m+1);
    cout << ans << endl;
}
0