爱丽丝和鲍博喜欢玩一维战舰的游戏。他们在一行有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 5Sample Output
样例输出1 3 样例输出2 -1
题意：判断爱丽丝有没有撒谎
思路：刚看到这道题时，没有什么思路，我们先假设爱丽丝没有撒谎，看看能不能推翻
判断爱丽丝有没有撒谎，我们先假设爱丽丝没有撒谎，我们先建一个set容器，方便二分查找，
set容器中存的是没有放战舰的点（只要不能确定这个点一定放了战舰，那么就认为这个点没有放战舰）
我们把每一个没有放战舰的位置，插入到容器中，把区间[第一个小于它的数， 第一个大于它的数]
这个区间分成了两部分，看看分割成两部分都的所有的区间看看能不能放下 k 个战舰，当插入某一个点时
把一个区间分成两个时，正好不能放下k个战舰，那么这个就是一定能判断爱丽丝撒谎了；
代码：
#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
#include<set>
set<int> s;
set<int>::iterator it;
int n,k,d;
int main()
{
int i,j;
while(~scanf("%d%d%d",&n,&k,&d))
{
s.clear();
s.insert(0); // 因为 0和n+1这个位置一定没有放战舰了,能放战舰的位置都在（0，n+1）；
s.insert(n+1);
int m,x,flag = 0;
scanf("%d",&m);
int res = (n+1)/(d+1); // 为什么要除以d+1,因为放战舰与战舰之间不能接触；
for(i = 0;i<m;i++)
{
scanf("%d",&x);
if(flag) continue;
it = s.upper_bound(x);
int tt = *it;
it--;
res = res - (tt - *it)/(d+1) + (tt-x)/(d+1) + (x - *it)/(d+1);
if(res<k)
flag = i+1;
s.insert(x);
}
if(flag) printf("%d\n",flag);
else printf("-1\n");
}
return 0;
}