题意：有一个长度为n的区间，现在有k个长度为a的东西，放在长度为n的区间上，且这k个东西没有重叠或接触的地方，也就是两两直接至少中间隔了一个空位
现在Bob按顺序选择了许多个点，Bob每选择一个点,Alice都会撒谎说这个点没有被覆盖，问，Bob在选了哪些点后，能确定Alice一定在说谎，也就是，在第几个点的时候，可以确定这个点一定被覆盖了
思路：
ans记录上一次中区间内最多能放多少个长度为a的东西
每次询问一个点t的时候，找到最左边已经查询过的点记为L，和最右边已经查询过的点记为R，这可以用set来维护。
然后算出这[L+1,R-1]里面本身最多能放多少个长度为a的东西，因为我t点必须是空位，先拿ans-solve(L+1,R-1)，就得到了如果[1,L-1]和[R+1,n]能放多少个长度为a的东西的数量
然后再加上[L+1,t-1]和[t+1,R-1]，也就是将以前的一个连续区间分成两部分以后，分别能放多少个，，这样就更新了ans
以后每次只要比较ans和k的大小关系，，就能得到答案了
#include<cstdio>
#include<cmath>
#include<cstring>
#include<queue>
#include<vector>
#include<map>
#include<set>
#include<string>
#include<iostream>
#include<functional>
#include<algorithm>using namespace std;
typedef long long LL;
typedef pair<int, int> PII;const int MX = 2e5 + 5;
const int INF = 0x3f3f3f3f;int n, k, a, m, t;
int A[MX];int solve(int L, int R) {if(L > R) return 0;return (R - L + 2) / (a + 1);
}int main() {//freopen("input.txt", "r", stdin);scanf("%d%d%d%d", &n, &k, &a, &m);set<int>work;work.insert(0);work.insert(n+1);int ans = -1, sum = solve(1, n);for(int i = 1; i <= m; i++) {scanf("%d", &A[i]);}for(int i = 1; i <= m; i++) {t = A[i];int L = *(--work.lower_bound(t));int R = *work.upper_bound(t);work.insert(t);sum = sum - solve(L + 1, R - 1) + solve(L + 1, t - 1) + solve(t + 1, R - 1);if(sum < k) {ans = i;break;}}printf("%d\n", ans);return 0;
}