小红的好矩阵

题号：NC317515
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

$\hspace{15pt}$ 小红定义一个 $01$ 矩阵是合法的，当且仅当其中每个由 $0$ 组成的四连通块大小都恰好为 $3$ ，并且每个由 $1$ 组成的四连通块大小也都恰好为 $3$ 。

$\hspace{15pt}$ 现在给定一个大小为 $2 \times n$ 的 $01$ 矩阵。你每次可以修改一个字符，将 $\texttt{1}$ 改成 $\texttt{0}$ ，或将 $\texttt{0}$ 改成 $\texttt{1}$ 。

$\hspace{15pt}$ 请你求出，最少需要修改多少个字符，才能使这个矩阵变成合法矩阵。如果无论如何都无法变成合法矩阵，输出 $-1$ 。

$\hspace{15pt}$ 这里的连通块采用四连通定义，也就是说两个格子只有在共边时才算相邻。

第一行输入一个整数 （）。
接下来两行，每行输入一个长度为  的  字符串，表示矩阵的两行。

输出一个整数，表示最少修改次数。
如果无解，输出 。

示例1

复制

6
110110
100100

复制

原矩阵本身已经合法。
其中左侧的  个  构成一个大小为  的连通块，右侧的  个  也构成一个大小为  的连通块。所有  的连通块大小同样都恰好为 ，因此不需要修改。