思路（数学证明+归纳）：
看到对称——>坐标取绝对值——>对两个人，取距离不交叉的点代价小于距离交叉的点(两边和大于第三边)——>以此类推，对所有人，都不要有交叉的——>每个人必须取最近的，不然必有交叉
#include<bits/stdc++.h>
using namespace std;
#define ll long long
ll k,n,m,a[100005],ans,ansl,b,A;
int i,j,l,r,T;
char ch[150];
int main()
{
scanf("%d",&T);
while(T--)
{
scanf("%lld%lld",&n,&k);
for(i=1;i<=n;i++)
scanf("%lld",&a[i]);
sort(a+1,a+1+n);
ans=1;
for(i=1;i<n;i++)
if(a[i]!=a[i+1])ans++;
b=a[n]; l=0;
a[0]=-1;
while(l<n&&a[l]+1>=a[l+1])l++;
if(l==n)
{
ans+=k;
}else if(k>0)
{
ll o=(a[l]+2+b)/2;
ans++;
for(i=1;i<=n;i++)
if(a[i]==o){ans--;break; }
}
printf("%d\n",ans);
}
return 0;
}