arc070.contest.atcoder.jp 解法（証明？） a[i] を降順にソートする． 今，a[i] が不必要かどうかを判定したいとする．この時，Si := a[1] + a[2] + ... + a_[i] とおく． また，a[n] から a[i + 1] までの和で表現できる K 未満の数がわかっているとする．…