aibiK|a_i - b_i| \leq Kを言い換えると、aiKbiai+Ka_i - K \leq b_i \leq a_i + Kとなります。\\ また、bbは広義単調増加なので、2iN2 \leq i \leq Nにおいて、 bi1bib_{i-1} \leq b_iを満たす必要があります。\\ これらと制約の1bi1091 \leq b_i \leq 10 ^ 9をまとめると、

max(a1K,1)b1min(a1+K,109)max(a_1 - K, 1) \leq b_1 \leq min(a_1 + K, 10 ^ 9)

2iN2 \leq i \leq Nで、\\ max(aiK,bi1)bimin(ai+K,109)max(a_i - K, b_{i-1}) \leq b_i \leq min(a_i + K, 10 ^ 9)

となります。

bbは辞書順で最小の配列なので、b1=max(a1K,1)b_1 = max(a_1 - K, 1)は明らかです。 2N\\2 \leq Nでは、max(aiK,bi1)bimin(ai+K,109)max(a_i - K, b_{i-1}) \leq b_i \leq min(a_i + K, 10 ^ 9) を満たす最小のbib_iを前から順に当てはめていけば良いです。条件をみたすbib_iが存在しないとき、Noを出力します。