传送门
可以把这个东西想象成一个完全二叉树。那么可以发现,操作的顺序无关紧要。因为当长度小的移动之后,长度大的改变不了内部顺序。
-_-正解就是搜索。由于与操作顺序无关,我们可以按照长度从小到大操作。相当于是二叉树从最后一层往上走。每走一层,就要保证这一层的每个区间里面都是连续的。在最后一层时,长度为1,显然是成立的。
现在处理完某一层后,走到了上一层:
当前层有若干个区间,每个区间内含有两个内部连续的半区间。只要使每个区间内部变成连续的自然数序列即可。于是需要处理如何交换这些半区间。一层只能交换一次。
如果有大等于三个区间的内部不是连续的,显然无解,因为一次交换之后最多使两个区间有序。
如果有一个区间的内部不是连续的,就把它的两个半区间交换。
如果交换后该区间连续了,就继续搜下去。否则换回来,返回。
如果有两个区间的内部不是连续的,那么考虑这四个半区间之间两两交换是否满足条件。如果可以,就交换并继续搜下去。否则换回来,返回。
然后就完了。
#include<bits/stdc++.h>
#define cs const
#define re register
#define ll long long
cs int Log=12;
int n,num[1<<Log|1];ll ans,fac[Log+1];
namespace IO{
cs int Rlen=1<<22|1;
char buf[Rlen],*p1,*p2;
inline char gc(){return (p1==p2)&&(p2=(p1=buf)+fread(buf,1,Rlen,stdin),p1==p2)?EOF:*p1++;}
template<typename T>
inline T get(){
char ch;T x;
while(!isdigit(ch=gc()));x=ch^48;
while(isdigit(ch=gc())) x=((x+(x<<2))<<1)+(ch^48);
return x;
}
inline int gi(){return get<int>();}
}
using IO::gi;
inline void Swap(int l,int r,int len){for(int re i=0;i<len;++i) std::swap(num[l+i],num[r+i]);}
inline void dfs(int len,int cnt){
if(len>n) {ans+=fac[cnt];return;}
int pos[5],tot=0,mid=len>>1;
for(int i=1;i<=n;i+=len){
if(num[i+mid]-num[i]==mid) continue;
if(tot==4) return;pos[++tot]=i,pos[++tot]=i+mid;
}
if(!tot) dfs(len<<1,cnt);
if(tot==2){
Swap(pos[1],pos[2],mid);
if(num[pos[2]]-num[pos[1]]==mid) dfs(len<<1,cnt+1);
Swap(pos[1],pos[2],mid);
}
if(tot==4){
for(int re i=1;i<4;++i)
for(int re j=i+1;j<=4;++j){
Swap(pos[i],pos[j],mid);
if(num[pos[2]]-num[pos[1]]==mid&&num[pos[4]]-num[pos[3]]==mid)
dfs(len<<1,cnt+1);
Swap(pos[i],pos[j],mid);
}
}
}
int main(){
// freopen("2703.in","r",stdin);
n=gi(),fac[0]=1;
for(int re i=1;i<=n;++i) fac[i]=fac[i-1]*i;
n=1<<n;
for(int re i=1;i<=n;++i) num[i]=gi();
dfs(2,0),printf("%lld\n",ans);
}