AT_maximum_2013_j ALPHAのならび

Description

[problemUrl]: https://atcoder.jp/contests/maximum-cup-2013/tasks/maximum_2013_j 与えられた長さ $ n $ の数列 $ α\ =\ (a_1,\ ...,\ a_n) $ が k-sorted かどうかを判定せよ。 全ての $ 1\ ≦\ i,\ j\ ≦\ n $ に対して $ i\ ならば\ a_i\ ≦\ a_j $ が成り立つとき、およびそのときに限り、$ α $ は k-sorted であるという。 0-sorted は普通のソートと等価である。 入力は複数のデータセットからなり、入力の終わりはスペースで区切られた 2 つの `-1` からなる。 各データセットは以下のように 2 行で構成される。 > $ n $ $ k $ $ a_1 $ $ ... $ $ a_n $ 1 行目は 2 つの整数で構成される。 数列 $ α $ の長さを表す $ n $ に続き、k-sorted の $ k $ が与えられる。 $ n $ と $ k $ は、それぞれ $ 0\ ≦\ n\ ≦\ 50,000 $, $ 0\ ≦\ k\ ≦\ n $ の条件を満たす。 2 行目は $ n $ 個の整数で構成される。 $ i $ 番目の整数が数列 $ α $ の $ i $ 番目の要素 $ a_i $ を表す ($ 1\ ≦\ i\ ≦\ n $)。 数列 $ α $ の要素 $ a_i $ は、$ 0\ ≦\ a_i\ の条件を満たす。 $ 各データセットについて、与えられた数列 $ α $ が k-sorted であるなら `Yes` を、そうでないなら `No` をそれぞれ 1 行に出力せよ。 ``` 3 0 1 2 3 3 0 2 1 3 3 1 2 1 3 3 1 3 1 2 3 2 3 1 2 1 1 1 1 0 1 0 0 -1 -1 ``` ``` Yes No Yes No Yes Yes Yes Yes ```

Input Format

N/A

Output Format

N/A