bzoj 4310 跳蚤 —— 后缀数组+二分答案+贪心

题目：https://www.lydsy.com/JudgeOnline/problem.php?id=4310

二分答案——在本质不同的子串中二分答案！

如果二分到的子串位置是 st，考虑何时必须分出一段；

如果一个位置 i 有 rk[i] < rk[st]，那么显然不用管( i 后缀的开头)；

而如果 rk[i] > rk[st]，则 i+1 ~ i+LCP 之间必须有一处断开；

比较麻烦的是这样只保证了 i 这个后缀的开头不会产生大于二分子串的子串，但后面怎么办？

这时就又需要考虑到——后缀的后缀也是后缀！所以倒着做，就不用考虑开头后面的问题了！

然后如果必须断开，断开处贪心地靠前即可。

代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
int const xn=1e5+;
int n,m,K,rk[xn],sa[xn],tp[xn],tax[xn],ht[xn][],bin[],bit[xn],dc[xn];
ll sum[xn];
char s[xn],ch[xn];
void Rsort()
{
  for(int i=;i<=m;i++)tax[i]=;
  for(int i=;i<=n;i++)tax[rk[tp[i]]]++;
  for(int i=;i<=m;i++)tax[i]+=tax[i-];
  for(int i=n;i;i--)sa[tax[rk[tp[i]]]--]=tp[i];
}
void work()
{
  for(int i=;i<=n;i++)rk[i]=s[i],tp[i]=i;
  Rsort();
  for(int k=;k<=n;k<<=)
    {
      int num=;
      for(int i=n-k+;i<=n;i++)tp[++num]=i;
      for(int i=;i<=n;i++)
    if(sa[i]>k)tp[++num]=sa[i]-k;
      Rsort(); swap(rk,tp);
      rk[sa[]]=; num=;
      for(int i=;i<=n;i++)
    rk[sa[i]]=(tp[sa[i]]==tp[sa[i-]]&&tp[sa[i]+k]==tp[sa[i-]+k])?num:++num;
      if(num==n)break;
      m=num;
    }
}
void get()
{
  int k=;
  for(int i=;i<=n;i++)
    {
      if(rk[i]==)continue;
      if(k)k--; int j=sa[rk[i]-];
      while(i+k<=n&&j+k<=n&&s[i+k]==s[j+k])k++;
      ht[rk[i]][]=k;
    }
  bin[]=; for(int i=;i<;i++)bin[i]=(bin[i-]<<);
  bit[]=; for(int i=;i<=n;i++)bit[i]=bit[i>>]+;
  for(int j=;j<;j++)
    for(int i=;i<=n&&i+bin[j]-<=n;i++)
      ht[i][j]=min(ht[i][j-],ht[i+bin[j-]][j-]);
}
int getlcp(int x,int y)
{
  if(x==y)return n-x+;
  x=rk[x]; y=rk[y];
  if(x>y)swap(x,y); x++;
  int w=bit[y-x+];
  return min(ht[x][w],ht[y-bin[w]+][w]);
}
void init()
{
  for(int i=;i<=n;i++)
    sum[i]=sum[i-]+n-sa[i]+-ht[i][];
}
void find(ll x,int &st,int &len)
{
  int l=,r=n,res;
  while(l<=r)
    {
      int mid=((l+r)>>);
       if(x>sum[mid-]&&x<=sum[mid]){res=mid; break;}//res:rk
      if(x<=sum[mid-])r=mid-;
      else l=mid+;
    }
  st=sa[res];//
  len=ht[res][]+x-sum[res-];
}
int cal(int st,int len)
{
  int lst=n+,cnt=;//
  for(int i=n,lcp;i;i--)
    {
      if(rk[i]<rk[st])continue;
      if((lcp=getlcp(i,st))==)return K+;
      lcp=min(lcp,len);//
      if(lst>i&&lst<=i+lcp)continue;
      lst=i+; cnt++;
    }
  return cnt;
}
int main()
{
  scanf("%d",&K); scanf("%s",s+); n=strlen(s+);
  for(int i=;i<=n;i++)dc[i]=(int)s[i],ch[i]=s[i];
  sort(dc+,dc+n+); m=unique(dc+,dc+n+)-dc-;
  for(int i=;i<=n;i++)s[i]=lower_bound(dc+,dc+m+,(int)s[i])-dc;
  work(); get(); init();
  ll l=,r=sum[n]; int pos=,ans=;
  while(l<=r)
    {
      ll mid=((l+r)>>1ll);
      int st,len; find(mid,st,len);
      if(cal(st,len)<=K)pos=st,ans=len,r=mid-;
      else l=mid+;
    }
  for(int i=pos;i<pos+ans;i++)putchar(ch[i]); puts("");
  return ;
}