P17746 「RSOI-1C」序列 / sequence

题目来源：【HT-121-Div.3】核桃 CSP-J 组模拟赛

小 R 有两个长度为 $n$ 的序列 $a$ 和 $b$。 他可以执行此操作任意次（也可以不执行）： - 选一个长度 $\leq k$ 的区间 $[l, r]$（即 $1\le l\le r\le n$ 且 $r-l+1 \le k$），把 $a_l \sim a_r$ 都 $+1$。 现在，他问你最少需要多少次才可以让 $a$ 与 $b$ 相同。如果不可能输出 $-1$。

输入共三行。 第一行，两个正整数 $n,k$。 第二行，$n$ 个整数 $a_1, a_2 ,\dots, a_n$。 第三行，$n$ 个整数 $b_1,b_2 ,\dots, b_n$。

输出一行一个整数，表示答案。

**【样例解释 #1】** 依次选择 $[1,3], [2,2], [5,5]$ 可使 $a=b$。可以证明没有其他方案可以以更少的次数达到目标。 **【样例解释 #2】** 无需操作，序列 $a$ 与序列 $b$ 相同，故输出 `0`。 **【样例解释 #3】** 可以证明，序列 $a$ 不可能操作成序列 $b$，故输出 `-1`。 **【数据范围】** 对于所有测试数据，保证：$1\le k \le n \le 10^6,0 \le a_i,b_i \le 10^{9}$。 ::cute-table{tuack} | 子任务编号 | $k \le n \le$ | $a_i,b_i \le$ | 特殊性质 | 分值 | | :--: | :--: | :--: | :--: | :--: | | $1$ | $10$ | $10$ | 无 | $20$ | | $2$ | $10^3$ | $10^3$ | 无 | $20$ | | $3$ | $10^6$ | $10^9$ | $k = n$ | $20$ | | $4$ | $10^6$ | $1$ | 无 | $20$ | | $5$ | $10^6$ | $10^9$ | 无 | $20$ |