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 解释 操作区间 $[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$|