結果
問題 | No.1301 Strange Graph Shortest Path |
ユーザー | zkou |
提出日時 | 2020-11-10 21:37:59 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,265 ms / 3,000 ms |
コード長 | 4,379 bytes |
コンパイル時間 | 363 ms |
コンパイル使用メモリ | 82,336 KB |
実行使用メモリ | 218,600 KB |
最終ジャッジ日時 | 2024-09-13 00:48:55 |
合計ジャッジ時間 | 33,016 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 40 ms
54,804 KB |
testcase_01 | AC | 40 ms
54,320 KB |
testcase_02 | AC | 984 ms
208,348 KB |
testcase_03 | AC | 855 ms
193,712 KB |
testcase_04 | AC | 1,141 ms
218,064 KB |
testcase_05 | AC | 848 ms
209,820 KB |
testcase_06 | AC | 1,137 ms
208,628 KB |
testcase_07 | AC | 1,007 ms
206,728 KB |
testcase_08 | AC | 864 ms
194,712 KB |
testcase_09 | AC | 832 ms
199,364 KB |
testcase_10 | AC | 815 ms
193,612 KB |
testcase_11 | AC | 967 ms
208,848 KB |
testcase_12 | AC | 980 ms
209,292 KB |
testcase_13 | AC | 907 ms
209,180 KB |
testcase_14 | AC | 1,113 ms
201,956 KB |
testcase_15 | AC | 811 ms
197,848 KB |
testcase_16 | AC | 1,068 ms
216,608 KB |
testcase_17 | AC | 1,036 ms
214,716 KB |
testcase_18 | AC | 1,045 ms
202,960 KB |
testcase_19 | AC | 845 ms
204,060 KB |
testcase_20 | AC | 995 ms
204,980 KB |
testcase_21 | AC | 999 ms
211,624 KB |
testcase_22 | AC | 1,123 ms
210,668 KB |
testcase_23 | AC | 877 ms
210,472 KB |
testcase_24 | AC | 1,128 ms
208,180 KB |
testcase_25 | AC | 1,050 ms
216,208 KB |
testcase_26 | AC | 1,029 ms
208,432 KB |
testcase_27 | AC | 807 ms
208,896 KB |
testcase_28 | AC | 821 ms
201,792 KB |
testcase_29 | AC | 1,265 ms
218,600 KB |
testcase_30 | AC | 972 ms
214,416 KB |
testcase_31 | AC | 1,053 ms
216,860 KB |
testcase_32 | AC | 41 ms
55,708 KB |
testcase_33 | AC | 532 ms
205,224 KB |
testcase_34 | AC | 826 ms
213,312 KB |
ソースコード
import sys import heapq input = sys.stdin.readline class mcf_graph_int_cost: """ 頂点数、及び、costの総和が、4294967295 (== (1 << 32) - 1) を超えない前提下での高速な実装。 どちらかが超えると動きません。ごめんなさい。 """ def __init__(self, n): self.n = n self.pos = [] self.g = [[] for _ in range(n)] def add_edge(self, from_, to, cap, cost): # assert 0 <= from_ < self.n # assert 0 <= to < self.n m = len(self.pos) self.pos.append((from_, len(self.g[from_]))) self.g[from_].append(self.__class__._edge(to, len(self.g[to]), cap, cost)) self.g[to].append(self.__class__._edge(from_, len(self.g[from_]) - 1, 0, -cost)) return m class edge: def __init__(self, from_, to, cap, flow, cost): self.from_ = from_ self.to = to self.cap = cap self.flow = flow self.cost = cost def get_edge(self, i): _e = self.g[self.pos[i][0]][self.pos[i][1]] _re = self.g[_e.to][_e.rev] return self.__class__.edge(self.pos[i][0], _e.to, _e.cap + _re.cap, _re.cap, _e.cost) def edges(self): ret = [] for i in range(len(self.pos)): _e = self.g[self.pos[i][0]][self.pos[i][1]] _re = self.g[_e.to][_e.rev] ret.append(self.__class__.edge(self.pos[i][0], _e.to, _e.cap + _re.cap, _re.cap, _e.cost)) return ret def _dual_ref(self, s, t): self.dist = [0xFFFFFFFFFFFFFFFF] * self.n self.pv = [-1] * self.n self.pe = [-1] * self.n self.vis = [False] * self.n que = [s] # s == (0 << 32) + s self.dist[s] = 0 while que: v = heapq.heappop(que) & 4294967295 if self.vis[v]: continue self.vis[v] = True if v == t: break for i in range(len(self.g[v])): e = self.g[v][i] if self.vis[e.to] or e.cap == 0: continue cost = e.cost - self.dual[e.to] + self.dual[v] if self.dist[e.to] > self.dist[v] + cost: self.dist[e.to] = self.dist[v] + cost self.pv[e.to] = v self.pe[e.to] = i heapq.heappush(que, ((self.dist[e.to] << 32) + e.to)) if not self.vis[t]: return False for v in range(self.n): if not self.vis[v]: continue self.dual[v] -= self.dist[t] - self.dist[v] return True def slope(self, s, t, flow_limit=0xFFFFFFFFFFFFFFFF): # assert 0 <= s < self.n # assert 0 <= t < self.n # assert s != t self.dual = [0] * self.n self.dist = [0xFFFFFFFFFFFFFFFF] * self.n self.pv = [-1] * self.n self.pe = [-1] * self.n self.vis = [False] * self.n flow = 0 cost = 0 prev_cost = -1 result = [(flow, cost)] while flow < flow_limit: if not self._dual_ref(s, t): break c = flow_limit - flow v = t while v != s: c = min(c, self.g[self.pv[v]][self.pe[v]].cap) v = self.pv[v] v = t while v != s: e = self.g[self.pv[v]][self.pe[v]] e.cap -= c self.g[v][e.rev].cap += c v = self.pv[v] d = -self.dual[s] flow += c cost += c * d if prev_cost == d: result.pop() result.append((flow, cost)) prev_cost = cost return result def flow(self, s, t, flow_limit=0xFFFFFFFFFFFFFFFF): return self.slope(s, t, flow_limit)[-1] class _edge: def __init__(self, to, rev, cap, cost): self.to = to self.rev = rev self.cap = cap self.cost = cost N, M = map(int, input().split()) g = mcf_graph_int_cost(N) for i in range(M): u, v, c, d = map(int, input().split()) u -= 1 v -= 1 g.add_edge(u, v, 1, c) g.add_edge(v, u, 1, c) g.add_edge(u, v, 1, d) g.add_edge(v, u, 1, d) print(g.flow(0, N - 1, 2)[1])