看下面这两段代码：

n, m = map(int, input().split())
s = input()
t = input()
cnt = sum(1 for a, b in zip(s, t) if a == b)
ans = 2 * min(cnt, m) + n - cnt - m
print(ans)

n, m = map(int, input().split())
s = input()
t = input()
cnt = 0
for i in range(n):
    if s[i] == t[i]: cnt += 1
ans = 2 * min(cnt, m) + n - cnt - m
print(ans)

二者区别仅为循环遍历的方式不同，按理来说二者应该是等价的，但上面这段代码提交之后全WA，下面这段代码就能AC，我百思不得其解，大佬们能解释一下吗