難點：這題讓你求找到一個 \(x\) 使得字串字典序最小，但是事實上是可以求出第 \(k\) 小的。

令 \(f(x,k)\) 表示取 \(x\) 作為 xor 的值，得到字串的前 \(2^k\) 個字元的子串。那麼有一個很重要的性質：

加號表示字串的拼接。證明比較簡單，對於前 \(2^{k-1}\) 位的 \(i\)，滿足 \(i\text{ xor }x=(i+2^{k-1})\text{ xor }(x \text{ xor } 2^{k-1})\)，所以拼接是可行的。

所以我們倍增地做。列舉 \(k\)

複雜度是 \(O(n^2\times 2^n)\)。兩個 \(n\) 其中一個是列舉 \(k\)，另一個是對 \(2^n\) 個數排序的 \(\log\)。

#include <bits/stdc++.h>
using namespace std;
const int N=1e6+5;
char s[N];
int a[N],v[N];
int t[N],n,m;
int l;
bool cmp(int x,int y)
{
	if (v[x]==v[y]) return v[x^l]<v[y^l];
	return v[x]<v[y];
}

int main()
{
	scanf("%d",&n);
	scanf("%s",&s);
	m=(1<<n);
	for (int i=0;i<m;i++) a[i]=i;
	for (int i=0;i<m;i++) v[i]=s[i]-'a';
	sort(a,a+m,cmp);
	for (int i=1;i<=n;i++)
	{
		l=(1<<(i-1));
		sort(a,a+m,cmp);
		int cnt=0;
		for (int j=0;j<m;j++)
		{
			if (j==0||cmp(a[j-1],a[j])) t[a[j]]=++cnt;
			else t[a[j]]=cnt;
		}
		for (int j=0;j<m;j++) v[j]=t[j];
	}
	int ans=a[0];
	for (int i=0;i<m;i++) printf("%c",s[i^ans]);
	return 0;
}