csp模拟 命令方块【结论】【排序】

传送门

求出一组字符串的排列满足对于任何三元组i<j<k，lcp(s[i],s[j])>lcp(s[i],s[k]),lcp(s[k],s[j])>lcp(s[k],s[i]).

正经的证明是后缀数组。但我们可以感性理解这个结论：按字典序排序即可。

感性理解：想象一个trie树。很明显，lcp长度是lca的深度。而lca越深，意味着这两个串的排名越接近。所以我们需要构造的排列，要满足每个串，其右边的排名离它越来越远，左边也是，这样保证正确。

这个不就是排序么。

并且从一个排列变成另一个排列最坏只需要n-1次。需要点小技巧去输出。

#include<bits/stdc++.h>
using namespace std;
int n;char ch[10000003];
int L[1000003],R[1000003];
string s[1000003];
int id[1000003];
bool cm(int a,int b){
	return s[a]<s[b];
}
int pos[1000003];
struct gu{
	int x,y;
}mo[1000003];int cnt;
int up[1000003];
signed main(){
//	freopen("block.in","r",stdin);
//	freopen("block.out","w",stdout);
//	cout<<"#";
	cin>>n;
	for(int i=1,l=0,r=0;i<=n;i++){
		l=r+1;scanf("%s",ch+r+1);r=strlen(ch+l)+l-1;
		L[i]=l;R[i]=r;
	}
	for(int i=1;i<=n;i++){
		id[i]=pos[i]=up[i]=i;
		s[i].resize(R[i]-L[i]+1);
		for(int j=L[i];j<=R[i];j++)s[i][j-L[i]]=ch[j];
	}
	sort(id+1,id+n+1,cm);
//	for(int i=1;i<=n;i++)cout<<id[i]<<" ";cout<<endl;
	for(int i=1;i<=n;i++){
		if(up[i]==id[i])continue;mo[++cnt]={pos[id[i]],i};
		int x=pos[id[i]];swap(pos[up[i]],pos[id[i]]),swap(up[i],up[x]);
		
//		for(int j=1;j<=n;j++)cout<<up[j]<<" ";cout<<endl;
	}
	
	cout<<cnt<<'\n';
	for(int i=1;i<=cnt;i++){
		printf("%d %d\n",mo[i].x,mo[i].y);
	}
	
//	for(int i=1;i<=n;i++){
//		cout<<s[id[i]]<<endl;
//	}
	return 0;
}