【vijos】1286 座位安排（状压dp）

https://vijos.org/p/1286

这题好神不会捉。。。

首先我们知道所有情况有C(n*m, k)种，这个好搞。但是两两不相邻这个有点难搞。。

原来是状压dp。。sigh。

设状态f[i][j][k]表示第i行放置的摆放状态是j放了k个人的方案，那么有

f[i][j][k]=sum{f[i-1][x][k-num[x]]}，当j的人两两不冲突，且j和x的人两两不冲突，num[x]是x状态的人的数量

最后不冲突的数目是sum{f[n][j][k]}，k是题目所给的，j是所有的状态

显然这是可以减小一维的，那么我们用两个数组来组成滚动数组即可。还有一个要注意的地方就是求C(n*m, k)这个要防爆精度（因为，即我们要边乘边除orz且C(80, 20)的数量用longlong不会爆

+ View Code?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67

#include <cstdio> #include <cstring> #include <cmath> #include <string> #include <iostream> #include <algorithm> #include <queue> using namespace std; #define rep(i, n) for(int i=0; i<(n); ++i) #define for1(i,a,n) for(int i=(a);i<=(n);++i) #define for2(i,a,n) for(int i=(a);i<(n);++i) #define for3(i,a,n) for(int i=(a);i>=(n);--i) #define for4(i,a,n) for(int i=(a);i>(n);--i) #define CC(i,a) memset(i,a,sizeof(i)) #define read(a) a=getint() #define print(a) printf("%d", a) #define dbg(x) cout << (#x) << " = " << (x) << endl #define printarr2(a, b, c) for1(_, 1, b) { for1(__, 1, c) cout << a[_][__]; cout << endl; } #define printarr1(a, b) for1(_, 1, b) cout << a[_] << '\t'; cout << endl inline const int getint() { int r=0, k=1; char c=getchar(); for(; c<'0'||c>'9'; c=getchar()) if(c=='-') k=-1; for(; c>='0'&&c<='9'; c=getchar()) r=r*10+c-'0'; return k*r; } inline const int max(const int &a, const int &b) { return a>b?a:b; } inline const int min(const int &a, const int &b) { return a<b?a:b; }   typedef long long ll; ll f[1<<9][212][2], sum[1<<9], ans; int n, m, k, st[1<<9], cnt; int cal(int x) {     int ret=0;     while(x) ++ret, x-=(x&-x);     return ret; } ll c(ll x, ll y) {     ll ret=1; if(x-y>y) y=x-y;     for(ll i=x, j=2; i>=y+1; --i) {         ret*=i;         while(ret%j==0 && j<=x-y) ret/=j, ++j;     }     return ret; } ll gcd(ll a, ll b) { return b?gcd(b, a%b):a; } int main() {     read(n); read(m); read(k);     if(m>n) swap(n, m);     int all=(1<<m)-1;     for1(i, 0, all) if(!(i&(i>>1)||(i&(i<<1)))) {         st[++cnt]=i;         sum[i]=cal(i);         f[i][sum[i]][0]=1;     }     for1(line, 2, n) {         for1(x, 1, cnt) for1(y, 1, cnt) if(!(st[x]&st[y])) {             int i=st[x], j=st[y];             for1(z, 0, k) f[i][z+sum[i]][1]+=f[j][z][0];         }         for1(x, 1, cnt) {             int i=st[x];             for1(z, 0, k)                 f[i][z][0]=f[i][z][1], f[i][z][1]=0;         }     }     for1(x, 1, cnt) ans+=f[st[x]][k][0];     ll fm=c(n*m, k);     ll d=gcd(fm, ans);     if(ans) printf("%lld/%lld", fm/d, ans/d);     else puts("Impossible!");     return 0; }

 

---

背景

快要期中考试了！老师需要hzy帮他排考试的座位。。。

描述

考场里的座位恰好有n行m列，并且恰好有n*m位考生在这个考场里面考试，也就是 说，所有的座位上都有考生。hzy根据学校记载，有k位考生可能作弊，因此hzy不能让他们之中的任何两个人做在相邻的座位上！所谓相邻的座位，即在同一 行相邻列或者在同一列的相邻行的座位。hzy准备这样安排座位，首先随机选择一种方案，如果这种方案是合法的，就用这种方案，否则重新选择。你的任务是计 算，他得到一个合法方案时，需要的期望选择次数。

格式

输入格式

输入文件为一行，仅包含三个整数n，m和k。

输出格式

如果不存在合法的方案，则输出文件seating.out中应该包含Impossible!，否则输出一个分数p/q，表示期望选择次数(即平均次数)，这里p和q应该是互质的。

样例1

样例输入1[复制]

1 4 3

样例输出1[复制]

Impossible!

样例2

样例输入2[复制]

2 3 2

样例输出2[复制]

15/8

提示

1≤n≤80，1≤m≤80，1≤n*m≤80
0≤k≤20，并且k≤n*m