C - Adjacent Sums (easy) 解説 /

実行時間制限: 2 sec / メモリ制限: 1024 MiB

配点 : 300 点

問題文

※ C 問題の問題文は E 問題と同じです。赤字で示された制約のみが異なります。

0 以上 M-1 以下の整数からなる整数列 A=(A_1,A_2,\dots,A_N),B=(B_1,B_2,\dots,B_{N-1}) が与えられます。 A,B の長さはそれぞれ N,N-1 です。
A に対して以下の操作を好きな回数行うことができます。

  • 1 以上 N 以下の整数 i を 1 つ選び、A_i に 1 を加える。

以下の条件を満たすようにするために必要な操作回数の最小値を求めてください。
なお、問題の制約下では、必ず条件を満たすようにできることが証明できます。

  • i=1,2,\dots,N-1 について、A_i+A_{i+1} を M で割った余りは B_i に等しい。

制約

  • 2 \leq N \leq 2 \times 10^5
  • M=2
  • 0 \leq A_i \leq M-1
  • 0 \leq B_i \leq M-1
  • 入力される値はすべて整数

入力

入力は以下の形式で標準入力から与えられる。

N M  
A_1 A_2 \ldots A_N
B_1 B_2 \ldots B_{N-1}

出力

答えを 1 行で出力せよ。


入力例 1

3 2
1 1 1
1 1

出力例 1

1

1 回目の操作で i=2 を選ぶと、A=(1,2,1) となります。
A_1+A_2=1+2=3,\;A_2+A_3=2+1=3 なので、条件を満たします。
また、A=(1,1,1) は条件を満たさないため、答えは 1 です。


入力例 2

2 2
1 1
0

出力例 2

0

入力例 3

10 2
0 0 0 1 1 0 1 0 1 0
0 1 0 1 0 1 0 1 0

出力例 3

4

Score : 300 points

Problem Statement

The problem statement of Problem C is the same as Problem E. Only the constraint shown in red differ.

You are given integer sequences A=(A_1,A_2,\dots,A_N),B=(B_1,B_2,\dots,B_{N-1}) consisting of integers between 0 and M-1, inclusive. The lengths of A and B are N and N-1, respectively.
You can perform the following operation on A any number of times.

  • Choose an integer i with 1 \leq i \leq N, and add 1 to A_i.

Find the minimum number of operations required to satisfy the following condition.
It can be proved that the condition can always be satisfied under the constraints of this problem.

  • For i=1,2,\dots,N-1, the remainder when A_i+A_{i+1} is divided by M equals B_i.

Constraints

  • 2 \leq N \leq 2 \times 10^5
  • M=2
  • 0 \leq A_i \leq M-1
  • 0 \leq B_i \leq M-1
  • All input values are integers.

Input

The input is given from Standard Input in the following format:

N M  
A_1 A_2 \ldots A_N
B_1 B_2 \ldots B_{N-1}

Output

Output the answer on one line.


Sample Input 1

3 2
1 1 1
1 1

Sample Output 1

1

If we choose i=2 for the first operation, we get A=(1,2,1).
Since A_1+A_2=1+2=3 and A_2+A_3=2+1=3, the condition is satisfied.
A=(1,1,1) does not satisfy the condition, so the answer is 1.


Sample Input 2

2 2
1 1
0

Sample Output 2

0

Sample Input 3

10 2
0 0 0 1 1 0 1 0 1 0
0 1 0 1 0 1 0 1 0

Sample Output 3

4