题意

有一个无限大的集合，其中包含了 $1$ 到正无穷之间的所有数。现在有一个长度为 $n$ 的数组，要对集合进行如下操作 $k$ 次：

删去集合中第 $a_i$ 小的数字。

问最终集合中最小的数字是多少。

思路

可以发现一个数 $x$，如果在操作一次之后没有被删去的话，那么一定能在数组中找到一个位置 $i$，满足$x$ > $a_i$。然后 $x$ 就变成了 $x - i$。

那么从位置 $1$ 反向模拟回去，模拟 $k$ 次就可以找到答案了。

令 答案$ans=1$, 步长 $cnt = 0$，如果 $ans+cnt>=a_i$，那么说明在这一步中有数字会被删去，此时 $cnt$ 还要$+1$。

int a[N];
void solve()
{
    int n, k;
    cin >> n >> k;
    for (int i = 1; i <= n; i++) {
        cin >> a[i];
    }
    int ans = 1;
    int cnt = 0, r = 1;
    while(k--) {
        while(r <= n && ans + cnt >= a[r]) {
            cnt++;
            r++;
        }
        ans += cnt;
    }
    cout << ans << "\n";
}