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)