結果

問題 No.654 Air E869120
ユーザー AEnAEn
提出日時 2022-11-03 16:20:25
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 190 ms / 2,000 ms
コード長 2,777 bytes
コンパイル時間 132 ms
コンパイル使用メモリ 82,912 KB
実行使用メモリ 79,332 KB
最終ジャッジ日時 2024-07-18 01:15:17
合計ジャッジ時間 5,145 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 5
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff #

from collections import deque
import sys
sys.setrecursionlimit(10**8)
import pypyjit
pypyjit.set_param("max_unroll_recursion=-1")
 
class Dinic:
    def __init__(self, n):
        """n点ネットワークの構築"""
        self.n = n
        self.links = [[] for _ in range(n)]
        self.depth = None
        self.progress = None
 
    def add_link(self, _from, to, cap):
        """フローが流れてない状態での辺の追加"""
        self.links[_from].append([cap, to, len(self.links[to])])
        self.links[to].append([0, _from, len(self.links[_from]) - 1])
 
    def bfs(self, s):
        """sからtへの残余ネットワーク上での最短距離"""
        depth = [-1] * self.n
        depth[s] = 0
        q = deque([s])
        while q:
            v = q.popleft()
            for cap, to, rev in self.links[v]:
                if cap > 0 and depth[to] < 0:
                    depth[to] = depth[v] + 1
                    q.append(to)
        self.depth = depth
 
    def dfs(self, v, t, flow):
        """増大道の探索"""
        if v == t:
            return flow
        for i in range(self.progress[v], len(self.links[v])):
            self.progress[v] = i
            cap, to, rev = self.links[v][i]
            if cap == 0 or self.depth[v] >= self.depth[to]:
                continue
            d = self.dfs(to, t, min(flow, cap))
            if d == 0:
                continue
            # 残余ネットワークの更新
            self.links[v][i][0] -= d
            self.links[to][rev][0] += d
            return d
        return 0
 
    def max_flow(self, s, t):
        """最大フローを求める"""
        flow = 0
        while True:
            # tに到達できるか
            self.bfs(s)
            if self.depth[t] < 0:
                return flow
            self.progress = [0] * self.n
            current_flow = self.dfs(s, t, float('inf'))
            while current_flow > 0:
                flow += current_flow
                current_flow = self.dfs(s, t, float('inf'))

N, M, d = map(int, input().split())
G = [set() for _ in range(N)]
edge = []
for i in range(M):
    u, v, p, q, w = map(int, input().split())
    u-=1;v-=1
    G[u].add(p)
    G[v].add(q+d)
    edge.append([u, v, p, q, w])
ver = {}
for i in range(N):
    G[i] = list(G[i])
    G[i].sort()

for i in range(N):
    for j in range(len(G[i])):
        ver[(i, G[i][j])] = len(ver)

dinic = Dinic(len(ver))
for i in range(N):
    for j in range(len(G[i])-1):
        dinic.add_link(ver[(i, G[i][j])], ver[(i, G[i][j+1])], float('inf'))

for u, v, p, q, w in edge:
    dinic.add_link(ver[(u, p)], ver[(v, q+d)], w)

if len(G[0])>0 and len(G[-1])>0:
    print(dinic.max_flow(ver[(0,G[0][0])],ver[(N-1,G[N-1][-1])]))
else:
    print(0)
0