結果

問題 No.1479 Matrix Eraser
ユーザー ああいい
提出日時 2022-03-16 00:45:00
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,025 ms / 3,000 ms
コード長 2,722 bytes
コンパイル時間 375 ms
コンパイル使用メモリ 82,492 KB
実行使用メモリ 159,340 KB
最終ジャッジ日時 2024-09-22 17:20:54
合計ジャッジ時間 16,523 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 39
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import deque
 
 
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'))


import sys
rr = sys.stdin
H,W = map(int,rr.readline().split())
A = [list(map(int,rr.readline().split())) for _ in range(H)]


d = [[] for _ in range(5 * 10 ** 5 + 1)]
s = set()
for h in range(H):
    for w in range(W):
        d[A[h][w]].append((h,w))
        s.add(A[h][w])
        
inf = 1 << 30
ans = 0
for k in s:
    if k == 0:continue
    
    l = d[k]
    if len(l) == 1:
        ans += 1
        continue
    elif len(l) == 2:
        if l[0][0] == l[1][0] or l[0][1] == l[1][1]:
            ans += 1
        else:
            ans += 2
        continue
    ch = set()
    cw = set()
    for h,w in l:
        ch.add(h)
        cw.add(w)
    rDh = sorted(ch)
    rDw = sorted(cw)
    Dh = {v:i for i,v in enumerate(rDh)}
    Dw = {v:i for i,v in enumerate(rDw)}
    n = len(Dh) + len(Dw)
    dinic = Dinic(n + 2)
    T = n + 1
    base = len(Dh)
    for h,w in l:
        dinic.add_link(Dh[h]+1,base + Dw[w] + 1,inf)
    for i in range(base):
        dinic.add_link(0,i+1,1)
    for i in range(len(Dw)):
        dinic.add_link(base + i + 1,T,1)
    ans += dinic.max_flow(0,T)
print(ans)
0