题目链接
https://atcoder.jp/contests/agc030/tasks/agc030_f
题解
首先序列里会有(a_{2i-1})和(a_{2i})都不为(-1)的情况，显然不影响，去掉即可。
对于(a_{2i-1})和(a_{2i})之一为(-1)的(i), 将二者中不为(-1)的称作“特殊数”，其余的称作“一般数”。
然后考虑从大到小DP. 设(f[i][j][k])表示考虑(ge i)的数，还有(j)个一般数的组和(k)个特殊数的组缺一个数。
直接转移即可。若(i)是一般数，则可以新开一组（转移至(f[i-1][j+1][k])），可以和一般数匹配（转移至(f[i-1][j-1][k])），可以和特殊数匹配（乘(k)后转移至(f[i-1][j][k-1])）；若(i)是特殊数，则可以新开一组（转移至(f[i-1][j][k+1])），可以和一般数匹配（转移至(f[i-1][j-1][k])）。最终答案乘以(a_{2i-1}=a_{2i}=-1)的(a)的个数的阶乘即可。
时间复杂度(O(n^3)).
如果按照同样的方法从小到大DP，会出现的问题是: (1) 同一个(b)序列的方案会出现在多个(f[i][j][k])中。例如拿大的一般数匹配小的数的时候，小的数既可以是一般数又可以是特殊数，因而同一个(b)序列会被转移到(f[i+1][j-1][k])和(f[i+1][j][k-1]). 而从大到小可以有效避免这个问题，因为拿(i)匹配更大的数时(i)一定出现在(b)序列中。 (2) 举个例子: 当(i=5)，特殊数为(3)和(6)时，((1,3)(4,5)(2))和((1,3)(2,5)(4))是同一种方案。但实际上当添加特殊数(6)时，由于特殊数位置是固定的，((1,3)(4,5)(2,6))和((1,3)(2,5)(4,6))是不同的方案，因此会算漏。但从大到小不会出现这个问题，因为它的匹配是拿小的一般数去选大的特殊数，而特殊数之间是有顺序的，会被算作不同的方案。
代码
#include<bits/stdc++.h>
#define llong long long
using namespace std;
inline int read()
{
int x = 0,f = 1; char ch = getchar();
for(;!isdigit(ch);ch=getchar()) {if(ch=='-') f = -1;}
for(; isdigit(ch);ch=getchar()) {x = x*10+ch-48;}
return x*f;
}
const int N = 300;
const int P = 1e9+7;
llong f[N+N+3][N+3][N+3];
int a[N+N+3];
bool used[N+N+3];
vector<int> vec;
int n;
llong updsum(llong &x,llong y) {x = x+y>=P?x+y-P:x+y;}
int main()
{
scanf("%d",&n); int cnt1 = 0,cnt2 = 0;
for(int i=1; i<=n; i++)
{
scanf("%d%d",&a[i+i-1],&a[i+i]);
if(a[i+i-1]!=-1&&a[i+i]!=-1)
{
vec.push_back(a[i+i-1]),vec.push_back(a[i+i]);
i--,n--;
}
else if(a[i+i-1]==-1&&a[i+i]==-1) {cnt1++;}
else {cnt2++;}
}
sort(vec.begin(),vec.end());
for(int i=1; i<=n+n; i++) {a[i] -= (lower_bound(vec.begin(),vec.end(),a[i])-vec.begin());}
// printf("a: "); for(int i=1; i<=n+n; i++) printf("%d ",a[i]); puts("");
for(int i=1; i<=n+n; i++) if(a[i]!=-1) {used[a[i]] = true;}
f[n+n+1][0][0] = 1ll;
for(int i=n+n+1; i>=2; i--)
{
for(int j=0; j<=cnt1+cnt2; j++)
{
for(int k=0; k<=cnt2; k++)
{
llong x = f[i][j][k]; if(!x) continue;
if(!used[i-1])
{
updsum(f[i-1][j+1][k],x);
if(j>0) {updsum(f[i-1][j-1][k],x);}
updsum(f[i-1][j][k-1],x*k%P);
}
else
{
updsum(f[i-1][j][k+1],x);
if(j>0) {updsum(f[i-1][j-1][k],x);}
}
}
}
}
llong ans = f[1][0][0]; int tmp = 0;
for(int i=1; i<=n; i++) tmp += (a[i+i-1]==-1)&&(a[i+i]==-1);
while(tmp) {ans = ans*tmp%P; tmp--;}
printf("%lld
",ans);
return 0;
}