Description
pb 大師喜歡玩 2048。
pb 大師在一個 \(1\times n\) 的網格上玩 2048,初始 \(n\) 個格子都是空的。
遊戲會進行若干輪,每輪將發生如下事件:
-
如果沒有空位,遊戲結束。否則隨機一個 \(1\) 到 \(m\) 的數,隨機到 \(i\) 的機率是 \(p_i\),再等機率隨機一個空位,在空位中填入 \(2^i−1\)。
-
將所有數順序不變移到最左側。例如
_ _ x _ y z
會變成x y z _ _ _
。 -
如果沒有相鄰相同的數,這一輪結束。否則從左往右最後一對相同的數變成他們的和以及一個空位,並且他的得分會加上產生的和,例如
x y y z _ _
會變成x 2y _ z _ _
,並且 pb 大師會得到 \(2y\) 分,接下來回到第二步。
pb 大師想要知道:他的期望總得分是多少。
Solution
顯然每次 1 操作之前所有已填的數構成一個字首,所以那個選位置的操作是沒意義的,於是每次相當於就是在棧的末尾新增一個數。
考慮 dp。
設 \(f_{i,j}\) 表示棧的大小為 \(i\),第一步填了 \(j\) 的期望得分。
這時會發現後面總共有三種可能:
- 後面比他小並且填到末尾。
- 後面能消成 \(j\) 然後與第一個 \(j\) 合併。
- 後面的第一個數比 \(j\) 大。
所以需要記 \(g_{i,j}\) 表示棧的大小為 \(i\),最終開頭為 \(j\) 的期望得分,\(h_{i,j}\) 表示棧的大小為 \(i\),由空棧填成只有一個 \(j\) 的機率,\(s_{i,j}\) 表示棧的大小為 \(i\),由空棧填成只有一個 \(j\) 的期望得分。
那麼可以得到轉移方程:
\[\begin{aligned}
h_{i,j}&=p_j+h_{i,j-1}\cdot h_{i-1,j-1}\\
s_{i,j}&=h_{i,j-1}s_{i-1,j-1}+h_{i-1,j-1}s_{i,j-1}+h_{i,j-1}h_{i-1,j-1}2^j\\
g_{i,j}&=s_{i,j}+h_{i,j}\left(\sum_{k=0}^{j-1}g_{i-1,k}+\sum_{k=j+1}^{m}{p_kf_{i-1,k}}\right)-s_{i,j}h_{i-1,j}\\
f_{i,j}&=\sum_{k=0}^{j-1}{g_{i-1,k}}+\sum_{k=j+1}^{m}{p_kf_{i-1,k}}+h_{i-1,j}\left(2^{j+1}+f_{i,j+1}\right)+s_{i-1,j}
\end{aligned}
\]
注意棧裡的數可能達到 \(n+m\)。
時間複雜度:\(O\left(n(n+m)\right)\)。
Code
#include <bits/stdc++.h>
#define int int64_t
const int kMaxN = 2e3 + 5, kMod = 998244353;
int n, m;
int p[kMaxN * 2], pw[kMaxN * 2], f[kMaxN][kMaxN * 2], g[kMaxN][kMaxN * 2],
h[kMaxN][kMaxN * 2], s[kMaxN][kMaxN * 2];
int pre[kMaxN * 2], suf[kMaxN * 2];
constexpr int qpow(int bs, int64_t idx = kMod - 2) {
int ret = 1;
for (; idx; idx >>= 1, bs = (int64_t)bs * bs % kMod)
if (idx & 1) ret = (int64_t)ret * bs % kMod;
return ret;
}
inline int add(int x, int y) { return (x + y >= kMod ? x + y - kMod : x + y); }
inline int sub(int x, int y) { return (x >= y ? x - y : x - y + kMod); }
inline void inc(int &x, int y) { (x += y) >= kMod ? x -= kMod : x; }
inline void dec(int &x, int y) { (x -= y) < 0 ? x += kMod : x; }
void dickdreamer() {
std::cin >> n >> m;
int sum = 0;
for (int i = 1; i <= m; ++i) {
std::cin >> p[i];
inc(sum, p[i]);
}
sum = qpow(sum);
for (int i = 1; i <= m; ++i) p[i] = 1ll * p[i] * sum % kMod;
pw[0] = 1;
for (int i = 1; i <= n + m + 1; ++i) pw[i] = add(pw[i - 1], pw[i - 1]);
// get h, s
for (int i = 1; i <= n; ++i) {
for (int j = 1; j <= n + m; ++j) {
h[i][j] = add(p[j], 1ll * h[i][j - 1] * h[i - 1][j - 1] % kMod);
s[i][j] =
add(1ll * h[i][j - 1] * s[i - 1][j - 1] % kMod,
add(1ll * h[i - 1][j - 1] * s[i][j - 1] % kMod,
1ll * h[i][j - 1] * h[i - 1][j - 1] % kMod * pw[j - 1] % kMod));
}
}
// get f, g
for (int i = 1; i <= n; ++i) {
for (int j = 0; j <= n + m; ++j) {
if (j) pre[j] = pre[j - 1];
else pre[j] = 0;
inc(pre[j], g[i - 1][j]);
}
for (int j = n + m; ~j; --j) {
suf[j] = add(suf[j + 1], 1ll * p[j] * f[i - 1][j] % kMod);
f[i][j] = add((j ? pre[j - 1] : (int)0), suf[j + 1]);
g[i][j] = 1ll * h[i][j] * f[i][j] % kMod;
inc(f[i][j], add(1ll * h[i - 1][j] * add(pw[j], f[i][j + 1]) % kMod, s[i - 1][j]));
inc(g[i][j], 1ll * s[i][j] * sub(1, h[i - 1][j]) % kMod);
}
}
int ans = 0;
for (int i = 1; i <= m; ++i)
inc(ans, 1ll * f[n][i] * p[i] % kMod);
std::cout << ans << '\n';
}
int32_t main() {
#ifdef ORZXKR
freopen("in.txt", "r", stdin);
freopen("out.txt", "w", stdout);
#endif
std::ios::sync_with_stdio(0), std::cin.tie(0), std::cout.tie(0);
int T = 1;
// std::cin >> T;
while (T--) dickdreamer();
// std::cerr << 1.0 * clock() / CLOCKS_PER_SEC << "s\n";
return 0;
}