soj116 快乐串

题意：定义一个串是k-happy的：对于所有的Ai，都有Aj(j!=i)，使得|Ai-Aj|<=k。

问使得原串至少存在一个长度>=m的连续子串是k-happy的最小的k？

标程：

 #include<bits/stdc++.h>
 using namespace std;
 const int Max=1e7;
 const int N=;
 int rg[N],lf[N],a[N],n,m,l,r,ans,res,bit[N],L,R,b[N];
 int lowbit(int x){return x&(-x);}
 void add(int x,int y){while (x<=n) bit[x]+=y,x+=lowbit(x);}
 int qry(int x){int res=;while (x) res+=bit[x],x-=lowbit(x);return res;}
 int find(int x)//bit二分找rank(x)
 {
     int l=,r;
     for (int i=;i>=&&x;i--)
       if ((r=l+(<<i))<=n&&bit[r]<x) x-=bit[l=r];
     return l+;
 }
 bool cmp(int x,int y){return a[x]<a[y];}
 void init(int k)
 {
   L=;R=;
   for (int i=;i<=n;i++)
   {
          while (R<=n&&a[b[R]]<=a[b[i]]+k) add(b[R++],);
          while (L<=n&&a[b[L]]<a[b[i]]-k) add(b[L++],-);
          int t=qry(b[i]),sum=qry(n);
         lf[b[i]]=t==?:find(t-);rg[b[i]]=t==sum?n+:find(t+);
   }
   while (L<=n) add(b[L++],-);
 }
 void solve(int l,int r)
 {
   if (r-l+<m||res>=m) return;
   int L=l,R=r,pos=;
   while (L<=R)
   {
     if (lf[L]<l&&rg[L]>r) {pos=L;break;}
     if (lf[R]<l&&rg[R]>r) {pos=R;break;}
     L++;R--;
   }
   if (!pos) res=max(res,r-l+);
   solve(l,pos-);solve(pos+,r);
 }
 int main()
 {
   scanf("%d%d",&n,&m);
   for (int i=;i<=n;i++) scanf("%d",&a[i]),b[i]=i;
   sort(b+,b+n+,cmp);
   l=;r=1e7;
   while (l<=r)
   {
     int mid=(l+r)>>;res=;
     if (init(mid),solve(,n),res>=m) ans=mid,r=mid-;else l=mid+;
   }
   printf("%d\n",ans);
   return ;
 }

题解：二分答案+启发式分治+树状数组二分

一开始读错题，以为是排序后两边的差都要满足，我写set+二分答案然后发现是假算法。。。

没想到可以把不合法的点拎出来分割开序列。

首先二分一个答案k，然后用权值线段树(但是常数较大)/树状数组可以预处理出[a[i]-k,a[i]+k]范围内离i最近（在左的和在右的）的点，连边。权值线段树是按照位置顺次一个一个加入，求权值范围内的区间最小值/最大值，正反都做一遍。树状数组是按照权值排序后双指针在树状数组上按位置维护权值范围内所有点，然后（类似普通平衡树）求前驱后继。

然后每次在序列中找一个左右连边点都在区间外的点，这个点一个不能选，由此删去这个点，把序列分成两部分。

如果顺次找，每次都找到的最后一个时间复杂度为O(n^2logn)。而每次从两边找，T(n)=T(a)+T(n-a)+min(a,n-a)，这样就是启发式合并的复杂度，O(nlog^2n)。

还有一种做法，从后往前枚举左端点，运用字符串的思想统计前缀的答案。用线段树维护后驱覆盖（右开区间），如果新加入的一个点和后面的比它大的点x、比它小的点y匹配上（定义为上述的可以连边），如果这两个点没有前驱匹配，那么需要删除该点的后驱覆盖，和新加入点连边。若m个以后的位置还存在一个点没有被覆盖（值为0），那么取这个点为右端点则符合要求。（区间最小值）。常数较大。