题目：
分析：
（这道题是真的难）（声明： 在这位大佬的题解下多做了说明，图片来源也是他的博客。）
首先我们要发现一些小规律：
1.将A和B排序之后并不影响答案
证明：不管哪一列排序放到了哪里，那一列的最大值都应该是Ai。
2.A的最大一定等于B的最大：
很显然，如果不等于，那么最大值放在哪里都不合法。
3.将A和B数组按从小到大的顺序排序后，会变成这种矩形：
定义f[ i ]为至少有i行不满足，定义至少的原因：两两行之间不会受影响
显然最后我们要求的是恰好有0行不满足，即至少有0行不满足-至少有1行不满足，但因为至少有一行不满足中包含了至少有两行不满足，所以要加上，有加多了至少有三行不满足的情况，以此类推，用容斥原理计算答案。
先推S1的情况，再在S1的基础上得到S2的公式。
公式的解释他写的太好了，这里就不再阐述。
#include<bits/stdc++.h> using namespace std; #define ri register int #define ll long long #define N 100005 const ll mod = 1e9+7; ll a[N],b[N],s[N<<1],invfac[N],fac[N]; int read() { int x=0,fl=1; char ch=getchar(); while(ch<'0'||ch>'9') { if(ch=='-') fl=-1; ch=getchar(); } while(ch<='9'&&ch>='0') x=x*10+ch-'0',ch=getchar(); return fl*x; } ll quick_pow(ll a,ll k) { ll ans=1; while(k) { if(k&1) ans=ans*a%mod; a=a*a%mod; k>>=1; } return ans; } void init(int n) { fac[0]=1; for(ll i=1;i<=n;++i) fac[i]=fac[i-1]*i%mod; invfac[n]=quick_pow(fac[n],mod-2); for(ll i=n;i>=1;--i) invfac[i-1]=invfac[i]*i%mod; } ll C(ll m,ll n) { return fac[n]*invfac[m]%mod *invfac[n-m] %mod; } ll calc(ll a,ll b,ll c,ll d,ll ss) { ll ret=0; for(ll i=0;i<=a;++i){ ll tmp=C(i,a)* quick_pow(( quick_pow(ss,i) * ( quick_pow(ss+1,a+c-i) - quick_pow(ss,a+c-i) +mod) %mod),b) %mod; tmp=tmp * quick_pow(( quick_pow(ss,i) * quick_pow(ss+1,a-i) %mod ),d) %mod; if(i&1) ret=(ret-tmp+mod)%mod; else ret=(ret+tmp)%mod; } return ret; } int main() { freopen("silhouette.in","r",stdin); freopen("silhouette.out","w",stdout); int n=read(),cnt=0; for(ri i=1;i<=n;++i) a[i]=read(),s[++cnt]=a[i]; for(ri i=1;i<=n;++i) b[i]=read(),s[++cnt]=b[i]; sort(a+1,a+1+n); sort(b+1,b+1+n); if(a[n]!=b[n]) { printf("0\n"); return 0; } sort(s+1,s+1+cnt); int num=unique(s+1,s+1+2*n)-s-1; int na=n,nb=n,pa=n+1,pb=n+1; init(n); ll ans=1; for(ri i=num;i>=1;--i){ while(na-1 && a[na-1]==s[i]) na--; while(nb-1 && b[nb-1]==s[i]) nb--; ans=ans* calc( pa-na,pb-nb,n-pa+1,n-pb+1,s[i] ) %mod; pa=na; pb=nb; } printf("%lld\n",ans); } /* 2 1 2 2 1 */