結果
問題 | No.1676 Coin Trade (Single) |
ユーザー | sata shun |
提出日時 | 2021-09-10 22:02:14 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
TLE
|
実行時間 | - |
コード長 | 5,265 bytes |
コンパイル時間 | 2,948 ms |
コンパイル使用メモリ | 216,620 KB |
実行使用メモリ | 24,832 KB |
最終ジャッジ日時 | 2024-06-12 00:06:58 |
合計ジャッジ時間 | 6,164 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
10,752 KB |
testcase_01 | AC | 2 ms
5,376 KB |
testcase_02 | AC | 2 ms
5,376 KB |
testcase_03 | TLE | - |
testcase_04 | -- | - |
testcase_05 | -- | - |
testcase_06 | -- | - |
testcase_07 | -- | - |
testcase_08 | -- | - |
testcase_09 | -- | - |
testcase_10 | -- | - |
testcase_11 | -- | - |
testcase_12 | -- | - |
testcase_13 | -- | - |
testcase_14 | -- | - |
testcase_15 | -- | - |
testcase_16 | -- | - |
testcase_17 | -- | - |
testcase_18 | -- | - |
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 | -- | - |
ソースコード
//#pragma GCC optimize("Ofast") //#pragma GCC optimize("unroll-loops") #include <bits/stdc++.h> using namespace std; using ll = long long; using ull = unsigned long long; using pii = pair<int, int>; template <class T> using V = vector<T>; template <class T> using VV = V<V<T>>; template <class T> V<T> make_vec(size_t a) { return V<T>(a); } template <class T, class... Ts> auto make_vec(size_t a, Ts... ts) { return V<decltype(make_vec<T>(ts...))>(a, make_vec<T>(ts...)); } #define pb push_back #define eb emplace_back #define mp make_pair #define fi first #define se second #define rep(i, n) rep2(i, 0, n) #define rep2(i, m, n) for (int i = m; i < (n); i++) #define per(i, b) per2(i, 0, b) #define per2(i, a, b) for (int i = int(b) - 1; i >= int(a); i--) #define ALL(c) (c).begin(), (c).end() #define SZ(x) ((int)(x).size()) constexpr ll TEN(int n) { return (n == 0) ? 1 : 10 * TEN(n - 1); } template <class T, class U> void chmin(T& t, const U& u) { if (t > u) t = u; } template <class T, class U> void chmax(T& t, const U& u) { if (t < u) t = u; } template <class T, class U> ostream& operator<<(ostream& os, const pair<T, U>& p) { os << "(" << p.first << "," << p.second << ")"; return os; } template <class T> ostream& operator<<(ostream& os, const vector<T>& v) { os << "{"; rep(i, v.size()) { if (i) os << ","; os << v[i]; } os << "}"; return os; } #ifdef LOCAL void debug_out() { cerr << endl; } template <typename Head, typename... Tail> void debug_out(Head H, Tail... T) { cerr << " " << H; debug_out(T...); } #define debug(...) \ cerr << __LINE__ << " [" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__) #define dump(x) cerr << __LINE__ << " " << #x << " = " << (x) << endl #else #define debug(...) (void(0)) #define dump(x) (void(0)) #endif template <class T> void print(T x, int suc = 1) { cout << x; if (suc == 1) cout << "\n"; else if (suc == 2) cout << " "; } template <class T> void print(const vector<T>& v, int suc = 1) { for (int i = 0; i < v.size(); ++i) print(v[i], i == int(v.size()) - 1 ? suc : 2); } template <class C, class D> // capacity, distance struct MinCostFlow { struct edge { int to, rev; C cap; D cost; edge(int to, C cap, D cost, int rev) : to(to), cap(cap), cost(cost), rev(rev){}; }; using E = edge; const D INF = numeric_limits<D>::max() / D(3); int n; VV<E> g; V<D> h, dst; V<int> prevv, preve; MinCostFlow(int n) : n(n), g(n), h(n), dst(n), prevv(n), preve(n) {} void add_edge(int f, int t, C cap, D cost) { g[f].emplace_back(t, cap, cost, (int)g[t].size()); g[t].emplace_back(f, 0, -cost, (int)g[f].size() - 1); } // true : no negative cycle bool init_negative(int s) { fill(h.begin(), h.end(), INF); h[s] = 0; for (int t = 0; t <= n; ++t) { for (int i = 0; i < n; ++i) { for (auto e : g[i]) { if (!e.cap) continue; if (h[e.to] > h[i] + e.cost && t == n) { return false; } h[e.to] = min(h[e.to], h[i] + e.cost); } } } return true; } D exec(int s, int t, C f) { D res = 0; using Data = pair<D, int>; while (f > 0) { priority_queue<Data, vector<Data>, greater<Data>> que; fill(dst.begin(), dst.end(), INF); dst[s] = 0; que.push(Data(0, s)); while (!que.empty()) { auto p = que.top(); que.pop(); int v = p.second; if (dst[v] < p.first) continue; rep(i, g[v].size()) { auto e = g[v][i]; D nd = dst[v] + e.cost + h[v] - h[e.to]; if (e.cap > 0 && dst[e.to] > nd) { dst[e.to] = nd; prevv[e.to] = v; preve[e.to] = i; que.push(Data(dst[e.to], e.to)); } } } if (dst[t] == INF) return D(-INF); rep(i, n) if (dst[i] != INF) h[i] += dst[i]; C d = f; for (int v = t; v != s; v = prevv[v]) { d = min(d, g[prevv[v]][preve[v]].cap); } f -= d; res += d * h[t]; for (int v = t; v != s; v = prevv[v]) { edge& e = g[prevv[v]][preve[v]]; e.cap -= d; g[v][e.rev].cap += d; } } return res; } }; int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int N, K; cin >> N >> K; MinCostFlow<ll, ll> g(N + 1); VV<int> B(N); V<int> A(N); rep(i, N) { cin >> A[i]; int k; cin >> k; rep(j, k) { int v; cin >> v; --v; g.add_edge(v, i, 1, -(A[i] - A[v])); } if (i + 1 < N) g.add_edge(i, i + 1, K * 2, 0); } g.init_negative(0); auto f = g.exec(0, N - 1, K); cout << -f << endl; return 0; }