結果

問題 No.654 Air E869120
ユーザー tktk_snsntktk_snsn
提出日時 2020-09-24 22:58:09
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
RE  
実行時間 -
コード長 3,916 bytes
コンパイル時間 495 ms
コンパイル使用メモリ 13,184 KB
実行使用メモリ 17,920 KB
最終ジャッジ日時 2024-06-28 05:32:49
合計ジャッジ時間 4,467 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 32 ms
11,264 KB
testcase_01 AC 33 ms
11,136 KB
testcase_02 AC 33 ms
11,136 KB
testcase_03 AC 33 ms
11,136 KB
testcase_04 AC 33 ms
11,008 KB
testcase_05 AC 31 ms
11,136 KB
testcase_06 AC 32 ms
11,136 KB
testcase_07 AC 32 ms
11,136 KB
testcase_08 AC 32 ms
11,008 KB
testcase_09 AC 32 ms
11,136 KB
testcase_10 AC 264 ms
17,024 KB
testcase_11 AC 321 ms
17,792 KB
testcase_12 AC 305 ms
17,664 KB
testcase_13 AC 328 ms
17,792 KB
testcase_14 AC 280 ms
17,920 KB
testcase_15 AC 289 ms
17,152 KB
testcase_16 RE -
testcase_17 RE -
testcase_18 RE -
testcase_19 RE -
testcase_20 RE -
testcase_21 RE -
testcase_22 RE -
testcase_23 RE -
testcase_24 RE -
testcase_25 RE -
testcase_26 RE -
testcase_27 RE -
testcase_28 RE -
testcase_29 RE -
testcase_30 RE -
testcase_31 RE -
testcase_32 RE -
testcase_33 RE -
testcase_34 RE -
testcase_35 AC 31 ms
11,136 KB
testcase_36 AC 31 ms
11,136 KB
testcase_37 AC 31 ms
11,136 KB
testcase_38 AC 31 ms
11,008 KB
testcase_39 AC 35 ms
11,264 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from itertools import accumulate
from collections import deque
import sys
input = sys.stdin.buffer.readline
sys.setrecursionlimit(10 ** 7)


class MF_graph(object):
    def __init__(self, n):
        self.n = n
        self.g = [[] for _ in range(n)]  # to, rev, cap
        self.pos = []

    def add_edge(self, frm, to, cap):
        m = len(self.pos)
        self.pos.append((frm, len(self.g[frm])))
        self.g[frm].append([to, len(self.g[to]), cap])
        self.g[to].append([frm, len(self.g[frm]) - 1, 0])
        return m

    def get_edge(self, i):
        e_to, e_rev, e_cap = self.g[self.pos[i][0]][self.pos[i][1]]
        re_to, _, re_cap = self.g[e_to][e_rev]
        # from, to, cap, flow
        return (re_to, e_to, e_cap + re_cap, re_cap)

    def edges(self):
        m = len(self.pos)
        for i in range(m):
            yield self.get_edge(i)

    def change_edge(self, i, new_cap, new_flow):
        f, s = self.pos[i]
        rf, rs, _ = self.g[f][s]
        self.g[f][s][2] = new_cap - new_flow
        self.g[rf][rs][2] = new_flow
        return

    def dfs(self, s, v, up):
        if v == s:
            return up
        res = 0
        level_v = self.level[v]
        for i in range(self.iter[v], len(self.g[v])):
            u_to, u_rev, _ = self.g[v][i]
            if level_v <= self.level[u_to] or self.g[u_to][u_rev][2] == 0:
                continue
            d = self.dfs(s, u_to, min(up - res, self.g[u_to][u_rev][2]))
            if d <= 0:
                continue
            self.g[v][i][2] += d
            self.g[u_to][u_rev][2] -= d
            res += d
            if res == up:
                break
        return res

    def flow(self, s, t, flow_limit=10**18):
        self.iter = [0] * self.n

        flow = 0
        while flow < flow_limit:
            self.level = [-1] * self.n
            self.level[s] = 0
            que = deque([s])
            while que:
                v = que.popleft()
                for u_to, _, u_cap in self.g[v]:
                    if u_cap == 0 or self.level[u_to] >= 0:
                        continue
                    self.level[u_to] = self.level[v] + 1
                    if u_to == t:
                        break
                    que.append(u_to)

            if self.level[t] == -1:
                break
            self.iter = [0] * self.n
            while flow < flow_limit:
                f = self.dfs(s, t, flow_limit - flow)
                if not f:
                    break
                flow += f
        return flow

    def min_cut(self, s):
        visited = [False] * self.n
        que = deque([s])
        while que:
            v = que.popleft()
            visited[v] = True
            for u_to, _, u_cap in self.g[v]:
                if u_cap and (not visited[u_to]):
                    visited[u_to] = True
                    que.append(u_to)
        return visited


N, M, d = map(int, input().split())
U = 10**9
data = []

table = [set() for _ in range(N)]
table[0].add(0)
table[N - 1].add(10 ** 9)
for _ in range(M):
    s, t, p, q, w = map(int, input().split())
    s -= 1
    t -= 1
    table[s].add(p)
    table[t].add(q + d)
    data.append((s, t, p, q + d, w))

cnt = 0
ttoi = dict()
for airport, time in enumerate(table):
    time = sorted(time)
    for t in time:
        if t > U:
            break
        ttoi[(airport, t)] = cnt
        cnt += 1


g = MF_graph(cnt + 10)
source = cnt
sink = cnt + 1
inf = U * U

g.add_edge(source, 0, inf)
goal = ttoi[(N-1, U)]
g.add_edge(goal, sink, inf)
for s, t, p, q, w in data:
    x = ttoi[(s, p)]
    y = ttoi[(t, q)]
    g.add_edge(x, y, w)

for airport, time in enumerate(table):
    time = sorted(time)
    for i in range(len(time) - 1):
        x = ttoi[(airport, time[i])]
        for j in range(i + 1, len(time)):
            y = ttoi[(airport, time[j])]
            g.add_edge(x, y, inf)

print(g.flow(source, sink))
0