結果

問題 No.1479 Matrix Eraser
ユーザー Navier_BoltzmannNavier_Boltzmann
提出日時 2023-09-13 14:24:21
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,096 ms / 3,000 ms
コード長 2,445 bytes
コンパイル時間 169 ms
コンパイル使用メモリ 82,228 KB
実行使用メモリ 212,596 KB
最終ジャッジ日時 2024-06-30 23:08:06
合計ジャッジ時間 26,653 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 39
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import *
from itertools import *
from functools import *
from heapq import *
import sys,math
input = sys.stdin.readline

class Dinic:
    def __init__(self, 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):
        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
        links_v = self.links[v]
        for i in range(self.progress[v], len(links_v)):
            self.progress[v] = i
            cap, to, rev = link = 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
            link[0] -= d
            self.links[to][rev][0] += d
            return d
        return 0
 
    def max_flow(self, s, t):
        flow = 0
        while True:
            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'))
                

H,W = map(int,input().split())
A = [list(map(int,input().split())) for _ in range(H)]
ans = 0
V = defaultdict(set)
E = defaultdict(list)
N = H*W
for i in range(H):
    for j in range(W):
        a = A[i][j]
        V[a].add(i)
        V[a].add(j+N)
        E[a].append((i,j+N))

for k in V.keys():
    if k==0:
        continue
    v = list(V[k])+[-1,2*N]
    v.sort()
    n = len(v)
    D = Dinic(n)
    conv = {v[i]:i for i in range(n)}
    S = set()
    T = set()
    for i,j in E[k]:
        S.add(conv[i])
        T.add(conv[j])
        D.add_link(conv[i],conv[j],1)
    for s in S:
        D.add_link(0,s,1)
    for t in T:
        D.add_link(t,n-1,1)
    ans += D.max_flow(0,n-1)
print(ans)
0