結果

問題 No.1541 ゅゅさんのテスト勉強
コンテスト
ユーザー qib
提出日時 2023-01-03 17:33:28
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 83 ms / 2,000 ms
コード長 2,275 bytes
コンパイル時間 573 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 74,112 KB
最終ジャッジ日時 2024-11-27 02:17:23
合計ジャッジ時間 4,007 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import deque
import sys

sys.setrecursionlimit(10 ** 6)

class Dinic:
  def __init__(self, n, flow_limit):
    self.vertices = n
    self.flow_limit = flow_limit
    self.links = [[] for _ in range(n)]
    self.level = None
    self.progress = None

  def add_link(self, f, t, cap):
    from_id = len(self.links[f])
    to_id = len(self.links[t])
    if f == t:
      to_id += 1
    self.links[f].append([cap, t, to_id])
    self.links[t].append([0, f, from_id])

  def bfs(self, src, dst):
    level = [-1 for _ in range(self.vertices)]
    level[src] = 0
    dq = deque([src])
    while len(dq) > 0:
      cur = dq.popleft()
      for cap, nxt, _ in self.links[cur]:
        if cap > 0 and level[nxt] < 0:
          level[nxt] = level[cur] + 1
          dq.append(nxt)

    self.level = level
    return level[dst] != -1

  def dfs(self, cur, src, up):
    if cur == src:
      return up

    ans = 0
    lv_cur = self.level[cur]
    for i in range(self.progress[cur], len(self.links[cur])):
      self.progress[cur] += 1
      cap, nxt, rev = self.links[cur][i]
      if self.level[nxt] >= lv_cur or self.links[nxt][rev][0] == 0:
        continue

      d = self.dfs(nxt, src, min(up - ans, self.links[nxt][rev][0]))
      if d <= 0:
        continue

      self.links[cur][i][0] += d
      self.links[nxt][rev][0] -= d
      ans += d
      if ans == up:
        break

    return ans

  def max_flow(self, src, dst):
    ans = 0
    while ans < self.flow_limit:
      if not self.bfs(src, dst):
        break
      self.progress = [-1 for _ in range(self.vertices)]

      while ans < self.flow_limit:
        f = self.dfs(dst, src, self.flow_limit - ans)
        if f <= 0:
          break
        ans += f

    return ans

INF = 10 ** 13

n, m = map(int, input().split())

src = n
dst = n + 1

mf = Dinic(n + 2, INF)

ans = m * n
for u in range(n):
  k, c = map(int, input().split())
  if k == 0:
    mf.add_link(u, dst, c)
    mf.add_link(src, u, m)
  else:
    a = list(map(int, input().split()))
    b = list(map(int, input().split()))
    sum_b = sum(b)
    ans += sum_b
    mf.add_link(u, dst, c)
    mf.add_link(src, u, m + sum_b)
  
    for j in range(k):
      v = a[j] - 1
      mf.add_link(u, v, b[j])

ans -= mf.max_flow(src, dst)
print(ans)
0