【LOJ】#2181. 「SDOI2015」排序

题解

还以为是啥毒瘤题

然后是个搜索题

复杂度算起来挺大

然后跑起来就连0.1ms不到= =

就是从大到小进行每种操作，搜出来一种操作就乘上一个操作数的阶乘就行

如果现在进行的操作操作\(2^i\)那么大的段，那么就把序列分成每段\(2^{i + 1}\)长，看看每段是否连续

如果都连续这次操作就跳过

如果两段以上不连续就没法有序了

一段的话看看交换能不能边有序

两段的话分四种看看交换能不能使得分别有序

代码

#include <bits/stdc++.h>
#define fi first
#define se second
#define pii pair<int,int>
#define pdi pair<db,int>
#define mp make_pair
#define pb push_back
#define enter putchar('\n')
#define space putchar(' ')
#define eps 1e-8
#define mo 974711
#define MAXN 30005
//#define ivorysi
using namespace std;
typedef long long int64;
typedef double db;
template<class T>
void read(T &res) {
    res = 0;char c = getchar();T f = 1;
    while(c < '0' || c > '9') {
	if(c == '-') f = -1;
	c = getchar();
    }
    while(c >= '0' && c <= '9') {
	res = res * 10 + c - '0';
	c = getchar();
    }
    res *= f;
}
template<class T>
void out(T x) {
    if(x < 0) {x = -x;putchar('-');}
    if(x >= 10) {
	out(x / 10);
    }
    putchar('0' + x % 10);
}
const int MOD = 1000000007;
int N;
int A[(1 << 12) + 5],fac[20],ans;
int inc(int a,int b) {
    return a + b >= MOD ? a + b - MOD : a + b;
}
int mul(int a,int b) {
    return 1LL * a * b % MOD;
}
bool check_all(int l,int r) {
    for(int i = l + 1; i <= r ; ++i) {
	if(A[i] - A[l] != i - l) return false;
    }
    return true;
}
bool check_mid(int l,int r) {
    int mid = (r + l) >> 1;
    for(int i = l + 1 ; i <= mid ; ++i) {
	if(A[i] - A[l] != i - l) return false;
    }
    for(int i = mid + 2 ; i <= r ; ++i) {
	if(A[i] - A[mid + 1] != i - (mid + 1)) return false;
    }
    return true;
}
void Swap(int l0,int r0,int l1,int r1) {
    for(int i = 0 ; i <= r0 - l0 ; ++i) {
	swap(A[l0 + i],A[l1 + i]);
    }
}
void dfs(int dep,int c) {
    if(dep > N) {
	ans = inc(ans,fac[c]);
	return;
    }
    pii p[2];int tot = 0;
    for(int i = 1 ; i <= (1 << N) ; i += (1 << dep)) {
	if(!check_all(i,i + (1 << dep) - 1)) {
	    if(tot == 2) return;
	    p[tot++] = mp(i,i + (1 << dep) - 1);
	}
    }
    if(!tot) dfs(dep + 1,c);
    else if(tot == 1) {
	if(!check_mid(p[0].fi,p[0].se)) return;
	if(A[p[0].se] + 1 != A[p[0].fi]) return;
	int mid = (p[0].fi + p[0].se) / 2;
	Swap(p[0].fi,mid,mid + 1,p[0].se);
	dfs(dep + 1,c + 1);
	Swap(p[0].fi,mid,mid + 1,p[0].se);
    }
    else if(tot == 2) {
	if(!check_mid(p[0].fi,p[0].se)) return;
	if(!check_mid(p[1].fi,p[1].se)) return;
	int m1 = (p[0].fi + p[0].se) / 2,m2 = (p[1].fi + p[1].se) / 2;
	if(A[m1] + 1 == A[m2 + 1] && A[m2] + 1 == A[m1 + 1]) {
	    Swap(p[0].fi,m1,p[1].fi,m2);
	    dfs(dep + 1,c + 1);
	    Swap(p[0].fi,m1,p[1].fi,m2);
	}
	if(A[m2] + 1 == A[p[0].fi] && A[p[1].se] + 1 == A[m1 + 1]) {
	    Swap(p[0].fi,m1,m2 + 1,p[1].se);
	    dfs(dep + 1,c + 1);
	    Swap(p[0].fi,m1,m2 + 1,p[1].se);
	}
	if(A[p[0].se] + 1 == A[m2 + 1] && A[m1] + 1 == A[p[1].fi]) {
	    Swap(m1 + 1,p[0].se,p[1].fi,m2);
	    dfs(dep + 1,c + 1);
	    Swap(m1 + 1,p[0].se,p[1].fi,m2);
	}
	if(A[m1] + 1 == A[m2 + 1] && A[m2] + 1 == A[m1 + 1]) {
	    Swap(m1 + 1,p[0].se,m2 + 1,p[1].se);
	    dfs(dep + 1,c + 1);
	    Swap(m1 + 1,p[0].se,m2 + 1,p[1].se);
	}
    }
}
void Init() {
    read(N);
    fac[0] = 1;
    for(int i = 1 ; i <= N ; ++i) fac[i] = mul(i,fac[i - 1]);
    for(int i = 1 ; i <= (1 << N) ; ++i) read(A[i]);
}
void Solve() {
    dfs(1,0);
    out(ans);enter;
}
int main() {
#ifdef ivorysi
    freopen("f1.in","r",stdin);
#endif
    Init();
    Solve();
}