AT_tkppc4_2_f Segtree☆Magica
Description
[problemUrl]: https://atcoder.jp/contests/tkppc4-2/tasks/tkppc4_2_f
配点 $ 700 $ 点
魔法少女のタプリスさんは、$ Segtree $ という魔法のステッキを手に入れました。タプリスさんはクオリティの低い自分のなりきり達に腹を立てており、このステッキを使ってなりきり達を倒すことにしました。
$ N $ 体のなりきりが一直線に並んでおり、左から順に $ 1 $ から $ N $ までの番号が付いています。$ i $ 番目のなりきりの体力は $ A_i $ です。タプリスさんはこれから好きな順番で好きな回数だけ、$ K $ 以上 $ N-K+1 $ 以下の番号の相手をヒットすることができます。
$ Segtree $ は範囲攻撃型の武器であり、タプリスさんが $ x $ 番目の相手を $ Segtree $ でヒットすると $ y $ 番目の相手は $ max(0,\ K-|x-y|)^2 $ のダメージを受けます。
タプリスさんはよい天使なので、相手の体力がゼロより小さくなるようには攻撃しません。タプリスさんがこの条件を遵守した上ですべての相手を倒すこと、つまりすべての相手の体力をちょうどゼロにすることが可能であるかを判定してください。
Input Format
入力は以下の形式で標準入力から与えられる。
> $ N $ $ K $ $ A_1 $ $ A_2 $ $ ... $ $ A_{N-1} $ $ A_N $
Output Format
全ての相手の体力をちょうどゼロにすることが可能なら `Yes`、そうでないなら `No` と出力してください。
Explanation/Hint
### 制約
- 入力は全て整数である。
- $ 3\ \leq\ N,\ K\ \leq\ 133\ 333 $
- $ 2K-1\ \leq\ N $
- $ 0\ \leq\ A_i\ \leq\ 10^{13} $
### Sample Explanation 1
例えば、$ 3 $番目、$ 5 $番目、$ 6 $番目の相手をこの順に $ Segtree $ でヒットすると、以下のように体力の値が変化します。 - まず、$ 3 $ 番目の相手をヒットする。相手の体力は左から順に $ {0,\ 0,\ 1,\ 5,\ 13,\ 13,\ 5,\ 1} $ に変化する。 - 次に、$ 5 $ 番目の相手をヒットする。相手の体力は左から順に $ {0,\ 0,\ 0,\ 1,\ 4,\ 9,\ 4,\ 1} $ に変化する。 - 次に、$ 6 $ 番目の相手をヒットする。相手の体力は左から順に $ {0,\ 0,\ 0,\ 0,\ 0,\ 0,\ 0,\ 0} $ に変化する。 そのようにヒットを行えば、$ Segtree $ さんは全ての相手の体力をちょうどゼロにすることができます。
### Sample Explanation 2
どのようなやり方でヒットしても、全ての相手の体力をちょうどゼロにすることはできません。