这是本人的SA板子。

//writer:Oier_szc

#include <bits/stdc++.h>
//#include <windows.h>
#define ED cerr<<endl;
#define TS cerr<<"I AK IOI"<<endl;
#define cr(x) cerr<<x<<endl;
#define cr2(x,y) cerr<<x<<" "<<y<<endl;
#define cr3(x,y,z) cerr<<x<<" "<<y<<" "<<z<<endl;
#define cr4(x,y,z,w) cerr<<x<<" "<<y<<" "<<z<<" "<<w<<endl;
//#define int long long
using namespace std;
const int N=1e6+5,INF=2e9,mod=1e9+7;
int n,m;
char s[N];
int sa[N],x[N],y[N],c[N],rk[N],height[N];
void get_sa()
{
	for(int i=1;i<=n;++i) ++c[x[i]=s[i]];
	for(int i=2;i<=m;++i) c[i]+=c[i-1];
	for(int i=n;i>=1;--i) sa[c[x[i]]--]=i;
	for(int k=1;k<=n;k<<=1)
	{
		int num=0;
		for(int i=n-k+1;i<=n;++i) y[++num]=i;
		for(int i=1;i<=n;++i)
		{
			if(sa[i]>k) y[++num]=sa[i]-k;
		}
		for(int i=1;i<=m;++i) c[i]=0;
		for(int i=1;i<=n;++i) ++c[x[i]];
		for(int i=2;i<=m;++i) c[i]+=c[i-1];
		for(int i=n;i>=1;--i) sa[c[x[y[i]]]--]=y[i],y[i]=0;
		swap(x,y);
		x[sa[1]]=1,num=1;
		for(int i=2;i<=n;++i)
		{
			x[sa[i]]=(y[sa[i]]==y[sa[i-1]]&&y[sa[i]+k]==y[sa[i-1]+k])?num:++num;
		}
		if(num==n) break;
		m=num;
	}
}
void get_height()
{
	for(int i=1;i<=n;++i) rk[sa[i]]=i;
	for(int i=1,k=0;i<=n;++i)
	{
		if(rk[i]==1) continue;
		if(k) --k;
		int j=sa[rk[i]-1];
		while(i+k<=n&&j+k<=n&&s[i+k]==s[j+k]) ++k;
		height[rk[i]]=k;
	}
}
int main()
{
	scanf("%s",s+1);
	n=strlen(s+1),m='z';
	get_sa();
	get_height();
	for(int i=1;i<=n;++i) printf("%d ",sa[i]);
	printf("\n");
	//for(int i=1;i<=n;++i) printf("%d ",height[i]);
	//printf("\n");
	return 0;
}

问题：

x[sa[i]]=(y[sa[i]]==y[sa[i-1]]&&y[sa[i]+k]==y[sa[i-1]+k])?num:++num;

这里sa[i]+k是否存在越界的可能。目前看好像很多人都这样写，但数组也没开大。