51Nod - 1521

爱丽丝和鲍博喜欢玩一维战舰的游戏。他们在一行有n个方格的纸上玩这个游戏（也就是1×n的表格）。

在游戏开始的时候，爱丽丝放k个战舰在这个表格中，并不把具体位置告诉鲍博。每一只战舰的形状是 1×a 的长方形（也就是说，战舰会占据a个连续的方格）。这些战舰不能相互重叠，也不能相接触。

然后鲍博会做一系列的点名。当他点到某个格子的时候，爱丽丝会告诉他那个格子是否被某只战舰占据。如果是，就说hit，否则就说miss。

但是这儿有一个问题！爱丽丝喜欢撒谎。他每次都会告诉鲍博miss。

请你帮助鲍博证明爱丽丝撒谎了，请找出哪一步之后爱丽丝肯定撒谎了。

Input单组测试数据。 
第一行有三个整数n,k和a(1≤n,k,a≤2*10^5)，表示表格的大小，战舰的数目，还有战舰的大小。输入的n,k,a保证是能够在1×n的表格中放入k只大小为a的战舰，并且他们之间不重叠也不接触。 
第二行是一个整数m(1≤m≤n)，表示鲍博的点名次数。 
第三行有m个不同的整数x1,x2,...,xm，xi是鲍博第i次点名的格子编号。格子从左到右按照1到n编号。Output输出一个整数，表示最早一次能够证明爱丽丝一定撒谎的点名编号。如果不能证明，输出-1。点名的编号依次从1到m编号。Sample Input

样例1
11 3 3
5
4 8 6 1 11

样例2
5 1 3
2
1 5

Sample Output

样例输出1
3

样例输出2
-1

由于战舰不能相邻，所以区间(l,r）能容下(l-r)/(a+1)个战舰，开始最多能容纳cnt=(n+1)/(a+1)个战舰，接下来每次考虑一个点，就计算一下由于这个点加入使战舰容纳量减少几个，剩余容纳量小于k就是错误的。cnt=cnt-(减少数)<k,break;

代码：

#include <cstdio>
#include <cstring>
#include <string>
#include <map>
#include <stack>
#include <cmath>
#include <queue>
#include<set>
#include <vector>
#include <iostream>
#include <algorithm>
#define inf 0x3f3f3f3f
using namespace std;
typedef long long ll;
const int maxn=200000;
int vis[maxn+10];
int x[maxn+10];
int main()
{
    int n,k,a,m;
    while(~scanf("%d%d%d",&n,&k,&a))
    {
        scanf("%d",&m);
        for(int i=0;i<m;i++)
        scanf("%d",&x[i]);
        memset(vis,0,sizeof(vis));
        int cur=(n+1)/(a+1);
        int ans=-1,l,r;
        for(int i=0;i<m;i++)
        {
            vis[x[i]]=1;
            l=x[i]-1; r=x[i]+1;
            while(l>=1&&!vis[l]) l--;
            while(r<=n&&!vis[r]) r++;
            cur-=(r-l)/(a+1)-(x[i]-l)/(a+1)-(r-x[i])/(a+1);
            if(cur<k) {ans=i+1;break;}
        }
        printf("%d\n",ans);
    }
}