結果
問題 | No.2713 Just Solitaire |
ユーザー | 👑 rin204 |
提出日時 | 2024-04-07 14:40:12 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 89 ms / 2,000 ms |
コード長 | 4,012 bytes |
コンパイル時間 | 365 ms |
コンパイル使用メモリ | 81,700 KB |
実行使用メモリ | 77,992 KB |
最終ジャッジ日時 | 2024-04-07 14:40:16 |
合計ジャッジ時間 | 3,799 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge12 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 45 ms
55,480 KB |
testcase_01 | AC | 39 ms
55,480 KB |
testcase_02 | AC | 46 ms
57,552 KB |
testcase_03 | AC | 81 ms
75,860 KB |
testcase_04 | AC | 70 ms
72,776 KB |
testcase_05 | AC | 56 ms
66,044 KB |
testcase_06 | AC | 78 ms
70,832 KB |
testcase_07 | AC | 61 ms
68,092 KB |
testcase_08 | AC | 44 ms
55,480 KB |
testcase_09 | AC | 50 ms
61,412 KB |
testcase_10 | AC | 56 ms
65,884 KB |
testcase_11 | AC | 64 ms
68,096 KB |
testcase_12 | AC | 54 ms
63,924 KB |
testcase_13 | AC | 62 ms
70,832 KB |
testcase_14 | AC | 59 ms
68,608 KB |
testcase_15 | AC | 40 ms
55,480 KB |
testcase_16 | AC | 41 ms
55,480 KB |
testcase_17 | AC | 79 ms
77,212 KB |
testcase_18 | AC | 40 ms
55,608 KB |
testcase_19 | AC | 62 ms
72,908 KB |
testcase_20 | AC | 39 ms
55,608 KB |
testcase_21 | AC | 40 ms
55,608 KB |
testcase_22 | AC | 43 ms
61,412 KB |
testcase_23 | AC | 65 ms
72,804 KB |
testcase_24 | AC | 69 ms
74,408 KB |
testcase_25 | AC | 89 ms
77,616 KB |
testcase_26 | AC | 80 ms
77,744 KB |
testcase_27 | AC | 83 ms
77,608 KB |
testcase_28 | AC | 80 ms
77,864 KB |
testcase_29 | AC | 82 ms
77,868 KB |
testcase_30 | AC | 79 ms
77,744 KB |
testcase_31 | AC | 81 ms
77,864 KB |
testcase_32 | AC | 87 ms
77,992 KB |
testcase_33 | AC | 85 ms
77,616 KB |
ソースコード
from collections import deque # from dataclasses import dataclass class mf_graph: # @dataclass class edge: # from_: int # to: int # cap: int # flow: int def __init__(self, from_, to, cap, flow): self.from_ = from_ self.to = to self.cap = cap self.flow = flow # @dataclass class _edge: # to: int # rev: int # cap: int def __init__(self, to, rev, cap): self.to = to self.rev = rev self.cap = cap def __init__(self, n): self.n = n self.G = [[] for _ in range(n)] self.pos = [] def add_edge(self, from_, to, cap): m = len(self.pos) self.pos.append((from_, len(self.G[from_]))) from_id = len(self.G[from_]) to_id = len(self.G[to]) if from_ == to: to_id += 1 self.G[from_].append(mf_graph._edge(to, to_id, cap)) self.G[to].append(mf_graph._edge(from_, from_id, 0)) return m def get_edge(self, i): _e = self.G[self.pos[i][0]][self.pos[i][1]] _re = self.G[_e.to][_e.rev] return mf_graph.edge(self.pos[i][0], _e.to, _e.cap + _re.cap, _re.cap) def edges(self): m = len(self.pos) result = [] for i in range(m): result.append(self.get_edge(i)) return result def change_edge(self, i, new_cap, new_flow): _e = self.G[self.pos[i][0]][self.pos[i][1]] self.G[_e.to][_e.rev].cap = new_flow self.G[self.pos[i][0]][self.pos[i][1]].cap = new_cap - new_flow def flow(self, s, t, flow_limit=1 << 60): level = [] iter = [] que = deque() def bfs(): nonlocal level level = [-1] * self.n level[s] = 0 que.clear() que.append(s) while que: v = que.popleft() for e in self.G[v]: if e.cap == 0 or level[e.to] >= 0: continue level[e.to] = level[v] + 1 if e.to == t: return que.append(e.to) def dfs(v, up): if v == s: return up nonlocal level, iter res = 0 level_v = level[v] while iter[v] < len(self.G[v]): i = iter[v] iter[v] += 1 e = self.G[v][i] if level_v <= level[e.to] or self.G[e.to][e.rev].cap == 0: continue d = dfs(e.to, min(up - res, self.G[e.to][e.rev].cap)) if d <= 0: continue self.G[v][i].cap += d self.G[e.to][e.rev].cap -= d res += d if res == up: return res level[v] = self.n return res flow = 0 while flow < flow_limit: bfs() if level[t] == -1: break iter = [0] * self.n f = dfs(t, flow_limit - flow) if f == 0: break flow += f return flow def min_cut(self, s): visited = [False] * self.n que = deque() que.append(s) while que: p = que.popleft() visited[p] = True for e in self.G[p]: if e.cap and not visited[e.to]: visited[e.to] = True que.append(e.to) return visited n, m = map(int, input().split()) A = list(map(int, input().split())) B = list(map(int, input().split())) ans = sum(B) G = mf_graph(n + m + 2) s = n + m t = n + m + 1 for i in range(n): G.add_edge(s, i, A[i]) for i in range(m): G.add_edge(n + i, t, B[i]) k, *C = map(int, input().split()) for c in C: G.add_edge(c - 1, n + i, 1 << 60) print(ans - G.flow(s, t))