题目大意:
题目链接:https://jzoj.net/senior/#main/show/5230
现在有 n n n个人要排成一列,编号为 1 ∼ n 1\sim n 1∼n 。但由于一些不明原因的关系,人与人之间可能存在一些矛盾关系,具体有 m m m条矛盾关系 ( u , v ) (u,v) (u,v),表示编号为 u u u的人想要排在编号为 v v v的人前面。要使得队伍和谐,最多不能违背 k k k条矛盾关系(即不能有超过 k k k条矛盾关系 ( u , v ) (u,v) (u,v),满足最后 v v v排在了 u u u前面)。问有多少合法的排列。答案对 1 0 9 + 7 取 10^9+7取 109+7取模。
思路:
n ≤ 20 n\leq 20 n≤20,考虑状压 d p dp dp。
很明显除了状态那一维还需要一维记录违背了多少关系。
于是就设 f [ S ] [ i ] f[S][i] f[S][i]表示状态为 S S S,违反了 i i i条关系的方案数。
那么就有
f [ S ] [ j ] = ( f [ S ] [ j ] + f [ l a s t S ] [ j − s u m ] ) % M O D f[S][j]=(f[S][j]+f[lastS][j-sum])\%MOD f[S][j]=(f[S][j]+f[lastS][j−sum])%MOD
其中 l a s t S lastS lastS表示上一个状态,可以通过枚举最后是那个人进入来求。
时间复杂度 O ( 2 n n ( n + k ) ) O(2^nn(n+k)) O(2nn(n+k))
代码:
#include <cstdio>
using namespace std;const int N=21;
const int MAXN=1048600;
const int MOD=1e9+7;
int n,m,k,x,y,ans,f[MAXN][N],hate[N];int main()
{freopen("count.in","r",stdin);freopen("count.out","w",stdout);scanf("%d%d%d",&n,&m,&k);for (int i=1;i<=m;i++){scanf("%d%d",&x,&y);hate[y]|=(1<<(x-1));}f[0][0]=1;for (int S=1;S<(1<<n);S++)for (int i=1;i<=n;i++)if ((S&(1<<(i-1)))==(1<<(i-1))){int lastS=S-(1<<(i-1)),sum=0;for (int j=1;j<=n;j++)if ((hate[i]&(1<<(j-1)))==(1<<(j-1))&&(lastS&(1<<(j-1)))==(1<<(j-1)))sum++;for (int j=sum;j<=k;j++)f[S][j]=(f[S][j]+f[lastS][j-sum])%MOD;}for (int i=0;i<=k;i++)ans=(ans+f[(1<<n)-1][i])%MOD;printf("%d\n",ans);return 0;
}