set codeforces567D One-Dimensional Battle Ships

题意：有一个长度为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;
}