diff --git a/P17539.cpp b/P17539.cpp
new file mode 100644
index 0000000..b7d6e43
--- /dev/null
+++ b/P17539.cpp
@@ -0,0 +1,28 @@
+#include <bits/stdc++.h>
+using namespace std;
+int pre[2000005];
+int main() {
+    ios::sync_with_stdio(false);
+    cin.tie(nullptr);
+    int n, m;
+    cin >> n >> m;
+    string s;
+    cin >> s;
+    for (int i = 0; i < n; ++i)
+        pre[i + 1] = pre[i] + (s[i] == '1');
+    int ans = 0;
+    for (int i = 0; i < m; ++i) {
+        int l, r;
+        cin >> l >> r;
+        int len = r - l + 1;
+        if (len % 2 != 0) {
+            cout << -1 << '\n';
+            return 0;
+        }
+        int c = pre[r] - pre[l - 1];
+        if (c != len / 2)
+            ++ans;
+    }
+    cout << (ans + 1) / 2 << '\n';
+    return 0;
+}
\ No newline at end of file
diff --git a/P17539.md b/P17539.md
new file mode 100644
index 0000000..538300a
--- /dev/null
+++ b/P17539.md
@@ -0,0 +1,58 @@
+# P17539 日月同错
+
+## 题目背景
+
+乌龟仙人又来为难高皓光了，为了避免成为法尸，请你完成下面这道题。
+
+## 题目描述
+
+给出一个长度为 $n$ 的 $\texttt{01}$ 串（只包含 $\texttt{0,1}$ 的字符串），再给出 $m$ 个**互不相交的**区间 $[l_i,r_i]$。形式化地，对于所有 $1$ 到 $n$ 的整数，其至多被包含在一个区间中。
+
+你可以进行若干次操作，每次操作可以任意选择一个区间 $[L,R]$，将区间 $[L,R]$ 内的所有 $\texttt{0}$ 都变成 $\texttt{1}$，同时所有 $\texttt{1}$ 都变成 $\texttt{0}$。
+
+求让所有给定的区间中，每一个区间内 $\texttt{0},\texttt{1}$ 数量都相同的最少操作次数。无解输出 `-1`。
+
+## 输入格式
+
+第一行两个整数 $n,m$。
+
+第二行一个长度为 $n$ 的 $\texttt{01}$ 串。
+
+接下来 $m$ 行，每行两个整数 $l_i,r_i$，表示一个区间。保证这些区间互不相交。
+
+## 输出格式
+
+一行一个整数表示最小的操作次数，或者 `-1` 表示无解。
+
+## 输入输出样例 #1
+
+### 输入 #1
+
+```
+4 1
+1011
+1 4
+```
+
+### 输出 #1
+
+```
+1
+```
+
+## 说明/提示
+
+### 样例 #1 解释
+
+操作区间 $[3,3]$，该串将变为 $\texttt{1001}$。此时区间 $[1,4]$ 中恰有两个 $\texttt{0},\texttt{1}$，所以符合题目要求。可以证明这是最少的操作次数。
+
+### 数据范围
+
+对于 $100\%$ 的数据，$1\le m\le n\le 2\times 10^6$。保证 $m$ 个区间互不相交。
+
+|测试点|$n\le$|$m\le$|
+|:-----:|:-----:|:-----:|
+|$1\sim 2$|$10$|$n$|
+|$3\sim 4$|$500$|$n$|
+|$5\sim 6$|$2\times 10^6$|$1$|
+|$7\sim 10$|$2\times 10^6$|$n$|
\ No newline at end of file