結果
| 問題 |
No.3060 Erase Binary Matrix
|
| ユーザー |
 rin204
|
| 提出日時 | 2024-10-20 23:08:52 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 138 ms / 2,000 ms |
| コード長 | 7,649 bytes |
| コンパイル時間 | 368 ms |
| コンパイル使用メモリ | 82,184 KB |
| 実行使用メモリ | 77,648 KB |
| 最終ジャッジ日時 | 2025-03-12 00:39:22 |
| 合計ジャッジ時間 | 6,781 ms |
|
ジャッジサーバーID （参考情報） |
judge5 / judge3 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 49 |
ソースコード
def popcount32(x):
x = x - ((x >> 1) & 0x55555555)
x = (x & 0x33333333) + ((x >> 2) & 0x33333333)
x = (x + (x >> 4)) & 0x0F0F0F0F
x += x >> 8
x += x >> 16
return x & 0x0000003F
def popcount64(x):
x = (x & 0x5555555555555555) + ((x >> 1) & 0x5555555555555555)
x = (x & 0x3333333333333333) + ((x >> 2) & 0x3333333333333333)
x = (x & 0x0F0F0F0F0F0F0F0F) + ((x >> 4) & 0x0F0F0F0F0F0F0F0F)
x = (x & 0x00FF00FF00FF00FF) + ((x >> 8) & 0x00FF00FF00FF00FF)
x = (x & 0x0000FFFF0000FFFF) + ((x >> 16) & 0x0000FFFF0000FFFF)
x = (x & 0x00000000FFFFFFFF) + ((x >> 32) & 0x00000000FFFFFFFF)
return x
class Bitset:
def __init__(self, n: int) -> None:
self.n = n
self.m = (n + 62) // 63
self.A = [0] * self.m
def __len__(self) -> int:
return self.n
@property
def size(self) -> int:
return self.n
def __str__(self) -> str:
S = []
for a in self.A:
S.append(bin(a)[2:].zfill(63)[::-1])
S = "".join(S)
return S[: self.n][::-1]
def __getitem__(self, ind: int) -> int:
i = ind // 63
j = ind - i * 63
return self.A[i] >> j & 1
def __setitem__(self, ind: int, k: int) -> None:
i = ind // 63
j = ind - i * 63
if (self.A[i] >> j & 1) != k:
self.A[i] ^= 1 << j
else:
pass
def rev(self, ind: int) -> None:
i = ind // 63
j = ind - i * 63
self.A[i] ^= 1 << j
def count(self) -> int:
ret = 0
for a in self.A:
ret += popcount64(a)
return ret
def __sum__(self) -> int:
return self.count()
def resize(self, n: int) -> None:
m = (n + 62) // 63
if m > self.m:
self.A += [0] * (m - self.m)
else:
self.A = self.A[:m]
j = n % 63
if j != 0:
self.A[-1] &= (1 << j) - 1
else:
pass
self.n = n
self.m = m
def __and__(self, other: "Bitset") -> "Bitset":
if self.n < other.n:
n = self.n
else:
n = other.n
ret = Bitset(n)
for i, (a, b) in enumerate(zip(self.A, other.A)):
ret.A[i] = a & b
return ret
def __iand__(self, other: "Bitset") -> "Bitset":
if self.m < other.m:
m = self.m
else:
m = other.m
for i in range(m):
self.A[i] &= other.A[i]
for i in range(m, self.m):
self.A[i] = 0
return self
def __or__(self, other: "Bitset") -> "Bitset":
if self.n > other.n:
n = self.n
else:
n = other.n
ret = Bitset(n)
for i in range(ret.m):
if i < self.m and i < other.m:
ret.A[i] = self.A[i] | other.A[i]
elif i < self.m:
ret.A[i] = self.A[i]
else:
ret.A[i] = other.A[i]
return ret
def __ior__(self, other: "Bitset") -> "Bitset":
if self.m < other.m:
m = self.m
else:
m = other.m
for i in range(m):
self.A[i] |= other.A[i]
if self.n < other.n:
x = self.n % 63
if x != 0:
mask = (1 << x) - 1
self.A[-1] &= mask
else:
pass
return self
def __xor__(self, other: "Bitset") -> "Bitset":
if self.n > other.n:
n = self.n
else:
n = other.n
ret = Bitset(n)
for i in range(ret.m):
if i < self.m and i < other.m:
ret.A[i] = self.A[i] ^ other.A[i]
elif i < self.m:
ret.A[i] = self.A[i]
else:
ret.A[i] = other.A[i]
return ret
def __ixor__(self, other: "Bitset") -> "Bitset":
if self.m < other.m:
m = self.m
else:
m = other.m
for i in range(m):
self.A[i] ^= other.A[i]
if self.n < other.n:
x = self.n % 63
if x != 0:
mask = (1 << x) - 1
self.A[-1] &= mask
else:
pass
return self
def and_count(self, other: "Bitset") -> int:
ret = 0
for a, b in zip(self.A, other.A):
ret += popcount64(a & b)
return ret
def or_count(self, other: "Bitset") -> int:
ret = 0
if self.m < other.m:
m = self.m
else:
m = other.m
for a, b in zip(self.A[:m], other.A[:m]):
ret += popcount64(a | b)
for a in self.A[m:]:
ret += popcount64(a)
for a in other.A[m:]:
ret += popcount64(a)
return ret
def xor_count(self, other: "Bitset") -> int:
ret = 0
if self.m < other.m:
m = self.m
else:
m = other.m
for a, b in zip(self.A[:m], other.A[:m]):
ret += popcount64(a ^ b)
for a in self.A[m:]:
ret += popcount64(a)
for a in other.A[m:]:
ret += popcount64(a)
return ret
def __rshift__(self, k: int) -> "Bitset":
ret = Bitset(self.n)
x = k // 63
for i in range(x, self.m):
ret.A[i - x] = self.A[i]
k -= x * 63
if k != 0:
mask = (1 << k) - 1
rk = 63 - k
for i, a in enumerate(ret.A):
if i != 0:
ret.A[i - 1] |= (a & mask) << (rk)
ret.A[i] = a >> k
else:
pass
return ret
def __irshift__(self, k: int) -> "Bitset":
x = k // 63
for i in range(x, self.m):
self.A[i - x] = self.A[i]
for i in range(self.m - x, self.m):
self.A[i] = 0
k -= x * 63
if k != 0:
mask = (1 << k) - 1
rk = 63 - k
for i, a in enumerate(self.A):
if i != 0:
self.A[i - 1] |= (a & mask) << (rk)
self.A[i] = a >> k
else:
pass
return self
def __lshift__(self, k: int) -> "Bitset":
ret = Bitset(self.n)
x = k // 63
for i in range(x, self.m):
ret.A[i] = self.A[i - x]
k -= x * 63
if k != 0:
rk = 63 - k
mask = (1 << rk) - 1
for i in range(self.m - 1, -1, -1):
ret.A[i] &= mask
ret.A[i] <<= k
if i != 0:
ret.A[i] |= ret.A[i - 1] >> rk
else:
pass
return ret
def __ilshift__(self, k: int) -> "Bitset":
x = k // 63
for i in range(self.m - 1, x - 1, -1):
self.A[i] = self.A[i - x]
for i in range(x - 1, -1, -1):
self.A[i] = 0
k -= x * 63
if k != 0:
rk = 63 - k
mask = (1 << rk) - 1
for i in range(self.m - 1, -1, -1):
self.A[i] &= mask
self.A[i] <<= k
if i != 0:
self.A[i] |= self.A[i - 1] >> rk
else:
pass
return self
h, w = map(int, input().split())
A = [input() for _ in range(h)]
A.sort()
B = [Bitset(w) for _ in range(h)]
for i in range(h):
for j in range(w):
if A[i][j] == "1":
B[i][j] = 1
dp = [1] * h
for i in range(1, h):
for j in range(i):
if B[j].count() == B[i].and_count(B[j]):
dp[i] = max(dp[i], dp[j] + 1)
print(h - max(dp))