結果
問題 | No.654 Air E869120 |
ユーザー |
![]() |
提出日時 | 2025-03-26 15:52:00 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 183 ms / 2,000 ms |
コード長 | 5,079 bytes |
コンパイル時間 | 297 ms |
コンパイル使用メモリ | 82,360 KB |
実行使用メモリ | 80,104 KB |
最終ジャッジ日時 | 2025-03-26 15:52:53 |
合計ジャッジ時間 | 5,054 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 5 |
other | AC * 35 |
ソースコード
import sysimport bisectfrom collections import defaultdict, dequeclass Edge:def __init__(self, to, rev, capacity):self.to = toself.rev = revself.capacity = capacityclass MaxFlow:def __init__(self, n):self.size = nself.graph = [[] for _ in range(n)]def add_edge(self, fr, to, capacity):forward = Edge(to, len(self.graph[to]), capacity)backward = Edge(fr, len(self.graph[fr]), 0)self.graph[fr].append(forward)self.graph[to].append(backward)def bfs_level(self, s, t, level):q = deque()level[:] = [-1] * self.sizelevel[s] = 0q.append(s)while q:v = q.popleft()for edge in self.graph[v]:if edge.capacity > 0 and level[edge.to] == -1:level[edge.to] = level[v] + 1q.append(edge.to)if edge.to == t:returndef dfs_flow(self, v, t, upTo, iter_, level):if v == t:return upTofor i in range(iter_[v], len(self.graph[v])):edge = self.graph[v][i]if edge.capacity > 0 and level[v] < level[edge.to]:d = self.dfs_flow(edge.to, t, min(upTo, edge.capacity), iter_, level)if d > 0:edge.capacity -= dself.graph[edge.to][edge.rev].capacity += dreturn diter_[v] += 1return 0def max_flow(self, s, t):flow = 0level = [-1] * self.sizewhile True:self.bfs_level(s, t, level)if level[t] == -1:return flowiter_ = [0] * self.sizewhile True:f = self.dfs_flow(s, t, float('inf'), iter_, level)if f == 0:breakflow += fdef main():import sysinput = sys.stdin.read().split()idx = 0N = int(input[idx]); idx +=1M = int(input[idx]); idx +=1d = int(input[idx]); idx +=1flights = []city_times = defaultdict(list)city_times[1].append(0) # Initial time for city 1for _ in range(M):u = int(input[idx]); idx +=1v = int(input[idx]); idx +=1p = int(input[idx]); idx +=1q = int(input[idx]); idx +=1w = int(input[idx]); idx +=1flights.append( (u, v, p, q, w) )city_times[v].append(q)# Sort and deduplicatefor u in city_times:times = city_times[u]times.sort()# Dedupnew_times = []prev = Nonefor t in times:if t != prev:new_times.append(t)prev = tcity_times[u] = new_times# Assign nodesnodes = dict() # (u, t) -> node_idnode_counter = 0for u in city_times:for t in city_times[u]:nodes[ (u, t) ] = node_counternode_counter +=1# Flight nodesflight_nodes_start = node_counterfor i in range(M):nodes[ ('flight', i) ] = flight_nodes_start + inode_counter += M# Super sinksink = node_counternode_counter +=1# Create MaxFlow instancemf = MaxFlow(node_counter)INF = 10**18# Add edges for each flightfor i in range(M):u, v, p, q, w = flights[i]flight_node = nodes[ ('flight', i) ]# Edge flight_node -> (v, q)dest_node = nodes.get( (v, q), -1 )if dest_node == -1:continue # Should not happenmf.add_edge( flight_node, dest_node, w )# Step 2c: if u is 1, add edge from (1,0) to flight_nodeif u == 1:source_node = nodes.get( (1, 0), -1 )if source_node != -1:mf.add_edge( source_node, flight_node, INF )# Step 2d: find latest t <= p -d in u's timestimes = city_times.get(u, [])if not times:continuelatest_arrival = p - didx_t = bisect.bisect_right(times, latest_arrival) -1if idx_t >=0:t = times[idx_t]from_node = nodes[ (u, t) ]mf.add_edge( from_node, flight_node, INF )# Add waiting edges for each cityfor u in city_times:times = city_times[u]for i in range(len(times)-1):t_prev = times[i]t_next = times[i+1]prev_node = nodes[ (u, t_prev) ]next_node = nodes[ (u, t_next) ]mf.add_edge( prev_node, next_node, INF )# Add edges from all (N, t) to sinkif N in city_times:for t in city_times[N]:node = nodes[ (N, t) ]mf.add_edge( node, sink, INF )# Source is (1, 0)if (1, 0) not in nodes:print(0)returnsource = nodes[ (1, 0) ]# Compute max flowresult = mf.max_flow(source, sink)print(result)if __name__ == "__main__":main()