結果

問題 No.1479 Matrix Eraser
ユーザー aaaaaaaaaa2230aaaaaaaaaa2230
提出日時 2021-04-16 22:27:02
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 2,695 ms / 3,000 ms
コード長 3,302 bytes
コンパイル時間 640 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 175,104 KB
最終ジャッジ日時 2024-07-03 02:33:02
合計ジャッジ時間 39,718 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 61 ms
75,904 KB
testcase_01 AC 68 ms
76,416 KB
testcase_02 AC 63 ms
76,288 KB
testcase_03 AC 65 ms
76,160 KB
testcase_04 AC 64 ms
76,672 KB
testcase_05 AC 65 ms
76,672 KB
testcase_06 AC 68 ms
76,416 KB
testcase_07 AC 383 ms
100,480 KB
testcase_08 AC 469 ms
104,704 KB
testcase_09 AC 975 ms
118,912 KB
testcase_10 AC 1,836 ms
150,272 KB
testcase_11 AC 1,169 ms
124,032 KB
testcase_12 AC 407 ms
102,400 KB
testcase_13 AC 438 ms
104,064 KB
testcase_14 AC 404 ms
101,888 KB
testcase_15 AC 178 ms
98,432 KB
testcase_16 AC 391 ms
102,144 KB
testcase_17 AC 2,276 ms
166,144 KB
testcase_18 AC 2,205 ms
167,040 KB
testcase_19 AC 2,328 ms
164,992 KB
testcase_20 AC 2,482 ms
166,656 KB
testcase_21 AC 2,346 ms
167,936 KB
testcase_22 AC 2,376 ms
168,064 KB
testcase_23 AC 2,260 ms
167,552 KB
testcase_24 AC 2,308 ms
165,760 KB
testcase_25 AC 2,266 ms
167,680 KB
testcase_26 AC 2,294 ms
165,504 KB
testcase_27 AC 460 ms
119,040 KB
testcase_28 AC 441 ms
118,144 KB
testcase_29 AC 422 ms
119,552 KB
testcase_30 AC 423 ms
118,016 KB
testcase_31 AC 420 ms
117,888 KB
testcase_32 AC 328 ms
152,704 KB
testcase_33 AC 341 ms
153,600 KB
testcase_34 AC 335 ms
153,984 KB
testcase_35 AC 333 ms
154,624 KB
testcase_36 AC 327 ms
153,216 KB
testcase_37 AC 136 ms
112,512 KB
testcase_38 AC 406 ms
124,672 KB
testcase_39 AC 2,695 ms
175,104 KB
testcase_40 AC 61 ms
76,032 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import deque
import sys
sys.setrecursionlimit(10**6)
class MaxFlow:
    inf = 10**18

    class E:
        def __init__(self,to,cap):
            self.to = to
            self.cap = cap
            self.rev = None

    def __init__(self,n):
        self.n = n
        self.graph = [[] for _ in range(n)]

    def add_edge(self, fr, to, cap):
        graph = self.graph
        edge = self.E(to,cap)
        edge2 = self.E(fr,0)
        edge.rev = edge2
        edge2.rev = edge
        graph[fr].append(edge)
        graph[to].append(edge2)

    def bfs(self, s, t):
        level = self.level = [self.n]*self.n
        q = deque([s])
        level[s] = 0
        while q:
            now = q.popleft()
            lw = level[now]+1
            for e in self.graph[now]:
                if e.cap and level[e.to]> lw:
                    level[e.to] = lw
                    if e.to == t:
                        return True
                    q.append(e.to)
        return False

    def dfs(self, s, t, up):
        graph = self.graph
        it = self.it
        level = self.level

        st = deque([t])
        while st:
            v = st[-1]
            if v == s:
                st.pop()
                flow = up
                for w in st:
                    e = graph[w][it[w]].rev
                    flow = min(flow, e.cap)
                for w in st:
                    e = graph[w][it[w]]
                    e.cap += flow
                    e.rev.cap -= flow
                return flow
            lv = level[v]-1
            while it[v] < len(graph[v]):
                e = graph[v][it[v]]
                re = e.rev
                if re.cap == 0 or lv != level[e.to]:
                    it[v] += 1
                    continue
                st.append(e.to)
                break
            if it[v] == len(graph[v]):
                st.pop()
                level[v] = self.n

        return 0

    def flow(self,s,t,flow_limit=inf):
        flow = 0
        while flow < flow_limit and self.bfs(s,t):
            self.it = [0]*self.n
            while flow < flow_limit:
                f = self.dfs(s,t,flow_limit-flow)
                if f == 0:
                    break
                flow += f
        return flow

    def min_cut(self,s):
        visited = [0]*self.n
        q = deque([s])
        while q:
            v = q.pop()
            visited[v] = 1
            for e in self.graph[v]:
                if e.cap and not visited[e.to]:
                    q.append(e.to)
        return visited
h,w = map(int,input().split())
A = [list(map(int,input().split())) for i in range(h)]

xy = [[] for i in range(5*10**5+5)]
for i in range(h):
    for j in range(w):
        xy[A[i][j]].append((i,j))

ans = 0
for i in range(5*10**5,0,-1):
    if xy[i] == []:
        continue
    s = h+w
    t = s+1
    maxflow = MaxFlow(t+1)
    #for j in range(h):
      #  maxflow.add_edge(s, j, 1)
    #for j in range(w):
     #   maxflow.add_edge(h+j, t, 1)
    sh = set()
    sw = set()
    for x,y in xy[i]:
        maxflow.add_edge(x, h+y, 1)
        if x not in sh:
            maxflow.add_edge(s, x, 1)
            sh.add(x)
        if y not in sw:
            maxflow.add_edge(h+y, t, 1)
            sw.add(y)
    ans += maxflow.flow(s, t)
print(ans)
0