[BZOJ2004][Hnoi2010]Bus 公交线路
试题描述
小Z所在的城市有N个公交车站,排列在一条长(N-1)km的直线上,从左到右依次编号为1到N,相邻公交车站间的距离均为1km。 作为公交车线路的规划者,小Z调查了市民的需求,决定按下述规则设计线路:
1.设共K辆公交车,则1到K号站作为始发站,N-K+1到N号台作为终点站。
2.每个车站必须被一辆且仅一辆公交车经过(始发站和终点站也算被经过)。
3.公交车只能从编号较小的站台驶往编号较大的站台。
4.一辆公交车经过的相邻两个站台间距离不得超过Pkm。 在最终设计线路之前,小Z想知道有多少种满足要求的方案。由于答案可能很大,你只需求出答案对30031取模的结果。
输入
仅一行包含三个正整数N K P,分别表示公交车站数,公交车数,相邻站台的距离限制。
N<=10^9,1<P<=10,K<N,1<K<=P
输出
仅包含一个整数,表示满足要求的方案数对30031取模的结果。
输入示例
10 2 4
输出示例
81
数据规模及约定
P<=10 , K <=8
题解
状压 dp + 矩阵乘法。
话说最近还想自己出一道这两种算法结合在一起的题呢。。。
这题目标状态只需要让 K 辆车分别在最后 K 个位置即可,顺序没有规定。所以这题设计状态时也不用考虑顺序。我们令 f(i, S) 表示前 i-1 个都已经经过了,第 i 到第 i + P - 1 个位置的状态为 S 的方案数,这里的“方案”可以理解成 K 个公交车所在位置的集合,也可以理解成覆盖过的位置的集合,这两个理解是等价的(原因在于我们转移时只考虑最靠左的公交车移到哪,与此同时 i 要加 1,即我们关注的位置区间向右错一格,所以一个公交车移开之后变成“没有公交车”状态的位置不会出现在状态中)。
由于 n 很大,而每次转移都是形如 f(i, S) -> f(i+1, tS),所以可以构造转移矩阵做矩阵快速幂。
注意最靠前那一位必须是 1,这样可以省掉一部分状态。
#include <iostream> #include <cstdio> #include <cstdlib> #include <cstring> #include <cctype> #include <algorithm> using namespace std; int read() { int x = 0, f = 1; char c = getchar(); while(!isdigit(c)){ if(c == '-') f = -1; c = getchar(); } while(isdigit(c)){ x = x * 10 + c - '0'; c = getchar(); } return x * f; } #define maxS 1024 #define maxs 260 #define MOD 30031 struct Matrix { int n, m, A[maxs][maxs]; Matrix() { memset(A, 0, sizeof(A)); } Matrix(int _, int __): n(_), m(__) { memset(A, 0, sizeof(A)); } Matrix operator * (const Matrix& t) const { Matrix ans(n, t.m); for(int i = 1; i <= ans.n; i++) for(int j = 1; j <= ans.m; j++) for(int k = 1; k <= m; k++) ans.A[i][j] = (ans.A[i][j] + A[i][k] * t.A[k][j]) % MOD; return ans; } Matrix operator *= (const Matrix& t) { *this = *this * t; return *this; } } base, tr; Matrix Pow(Matrix a, int b) { Matrix ans = a, t = a; b--; while(b) { if(b & 1) ans *= t; t *= t; b >>= 1; } return ans; } int id[maxS], cnts; int main() { int n = read(), K = read(), P = read(); int all = (1 << P) - 1; for(int S = 0; S <= all; S++) { int cnt = 0; for(int j = 0; j < P; j++) cnt += S >> j & 1; if(cnt == K && (S & 1)) id[S] = ++cnts; } tr = Matrix(cnts, cnts); for(int S = 0; S <= all; S++) if(id[S]) { int tS = S >> 1; for(int j = 0; j < P; j++) if(!(tS >> j & 1) && id[tS|(1<<j)]) tr.A[id[tS|(1<<j)]][id[S]]++; } base = Matrix(cnts, 1); base.A[1][1] = 1; base = Pow(tr, n - K) * base; printf("%d ", base.A[1][1]); return 0; }