Public Easy Round #2 E. 2048

下蛋爷發表於2024-04-01

Description

pb 大師喜歡玩 2048。

pb 大師在一個 \(1\times n\) 的網格上玩 2048,初始 \(n\) 個格子都是空的。

遊戲會進行若干輪,每輪將發生如下事件:

  1. 如果沒有空位,遊戲結束。否則隨機一個 \(1\)\(m\) 的數,隨機到 \(i\) 的機率是 \(p_i\),再等機率隨機一個空位,在空位中填入 \(2^i−1\)

  2. 將所有數順序不變移到最左側。例如 _ _ x _ y z 會變成 x y z _ _ _

  3. 如果沒有相鄰相同的數,這一輪結束。否則從左往右最後一對相同的數變成他們的和以及一個空位,並且他的得分會加上產生的和,例如 x y y z _ _ 會變成 x 2y _ z _ _,並且 pb 大師會得到 \(2y\) 分,接下來回到第二步。

pb 大師想要知道:他的期望總得分是多少。

Solution

顯然每次 1 操作之前所有已填的數構成一個字首,所以那個選位置的操作是沒意義的,於是每次相當於就是在棧的末尾新增一個數。

考慮 dp。

\(f_{i,j}\) 表示棧的大小為 \(i\),第一步填了 \(j\) 的期望得分。

這時會發現後面總共有三種可能:

  1. 後面比他小並且填到末尾。
  2. 後面能消成 \(j\) 然後與第一個 \(j\) 合併。
  3. 後面的第一個數比 \(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;
}

相關文章