51nod 1521 一维战舰

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编号。

Input示例

样例111 3 354 8 6 1 11样例25 1 321 5

Output示例

样例输出13样例输出2-1

如果剩余的可以放的战舰小于k时，证明说谎。从当前点找相邻的两个已经点到的点，减少的战舰数为(b[r]-b[l])/(a+1)-(b[r]-b[t])/(a+1)-(b[t]-b[l])/(a+1)。这种方法我平均复杂度是nlogn，在最坏情况下是n²。其实是想用二分的，但是这样写起来比较简单啊，，，

#include <iostream>#include<bits/stdc++.h>using namespace std;const int N=220000;int n,k,a,q[N],b[N],bb[N],v[N];int main(){    while(~scanf("%d%d%d",&n,&k,&a))    {        int m;        scanf("%d",&m);        int ans=-1;        for(int i=1;i<=m;i++)   scanf("%d",&q[i]);        for(int i=1;i<=m;i++)   b[i]=q[i];        sort(b+1,b+1+m);        b[0]=0;        b[m+1]=n+1;        for(int i=0;i<=m+1;i++)   bb[b[i]]=i;        memset(v,0,sizeof(v));        v[0]=v[m+1]=1;        int kk=(n+1)/(a+1);        for(int i=1;i<=m;i++)        {            int t=bb[q[i]];            v[t]=1;            int l=t-1,r=t+1;            while(!v[l])  l--;            while(!v[r])  r++;            kk-=(b[r]-b[l])/(a+1)-(b[r]-b[t])/(a+1)-(b[t]-b[l])/(a+1);            if(kk<k)            {                ans=i;                break;            }        }        cout<<ans<<endl;    }}