結果

問題 No.177 制作進行の宮森あおいです！
ユーザー tktk_snsntktk_snsn
提出日時 2021-03-19 19:47:30
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 128 ms / 2,000 ms
コード長 3,895 bytes
コンパイル時間 517 ms
コンパイル使用メモリ 87,400 KB
実行使用メモリ 78,664 KB
最終ジャッジ日時 2023-08-11 22:11:52
合計ジャッジ時間 3,572 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 101 ms
76,172 KB
testcase_01 AC 97 ms
72,156 KB
testcase_02 AC 96 ms
71,636 KB
testcase_03 AC 109 ms
76,380 KB
testcase_04 AC 105 ms
76,284 KB
testcase_05 AC 107 ms
76,300 KB
testcase_06 AC 118 ms
77,900 KB
testcase_07 AC 107 ms
76,832 KB
testcase_08 AC 106 ms
76,648 KB
testcase_09 AC 128 ms
78,464 KB
testcase_10 AC 125 ms
78,164 KB
testcase_11 AC 126 ms
78,532 KB
testcase_12 AC 124 ms
78,664 KB
testcase_13 AC 97 ms
71,480 KB
testcase_14 AC 94 ms
71,584 KB
testcase_15 AC 95 ms
71,480 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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


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):
        """ frmからtoへ容量cap, 流量0の辺を追加, 何番目の辺かを返す"""
        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):
        """ 辺の情報を返す(frm, to, cap, flow) """
        m = len(self.pos)
        for i in range(m):
            yield self.__get_edge(i)

    def change_edge(self, i, new_cap, new_flow):
        """ 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):
        """ sからtへflow_limitだけ流す。流せた量を返す """
        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):
        """ 最小カットを返す。sから到達可能だとTrue """
        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


W = int(input())
N = int(input())
J = tuple(map(int, input().split()))
M = int(input())
C = tuple(map(int, input().split()))
cap = [[inf] * N for _ in range(M)]
for m in range(M):
    _, *X = map(int, input().split())
    for n in X:
        cap[m][n-1] = 0

G = MF_graph(N + M + 2)
source = N + M
sink = source + 1
for i, j in enumerate(J):
    G.add_edge(source, i, j)
for i, c in enumerate(C):
    G.add_edge(i + N, sink, c)
for n in range(N):
    for m in range(M):
        G.add_edge(n, N+m, cap[m][n])

flow = G.flow(source, sink)
if flow >= W:
    print("SHIROBAKO")
else:
    print("BANSAKUTSUKITA")
0