一度の操作で、$a$の和に対して$b$の和が1減ります。2つの数列を一致させるための必要条件は、2つの数列の和を同じにすることなので、操作回数を$C$とおくと、次の式が成り立ちます。
\[C = \sum_{i=1}^N b_i - \sum_{i=1}^N a_i\]$C \lt 0$のときは一致させることができないため、 'No'を出力します。以降は、$C \ge 0$を前提として考えます。
ここで、前の要素から順に一致させていくことを考えます。このときに、同時に行うという条件は一旦忘れて、一致させるために$a_i$と$b_i$をそれぞれ何回操作すればいいかを考えます。
このときの最小の操作回数は、次のルールで貪欲に求められます。
$a_i$の操作回数を$x$とおくと、$2x + a_i \ge b_i$が成り立ちます。この式を変形することで、$x$の最小値は$\lceil (b_i - a_i) / 2 \rceil$であることがわかります。そして$b_i$の操作回数は、操作後の$a_i$から$b_i$を引いた値です。
各要素の最小の操作回数の合計を$A$、$B$とおいたとき、どちらかが$C$を超えている場合は数列を一致させられません。そして、$(C - A) \times 2 \neq C - B$の場合も一致させられません。
したがって、$A \le C$、$B \le C$、$(C - A) \times 2 = C - B$を満たした場合は 'Yes'を、それ以外の場合は'No'を出力すればよいです。計算量は$O(N)$なので間に合います。