結果
問題 | No.1301 Strange Graph Shortest Path |
ユーザー | satashun |
提出日時 | 2023-08-08 23:18:42 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 210 ms / 3,000 ms |
コード長 | 10,464 bytes |
コンパイル時間 | 2,785 ms |
コンパイル使用メモリ | 212,884 KB |
実行使用メモリ | 34,488 KB |
最終ジャッジ日時 | 2024-04-26 15:26:34 |
合計ジャッジ時間 | 12,025 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,376 KB |
testcase_01 | AC | 3 ms
5,376 KB |
testcase_02 | AC | 165 ms
32,992 KB |
testcase_03 | AC | 133 ms
29,436 KB |
testcase_04 | AC | 199 ms
31,488 KB |
testcase_05 | AC | 134 ms
32,360 KB |
testcase_06 | AC | 185 ms
29,604 KB |
testcase_07 | AC | 171 ms
30,928 KB |
testcase_08 | AC | 129 ms
29,576 KB |
testcase_09 | AC | 167 ms
27,904 KB |
testcase_10 | AC | 133 ms
29,176 KB |
testcase_11 | AC | 176 ms
30,476 KB |
testcase_12 | AC | 186 ms
30,228 KB |
testcase_13 | AC | 162 ms
33,056 KB |
testcase_14 | AC | 163 ms
28,244 KB |
testcase_15 | AC | 168 ms
29,100 KB |
testcase_16 | AC | 203 ms
31,488 KB |
testcase_17 | AC | 172 ms
33,400 KB |
testcase_18 | AC | 153 ms
30,328 KB |
testcase_19 | AC | 189 ms
29,440 KB |
testcase_20 | AC | 178 ms
28,416 KB |
testcase_21 | AC | 171 ms
31,848 KB |
testcase_22 | AC | 203 ms
29,184 KB |
testcase_23 | AC | 169 ms
32,776 KB |
testcase_24 | AC | 189 ms
29,056 KB |
testcase_25 | AC | 198 ms
31,488 KB |
testcase_26 | AC | 171 ms
30,224 KB |
testcase_27 | AC | 179 ms
30,292 KB |
testcase_28 | AC | 143 ms
32,168 KB |
testcase_29 | AC | 210 ms
30,720 KB |
testcase_30 | AC | 198 ms
31,448 KB |
testcase_31 | AC | 193 ms
31,100 KB |
testcase_32 | AC | 2 ms
5,376 KB |
testcase_33 | AC | 84 ms
25,472 KB |
testcase_34 | AC | 190 ms
34,488 KB |
ソースコード
#pragma region satashun // #pragma GCC optimize("Ofast") // #pragma GCC optimize("unroll-loops") #include <bits/stdc++.h> using namespace std; using uint = unsigned int; 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...)); } template <typename T, typename V> void fill_vec(T& v, const V& val) { v = val; } template <typename T, typename V> void fill_vec(vector<T>& vec, const V& val) { for (auto& v : vec) fill_vec(v, val); } #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 <typename T> int arglb(const V<T>& v, const T& x) { return distance(v.begin(), lower_bound(ALL(v), x)); } template <typename T> int argub(const V<T>& v, const T& x) { return distance(v.begin(), upper_bound(ALL(v), x)); } template <class T> void mkuni(vector<T>& v) { sort(ALL(v)); v.erase(unique(ALL(v)), end(v)); } template <class T> vector<int> sort_by(const vector<T>& v, bool increasing = true) { vector<int> res(v.size()); iota(res.begin(), res.end(), 0); if (increasing) { stable_sort(res.begin(), res.end(), [&](int i, int j) { return v[i] < v[j]; }); } else { stable_sort(res.begin(), res.end(), [&](int i, int j) { return v[i] > v[j]; }); } return res; } // prototype template <class T, class U> ostream& operator<<(ostream& os, const pair<T, U>& p); template <class T> ostream& operator<<(ostream& os, const vector<T>& v); template <class T> istream& operator>>(istream& is, vector<T>& v); template <class T, size_t sz> ostream& operator<<(ostream& os, const array<T, sz>& arr); template <class T> ostream& operator<<(ostream& os, const set<T>& ST); template <class T> ostream& operator<<(ostream& os, const multiset<T>& ST); template <class T, class U> ostream& operator<<(ostream& os, const map<T, U>& MP); ostream& operator<<(ostream& o, __int128_t x); // io functions template <class T, class U> istream& operator>>(istream& is, pair<T, U>& p) { is >> p.first >> p.second; return is; } template <class T, class U> ostream& operator<<(ostream& os, const pair<T, U>& p) { os << "(" << p.first << "," << p.second << ")"; return os; } template <class T> istream& operator>>(istream& is, vector<T>& v) { for (auto& x : v) { is >> x; } return is; } 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; } template <class T, size_t sz> ostream& operator<<(ostream& os, const array<T, sz>& arr) { os << '['; for (auto v : arr) os << v << ','; os << ']'; return os; } template <class T> ostream& operator<<(ostream& os, const set<T>& ST) { os << "{"; for (auto it = ST.begin(); it != ST.end(); ++it) { if (it != ST.begin()) os << ","; os << *it; } os << "}"; return os; } template <class T> ostream& operator<<(ostream& os, const multiset<T>& ST) { os << "{"; for (auto it = ST.begin(); it != ST.end(); ++it) { if (it != ST.begin()) os << ","; os << *it; } os << "}"; return os; } template <class T, class U> ostream& operator<<(ostream& os, const map<T, U>& MP) { for (auto it = MP.begin(); it != MP.end(); ++it) { os << "(" << it->first << ": " << it->second << ")"; } return os; } string to_string(__int128_t x) { if (x == 0) return "0"; string result; if (x < 0) { result += "-"; x *= -1; } string t; while (x) { t.push_back('0' + x % 10); x /= 10; } reverse(t.begin(), t.end()); return result + t; } ostream& operator<<(ostream& o, __int128_t x) { return o << to_string(x); } #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> V<T>& operator+=(V<T>& vec, const T& v) { for (auto& x : vec) x += v; return vec; } template <class T> V<T>& operator-=(V<T>& vec, const T& v) { for (auto& x : vec) x -= v; return vec; } // suc : 1 = newline, 2 = space 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 T> void show(T x) { print(x, 1); } template <typename Head, typename... Tail> void show(Head H, Tail... T) { print(H, 2); show(T...); } int topbit(int t) { return t == 0 ? -1 : 31 - __builtin_clz(t); } int topbit(ll t) { return t == 0 ? -1 : 63 - __builtin_clzll(t); } int botbit(int a) { return a == 0 ? 32 : __builtin_ctz(a); } int botbit(ll a) { return a == 0 ? 64 : __builtin_ctzll(a); } int popcount(int t) { return __builtin_popcount(t); } int popcount(ll t) { return __builtin_popcountll(t); } int bit_parity(int t) { return __builtin_parity(t); } int bit_parity(ll t) { return __builtin_parityll(t); } struct prepare_io { prepare_io() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(10); } } prep_io; #pragma endregion satashun // init_dag : yuki 1678, ABC214H 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); } void init_dag(int s) { fill(h.begin(), h.end(), INF); h[s] = 0; V<int> vis(n); // topological sort V<int> vs; auto topo = [&](auto&& f, int v) -> void { vis[v] = 1; for (auto& e : g[v]) { if (e.cap > 0 && !vis[e.to]) { f(f, e.to); } } vs.pb(v); }; for (int i = 0; i < n; ++i) { if (!vis[i]) topo(topo, i); } reverse(vs.begin(), vs.end()); for (int v : vs) { if (h[v] == INF) continue; for (auto& e : g[v]) { if (e.cap > 0) { chmin(h[e.to], h[v] + e.cost); } } } } // 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, bool full = false) { if (full) f = INF; 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) { if (full) { return res; } else { 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; } }; void slv() { // input int N, M; cin >> N >> M; MinCostFlow<int, ll> g(N); rep(i, M) { int u, v, c, d; cin >> u >> v >> c >> d; --u, --v; g.add_edge(u, v, 1, c); g.add_edge(u, v, 1, d); g.add_edge(v, u, 1, c); g.add_edge(v, u, 1, d); } // solve ll ans = g.exec(0, N - 1, 2); show(ans); } int main() { int cases = 1; // cin >> cases; rep(i, cases) slv(); return 0; }